Details

Time bar (total: 1.4m)

sample94.0ms

Algorithm
intervals
Results
59.0ms256×body80valid

simplify1.6s

Counts
1 → 1
Iterations
IterNodes
done5001
32740
2547
1132
044

prune34.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 31.1b

localize168.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))
0.2b
(* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))
16.5b
(* (/ (+ (+ (+ (+ (+ 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)
30.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)))))

rewrite47.1s

Algorithm
rewrite-expression-head
Rules
717×add-cbrt-cube add-exp-log
712×pow1
614×prod-exp cbrt-unprod
613×pow-prod-down
27×add-sqr-sqrt
22×*-un-lft-identity add-cube-cbrt
21×associate-*l*
19×times-frac
5×associate-*r*
4×associate-/r/ add-log-exp
3×associate-/r* flip3-+ *-commutative flip-+ associate-/l*
2×cbrt-undiv div-exp div-inv unswap-sqr associate-/l/
1×clear-num frac-2neg associate-*l/
Counts
4 → 371
Calls
4 calls:
8.9s
(* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))
8.7s
(* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))
18.7s
(* (/ (+ (+ (+ (+ (+ 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.7s
(/ (+ (+ (+ (+ (+ 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)))))

series929.0ms

Counts
4 → 12
Calls
4 calls:
113.0ms
(* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))
122.0ms
(* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))
368.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)
324.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)))))

simplify1.3s

Counts
383 → 383
Iterations
IterNodes
done5001
12228
0569

prune2.0s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize16.0ms

Local error

Found 3 expressions with local error:

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

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
59×times-frac
50×*-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×sqr-pow
7×add-cbrt-cube
6×div-exp associate-/l*
5×add-log-exp
4×cube-mult unpow3
3×pow1
2×pow-to-exp cbrt-undiv clear-num frac-2neg pow-exp div-inv distribute-lft-out
1×+-commutative sum-log flip3-+ frac-add flip-+
Counts
3 → 124
Calls
3 calls:
74.0ms
(+ (/ 0.2514179000665375 (pow x 3)) (/ 0.5 x))
9.0ms
(/ 0.15298196345929327 (pow x 5))
8.0ms
(/ 0.2514179000665375 (pow x 3))

series194.0ms

Counts
3 → 9
Calls
3 calls:
91.0ms
(+ (/ 0.2514179000665375 (pow x 3)) (/ 0.5 x))
60.0ms
(/ 0.15298196345929327 (pow x 5))
43.0ms
(/ 0.2514179000665375 (pow x 3))

simplify899.0ms

Counts
133 → 133
Iterations
IterNodes
done5002
21933
1434
0201

prune514.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize100.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 0.0001789971 (* (pow x (* 2 4)) (* x x)))
0.2b
(* 0.0008327945 (* (pow x (* 2 4)) (* x x)))
16.5b
(* (/ (- (+ (+ (+ (* 0.0072644182 (pow (* x x) 3)) (+ (+ 1.0 (* (* x x) 0.1049934947)) (* (pow x 4) 0.0424060604))) (* (pow x (* 2 4)) 0.0005064034)) (* 0.0001789971 (* (pow x (* 2 4)) (* x x))))) (- (+ (+ (+ (+ (* 0.2909738639 (pow x 4)) 1.0) (* 0.7715471019 (* x x))) (+ (* 0.0694555761 (pow (* x x) 3)) (* (pow x (* 2 4)) 0.0140005442))) (+ (* 0.0008327945 (* (pow x (* 2 4)) (* x x))) (* (* 2.0 0.0001789971) (pow (pow x 4) 3)))))) x)
30.6b
(/ (- (+ (+ (+ (* 0.0072644182 (pow (* x x) 3)) (+ (+ 1.0 (* (* x x) 0.1049934947)) (* (pow x 4) 0.0424060604))) (* (pow x (* 2 4)) 0.0005064034)) (* 0.0001789971 (* (pow x (* 2 4)) (* x x))))) (- (+ (+ (+ (+ (* 0.2909738639 (pow x 4)) 1.0) (* 0.7715471019 (* x x))) (+ (* 0.0694555761 (pow (* x x) 3)) (* (pow x (* 2 4)) 0.0140005442))) (+ (* 0.0008327945 (* (pow x (* 2 4)) (* x x))) (* (* 2.0 0.0001789971) (pow (pow x 4) 3))))))

rewrite14.2s

