Details

Time bar (total: 1.2m)

sample80.0ms

Algorithm
intervals
Results
54.0ms256×body80valid

simplify1.5s

Counts
1 → 1
Iterations
IterNodes
done5001
32740
2547
1132
044

prune30.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 26.1b

localize155.0ms

Local error

Found 4 expressions with local error:

0.3b
(* 0.0424060604 (* (* x x) (* x x)))
0.3b
(* 0.2909738639 (* (* x x) (* x x)))
12.0b
(* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
25.6b
(/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

rewrite29.8s

Algorithm
rewrite-expression-head
Rules
47×add-cbrt-cube add-exp-log
42×pow1
29×add-sqr-sqrt
28×prod-exp cbrt-unprod
27×pow-prod-down
22×*-un-lft-identity add-cube-cbrt
21×associate-*l*
19×times-frac
5×associate-*r*
4×associate-/r/ add-log-exp unswap-sqr
3×associate-/r* flip3-+ *-commutative flip-+ associate-/l*
2×cbrt-undiv div-exp div-inv associate-/l/
1×clear-num frac-2neg associate-*l/
Counts
4 → 121
Calls
4 calls:
86.0ms
(* 0.0424060604 (* (* x x) (* x x)))
83.0ms
(* 0.2909738639 (* (* x x) (* x x)))
18.8s
(* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
10.8s
(/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

series865.0ms

Counts
4 → 12
Calls
4 calls:
75.0ms
(* 0.0424060604 (* (* x x) (* x x)))
57.0ms
(* 0.2909738639 (* (* x x) (* x x)))
404.0ms
(* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
329.0ms
(/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

simplify520.0ms

Counts
133 → 133
Iterations
IterNodes
done5000
1786
0253

prune2.2s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize177.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (pow x 4) 0.0424060604)
0.3b
(* 0.2909738639 (* (* x x) (* x x)))
12.0b
(* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 4) 0.0424060604)) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
25.6b
(/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 4) 0.0424060604)) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

rewrite24.6s

Algorithm
rewrite-expression-head
Rules
35×add-sqr-sqrt
34×add-exp-log
31×add-cbrt-cube
25×associate-*l*
24×pow1 *-un-lft-identity add-cube-cbrt
19×times-frac
18×prod-exp
16×cbrt-unprod
14×pow-prod-down
7×associate-*r*
6×unswap-sqr
4×unpow-prod-down associate-/r/ add-log-exp
3×associate-/r* flip3-+ *-commutative flip-+ associate-/l*
2×cbrt-undiv div-exp div-inv sqr-pow associate-/l/
1×pow-to-exp clear-num frac-2neg associate-*l/ pow-exp
Counts
4 → 118
Calls
4 calls:
9.0ms
(* (pow x 4) 0.0424060604)
62.0ms
(* 0.2909738639 (* (* x x) (* x x)))
14.0s
(* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 4) 0.0424060604)) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
10.5s
(/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 4) 0.0424060604)) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

series537.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(* (pow x 4) 0.0424060604)
38.0ms
(* 0.2909738639 (* (* x x) (* x x)))
262.0ms
(* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 4) 0.0424060604)) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
199.0ms
(/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 4) 0.0424060604)) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

simplify290.0ms

Counts
130 → 130
Iterations
IterNodes
done5001
1783
0264

prune1.1s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize71.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (pow x 4) 0.0424060604)
0.3b
(* (pow x 4) 0.2909738639)
12.0b
(* (/ 1 (/ (+ (+ (+ (* (pow x 8) 0.0140005442) (+ (* 0.7715471019 (* x x)) (+ 1.0 (* (pow x 4) 0.2909738639)))) (* 0.0694555761 (pow x 6))) (+ (* (* (pow x 8) (* x x)) 0.0008327945) (* (pow (pow x 4) 3) (* 2.0 0.0001789971)))) (+ (+ (+ 1.0 (* (* x x) 0.1049934947)) (* (pow x 4) 0.0424060604)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0005064034 (pow x 8)) (* 0.0001789971 (* (pow x 8) (* x x)))))))) x)
22.8b
(/ (+ (+ (+ (* (pow x 8) 0.0140005442) (+ (* 0.7715471019 (* x x)) (+ 1.0 (* (pow x 4) 0.2909738639)))) (* 0.0694555761 (pow x 6))) (+ (* (* (pow x 8) (* x x)) 0.0008327945) (* (pow (pow x 4) 3) (* 2.0 0.0001789971)))) (+ (+ (+ 1.0 (* (* x x) 0.1049934947)) (* (pow x 4) 0.0424060604)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0005064034 (pow x 8)) (* 0.0001789971 (* (pow x 8) (* x x)))))))

rewrite6.0s

