Details

Time bar (total: 5.5m)

sample49.0ms

Algorithm
intervals
Results
20.0ms121×body160valid
8.0ms135×body80valid

simplify1.7s

Counts
1 → 1
Iterations

Useful iterations: 3 (84.0ms)

IterNodesCost
02664
18264
226455
384854
4347854
done500054

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 13.4b

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ 1.0 (fma (fabs x) 0.3275911 1.0))
0.1b
(* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592))
0.4b
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)
13.3b
(- 1.0 (/ (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)) (exp (* (fabs x) (fabs x)))))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
36×*-un-lft-identity
34×add-cube-cbrt
28×times-frac
21×prod-diff
13×associate-*l*
11×add-exp-log add-cbrt-cube
6×pow1 add-log-exp
5×div-inv
4×expm1-log1p-u log1p-expm1-u
3×fma-neg associate-*r* associate-/r* fma-udef associate-/l*
2×cbrt-undiv div-exp prod-exp cbrt-unprod unswap-sqr
1×distribute-rgt-in sub-neg flip3-- frac-2neg distribute-lft-in diff-log pow-prod-down associate-*l/ clear-num *-commutative flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 115
Calls
4 calls:
2.0ms
(/ 1.0 (fma (fabs x) 0.3275911 1.0))
8.0ms
(* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592))
0.0ms
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)
6.0ms
(- 1.0 (/ (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)) (exp (* (fabs x) (fabs x)))))

series887.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(/ 1.0 (fma (fabs x) 0.3275911 1.0))
287.0ms
(* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592))
198.0ms
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)
378.0ms
(- 1.0 (/ (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)) (exp (* (fabs x) (fabs x)))))

simplify1.5s

Counts
127 → 127
Iterations

Useful iterations: 2 (541.0ms)

IterNodesCost
024910264
16048473
221636875
done50006875

prune514.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 13.3b

localize34.0ms

Local error

Found 4 expressions with local error:

0.4b
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)
0.4b
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)
0.7b
(pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 3)
12.7b
(- (pow 1.0 3) (pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 3))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
96×prod-diff
54×add-sqr-sqrt
46×*-un-lft-identity
44×add-cube-cbrt
42×unpow-prod-down cube-prod
28×sqr-pow
22×cube-mult unpow3
17×add-cbrt-cube
15×add-exp-log
12×fma-neg
8×difference-of-squares
7×pow1
6×add-log-exp
5×pow-exp rem-cube-cbrt
4×cbrt-undiv expm1-log1p-u div-exp prod-exp cbrt-unprod log1p-expm1-u
3×cube-div pow-unpow
2×pow-pow fma-udef
1×difference-cubes frac-times pow-to-exp sub-neg flip3-- diff-log associate-*r/ pow-prod-down associate-*l/ flip-- distribute-lft-out--
Counts
4 → 185
Calls
4 calls:
0.0ms
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)
0.0ms
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)
13.0ms
(pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 3)
17.0ms
(- (pow 1.0 3) (pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 3))

series1.4s

Counts
4 → 12
Calls
4 calls:
194.0ms
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)
193.0ms
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)
459.0ms
(pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 3)
603.0ms
(- (pow 1.0 3) (pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 3))

simplify1.4s

Counts
197 → 197
Iterations

Useful iterations: 2 (611.0ms)

IterNodesCost
037639160
197022760
2367318024
done500018024

prune778.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 12.5b

localize36.0ms

Local error

Found 4 expressions with local error:

0.4b
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)
0.7b
(pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 3)
0.7b
(pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 3)
12.7b
(- (pow 1.0 3) (* (sqrt (pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 3)) (sqrt (pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 3))))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
30×add-cbrt-cube
26×add-exp-log
15×add-sqr-sqrt
12×add-cube-cbrt *-un-lft-identity fma-neg prod-diff
10×pow1 pow-exp rem-cube-cbrt
9×unpow-prod-down cube-prod
8×cbrt-undiv div-exp prod-exp cbrt-unprod
6×cube-div pow-unpow add-log-exp
5×sqr-pow
4×expm1-log1p-u cube-mult pow-pow unpow3 log1p-expm1-u difference-of-squares
2×frac-times pow-to-exp associate-*r/ pow-prod-down associate-*l/
1×sub-neg flip3-- diff-log flip-- fma-udef
Counts
4 → 118
Calls
4 calls:
0.0ms
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)
14.0ms
(pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 3)
13.0ms
(pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 3)
17.0ms
(- (pow 1.0 3) (* (sqrt (pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 3)) (sqrt (pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 3))))

series1.7s

Counts
4 → 12
Calls
4 calls:
197.0ms
(fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)
470.0ms
(pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 3)
466.0ms
(pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 3)
615.0ms
(- (pow 1.0 3) (* (sqrt (pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 3)) (sqrt (pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 3))))

simplify1.1s

Counts
130 → 130
Iterations

Useful iterations: done (1.1s)

IterNodesCost
029013711
18139217
231908601
done50008589

prune926.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 12.5b

localize47.0ms

Local error

Found 4 expressions with local error:

0.7b
(pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 3)
0.7b
(pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 3)
0.7b
(pow (/ (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)) (exp (pow (fabs x) 2))) 3)
11.1b
(- (pow (pow 1.0 3) 3) (pow (pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 3) 3))

rewrite181.0ms

Algorithm
rewrite-expression-head
Rules
783×unpow-prod-down cube-prod
660×prod-diff
334×add-sqr-sqrt
272×*-un-lft-identity
262×add-cube-cbrt
210×sqr-pow
162×cube-mult unpow3
60×difference-of-squares
40×add-cbrt-cube
33×add-exp-log
30×fma-neg
14×pow-exp rem-cube-cbrt
12×cbrt-undiv div-exp
11×pow1
10×prod-exp cbrt-unprod
9×pow-unpow
7×cube-div
6×times-frac add-log-exp
5×pow-pow distribute-lft-out--
4×expm1-log1p-u log1p-expm1-u
3×pow-to-exp
2×frac-times associate-*r/ pow-prod-down associate-*l/ div-inv
1×difference-cubes sub-neg flip3-- diff-log flip--
Counts
4 → 876
Calls
4 calls:
14.0ms
(pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 3)
13.0ms
(pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 3)
10.0ms
(pow (/ (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)) (exp (pow (fabs x) 2))) 3)
83.0ms
(- (pow (pow 1.0 3) 3) (pow (pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 3) 3))

series5.2m

Counts
4 → 12
Calls
4 calls:
448.0ms
(pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 3)
530.0ms
(pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 3)
422.0ms
(pow (/ (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592)) (exp (pow (fabs x) 2))) 3)
5.2m
(- (pow (pow 1.0 3) 3) (pow (pow (* (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (/ (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) 1.061405429 -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -0.284496736) 0.254829592) (exp (pow (fabs x) 2)))) 3) 3))

simplify1.1s

Counts
888 → 888
Iterations

Useful iterations: done (963.0ms)

IterNodesCost
0944260317
12461136761
done5001136385

prune1.9s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 12.4b

regimes171.0ms

Accuracy

0% (0.0b remaining)

Error of 12.7b against oracle of 12.6b and baseline of 12.7b

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
043402
150402
done50402

end0.0ms

sample754.0ms

Algorithm
intervals
Results
418.0ms3841×body160valid
230.0ms4159×body80valid