Algorithm
rewrite-expression-head
Rules
368×*-un-lft-identity
281×times-frac
192×distribute-lft-neg-in distribute-rgt-neg-in
164×associate-*l*
163×add-sqr-sqrt
158×add-cube-cbrt
126×distribute-lft-out
53×add-exp-log
50×neg-mul-1
40×frac-add
35×flip3-+ flip-+
34×prod-exp
30×distribute-neg-frac
29×add-cbrt-cube
28×associate-/r/
14×associate-/r* cbrt-unprod
10×pow1 associate-/l*
5×associate-*r*
4×pow-to-exp pow-exp add-log-exp
3×pow-prod-down *-commutative
2×cbrt-undiv div-exp distribute-frac-neg div-inv unswap-sqr associate-/l/
1×distribute-lft-neg-out neg-sub0 clear-num frac-2neg div-sub associate-*l/
Counts
4 → 418
Calls
4 calls:
39.0ms
(* 0.0001789971 (* (pow x (* 2 4)) (* x x)))
38.0ms
(* 0.0008327945 (* (pow x (* 2 4)) (* x x)))
8.0s
(* (/ (- (+ (+ (+ (* 0.0072644182 (pow (* x x) 3)) (+ (+ 1.0 (* (* x x) 0.1049934947)) (* (pow x 4) 0.0424060604))) (* (pow x (* 2 4)) 0.0005064034)) (* 0.0001789971 (* (pow x (* 2 4)) (* x x))))) (- (+ (+ (+ (+ (* 0.2909738639 (pow x 4)) 1.0) (* 0.7715471019 (* x x))) (+ (* 0.0694555761 (pow (* x x) 3)) (* (pow x (* 2 4)) 0.0140005442))) (+ (* 0.0008327945 (* (pow x (* 2 4)) (* x x))) (* (* 2.0 0.0001789971) (pow (pow x 4) 3)))))) x)
6.1s
(/ (- (+ (+ (+ (* 0.0072644182 (pow (* x x) 3)) (+ (+ 1.0 (* (* x x) 0.1049934947)) (* (pow x 4) 0.0424060604))) (* (pow x (* 2 4)) 0.0005064034)) (* 0.0001789971 (* (pow x (* 2 4)) (* x x))))) (- (+ (+ (+ (+ (* 0.2909738639 (pow x 4)) 1.0) (* 0.7715471019 (* x x))) (+ (* 0.0694555761 (pow (* x x) 3)) (* (pow x (* 2 4)) 0.0140005442))) (+ (* 0.0008327945 (* (pow x (* 2 4)) (* x x))) (* (* 2.0 0.0001789971) (pow (pow x 4) 3))))))

series655.0ms

Counts
4 → 12
Calls
4 calls:
69.0ms
(* 0.0001789971 (* (pow x (* 2 4)) (* x x)))
69.0ms
(* 0.0008327945 (* (pow x (* 2 4)) (* x x)))
293.0ms
(* (/ (- (+ (+ (+ (* 0.0072644182 (pow (* x x) 3)) (+ (+ 1.0 (* (* x x) 0.1049934947)) (* (pow x 4) 0.0424060604))) (* (pow x (* 2 4)) 0.0005064034)) (* 0.0001789971 (* (pow x (* 2 4)) (* x x))))) (- (+ (+ (+ (+ (* 0.2909738639 (pow x 4)) 1.0) (* 0.7715471019 (* x x))) (+ (* 0.0694555761 (pow (* x x) 3)) (* (pow x (* 2 4)) 0.0140005442))) (+ (* 0.0008327945 (* (pow x (* 2 4)) (* x x))) (* (* 2.0 0.0001789971) (pow (pow x 4) 3)))))) x)
225.0ms
(/ (- (+ (+ (+ (* 0.0072644182 (pow (* x x) 3)) (+ (+ 1.0 (* (* x x) 0.1049934947)) (* (pow x 4) 0.0424060604))) (* (pow x (* 2 4)) 0.0005064034)) (* 0.0001789971 (* (pow x (* 2 4)) (* x x))))) (- (+ (+ (+ (+ (* 0.2909738639 (pow x 4)) 1.0) (* 0.7715471019 (* x x))) (+ (* 0.0694555761 (pow (* x x) 3)) (* (pow x (* 2 4)) 0.0140005442))) (+ (* 0.0008327945 (* (pow x (* 2 4)) (* x x))) (* (* 2.0 0.0001789971) (pow (pow x 4) 3))))))

simplify590.0ms

Counts
430 → 430
Iterations
IterNodes
done5000
11884
0594

