Details

Time bar (total: 15.8s)

sample186.0ms

Algorithm
intervals
Results
84.0ms84×body1280valid
34.0ms72×body640valid
25.0ms216×body80valid
12.0ms26×body320valid
3.0ms13×body160valid

simplify1.3s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01012
12212
25812
319012
479412
done500012

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 23.2b

localize18.0ms

Local error

Found 3 expressions with local error:

0.0b
(* 42.0 (- x 17.0))
0.3b
(* (* 42.0 (- x 17.0)) (pow x 2.0))
23.0b
(/ (* (* 42.0 (- x 17.0)) (pow x 2.0)) (sin x))

rewrite202.0ms

Algorithm
rewrite-expression-head
Rules
39×add-exp-log
19×add-cbrt-cube prod-exp
13×add-sqr-sqrt
12×associate-*r*
11×*-un-lft-identity
add-cube-cbrt
div-exp cbrt-unprod
associate-*r/
pow1
pow-to-exp associate-*l* associate-*l/ pow-exp
cbrt-undiv associate-/r* unpow-prod-down times-frac flip3-- flip-- add-log-exp
distribute-rgt-in sub-neg distribute-lft-in *-commutative associate-/l/
clear-num frac-2neg pow-prod-down div-inv associate-/l* distribute-lft-out-- difference-of-squares unswap-sqr sqr-pow
Counts
3 → 81
Calls
3 calls:
45.0ms
(* 42.0 (- x 17.0))
73.0ms
(* (* 42.0 (- x 17.0)) (pow x 2.0))
78.0ms
(/ (* (* 42.0 (- x 17.0)) (pow x 2.0)) (sin x))

series2.6s

Counts
3 → 9
Calls
3 calls:
97.0ms
(* 42.0 (- x 17.0))
1.4s
(* (* 42.0 (- x 17.0)) (pow x 2.0))
1.1s
(/ (* (* 42.0 (- x 17.0)) (pow x 2.0)) (sin x))

simplify2.8s

Counts
90 → 90
Iterations

Useful iterations: done (2.8s)

IterNodesCost
01631140
14321086
22633940
done5001928

prune541.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* 714.0 x) (* 118.99999999999999 (pow x 3)))
0.0b
(- (* 42.0 (pow x 2)) (+ (* 714.0 x) (* 118.99999999999999 (pow x 3))))
0.2b
(* 118.99999999999999 (pow x 3))
0.2b
(* 42.0 (pow x 2))

rewrite134.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
20×associate-*r*
14×add-exp-log
11×*-un-lft-identity add-cube-cbrt add-log-exp
unpow-prod-down add-cbrt-cube unswap-sqr
associate-*l* prod-exp
pow1 cube-prod sqr-pow
pow-to-exp sum-log diff-log pow-exp *-commutative cbrt-unprod unpow2
cube-mult +-commutative sub-neg flip3-+ flip3-- unpow3 flip-+ flip-- associate--r+
Counts
4 → 83
Calls
4 calls:
16.0ms
(+ (* 714.0 x) (* 118.99999999999999 (pow x 3)))
43.0ms
(- (* 42.0 (pow x 2)) (+ (* 714.0 x) (* 118.99999999999999 (pow x 3))))
24.0ms
(* 118.99999999999999 (pow x 3))
47.0ms
(* 42.0 (pow x 2))

series510.0ms

Counts
4 → 12
Calls
4 calls:
243.0ms
(+ (* 714.0 x) (* 118.99999999999999 (pow x 3)))
78.0ms
(- (* 42.0 (pow x 2)) (+ (* 714.0 x) (* 118.99999999999999 (pow x 3))))
97.0ms
(* 118.99999999999999 (pow x 3))
93.0ms
(* 42.0 (pow x 2))

simplify1.6s

Counts
95 → 95
Iterations

Useful iterations: done (1.6s)

IterNodesCost
01381084
1368966
21634895
done5001853

prune452.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

regimes81.0ms

Accuracy

99.3% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 14.8b

bsearch218.0ms

Steps
ItersRangePoint
10
1.3095400918363668e-92
2.1983623910156952e-75
1.3309939462908742e-92
9
-7.250512869097592e-05
-7.752227966376303e-10
-1.9344387367502156e-05

simplify7.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02954
13754
done3754

end0.0ms

sample5.1s

Algorithm
intervals
Results
1.8s2293×body1280valid
1.3s1934×body640valid
1.2s6461×body80valid
319.0ms942×body320valid
111.0ms474×body160valid