Details

Time bar (total: 35.7s)

sample131.0ms

Algorithm
intervals
Results
82.0ms256×body80valid

simplify3.6s

Counts
1 → 1
Iterations
IterNodes
done5000
32585
2567
1132
044

prune41.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 33.6b

localize231.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 0.0072644182 (* x x))
0.3b
(fma 0.0001789971 (* x x) 0.0005064034)
12.9b
(* (/ (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0001789971 (* x x) 0.0005064034) (fma (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))) (fma (* x x) 0.1049934947 1.0))) (fma 0.0001789971 (* 2.0 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* (* x x) (* x x))))) (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0008327945 (* x x) 0.0140005442) (fma (* (* x x) (* x x)) (fma 0.0694555761 (* x x) 0.2909738639) (fma (* x x) 0.7715471019 1.0))))) x)
33.0b
(/ (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0001789971 (* x x) 0.0005064034) (fma (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))) (fma (* x x) 0.1049934947 1.0))) (fma 0.0001789971 (* 2.0 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* (* x x) (* x x))))) (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0008327945 (* x x) 0.0140005442) (fma (* (* x x) (* x x)) (fma 0.0694555761 (* x x) 0.2909738639) (fma (* x x) 0.7715471019 1.0)))))

rewrite80.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
21×add-cube-cbrt *-un-lft-identity
19×times-frac
16×add-exp-log associate-*l* add-cbrt-cube
11×pow1
5×prod-exp cbrt-unprod
4×expm1-log1p-u associate-*r* pow-prod-down log1p-expm1-u add-log-exp
3×associate-/r* associate-/l* unswap-sqr
2×cbrt-undiv div-exp *-commutative div-inv
1×frac-2neg associate-*l/ clear-num fma-udef
Counts
4 → 94
Calls
4 calls:
39.0ms
(* 0.0072644182 (* x x))
1.0ms
(fma 0.0001789971 (* x x) 0.0005064034)
25.0ms
(* (/ (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0001789971 (* x x) 0.0005064034) (fma (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))) (fma (* x x) 0.1049934947 1.0))) (fma 0.0001789971 (* 2.0 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* (* x x) (* x x))))) (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0008327945 (* x x) 0.0140005442) (fma (* (* x x) (* x x)) (fma 0.0694555761 (* x x) 0.2909738639) (fma (* x x) 0.7715471019 1.0))))) x)
9.0ms
(/ (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0001789971 (* x x) 0.0005064034) (fma (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))) (fma (* x x) 0.1049934947 1.0))) (fma 0.0001789971 (* 2.0 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* (* x x) (* x x))))) (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0008327945 (* x x) 0.0140005442) (fma (* (* x x) (* x x)) (fma 0.0694555761 (* x x) 0.2909738639) (fma (* x x) 0.7715471019 1.0)))))

series1.2s

Counts
4 → 12
Calls
4 calls:
51.0ms
(* 0.0072644182 (* x x))
154.0ms
(fma 0.0001789971 (* x x) 0.0005064034)
577.0ms
(* (/ (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0001789971 (* x x) 0.0005064034) (fma (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))) (fma (* x x) 0.1049934947 1.0))) (fma 0.0001789971 (* 2.0 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* (* x x) (* x x))))) (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0008327945 (* x x) 0.0140005442) (fma (* (* x x) (* x x)) (fma 0.0694555761 (* x x) 0.2909738639) (fma (* x x) 0.7715471019 1.0))))) x)
409.0ms
(/ (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0001789971 (* x x) 0.0005064034) (fma (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))) (fma (* x x) 0.1049934947 1.0))) (fma 0.0001789971 (* 2.0 (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* (* x x) (* x x))))) (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0008327945 (* x x) 0.0140005442) (fma (* (* x x) (* x x)) (fma 0.0694555761 (* x x) 0.2909738639) (fma (* x x) 0.7715471019 1.0)))))

simplify3.7s

Counts
106 → 106
Iterations
IterNodes
done5011
21515
1467
0194

prune1.7s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize49.0ms

Local error

Found 4 expressions with local error:

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

rewrite489.0ms

