Details

Time bar (total: 28.9s)

sample85.0ms

Algorithm
intervals
Results
25.0ms131×body160valid
11.0ms125×body80valid

simplify3.4s

Counts
1 → 1
Iterations

Useful iterations: 3 (321.0ms)

IterNodesCost
02664
18264
230955
399154
4417254
done500054

prune25.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 14.4b

localize45.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
0.1b
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))
0.5b
(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
14.4b
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
23×add-cube-cbrt *-un-lft-identity
19×times-frac
15×associate-*l*
11×add-exp-log add-cbrt-cube
8×add-log-exp
6×pow1
5×flip3-+ flip-+
4×expm1-log1p-u associate-/r/ log1p-expm1-u
3×fma-def fma-neg associate-*r* prod-diff associate-/r* associate-/l*
2×cbrt-undiv distribute-rgt-in frac-times associate-+r+ distribute-lft-in associate-*r/ div-exp prod-exp cbrt-unprod div-inv unswap-sqr
1×+-commutative sub-neg flip3-- frac-2neg diff-log pow-prod-down associate-*l/ clear-num sum-log *-commutative flip--
Counts
4 → 111
Calls
4 calls:
10.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
46.0ms
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))
14.0ms
(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
13.0ms
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

series2.2s

Counts
4 → 12
Calls
4 calls:
66.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
456.0ms
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))
466.0ms
(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
1.3s
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

simplify2.2s

Counts
123 → 123
Iterations

Useful iterations: done (2.2s)

IterNodesCost
02436598
17835734
234204823
done50004819

prune1.0s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 14.3b

localize90.0ms

Local error

Found 4 expressions with local error:

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

rewrite118.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
14×add-cbrt-cube
12×add-exp-log fma-neg
8×difference-of-squares
7×pow1
6×add-log-exp
4×expm1-log1p-u pow-exp log1p-expm1-u rem-cube-cbrt
3×cbrt-undiv pow-unpow div-exp prod-exp cbrt-unprod
2×pow-pow fma-udef
1×difference-cubes cube-div pow-to-exp sub-neg flip3-- diff-log associate-*r/ pow-prod-down flip-- distribute-lft-out--
Counts
4 → 181
Calls
4 calls:
1.0ms
(fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
1.0ms
(fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
58.0ms
(pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)
42.0ms
(- (pow 1.0 3) (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3))

series2.5s

Counts
4 → 12
Calls
4 calls:
337.0ms
(fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
354.0ms
(fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
817.0ms
(pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)
952.0ms
(- (pow 1.0 3) (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3))

simplify2.4s

Counts
193 → 193
Iterations

Useful iterations: 2 (938.0ms)

IterNodesCost
036838996
195122462
2353016819
done500116819

prune1.1s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 13.5b

localize92.0ms

Local error

Found 4 expressions with local error:

0.5b
(fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
0.8b
(pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)
0.8b
(pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)
13.8b
(- (pow 1.0 3) (* (sqrt (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)) (sqrt (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3))))

rewrite118.0ms

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

series2.8s

Counts
4 → 12
Calls
4 calls:
346.0ms
(fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592)
806.0ms
(pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)
764.0ms
(pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)
891.0ms
(- (pow 1.0 3) (* (sqrt (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)) (sqrt (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3))))

simplify2.4s

Counts
122 → 122
Iterations

Useful iterations: done (2.4s)

IterNodesCost
028213383
17728837
229838297
done50008279

prune1.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 13.5b

localize104.0ms

Local error

Found 4 expressions with local error:

0.5b
(log (exp (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)))
0.8b
(pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)
0.8b
(pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)
13.8b
(- (pow 1.0 3) (* (sqrt (log (exp (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)))) (sqrt (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3))))

rewrite125.0ms

Algorithm
rewrite-expression-head
Rules
24×add-cbrt-cube
20×add-exp-log
14×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
12×fma-neg prod-diff
11×pow1
9×unpow-prod-down cube-prod log-pow
8×exp-prod pow-exp rem-cube-cbrt
6×cbrt-undiv pow-unpow div-exp prod-exp cbrt-unprod add-log-exp
5×cube-mult unpow3 sqr-pow
4×expm1-log1p-u pow-pow log1p-expm1-u
3×log-prod
2×cube-div pow-to-exp associate-*r/ pow-prod-down
1×sub-neg flip3-- diff-log rem-log-exp flip--
Counts
4 → 118
Calls
4 calls:
12.0ms
(log (exp (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)))
29.0ms
(pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)
45.0ms
(pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)
32.0ms
(- (pow 1.0 3) (* (sqrt (log (exp (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)))) (sqrt (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3))))

series3.4s

Counts
4 → 12
Calls
4 calls:
784.0ms
(log (exp (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)))
780.0ms
(pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)
848.0ms
(pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)
942.0ms
(- (pow 1.0 3) (* (sqrt (log (exp (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3)))) (sqrt (pow (* (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (fma (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) 1.061405429 -1.453152027) 1.421413741) -0.284496736) 0.254829592) (/ (/ 1.0 (fma 0.3275911 (fabs x) 1.0)) (exp (pow (fabs x) 2)))) 3))))

simplify1.8s

Counts
130 → 130
Iterations

Useful iterations: done (1.8s)

IterNodesCost
030014151
179313434
229278629
done50008605

prune1.5s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 13.5b

regimes23.0ms