Details

Time bar (total: 1.0m)

sample143.0ms

Algorithm
intervals
Results
89.0ms256×body80valid

simplify5.5s

Counts
1 → 1
Iterations
IterNodes
48232
31967
2506
1132
044

prune31.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 27.7b

localize142.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* (* x x) (* x x)) (* 2 0.0001789971))
0.3b
(* (* (* x x) (* x x)) 0.0072644182)
13.5b
(* (/ (+ (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (+ (+ (* (* (* x x) (* x x)) (+ 0.2909738639 (* (* (* x x) (* x x)) (+ (* (* (* x x) (* x x)) (* 2 0.0001789971)) (* 0.0008327945 (* x x)))))) 1) (* (* x x) (+ 0.7715471019 (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))))) x)
27.6b
(/ (+ (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (+ (+ (* (* (* x x) (* x x)) (+ 0.2909738639 (* (* (* x x) (* x x)) (+ (* (* (* x x) (* x x)) (* 2 0.0001789971)) (* 0.0008327945 (* x x)))))) 1) (* (* x x) (+ 0.7715471019 (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442)))))))

rewrite5.0s

Algorithm
rewrite-expression-head
Rules
70×add-cbrt-cube add-exp-log
65×pow1
46×prod-exp cbrt-unprod
45×pow-prod-down
27×add-sqr-sqrt
21×*-un-lft-identity associate-*l* add-cube-cbrt
19×times-frac
15×flip3-+ flip-+
12×frac-add associate-*r/ associate-/r/
7×associate-*r*
6×associate-/l/
4×insert-posit16 add-log-exp
3×associate-/r* *-commutative associate-/l* unswap-sqr
2×cbrt-undiv div-exp div-inv
1×clear-num frac-2neg associate-*l/
Counts
4 → 149
Calls
4 calls:
120.0ms
(* (* (* x x) (* x x)) (* 2 0.0001789971))
92.0ms
(* (* (* x x) (* x x)) 0.0072644182)
2.8s
(* (/ (+ (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (+ (+ (* (* (* x x) (* x x)) (+ 0.2909738639 (* (* (* x x) (* x x)) (+ (* (* (* x x) (* x x)) (* 2 0.0001789971)) (* 0.0008327945 (* x x)))))) 1) (* (* x x) (+ 0.7715471019 (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))))) x)
2.0s
(/ (+ (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (+ (+ (* (* (* x x) (* x x)) (+ 0.2909738639 (* (* (* x x) (* x x)) (+ (* (* (* x x) (* x x)) (* 2 0.0001789971)) (* 0.0008327945 (* x x)))))) 1) (* (* x x) (+ 0.7715471019 (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442)))))))

series819.0ms

Counts
4 → 12
Calls
4 calls:
63.0ms
(* (* (* x x) (* x x)) (* 2 0.0001789971))
60.0ms
(* (* (* x x) (* x x)) 0.0072644182)
393.0ms
(* (/ (+ (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (+ (+ (* (* (* x x) (* x x)) (+ 0.2909738639 (* (* (* x x) (* x x)) (+ (* (* (* x x) (* x x)) (* 2 0.0001789971)) (* 0.0008327945 (* x x)))))) 1) (* (* x x) (+ 0.7715471019 (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442))))))) x)
304.0ms
(/ (+ (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (+ (+ (* (* (* x x) (* x x)) (+ 0.2909738639 (* (* (* x x) (* x x)) (+ (* (* (* x x) (* x x)) (* 2 0.0001789971)) (* 0.0008327945 (* x x)))))) 1) (* (* x x) (+ 0.7715471019 (* (* (* x x) (* x x)) (+ 0.0694555761 (* (* x x) 0.0140005442)))))))

simplify2.8s

Counts
161 → 161
Iterations
IterNodes
24724
11043
0334

prune4.1s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize154.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 0.0008327945 (* x x))
0.3b
(* (* 0.0001789971 2) (* (* x x) (* x x)))
0.3b
(* (* (* x x) (* x x)) 0.0072644182)
27.6b
(* (+ (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (/ x (+ (+ (* (* x x) (+ 0.7715471019 (* (+ (* 0.0140005442 (* x x)) 0.0694555761) (* (* x x) (* x x))))) 1) (* (* (* x x) (* x x)) (+ 0.2909738639 (* (+ (* (* 0.0001789971 2) (* (* x x) (* x x))) (* 0.0008327945 (* x x))) (* (* x x) (* x x))))))))

rewrite2.3s

Algorithm
rewrite-expression-head
Rules
73×add-cbrt-cube add-exp-log
70×pow1
49×prod-exp cbrt-unprod
48×pow-prod-down
24×associate-*r*
21×add-sqr-sqrt
15×flip3-+ flip-+
14×*-un-lft-identity add-cube-cbrt
13×associate-*r/
12×frac-add
10×times-frac
8×associate-*l*
6×frac-times associate-*l/ associate-/r/
4×*-commutative insert-posit16 add-log-exp unswap-sqr
1×cbrt-undiv div-exp div-inv
Counts
4 → 141
Calls
4 calls:
26.0ms
(* 0.0008327945 (* x x))
99.0ms
(* (* 0.0001789971 2) (* (* x x) (* x x)))
117.0ms
(* (* (* x x) (* x x)) 0.0072644182)
2.1s
(* (+ (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (/ x (+ (+ (* (* x x) (+ 0.7715471019 (* (+ (* 0.0140005442 (* x x)) 0.0694555761) (* (* x x) (* x x))))) 1) (* (* (* x x) (* x x)) (+ 0.2909738639 (* (+ (* (* 0.0001789971 2) (* (* x x) (* x x))) (* 0.0008327945 (* x x))) (* (* x x) (* x x))))))))

series633.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(* 0.0008327945 (* x x))
79.0ms
(* (* 0.0001789971 2) (* (* x x) (* x x)))
71.0ms
(* (* (* x x) (* x x)) 0.0072644182)
454.0ms
(* (+ (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (/ x (+ (+ (* (* x x) (+ 0.7715471019 (* (+ (* 0.0140005442 (* x x)) 0.0694555761) (* (* x x) (* x x))))) 1) (* (* (* x x) (* x x)) (+ 0.2909738639 (* (+ (* (* 0.0001789971 2) (* (* x x) (* x x))) (* 0.0008327945 (* x x))) (* (* x x) (* x x))))))))

simplify5.1s

Counts
153 → 153
Iterations
IterNodes
26257
11250
0353

prune4.0s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize162.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* (* x x) (* x x)) 0.0072644182)
23.8b
(- (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))))
28.1b
(- (* (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1)) (* (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))))
29.6b
(/ (* (- (* (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1)) (* (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))))) x) (* (- (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (+ (+ (* (* x x) (+ 0.7715471019 (* (+ (* 0.0140005442 (* x x)) 0.0694555761) (* (* x x) (* x x))))) 1) (* (* (* x x) (* x x)) (+ 0.2909738639 (* (+ (* (* 0.0001789971 2) (* (* x x) (* x x))) (* 0.0008327945 (* x x))) (* (* x x) (* x x))))))))

rewrite4.0s

Algorithm
rewrite-expression-head
Rules
322×associate-*r/
259×flip3-+ flip-+
164×frac-times
160×frac-sub
136×associate-*l/
66×associate-/l/
48×associate-/r/
34×add-cbrt-cube add-exp-log
28×frac-add
22×pow1
17×prod-exp cbrt-unprod
13×pow-prod-down
11×add-log-exp
10×flip3-- flip--
6×distribute-rgt-in add-sqr-sqrt distribute-lft-in associate--r+
5×*-un-lft-identity add-cube-cbrt
4×cbrt-undiv div-exp insert-posit16
3×diff-log associate-*r* associate--l+
2×sub-neg
1×clear-num associate-/r* sum-log frac-2neg times-frac associate-*l* *-commutative div-inv associate-/l* difference-of-squares unswap-sqr
Counts
4 → 270
Calls
4 calls:
88.0ms
(* (* (* x x) (* x x)) 0.0072644182)
967.0ms
(- (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))))
667.0ms
(- (* (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1)) (* (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))))
2.2s
(/ (* (- (* (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1)) (* (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))))) x) (* (- (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (+ (+ (* (* x x) (+ 0.7715471019 (* (+ (* 0.0140005442 (* x x)) 0.0694555761) (* (* x x) (* x x))))) 1) (* (* (* x x) (* x x)) (+ 0.2909738639 (* (+ (* (* 0.0001789971 2) (* (* x x) (* x x))) (* 0.0008327945 (* x x))) (* (* x x) (* x x))))))))

series1.5s

Counts
4 → 12
Calls
4 calls:
72.0ms
(* (* (* x x) (* x x)) 0.0072644182)
146.0ms
(- (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))))
177.0ms
(- (* (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1)) (* (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))))
1.1s
(/ (* (- (* (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1)) (* (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))))) x) (* (- (+ (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947)) 1) (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971)))))) (+ (+ (* (* x x) (+ 0.7715471019 (* (+ (* 0.0140005442 (* x x)) 0.0694555761) (* (* x x) (* x x))))) 1) (* (* (* x x) (* x x)) (+ 0.2909738639 (* (+ (* (* 0.0001789971 2) (* (* x x) (* x x))) (* 0.0008327945 (* x x))) (* (* x x) (* x x))))))))

