Details

Time bar (total: 1.4m)

sample147.0ms

Algorithm
intervals
Results
64.0ms256×body80valid

simplify1.7s

Counts
1 → 1
Iterations
IterNodes
done5001
32740
2547
1132
044

prune32.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 31.1b

localize135.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)))))

rewrite46.9s

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.5s
(* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))
8.6s
(* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))
19.0s
(* (/ (+ (+ (+ (+ (+ 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)))))

series1.3s

Counts
4 → 12
Calls
4 calls:
118.0ms
(* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))
92.0ms
(* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))
338.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)
713.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)))))

simplify836.0ms

Counts
383 → 383
Iterations
IterNodes
done5001
12228
0569

prune1.9s

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))

rewrite113.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:
85.0ms
(+ (/ 0.2514179000665375 (pow x 3)) (/ 0.5 x))
12.0ms
(/ 0.15298196345929327 (pow x 5))
12.0ms
(/ 0.2514179000665375 (pow x 3))

series234.0ms

Counts
3 → 9
Calls
3 calls:
128.0ms
(+ (/ 0.2514179000665375 (pow x 3)) (/ 0.5 x))
63.0ms
(/ 0.15298196345929327 (pow x 5))
42.0ms
(/ 0.2514179000665375 (pow x 3))

simplify886.0ms

Counts
133 → 133
Iterations
IterNodes
done5002
21933
1434
0201

prune661.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize137.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)))))

rewrite9.7s

Algorithm
rewrite-expression-head
Rules
61×*-un-lft-identity
53×add-exp-log
40×frac-add
39×associate-*l*
35×flip3-+ flip-+
34×prod-exp
31×add-sqr-sqrt times-frac
29×add-cbrt-cube
28×associate-/r/
26×add-cube-cbrt
21×distribute-lft-out
14×cbrt-unprod
10×pow1
5×associate-/r* associate-*r*
4×pow-to-exp pow-exp add-log-exp
3×pow-prod-down *-commutative associate-/l*
2×cbrt-undiv div-exp div-inv unswap-sqr associate-/l/
1×clear-num frac-2neg associate-*l/
Counts
4 → 149
Calls
4 calls:
53.0ms
(* 0.0001789971 (* (pow x (* 2 4)) (* x x)))
75.0ms
(* 0.0008327945 (* (pow x (* 2 4)) (* x x)))
5.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)))) (+ (+ (+ (+ (* 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)
4.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)))))

series930.0ms

Counts
4 → 12
Calls
4 calls:
84.0ms
(* 0.0001789971 (* (pow x (* 2 4)) (* x x)))
78.0ms
(* 0.0008327945 (* (pow x (* 2 4)) (* x x)))
447.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)
320.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)))))

simplify672.0ms

Counts
161 → 161
Iterations
IterNodes
done5001
11276
0379

prune2.8s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize118.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 0.0001789971 (* (pow x (* 2 4)) (* x x)))
0.2b
(* (* (pow x 8) (* x x)) 0.0008327945)
0.5b
(/ x (+ (+ (* (* (pow x 8) (* x x)) 0.0008327945) (* (* 0.0001789971 2.0) (pow (pow x 4) 3))) (+ (* 0.0694555761 (pow x 6)) (+ (* (pow x 8) 0.0140005442) (+ (+ (* (* x x) 0.7715471019) 1.0) (* 0.2909738639 (pow x 4)))))))
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 (+ (+ (* (* (pow x 8) (* x x)) 0.0008327945) (* (* 0.0001789971 2.0) (pow (pow x 4) 3))) (+ (* 0.0694555761 (pow x 6)) (+ (* (pow x 8) 0.0140005442) (+ (+ (* (* x x) 0.7715471019) 1.0) (* 0.2909738639 (pow x 4))))))))

rewrite10.5s

Algorithm
rewrite-expression-head
Rules
53×add-exp-log
38×*-un-lft-identity
34×prod-exp
29×add-sqr-sqrt add-cbrt-cube
26×associate-*r*
25×times-frac
24×add-cube-cbrt
14×cbrt-unprod
12×flip3-+ associate-/r/ flip-+
10×pow1
8×frac-add
7×associate-*l* distribute-lft-out
4×pow-to-exp associate-/r* pow-exp add-log-exp
3×pow-prod-down *-commutative associate-/l*
2×frac-times cbrt-undiv div-exp associate-*l/ div-inv unswap-sqr
1×clear-num frac-2neg associate-*r/
Counts
4 → 128
Calls
4 calls:
38.0ms
(* 0.0001789971 (* (pow x (* 2 4)) (* x x)))
41.0ms
(* (* (pow x 8) (* x x)) 0.0008327945)
2.4s
(/ x (+ (+ (* (* (pow x 8) (* x x)) 0.0008327945) (* (* 0.0001789971 2.0) (pow (pow x 4) 3))) (+ (* 0.0694555761 (pow x 6)) (+ (* (pow x 8) 0.0140005442) (+ (+ (* (* x x) 0.7715471019) 1.0) (* 0.2909738639 (pow x 4)))))))
8.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)))) (/ x (+ (+ (* (* (pow x 8) (* x x)) 0.0008327945) (* (* 0.0001789971 2.0) (pow (pow x 4) 3))) (+ (* 0.0694555761 (pow x 6)) (+ (* (pow x 8) 0.0140005442) (+ (+ (* (* x x) 0.7715471019) 1.0) (* 0.2909738639 (pow x 4))))))))

series581.0ms

Counts
4 → 12
Calls
4 calls:
67.0ms
(* 0.0001789971 (* (pow x (* 2 4)) (* x x)))
62.0ms
(* (* (pow x 8) (* x x)) 0.0008327945)
170.0ms
(/ x (+ (+ (* (* (pow x 8) (* x x)) 0.0008327945) (* (* 0.0001789971 2.0) (pow (pow x 4) 3))) (+ (* 0.0694555761 (pow x 6)) (+ (* (pow x 8) 0.0140005442) (+ (+ (* (* x x) 0.7715471019) 1.0) (* 0.2909738639 (pow x 4)))))))
281.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 (+ (+ (* (* (pow x 8) (* x x)) 0.0008327945) (* (* 0.0001789971 2.0) (pow (pow x 4) 3))) (+ (* 0.0694555761 (pow x 6)) (+ (* (pow x 8) 0.0140005442) (+ (+ (* (* x x) 0.7715471019) 1.0) (* 0.2909738639 (pow x 4))))))))

simplify350.0ms

Counts
140 → 140
Iterations
IterNodes
done5000
11012
0321

prune1.5s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes61.0ms

Accuracy

100% (0.0b remaining)

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

bsearch367.0ms

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

simplify15.0ms

Iterations
IterNodes
done110
3110
2106
1102
070

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.6s8000×body80valid