Algorithm
rewrite-expression-head
Rules
211×pow1
86×pow-prod-up
71×add-exp-log add-cbrt-cube
38×pow-sqr
36×pow-prod-down prod-exp cbrt-unprod
34×times-frac
30×pow-plus
23×pow2
22×add-sqr-sqrt
21×add-cube-cbrt *-un-lft-identity
16×associate-/l*
12×cbrt-undiv div-exp
4×expm1-log1p-u associate-*l* log1p-expm1-u div-inv add-log-exp
2×frac-2neg associate-*r* clear-num associate-/r* *-commutative unswap-sqr
1×swap-sqr associate-/l/
Counts
4 → 196
Calls
4 calls:
179.0ms
(* x (* (* x x) (* x x)))
30.0ms
(/ (/ 0.2514179000665375 x) (* x x))
77.0ms
(* (* x x) (* x x))
179.0ms
(/ 0.15298196345929327 (* x (* (* x x) (* x x))))

series330.0ms

Counts
4 → 12
Calls
4 calls:
99.0ms
(* x (* (* x x) (* x x)))
75.0ms
(/ (/ 0.2514179000665375 x) (* x x))
72.0ms
(* (* x x) (* x x))
84.0ms
(/ 0.15298196345929327 (* x (* (* x x) (* x x))))

simplify2.5s

Counts
208 → 208
Iterations
IterNodes
done5001
21460
1542
0217

prune864.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize205.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 0.0072644182 (* x x))
0.3b
(fma 0.0001789971 (* x x) 0.0005064034)
0.7b
(/ x (fma (* 0.0001789971 2.0) (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* (* x x) (* x x)))) (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* 0.0008327945 x) x 0.0140005442) (fma (fma 0.0694555761 (* x x) 0.2909738639) (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1.0)))))
32.4b
(* (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0001789971 (* x x) 0.0005064034) (fma (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))) (fma (* x x) 0.1049934947 1.0))) (/ x (fma (* 0.0001789971 2.0) (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* (* x x) (* x x)))) (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* 0.0008327945 x) x 0.0140005442) (fma (fma 0.0694555761 (* x x) 0.2909738639) (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1.0))))))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
21×add-cube-cbrt *-un-lft-identity
19×times-frac
16×add-exp-log add-cbrt-cube
14×associate-*r*
11×pow1
6×associate-*l*
5×prod-exp cbrt-unprod
4×expm1-log1p-u pow-prod-down log1p-expm1-u add-log-exp
3×associate-/r* associate-/l* unswap-sqr
2×cbrt-undiv div-exp *-commutative div-inv
1×frac-2neg associate-*r/ clear-num fma-udef
Counts
4 → 94
Calls
4 calls:
36.0ms
(* 0.0072644182 (* x x))
0.0ms
(fma 0.0001789971 (* x x) 0.0005064034)
8.0ms
(/ x (fma (* 0.0001789971 2.0) (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* (* x x) (* x x)))) (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* 0.0008327945 x) x 0.0140005442) (fma (fma 0.0694555761 (* x x) 0.2909738639) (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1.0)))))
22.0ms
(* (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0001789971 (* x x) 0.0005064034) (fma (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))) (fma (* x x) 0.1049934947 1.0))) (/ x (fma (* 0.0001789971 2.0) (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* (* x x) (* x x)))) (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* 0.0008327945 x) x 0.0140005442) (fma (fma 0.0694555761 (* x x) 0.2909738639) (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1.0))))))

series985.0ms

Counts
4 → 12
Calls
4 calls:
57.0ms
(* 0.0072644182 (* x x))
97.0ms
(fma 0.0001789971 (* x x) 0.0005064034)
337.0ms
(/ x (fma (* 0.0001789971 2.0) (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* (* x x) (* x x)))) (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* 0.0008327945 x) x 0.0140005442) (fma (fma 0.0694555761 (* x x) 0.2909738639) (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1.0)))))
493.0ms
(* (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0001789971 (* x x) 0.0005064034) (fma (* (* x x) (* x x)) (+ 0.0424060604 (* 0.0072644182 (* x x))) (fma (* x x) 0.1049934947 1.0))) (/ x (fma (* 0.0001789971 2.0) (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* (* x x) (* x x)))) (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* 0.0008327945 x) x 0.0140005442) (fma (fma 0.0694555761 (* x x) 0.2909738639) (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1.0))))))

