Details

Time bar (total: 1.2m)

sample416.0ms

Algorithm
intervals
Results
314.0ms256×body80valid

simplify8.0s

Counts
1 → 1
Iterations
IterNodes
done5000
32585
2567
1132
044

prune95.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 33.6b

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

rewrite192.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:
65.0ms
(* 0.0072644182 (* x x))
1.0ms
(fma 0.0001789971 (* x x) 0.0005064034)
64.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)
23.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)))))

series2.3s

Counts
4 → 12
Calls
4 calls:
71.0ms
(* 0.0072644182 (* x x))
455.0ms
(fma 0.0001789971 (* x x) 0.0005064034)
1.2s
(* (/ (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)
568.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)))))

simplify7.1s

Counts
106 → 106
Iterations
IterNodes
done5011
21515
1467
0194

prune4.1s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

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

rewrite1.6s

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:
321.0ms
(* x (* (* x x) (* x x)))
65.0ms
(/ (/ 0.2514179000665375 x) (* x x))
327.0ms
(* (* x x) (* x x))
848.0ms
(/ 0.15298196345929327 (* x (* (* x x) (* x x))))

series645.0ms

Counts
4 → 12
Calls
4 calls:
95.0ms
(* x (* (* x x) (* x x)))
72.0ms
(/ (/ 0.2514179000665375 x) (* x x))
300.0ms
(* (* x x) (* x x))
178.0ms
(/ 0.15298196345929327 (* x (* (* x x) (* x x))))

simplify3.4s

Counts
208 → 208
Iterations
IterNodes
done5001
21460
1542
0217

prune1.1s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

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

rewrite85.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:
39.0ms
(* 0.0072644182 (* x x))
1.0ms
(fma 0.0001789971 (* x x) 0.0005064034)
10.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)))))
29.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))))))

series1.6s

Counts
4 → 12
Calls
4 calls:
56.0ms
(* 0.0072644182 (* x x))
315.0ms
(fma 0.0001789971 (* x x) 0.0005064034)
542.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)))))
644.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))))))

simplify7.6s

Counts
106 → 106
Iterations
IterNodes
done5235
22120
1497
0200

prune3.4s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

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

rewrite131.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:
62.0ms
(* (* x x) (* x x))
1.0ms
(fma (* x x) 0.0001789971 0.0005064034)
10.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)))))
43.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))))))

series2.3s

Counts
4 → 12
Calls
4 calls:
186.0ms
(* (* x x) (* x x))
140.0ms
(fma (* x x) 0.0001789971 0.0005064034)
756.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)))))
1.2s
(* (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))))))

simplify9.3s

Counts
150 → 150
Iterations
IterNodes
done5000
22263
1527
0210

prune2.9s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes100.0ms

Accuracy

100% (0.0b remaining)

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

bsearch2.6s

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

simplify29.0ms

Iterations
IterNodes
done60
160
049

end0.0ms

sample11.0s

Algorithm
intervals
Results
10.7s8000×body80valid