Algorithm
rewrite-expression-head
Rules
148×times-frac
145×*-un-lft-identity
99×add-sqr-sqrt
97×associate-*l*
75×add-cube-cbrt
35×add-exp-log
34×distribute-lft-out
25×flip3-+ associate-/r/ flip-+
20×frac-add
19×add-cbrt-cube
13×prod-exp
11×unswap-sqr
9×associate-*r*
8×unpow-prod-down div-exp
6×pow1 associate-/l/
5×cbrt-unprod div-inv
4×cbrt-undiv associate-/r* associate-/l* add-log-exp sqr-pow
3×*-commutative
2×pow-to-exp rec-exp 1-exp pow-exp
1×clear-num frac-2neg pow-prod-down associate-*l/
Counts
4 → 209
Calls
4 calls:
9.0ms
(* (pow x 4) 0.0424060604)
9.0ms
(* (pow x 4) 0.2909738639)
3.0s
(* (/ 1 (/ (+ (+ (+ (* (pow x 8) 0.0140005442) (+ (* 0.7715471019 (* x x)) (+ 1.0 (* (pow x 4) 0.2909738639)))) (* 0.0694555761 (pow x 6))) (+ (* (* (pow x 8) (* x x)) 0.0008327945) (* (pow (pow x 4) 3) (* 2.0 0.0001789971)))) (+ (+ (+ 1.0 (* (* x x) 0.1049934947)) (* (pow x 4) 0.0424060604)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0005064034 (pow x 8)) (* 0.0001789971 (* (pow x 8) (* x x)))))))) x)
3.0s
(/ (+ (+ (+ (* (pow x 8) 0.0140005442) (+ (* 0.7715471019 (* x x)) (+ 1.0 (* (pow x 4) 0.2909738639)))) (* 0.0694555761 (pow x 6))) (+ (* (* (pow x 8) (* x x)) 0.0008327945) (* (pow (pow x 4) 3) (* 2.0 0.0001789971)))) (+ (+ (+ 1.0 (* (* x x) 0.1049934947)) (* (pow x 4) 0.0424060604)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0005064034 (pow x 8)) (* 0.0001789971 (* (pow x 8) (* x x)))))))

series545.0ms

Counts
4 → 12
Calls
4 calls:
38.0ms
(* (pow x 4) 0.0424060604)
37.0ms
(* (pow x 4) 0.2909738639)
265.0ms
(* (/ 1 (/ (+ (+ (+ (* (pow x 8) 0.0140005442) (+ (* 0.7715471019 (* x x)) (+ 1.0 (* (pow x 4) 0.2909738639)))) (* 0.0694555761 (pow x 6))) (+ (* (* (pow x 8) (* x x)) 0.0008327945) (* (pow (pow x 4) 3) (* 2.0 0.0001789971)))) (+ (+ (+ 1.0 (* (* x x) 0.1049934947)) (* (pow x 4) 0.0424060604)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0005064034 (pow x 8)) (* 0.0001789971 (* (pow x 8) (* x x)))))))) x)
204.0ms
(/ (+ (+ (+ (* (pow x 8) 0.0140005442) (+ (* 0.7715471019 (* x x)) (+ 1.0 (* (pow x 4) 0.2909738639)))) (* 0.0694555761 (pow x 6))) (+ (* (* (pow x 8) (* x x)) 0.0008327945) (* (pow (pow x 4) 3) (* 2.0 0.0001789971)))) (+ (+ (+ 1.0 (* (* x x) 0.1049934947)) (* (pow x 4) 0.0424060604)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0005064034 (pow x 8)) (* 0.0001789971 (* (pow x 8) (* x x)))))))

simplify395.0ms

Counts
221 → 221
Iterations
IterNodes
done5001
11328
0433

prune2.2s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (/ 0.2514179000665375 (pow x 3)) (+ (/ 0.5 x) (/ 0.15298196345929327 (pow x 5))))
0.1b
(/ 0.15298196345929327 (pow x 5))
0.3b
(/ 0.2514179000665375 (pow x 3))

rewrite116.0ms

Algorithm
rewrite-expression-head
Rules
60×times-frac
55×*-un-lft-identity
44×add-sqr-sqrt add-cube-cbrt
24×unpow-prod-down
19×associate-/r*
13×add-exp-log
12×cube-prod
8×add-log-exp sqr-pow
7×add-cbrt-cube
6×div-exp associate-/l*
5×distribute-lft-out
4×cube-mult unpow3 frac-add
3×pow1 sum-log
2×pow-to-exp cbrt-undiv clear-num frac-2neg flip3-+ pow-exp flip-+ div-inv
1×+-commutative associate-+r+
Counts
3 → 129
Calls
3 calls:
100.0ms
(+ (/ 0.2514179000665375 (pow x 3)) (+ (/ 0.5 x) (/ 0.15298196345929327 (pow x 5))))
6.0ms
(/ 0.15298196345929327 (pow x 5))
6.0ms
(/ 0.2514179000665375 (pow x 3))

series140.0ms

Counts
3 → 9
Calls
3 calls:
51.0ms
(+ (/ 0.2514179000665375 (pow x 3)) (+ (/ 0.5 x) (/ 0.15298196345929327 (pow x 5))))
52.0ms
(/ 0.15298196345929327 (pow x 5))
37.0ms
(/ 0.2514179000665375 (pow x 3))

simplify731.0ms

Counts
138 → 138
Iterations
IterNodes
done5001
22667
1550
0229

prune339.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes40.0ms

Accuracy

100% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 29.8b

bsearch479.0ms

Steps
ItersRangePoint
9
47495130.80298876
97439678434592.84
48182250.725408666
10
-1138.2876542095912
-1.6260248627107784e-07
-925.592724634033

simplify18.0ms

Iterations
IterNodes
done99
199
067

end0.0ms

sample1.7s

Algorithm
intervals
Results
1.6s8000×body80valid