simplify4.0s

Counts
106 → 106
Iterations
IterNodes
done5235
22120
1497
0200

prune1.6s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize209.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x x) (* x x))
0.3b
(fma (* x x) 0.0001789971 0.0005064034)
0.7b
(/ x (fma (* 0.0001789971 2.0) (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* (* x x) (* x x)))) (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* 0.0008327945 x) x 0.0140005442) (fma (fma 0.0694555761 (* x x) 0.2909738639) (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1.0)))))
32.4b
(* (fma (* (* x x) (* x x)) (* (* (* x x) (* x x)) (fma (* x x) 0.0001789971 0.0005064034)) (fma (* (* x x) (* x x)) (fma (* x x) 0.0072644182 0.0424060604) (fma (* x x) 0.1049934947 1.0))) (/ x (fma (* 0.0001789971 2.0) (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* (* x x) (* x x)))) (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* 0.0008327945 x) x 0.0140005442) (fma (fma 0.0694555761 (* x x) 0.2909738639) (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1.0))))))

rewrite109.0ms

Algorithm
rewrite-expression-head
Rules
117×pow1
36×pow-prod-up
25×add-sqr-sqrt
24×pow-prod-down
23×add-exp-log add-cbrt-cube
22×pow-sqr
20×add-cube-cbrt *-un-lft-identity
19×times-frac
18×pow-plus
14×associate-*r*
13×pow2
10×prod-exp cbrt-unprod
4×expm1-log1p-u associate-*l* log1p-expm1-u add-log-exp
3×associate-/r* associate-/l* unswap-sqr
2×cbrt-undiv div-exp *-commutative div-inv
1×frac-2neg associate-*r/ swap-sqr clear-num fma-udef
Counts
4 → 138
Calls
4 calls:
56.0ms
(* (* x x) (* x x))
1.0ms
(fma (* x x) 0.0001789971 0.0005064034)
9.0ms
(/ x (fma (* 0.0001789971 2.0) (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* (* x x) (* x x)))) (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* 0.0008327945 x) x 0.0140005442) (fma (fma 0.0694555761 (* x x) 0.2909738639) (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1.0)))))
34.0ms
(* (fma (* (* x x) (* x x)) (* (* (* x x) (* x x)) (fma (* x x) 0.0001789971 0.0005064034)) (fma (* (* x x) (* x x)) (fma (* x x) 0.0072644182 0.0424060604) (fma (* x x) 0.1049934947 1.0))) (/ x (fma (* 0.0001789971 2.0) (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* (* x x) (* x x)))) (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* 0.0008327945 x) x 0.0140005442) (fma (fma 0.0694555761 (* x x) 0.2909738639) (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1.0))))))

series1.1s

Counts
4 → 12
Calls
4 calls:
72.0ms
(* (* x x) (* x x))
95.0ms
(fma (* x x) 0.0001789971 0.0005064034)
381.0ms
(/ x (fma (* 0.0001789971 2.0) (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* (* x x) (* x x)))) (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* 0.0008327945 x) x 0.0140005442) (fma (fma 0.0694555761 (* x x) 0.2909738639) (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1.0)))))
549.0ms
(* (fma (* (* x x) (* x x)) (* (* (* x x) (* x x)) (fma (* x x) 0.0001789971 0.0005064034)) (fma (* (* x x) (* x x)) (fma (* x x) 0.0072644182 0.0424060604) (fma (* x x) 0.1049934947 1.0))) (/ x (fma (* 0.0001789971 2.0) (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* (* x x) (* x x)))) (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* 0.0008327945 x) x 0.0140005442) (fma (fma 0.0694555761 (* x x) 0.2909738639) (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1.0))))))

simplify6.1s

Counts
150 → 150
Iterations
IterNodes
done5000
22263
1527
0210

prune1.7s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes98.0ms

Accuracy

100% (0.0b remaining)

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

bsearch885.0ms

Steps
ItersRangePoint
8
87.84726908649233
263824.51516633737
783.8759464134847
10
-75476531921.81544
-1.440408271564231
-12620786748.882755

simplify49.0ms

Iterations
IterNodes
done60
160
049

end0.0ms

sample3.8s

Algorithm
intervals
Results
3.5s8000×body80valid