Details

Time bar (total: 54.2s)

sample115.0ms

Algorithm
intervals
Results
61.0ms130×body160valid
26.0ms126×body80valid

simplify443.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
442.0ms
(- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

prune35.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 14.3b

localize86.0ms

Local error

Found 4 expressions with local error:

14.2b
(- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
0.4b
(+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))
0.2b
(/ 1 (+ 1 (* 0.3275911 (fabs x))))
0.2b
(/ 1 (+ 1 (* 0.3275911 (fabs x))))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
18×times-frac
12×add-exp-log
8×add-cbrt-cube add-log-exp
6×pow1 associate-/r* associate-/l*
4×expm1-log1p-u div-exp associate-/r/ insert-posit16 log1p-expm1-u
3×fma-def flip3-+ fma-neg prod-diff flip-+
2×cbrt-undiv rec-exp associate-+r+ clear-num frac-2neg 1-exp div-inv pow-flip inv-pow
1×distribute-rgt-in +-commutative sum-log sub-neg distribute-lft-in flip3-- diff-log flip--
Counts
4 → 112
Calls
4 calls:
Slowest
14.0ms
(/ 1 (+ 1 (* 0.3275911 (fabs x))))
13.0ms
(/ 1 (+ 1 (* 0.3275911 (fabs x))))
11.0ms
(+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))
10.0ms
(- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

series1.7s

Counts
4 → 12
Calls
4 calls:
Slowest
1.2s
(- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
397.0ms
(+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))
35.0ms
(/ 1 (+ 1 (* 0.3275911 (fabs x))))
33.0ms
(/ 1 (+ 1 (* 0.3275911 (fabs x))))

simplify9.2s

Counts
84 → 124
Calls
84 calls:
Slowest
535.0ms
(fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (exp (- (* (fabs x) (fabs x)))) (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))))))
525.0ms
(+ (* 1 1) (- (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))) (* 1 (* 0.3275911 (fabs x)))))
489.0ms
(/ (exp 1) (exp (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x)))))))
486.0ms
(fma (sqrt 1) (sqrt 1) (- (* (exp (- (* (fabs x) (fabs x)))) (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))))))
479.0ms
(fma (- (exp (- (* (fabs x) (fabs x))))) (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (* (exp (- (* (fabs x) (fabs x)))) (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429)))))))))))

prune2.1s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 14.2b

localize93.0ms

Local error

Found 4 expressions with local error:

14.2b
(- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
0.4b
(+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))
0.3b
(* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))))
0.2b
(/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
160×add-sqr-sqrt
142×times-frac
100×*-un-lft-identity
78×add-cube-cbrt
74×sqrt-prod
48×add-exp-log
32×swap-sqr
29×pow1
27×pow-flip
25×unswap-sqr
24×associate-*r* associate-*l*
18×add-cbrt-cube div-exp
16×prod-exp
10×sqrt-div associate-/r/
9×rec-exp sqrt-pow1 pow1/2 1-exp pow-prod-up inv-pow
8×add-log-exp
7×div-inv
6×associate-/r* flip3-+ flip-+
5×cbrt-undiv pow-prod-down pow-sqr
4×expm1-log1p-u cbrt-unprod insert-posit16 log1p-expm1-u
3×fma-def fma-neg prod-diff associate-/l*
2×associate-+r+
1×pow2 distribute-rgt-in frac-times +-commutative clear-num sum-log sub-neg frac-2neg distribute-lft-in pow-plus flip3-- diff-log associate-*l/ associate-*r/ un-div-inv *-commutative flip--
Counts
4 → 251
Calls
4 calls:
Slowest
56.0ms
(* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))))
8.0ms
(+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))
7.0ms
(/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))
5.0ms
(- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

series1.6s

Counts
4 → 12
Calls
4 calls:
Slowest
1.2s
(- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
381.0ms
(+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))
63.0ms
(/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))
33.0ms
(* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))))

simplify22.1s

Counts
300 → 263
Calls
300 calls:
Slowest
1.2s
(* (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))))
818.0ms
(fma 1 1 (- (* (exp (- (* (fabs x) (fabs x)))) (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))))))
724.0ms
(fma (- (exp (- (* (fabs x) (fabs x))))) (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (* (exp (- (* (fabs x) (fabs x)))) (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429)))))))))))
638.0ms
(fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (exp (- (* (fabs x) (fabs x)))) (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))))))
635.0ms
(fma (- (exp (- (* (fabs x) (fabs x))))) (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (* (exp (- (* (fabs x) (fabs x)))) (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429)))))))))))

prune4.9s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 14.2b

localize235.0ms

Local error

Found 4 expressions with local error:

13.6b
(- (pow 1 3) (pow (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) 3))
0.8b
(pow (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) 3)
0.5b
(* (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
0.5b
(+ (* (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x)))))) (* 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x)))))))

rewrite1.7s

Algorithm
rewrite-expression-head
Rules
23484×frac-times
15486×associate-*r/
9006×associate-*l/
7581×exp-neg
6499×flip3-+ flip-+
6498×neg-sub0 exp-diff
6480×frac-add
1083×un-div-inv
153×prod-exp
147×add-exp-log
124×pow1
96×prod-diff
94×add-cbrt-cube
69×pow-prod-down
61×cbrt-unprod
56×add-sqr-sqrt
51×*-un-lft-identity
44×unpow-prod-down cube-prod add-cube-cbrt
30×sqr-pow
26×div-exp
23×cube-mult
22×unpow3
18×cube-div
13×rec-exp 1-exp
12×fma-neg difference-of-squares
9×cbrt-undiv pow-sqr pow-prod-up
8×add-log-exp
6×pow-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u rem-cube-cbrt
3×pow-unpow pow-pow pow-plus
2×distribute-lft-out--
1×pow2 pow-to-exp difference-cubes +-commutative sum-log sub-neg fma-def distribute-rgt-out flip3-- diff-log swap-sqr associate-*r* associate-*l* *-commutative flip--
Counts
4 → 7141
Calls
4 calls:
Slowest
382.0ms
(* (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
382.0ms
(+ (* (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x)))))) (* 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x)))))))
39.0ms
(pow (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) 3)
18.0ms
(- (pow 1 3) (pow (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) 3))

series9.9s

Counts
4 → 12
Calls
4 calls:
Slowest
4.7s
(- (pow 1 3) (pow (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) 3))
3.6s
(+ (* (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x)))))) (* 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x)))))))
762.0ms
(pow (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) 3)
726.0ms
(* (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x))))) (/ 1 (sqrt (+ 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))