Details

Time bar (total: 37.2s)

sample180.0ms

Algorithm
intervals
Results
134.0ms256×body80valid

simplify1.0s

Counts
1 → 1
Iterations
IterNodes
32612
2569
1134
044

prune40.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 31.4b

localize120.0ms

Local error

Found 4 expressions with local error:

0.8b
(* 0.0008327945 (* x x))
0.8b
(* (* x x) 0.0001789971)
17.1b
(* (/ (fma (* x x) (* (* (* x x) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (* (* x x) (* (* x x) (* x x))) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1)))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* x x) (* (* (* x x) (* (* x x) (* x x))) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1)))))) x)
31.3b
(/ (fma (* x x) (* (* (* x x) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (* (* x x) (* (* x x) (* x x))) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1)))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* x x) (* (* (* x x) (* (* x x) (* x x))) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1))))))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
22×*-un-lft-identity add-cube-cbrt
21×add-cbrt-cube add-exp-log
19×times-frac
17×associate-*l*
16×pow1
8×prod-exp cbrt-unprod
7×associate-*r* pow-prod-down
4×expm1-log1p-u insert-posit16 log1p-expm1-u 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 → 109
Calls
4 calls:
16.0ms
(* 0.0008327945 (* x x))
29.0ms
(* (* x x) 0.0001789971)
11.0ms
(* (/ (fma (* x x) (* (* (* x x) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (* (* x x) (* (* x x) (* x x))) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1)))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* x x) (* (* (* x x) (* (* x x) (* x x))) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1)))))) x)
8.0ms
(/ (fma (* x x) (* (* (* x x) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (* (* x x) (* (* x x) (* x x))) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1)))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* x x) (* (* (* x x) (* (* x x) (* x x))) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1))))))

series863.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(* 0.0008327945 (* x x))
36.0ms
(* (* x x) 0.0001789971)
455.0ms
(* (/ (fma (* x x) (* (* (* x x) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (* (* x x) (* (* x x) (* x x))) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1)))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* x x) (* (* (* x x) (* (* x x) (* x x))) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1)))))) x)
323.0ms
(/ (fma (* x x) (* (* (* x x) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (* (* x x) (* (* x x) (* x x))) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1)))) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* x x) (* (* (* x x) (* (* x x) (* x x))) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1))))))

simplify5.7s

Counts
121 → 121
Iterations
IterNodes
37520
21705
1529
0211

prune3.2s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma 0.2514179000665375 (/ (/ 1 x) (* x x)) (/ 0.15298196345929327 (* x (* (* x x) (* x x)))))
0.1b
(* (* x x) (* x x))
0.2b
(/ (/ 1 x) (* x x))
0.2b
(/ 0.15298196345929327 (* x (* (* x x) (* x x))))

rewrite135.0ms

Algorithm
rewrite-expression-head
Rules
129×pow1
63×add-exp-log
53×add-cbrt-cube
38×pow-prod-up
34×times-frac
25×prod-exp
24×pow-sqr
23×pow-prod-down cbrt-unprod
20×add-sqr-sqrt *-un-lft-identity pow-plus add-cube-cbrt
18×div-exp
16×associate-/l*
15×pow2
12×cbrt-undiv
8×pow-div
4×expm1-log1p-u insert-posit16 log1p-expm1-u div-inv pow-flip inv-pow add-log-exp
2×rec-exp clear-num associate-/r* frac-2neg 1-exp
1×swap-sqr associate-*r* associate-*l* *-commutative fma-udef unswap-sqr associate-/l/
Counts
4 → 170
Calls
4 calls:
0.0ms
(fma 0.2514179000665375 (/ (/ 1 x) (* x x)) (/ 0.15298196345929327 (* x (* (* x x) (* x x)))))
39.0ms
(* (* x x) (* x x))
12.0ms
(/ (/ 1 x) (* x x))
78.0ms
(/ 0.15298196345929327 (* x (* (* x x) (* x x))))

series356.0ms

Counts
4 → 12
Calls
4 calls:
175.0ms
(fma 0.2514179000665375 (/ (/ 1 x) (* x x)) (/ 0.15298196345929327 (* x (* (* x x) (* x x)))))
59.0ms
(* (* x x) (* x x))
45.0ms
(/ (/ 1 x) (* x x))
76.0ms
(/ 0.15298196345929327 (* x (* (* x x) (* x x))))

simplify2.0s

Counts
182 → 182
Iterations
IterNodes
34598
21278
1527
0225

prune2.0s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize169.0ms

Local error

