Details

Time bar (total: 1.2m)

sample139.0ms

Algorithm
intervals
Results
102.0ms256×body80valid

simplify5.5s

Counts
1 → 1
Iterations
IterNodes
48232
31967
2506
1132
044

prune54.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 29.1b

localize167.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 0.1049934947 (* x x))
0.1b
(* 0.7715471019 (* x x))
16.2b
(* (/ (+ (+ (+ (+ (+ 1 (* 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.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.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
29.1b
(/ (+ (+ (+ (+ (+ 1 (* 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.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.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

rewrite25.8s

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
22×*-un-lft-identity add-cube-cbrt
21×add-cbrt-cube associate-*l* add-exp-log
19×times-frac
16×pow1
8×prod-exp cbrt-unprod
7×pow-prod-down
5×associate-*r*
4×associate-/r/ insert-posit16 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 → 107
Calls
4 calls:
14.0ms
(* 0.1049934947 (* x x))
14.0ms
(* 0.7715471019 (* x x))
16.6s
(* (/ (+ (+ (+ (+ (+ 1 (* 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.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.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
9.1s
(/ (+ (+ (+ (+ (+ 1 (* 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.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.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

series777.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(* 0.1049934947 (* x x))
36.0ms
(* 0.7715471019 (* x x))
402.0ms
(* (/ (+ (+ (+ (+ (+ 1 (* 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.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.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
288.0ms
(/ (+ (+ (+ (+ (+ 1 (* 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.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.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

simplify2.0s

Counts
119 → 119
Iterations
IterNodes
23110
1668
0231

prune3.2s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize159.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x x) (* x x))
0.1b
(* 0.1049934947 (* x x))
0.1b
(* 0.7715471019 (* x x))
29.1b
(/ (* (+ (+ (+ (+ (+ 1 (* 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)))) x) (+ (+ (+ (+ (+ (+ 1 (* 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.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

rewrite8.1s

Algorithm
rewrite-expression-head
Rules
125×pow1
36×pow-prod-up
31×add-cbrt-cube add-exp-log
29×pow-prod-down
22×pow-sqr
18×pow-plus
15×prod-exp cbrt-unprod
13×pow2
10×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
7×associate-*l*
4×insert-posit16 add-log-exp
3×associate-/r* times-frac associate-*r* *-commutative unswap-sqr
2×cbrt-undiv flip3-+ div-exp associate-*l/ associate-/r/ flip-+ associate-/l/
1×clear-num frac-2neg swap-sqr div-inv associate-/l*
Counts
4 → 130
Calls
4 calls:
34.0ms
(* (* x x) (* x x))
14.0ms
(* 0.1049934947 (* x x))
23.0ms
(* 0.7715471019 (* x x))
8.0s
(/ (* (+ (+ (+ (+ (+ 1 (* 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)))) x) (+ (+ (+ (+ (+ (+ 1 (* 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.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

series507.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(* (* x x) (* x x))
40.0ms
(* 0.1049934947 (* x x))
45.0ms
(* 0.7715471019 (* x x))
372.0ms
(/ (* (+ (+ (+ (+ (+ 1 (* 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)))) x) (+ (+ (+ (+ (+ (+ 1 (* 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.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

simplify1.8s

Counts
142 → 142
Iterations
IterNodes
22987
1619
0204

prune3.9s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize188.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x x) 0.0001789971)
0.1b
(* 0.0008327945 (* x x))
16.2b
(* (/ (+ (+ (* (* 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)
29.1b
(/ (+ (+ (* (* 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)))))))

rewrite4.9s

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
23×associate-*l*
22×*-un-lft-identity add-cube-cbrt
21×add-cbrt-cube add-exp-log
19×times-frac
16×pow1
15×flip3-+ flip-+
12×frac-add associate-*r/ associate-/r/
8×prod-exp cbrt-unprod
7×associate-*r* pow-prod-down
6×associate-/l/
4×insert-posit16 add-log-exp unswap-sqr
3×associate-/r* *-commutative associate-/l*
2×cbrt-undiv div-exp div-inv
1×clear-num frac-2neg associate-*l/
Counts
4 → 119
Calls
4 calls:
30.0ms
(* (* x x) 0.0001789971)
28.0ms
(* 0.0008327945 (* x x))
2.9s
(* (/ (+ (+ (* (* 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)
1.9s
(/ (+ (+ (* (* 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)))))))

series914.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(* (* x x) 0.0001789971)
44.0ms
(* 0.0008327945 (* x x))
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 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)
366.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)))))))

simplify3.3s

Counts
131 → 131
Iterations
IterNodes
24297
1941
0296

prune3.2s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x x) x)
0.1b
(* (* x x) x)
0.3b
(/ 0.15298196345929327 (* (* (* x x) x) (* x x)))
0.3b
(/ 0.2514179000665375 (* (* x x) x))

rewrite132.0ms

Algorithm
rewrite-expression-head
Rules
52×add-cbrt-cube add-exp-log
42×pow1
24×prod-exp cbrt-unprod
12×add-sqr-sqrt pow-plus pow-prod-up
10×cbrt-undiv *-un-lft-identity div-exp add-cube-cbrt
6×times-frac associate-*r* pow-prod-down associate-/l*
4×pow2 pow-sqr insert-posit16 add-log-exp
2×clear-num associate-/r* frac-2neg associate-*l* pow3 *-commutative div-inv unswap-sqr
Counts
4 → 114
Calls
4 calls:
15.0ms
(* (* x x) x)
19.0ms
(* (* x x) x)
69.0ms
(/ 0.15298196345929327 (* (* (* x x) x) (* x x)))
26.0ms
(/ 0.2514179000665375 (* (* x x) x))

series219.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(* (* x x) x)
43.0ms
(* (* x x) x)
81.0ms
(/ 0.15298196345929327 (* (* (* x x) x) (* x x)))
58.0ms
(/ 0.2514179000665375 (* (* x x) x))

simplify3.2s

Counts
126 → 126
Iterations
IterNodes
36162
21111
1313
0127

prune1.0s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes50.0ms

Accuracy

100% (0.0b remaining)

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

bsearch785.0ms

Steps
ItersRangePoint
10
45385424.466692075
1.2739090897902979e+25
86341657.43675329
10
-8.26555774309129e+15
-0.755072844465923
-4059.5380651343917

simplify37.0ms

Iterations
IterNodes
295
195
060

end0.0ms

sample4.0s

Algorithm
intervals
Results
3.8s8000×body80valid