simplify4.3s

Counts
282 → 282
Iterations
IterNodes
12720
0677

prune11.5s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (pow x 5) 0.26570970039615094)
0.1b
(* (* x (* x x)) 0.6665536072)
0.1b
(* x (* x x))
17.2b
(- (* (pow x 5) 0.26570970039615094) (* (* x (* x x)) 0.6665536072))

rewrite136.0ms

Algorithm
rewrite-expression-head
Rules
27×pow1
23×add-exp-log
20×add-cbrt-cube
15×add-sqr-sqrt
12×prod-exp
11×associate-*l*
10×cbrt-unprod
9×*-un-lft-identity pow-prod-down add-cube-cbrt
7×associate-*r*
6×add-log-exp
5×pow-prod-up
4×unpow-prod-down insert-posit16 unswap-sqr
3×*-commutative
2×sqr-pow
1×pow2 pow-to-exp sub-neg pow-plus flip3-- diff-log cube-unmult pow-exp pow-sqr flip--
Counts
4 → 86
Calls
4 calls:
16.0ms
(* (pow x 5) 0.26570970039615094)
75.0ms
(* (* x (* x x)) 0.6665536072)
26.0ms
(* x (* x x))
17.0ms
(- (* (pow x 5) 0.26570970039615094) (* (* x (* x x)) 0.6665536072))

series449.0ms

Counts
4 → 12
Calls
4 calls:
89.0ms
(* (pow x 5) 0.26570970039615094)
56.0ms
(* (* x (* x x)) 0.6665536072)
61.0ms
(* x (* x x))
243.0ms
(- (* (pow x 5) 0.26570970039615094) (* (* x (* x x)) 0.6665536072))

simplify1.7s

Counts
98 → 98
Iterations
IterNodes
33231
2823
1292
0126

prune713.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes82.0ms

Accuracy

99.9% (0.0b remaining)

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

bsearch708.0ms

Steps
ItersRangePoint
10
186.95626557948964
3373396396890550.5
747.6967772548774
6
-4073810451523.4326
-265991755648.13324
-2160608157766.319

simplify77.0ms

Iterations
IterNodes
293
193
061

end0.0ms

sample4.3s

Algorithm
intervals
Results
4.1s8000×body80valid