Found 4 expressions with local error:

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

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
19×add-cbrt-cube add-exp-log
14×pow1
10×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
7×prod-exp cbrt-unprod
6×pow-prod-down
4×expm1-log1p-u associate-*r* associate-*l* insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* times-frac
2×cbrt-undiv div-exp *-commutative unswap-sqr
1×clear-num frac-2neg fma-udef div-inv associate-/l*
Counts
4 → 79
Calls
4 calls:
0.0ms
(fma 0.1049934947 (* x x) 1)
15.0ms
(* 0.0008327945 (* x x))
17.0ms
(* (* x x) 0.0001789971)
18.0ms
(/ (* (fma (* x x) (* (* (* x x) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (* (* x x) (* (* x x) (* x x))) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1)))) x) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* x x) (* (* (* x x) (* (* x x) (* x x))) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1))))))

series484.0ms

Counts
4 → 12
Calls
4 calls:
55.0ms
(fma 0.1049934947 (* x x) 1)
29.0ms
(* 0.0008327945 (* x x))
33.0ms
(* (* x x) 0.0001789971)
367.0ms
(/ (* (fma (* x x) (* (* (* x x) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (* (* x x) (* (* x x) (* x x))) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1)))) x) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* x x) (* (* (* x x) (* (* x x) (* x x))) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1))))))

simplify4.0s

Counts
91 → 91
Iterations
IterNodes
36750
21506
1431
0168

prune2.3s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize156.0ms

Local error

Found 4 expressions with local error:

0.4b
(* x (sqrt 0.0001789971))
0.4b
(* x (sqrt 0.0001789971))
0.8b
(* 0.0008327945 (* x x))
31.4b
(/ (* (fma (* x x) (* (* (* x x) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x (sqrt 0.0001789971)) (* x (sqrt 0.0001789971))))) (fma 0.0072644182 (* (* x x) (* (* x x) (* x x))) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1)))) x) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* x x) (* (* (* x x) (* (* x x) (* x x))) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1))))))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt
18×add-cbrt-cube add-exp-log
13×pow1 *-un-lft-identity associate-*r* add-cube-cbrt
9×associate-*l*
8×sqrt-prod
6×prod-exp cbrt-unprod
5×pow-prod-down unswap-sqr
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* times-frac *-commutative
2×cbrt-undiv div-exp
1×clear-num frac-2neg div-inv associate-/l*
Counts
4 → 96
Calls
4 calls:
15.0ms
(* x (sqrt 0.0001789971))
14.0ms
(* x (sqrt 0.0001789971))
19.0ms
(* 0.0008327945 (* x x))
10.0ms
(/ (* (fma (* x x) (* (* (* x x) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x (sqrt 0.0001789971)) (* x (sqrt 0.0001789971))))) (fma 0.0072644182 (* (* x x) (* (* x x) (* x x))) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1)))) x) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* x x) (* (* (* x x) (* (* x x) (* x x))) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1))))))

series1.1s

Counts
4 → 12
Calls
4 calls:
60.0ms
(* x (sqrt 0.0001789971))
57.0ms
(* x (sqrt 0.0001789971))
49.0ms
(* 0.0008327945 (* x x))
916.0ms
(/ (* (fma (* x x) (* (* (* x x) (* (* x x) (* x x))) (+ 0.0005064034 (* (* x (sqrt 0.0001789971)) (* x (sqrt 0.0001789971))))) (fma 0.0072644182 (* (* x x) (* (* x x) (* x x))) (fma (* (* x x) (* x x)) 0.0424060604 (fma 0.1049934947 (* x x) 1)))) x) (fma (* 2 0.0001789971) (* (* (* x x) (* (* x x) (* x x))) (* (* x x) (* (* x x) (* x x)))) (fma (* x x) (* (* (* x x) (* (* x x) (* x x))) (+ 0.0140005442 (* 0.0008327945 (* x x)))) (fma (* (* x x) (* (* x x) (* x x))) 0.0694555761 (fma 0.2909738639 (* (* x x) (* x x)) (fma (* x x) 0.7715471019 1))))))

simplify5.7s

Counts
108 → 108
Iterations
IterNodes
38560
21461
1403
0171

prune2.8s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes96.0ms

Accuracy

100% (0.0b remaining)

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

bsearch685.0ms

Steps
ItersRangePoint
10
1.6697130628152668
4649870806659.843
685.7073058025592
8
-250055.29886925383
-174.255226838109
-28773.730271787685

simplify29.0ms

Iterations
IterNodes
267
167
052

end0.0ms

sample4.0s

Algorithm
intervals
Results
3.8s8000×body80valid