Details

Time bar (total: 21.6s)

sample84.0ms

Algorithm
intervals
Results
59.0ms256×body80valid

simplify2.3s

Counts
1 → 1
Iterations
IterNodes
done5000
32586
2567
1132
044

prune36.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 30.9b

localize160.0ms

Local error

Found 4 expressions with local error:

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

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
21×*-un-lft-identity add-cube-cbrt
19×times-frac
16×add-cbrt-cube associate-*l* add-exp-log
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×clear-num frac-2neg associate-*l/ fma-udef
Counts
4 → 94
Calls
4 calls:
0.0ms
(fma (* x x) 0.0001789971 0.0005064034)
18.0ms
(* 0.0694555761 (* x x))
24.0ms
(* (/ (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) 0.0001789971 0.0005064034) (fma (* x x) (+ 0.1049934947 (fma 0.0424060604 (* x x) (* (* (* x x) (* x x)) 0.0072644182))) 1.0)) (fma (* (* 2.0 (* (* (* x x) (* x x)) (* (* x x) (* x x)))) (* (* x x) (* x x))) 0.0001789971 (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0008327945 (* x x) 0.0140005442) (fma 0.7715471019 (* x x) (fma (* (* x x) (* x x)) (+ (* 0.0694555761 (* x x)) 0.2909738639) 1.0))))) x)
8.0ms
(/ (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) 0.0001789971 0.0005064034) (fma (* x x) (+ 0.1049934947 (fma 0.0424060604 (* x x) (* (* (* x x) (* x x)) 0.0072644182))) 1.0)) (fma (* (* 2.0 (* (* (* x x) (* x x)) (* (* x x) (* x x)))) (* (* x x) (* x x))) 0.0001789971 (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0008327945 (* x x) 0.0140005442) (fma 0.7715471019 (* x x) (fma (* (* x x) (* x x)) (+ (* 0.0694555761 (* x x)) 0.2909738639) 1.0)))))

series740.0ms

Counts
4 → 12
Calls
4 calls:
105.0ms
(fma (* x x) 0.0001789971 0.0005064034)
30.0ms
(* 0.0694555761 (* x x))
379.0ms
(* (/ (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) 0.0001789971 0.0005064034) (fma (* x x) (+ 0.1049934947 (fma 0.0424060604 (* x x) (* (* (* x x) (* x x)) 0.0072644182))) 1.0)) (fma (* (* 2.0 (* (* (* x x) (* x x)) (* (* x x) (* x x)))) (* (* x x) (* x x))) 0.0001789971 (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0008327945 (* x x) 0.0140005442) (fma 0.7715471019 (* x x) (fma (* (* x x) (* x x)) (+ (* 0.0694555761 (* x x)) 0.2909738639) 1.0))))) x)
226.0ms
(/ (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) 0.0001789971 0.0005064034) (fma (* x x) (+ 0.1049934947 (fma 0.0424060604 (* x x) (* (* (* x x) (* x x)) 0.0072644182))) 1.0)) (fma (* (* 2.0 (* (* (* x x) (* x x)) (* (* x x) (* x x)))) (* (* x x) (* x x))) 0.0001789971 (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0008327945 (* x x) 0.0140005442) (fma 0.7715471019 (* x x) (fma (* (* x x) (* x x)) (+ (* 0.0694555761 (* x x)) 0.2909738639) 1.0)))))

simplify2.2s

Counts
106 → 106
Iterations
IterNodes
done5001
21418
1441
0195

prune1.3s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize52.0ms

Local error

Found 4 expressions with local error:

0.1b
(* x (* x x))
0.1b
(* (* x x) x)
0.2b
(/ 0.15298196345929327 (* (* x x) (* (* x x) x)))
0.4b
(/ 0.2514179000665375 (* x (* x x)))

rewrite151.0ms

Algorithm
rewrite-expression-head
Rules
52×add-cbrt-cube add-exp-log
37×pow1
24×prod-exp cbrt-unprod
12×add-sqr-sqrt
11×pow-prod-up
10×cbrt-undiv *-un-lft-identity div-exp add-cube-cbrt
7×pow-plus
6×times-frac pow-prod-down associate-/l*
4×expm1-log1p-u associate-*r* associate-*l* log1p-expm1-u add-log-exp
3×pow2 pow-sqr
2×clear-num associate-/r* frac-2neg *-commutative div-inv unswap-sqr
1×cube-unmult pow3
Counts
4 → 114
Calls
4 calls:
23.0ms
(* x (* x x))
26.0ms
(* (* x x) x)
70.0ms
(/ 0.15298196345929327 (* (* x x) (* (* x x) x)))
26.0ms
(/ 0.2514179000665375 (* x (* x x)))

series236.0ms

Counts
4 → 12
Calls
4 calls:
60.0ms
(* x (* x x))
44.0ms
(* (* x x) x)
58.0ms
(/ 0.15298196345929327 (* (* x x) (* (* x x) x)))
73.0ms
(/ 0.2514179000665375 (* x (* x x)))

simplify1.4s

Counts
126 → 126
Iterations
IterNodes
done5459
21686
1390
0152

prune410.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize165.0ms

Local error

Found 4 expressions with local error:

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

rewrite26.0ms

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

series796.0ms

Counts
4 → 12
Calls
4 calls:
70.0ms
(fma 0.0008327945 (* x x) 0.0140005442)
73.0ms
(fma (* x x) 0.0001789971 0.0005064034)
381.0ms
(* (/ (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) 0.0001789971 0.0005064034) (fma (* x x) (+ 0.1049934947 (fma 0.0424060604 (* x x) (* (* (* x x) (* x x)) 0.0072644182))) 1.0)) (fma (* (* 2.0 (* (* (* x x) (* x x)) (* (* x x) (* x x)))) (* (* x x) (* x x))) 0.0001789971 (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0008327945 (* x x) 0.0140005442) (fma 0.7715471019 (* x x) (fma (* (* x x) (* x x)) (+ (* (* x 0.0694555761) x) 0.2909738639) 1.0))))) x)
272.0ms
(/ (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma (* x x) 0.0001789971 0.0005064034) (fma (* x x) (+ 0.1049934947 (fma 0.0424060604 (* x x) (* (* (* x x) (* x x)) 0.0072644182))) 1.0)) (fma (* (* 2.0 (* (* (* x x) (* x x)) (* (* x x) (* x x)))) (* (* x x) (* x x))) 0.0001789971 (fma (* (* (* x x) (* x x)) (* (* x x) (* x x))) (fma 0.0008327945 (* x x) 0.0140005442) (fma 0.7715471019 (* x x) (fma (* (* x x) (* x x)) (+ (* (* x 0.0694555761) x) 0.2909738639) 1.0)))))

simplify3.0s

Counts
95 → 95
Iterations
IterNodes
done5001
21184
1390
0181

prune1.1s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize203.0ms

Local error

Found 4 expressions with local error:

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

rewrite46.0ms

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

series539.0ms

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

simplify2.5s

Counts
75 → 75
Iterations
IterNodes
done5007
21240
1353
0154

prune722.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes65.0ms

Accuracy

100% (0.0b remaining)

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

bsearch611.0ms

Steps
ItersRangePoint
9
28.34319947931986
37605091470.942024
848.6300680576137
8
-137985211.42758197
-2980.3304644899954
-276678.0542504353

simplify26.0ms

Iterations
IterNodes
done62
162
050

end0.0ms

sample2.7s

Algorithm
intervals
Results
2.5s8000×body80valid