prune4.3s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize79.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x x) 0.1049934947)
0.2b
(* 0.0001789971 (* (pow x (* 2 4)) (* x x)))
0.5b
(/ x (- (+ (+ (* (* 0.0001789971 2.0) (pow (pow x 4) 3)) (* (* 0.0008327945 (pow x 8)) (* x x))) (+ (+ (* 0.2909738639 (pow x 4)) (+ 1.0 (* 0.7715471019 (* x x)))) (+ (* (pow x 8) 0.0140005442) (* (pow x 6) 0.0694555761))))))
30.2b
(* (- (+ (+ (+ (* 0.0072644182 (pow (* x x) 3)) (+ (+ 1.0 (* (* x x) 0.1049934947)) (* (pow x 4) 0.0424060604))) (* (pow x (* 2 4)) 0.0005064034)) (* 0.0001789971 (* (pow x (* 2 4)) (* x x))))) (/ x (- (+ (+ (* (* 0.0001789971 2.0) (pow (pow x 4) 3)) (* (* 0.0008327945 (pow x 8)) (* x x))) (+ (+ (* 0.2909738639 (pow x 4)) (+ 1.0 (* 0.7715471019 (* x x)))) (+ (* (pow x 8) 0.0140005442) (* (pow x 6) 0.0694555761)))))))

rewrite5.2s

Algorithm
rewrite-expression-head
Rules
130×*-un-lft-identity
85×times-frac
66×add-sqr-sqrt
64×associate-*r*
60×add-cube-cbrt
42×distribute-lft-out
40×frac-add
38×distribute-lft-neg-in distribute-rgt-neg-in
37×add-exp-log
36×flip3-+ flip-+
32×distribute-neg-frac
28×associate-/r/
25×add-cbrt-cube
21×prod-exp
14×associate-/r* associate-*l*
13×pow1
11×cbrt-unprod
8×neg-mul-1
5×pow-prod-down
4×add-log-exp
3×*-commutative associate-/l* unswap-sqr
2×frac-times pow-to-exp cbrt-undiv div-exp associate-*l/ pow-exp div-inv
1×distribute-lft-neg-out clear-num frac-2neg associate-*r/
Counts
4 → 218
Calls
4 calls:
14.0ms
(* (* x x) 0.1049934947)
36.0ms
(* 0.0001789971 (* (pow x (* 2 4)) (* x x)))
644.0ms
(/ x (- (+ (+ (* (* 0.0001789971 2.0) (pow (pow x 4) 3)) (* (* 0.0008327945 (pow x 8)) (* x x))) (+ (+ (* 0.2909738639 (pow x 4)) (+ 1.0 (* 0.7715471019 (* x x)))) (+ (* (pow x 8) 0.0140005442) (* (pow x 6) 0.0694555761))))))
4.5s
(* (- (+ (+ (+ (* 0.0072644182 (pow (* x x) 3)) (+ (+ 1.0 (* (* x x) 0.1049934947)) (* (pow x 4) 0.0424060604))) (* (pow x (* 2 4)) 0.0005064034)) (* 0.0001789971 (* (pow x (* 2 4)) (* x x))))) (/ x (- (+ (+ (* (* 0.0001789971 2.0) (pow (pow x 4) 3)) (* (* 0.0008327945 (pow x 8)) (* x x))) (+ (+ (* 0.2909738639 (pow x 4)) (+ 1.0 (* 0.7715471019 (* x x)))) (+ (* (pow x 8) 0.0140005442) (* (pow x 6) 0.0694555761)))))))

series552.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(* (* x x) 0.1049934947)
69.0ms
(* 0.0001789971 (* (pow x (* 2 4)) (* x x)))
177.0ms
(/ x (- (+ (+ (* (* 0.0001789971 2.0) (pow (pow x 4) 3)) (* (* 0.0008327945 (pow x 8)) (* x x))) (+ (+ (* 0.2909738639 (pow x 4)) (+ 1.0 (* 0.7715471019 (* x x)))) (+ (* (pow x 8) 0.0140005442) (* (pow x 6) 0.0694555761))))))
279.0ms
(* (- (+ (+ (+ (* 0.0072644182 (pow (* x x) 3)) (+ (+ 1.0 (* (* x x) 0.1049934947)) (* (pow x 4) 0.0424060604))) (* (pow x (* 2 4)) 0.0005064034)) (* 0.0001789971 (* (pow x (* 2 4)) (* x x))))) (/ x (- (+ (+ (* (* 0.0001789971 2.0) (pow (pow x 4) 3)) (* (* 0.0008327945 (pow x 8)) (* x x))) (+ (+ (* 0.2909738639 (pow x 4)) (+ 1.0 (* 0.7715471019 (* x x)))) (+ (* (pow x 8) 0.0140005442) (* (pow x 6) 0.0694555761)))))))

simplify496.0ms

Counts
230 → 230
Iterations
IterNodes
done5000
11613
0471

prune2.6s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes59.0ms

Accuracy

100% (0.0b remaining)

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

bsearch645.0ms

Steps
ItersRangePoint
8
5.1212688054922095
257785.57693934403
789.2064757894585
6
-23371946804750188.0
-3813544086202141.0
-4225810792053910.5

simplify62.0ms

Iterations
IterNodes
done242
6242
5237
4224
3181
2140
1112
072

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.7s8000×body80valid