Details

Time bar (total: 36.1s)

sample71.0ms

Algorithm
intervals
Results
32.0ms129×body160valid
16.0ms127×body80valid

simplify474.0ms

Calls
1 calls:
Slowest
473.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))))))

prune31.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 14.3b

localize66.0ms

Local error

Found 4 expressions with local error:

14.3b
(- 1 (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 0.254829592) (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x)))))
0.5b
(+ (/ (+ -0.284496736 (/ (+ (/ (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 0.254829592)
0.2b
(/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 0.254829592) (fma 0.3275911 (fabs x) 1))
0.1b
(/ 1.061405429 (fma 0.3275911 (fabs x) 1))

rewrite911.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
18×times-frac
13×fma-def
6×associate-/r* add-cbrt-cube add-exp-log
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
3×div-inv associate-/l*
2×clear-num frac-2neg flip3-+ flip-+ associate-/l/
1×cbrt-undiv +-commutative sub-neg flip3-- div-exp flip--
Calls
4 calls:
Slowest
496.0ms
(/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 0.254829592) (fma 0.3275911 (fabs x) 1))
213.0ms
(+ (/ (+ -0.284496736 (/ (+ (/ (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 0.254829592)
199.0ms
(- 1 (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 0.254829592) (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x)))))
1.0ms
(/ 1.061405429 (fma 0.3275911 (fabs x) 1))

series1.4s

Calls
4 calls:
Slowest
884.0ms
(- 1 (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 0.254829592) (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x)))))
278.0ms
(/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 0.254829592) (fma 0.3275911 (fabs x) 1))
233.0ms
(+ (/ (+ -0.284496736 (/ (+ (/ (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 0.254829592)
21.0ms
(/ 1.061405429 (fma 0.3275911 (fabs x) 1))

simplify6.5s

Calls
54 calls:
Slowest
564.0ms
(- (+ (* 1.061405429 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 4))) (+ (* 1.421413741 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 2))) 0.254829592)) (+ (* 0.284496736 (/ 1 (+ (* 0.3275911 (fabs x)) 1))) (* 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 3)))))
493.0ms
(- (+ (* 1.453152027 (/ 1 (* (exp (pow (fabs x) 2)) (pow (+ (* 0.3275911 (fabs x)) 1) 4)))) (+ (* 0.284496736 (/ 1 (* (exp (pow (fabs x) 2)) (pow (+ (* 0.3275911 (fabs x)) 1) 2)))) 1)) (+ (* 1.421413741 (/ 1 (* (exp (pow (fabs x) 2)) (pow (+ (* 0.3275911 (fabs x)) 1) 3)))) (+ (* 1.061405429 (/ 1 (* (exp (pow (fabs x) 2)) (pow (+ (* 0.3275911 (fabs x)) 1) 5)))) (* 0.254829592 (/ 1 (* (exp (pow (fabs x) 2)) (+ (* 0.3275911 (fabs x)) 1)))))))
488.0ms
(- (+ (* 0.284496736 (/ 1 (* (pow (+ (* 0.3275911 (fabs x)) 1) 2) (exp (pow (fabs x) 2))))) (+ (* 1.453152027 (/ 1 (* (pow (+ (* 0.3275911 (fabs x)) 1) 4) (exp (pow (fabs x) 2))))) 1)) (+ (* 0.254829592 (/ 1 (* (+ (* 0.3275911 (fabs x)) 1) (exp (pow (fabs x) 2))))) (+ (* 1.421413741 (/ 1 (* (pow (+ (* 0.3275911 (fabs x)) 1) 3) (exp (pow (fabs x) 2))))) (* 1.061405429 (/ 1 (* (pow (+ (* 0.3275911 (fabs x)) 1) 5) (exp (pow (fabs x) 2))))))))
487.0ms
(- (+ (* 1.061405429 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 4))) (+ (* 1.421413741 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 2))) 0.254829592)) (+ (* 0.284496736 (/ 1 (+ (* 0.3275911 (fabs x)) 1))) (* 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 3)))))
458.0ms
(- (+ (* 1.061405429 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 4))) (+ (* 1.421413741 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 2))) 0.254829592)) (+ (* 0.284496736 (/ 1 (+ (* 0.3275911 (fabs x)) 1))) (* 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 3)))))

prune1.7s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 14.3b

localize43.0ms

Local error

Found 4 expressions with local error:

14.3b
(- 1 (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1)))) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 0.254829592) (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x)))))
0.5b
(+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1)))) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1)))
0.2b
(* (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1))))
0.2b
(/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1)))) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 0.254829592) (fma 0.3275911 (fabs x) 1))

rewrite919.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×pow1 times-frac
8×add-cbrt-cube add-exp-log sqrt-prod
7×associate-*r* associate-*l*
4×expm1-log1p-u pow1/2 sqrt-div insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* div-inv associate-/l*
2×flip3-+ pow-prod-down pow-prod-up flip-+ associate-/l/
1×pow2 frac-times cbrt-undiv +-commutative clear-num sub-neg rem-square-sqrt frac-2neg pow-plus flip3-- sqrt-unprod div-exp associate-*l/ prod-exp associate-*r/ *-commutative cbrt-unprod flip--
Calls
4 calls:
Slowest
572.0ms
(/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1)))) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 0.254829592) (fma 0.3275911 (fabs x) 1))
271.0ms
(- 1 (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1)))) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 0.254829592) (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x)))))
63.0ms
(+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1)))) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1)))
12.0ms
(* (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1))))

series1.4s

Calls
4 calls:
Slowest
867.0ms
(- 1 (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1)))) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 0.254829592) (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x)))))
300.0ms
(/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1)))) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 0.254829592) (fma 0.3275911 (fabs x) 1))
179.0ms
(+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1)))) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1)))
74.0ms
(* (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1))))

simplify7.4s

Calls
67 calls:
Slowest
577.0ms
(/ (- (+ (* 1.421413741 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 2))) (+ 0.254829592 (/ (pow (sqrt 1.061405429) 2) (pow (+ (* 0.3275911 (fabs x)) 1) 4)))) (+ (* 0.284496736 (/ 1 (+ (* 0.3275911 (fabs x)) 1))) (* 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 3))))) (+ (* 0.3275911 (fabs x)) 1))
564.0ms
(/ (- (+ (* 1.421413741 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 2))) (+ 0.254829592 (/ (pow (sqrt 1.061405429) 2) (pow (+ (* 0.3275911 (fabs x)) 1) 4)))) (+ (* 0.284496736 (/ 1 (+ (* 0.3275911 (fabs x)) 1))) (* 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 3))))) (+ (* 0.3275911 (fabs x)) 1))
460.0ms
(/ (- (+ (* 1.421413741 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 2))) (+ 0.254829592 (/ (pow (sqrt 1.061405429) 2) (pow (+ (* 0.3275911 (fabs x)) 1) 4)))) (+ (* 0.284496736 (/ 1 (+ (* 0.3275911 (fabs x)) 1))) (* 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 3))))) (+ (* 0.3275911 (fabs x)) 1))
413.0ms
(- (+ (* 1.453152027 (/ 1 (* (exp (pow (fabs x) 2)) (pow (+ (* 0.3275911 (fabs x)) 1) 4)))) (+ (* 0.284496736 (/ 1 (* (exp (pow (fabs x) 2)) (pow (+ (* 0.3275911 (fabs x)) 1) 2)))) 1)) (+ (* 1.421413741 (/ 1 (* (exp (pow (fabs x) 2)) (pow (+ (* 0.3275911 (fabs x)) 1) 3)))) (+ (/ (pow (sqrt 1.061405429) 2) (* (pow (+ (* 0.3275911 (fabs x)) 1) 5) (exp (pow (fabs x) 2)))) (* 0.254829592 (/ 1 (* (exp (pow (fabs x) 2)) (+ (* 0.3275911 (fabs x)) 1)))))))
402.0ms
(- (+ (* 0.284496736 (/ 1 (* (pow (+ (* 0.3275911 (fabs x)) 1) 2) (exp (pow (fabs x) 2))))) (+ (* 1.453152027 (/ 1 (* (pow (+ (* 0.3275911 (fabs x)) 1) 4) (exp (pow (fabs x) 2))))) 1)) (+ (* 0.254829592 (/ 1 (* (+ (* 0.3275911 (fabs x)) 1) (exp (pow (fabs x) 2))))) (+ (/ (pow (sqrt 1.061405429) 2) (* (exp (pow (fabs x) 2)) (pow (+ (* 0.3275911 (fabs x)) 1) 5))) (* 1.421413741 (/ 1 (* (pow (+ (* 0.3275911 (fabs x)) 1) 3) (exp (pow (fabs x) 2))))))))

prune1.8s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 14.3b

localize56.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.4s

Algorithm
rewrite-expression-head
Rules
930×times-frac
611×add-sqr-sqrt
594×*-un-lft-identity
591×add-cube-cbrt
455×prod-diff
261×unpow-prod-down cube-prod
99×cube-mult
98×unpow3
56×div-inv
46×add-cbrt-cube
43×associate-*r* associate-*l*
32×add-exp-log
21×cbrt-undiv div-exp
10×pow1
9×prod-exp cbrt-unprod
8×add-log-exp
7×difference-of-squares
5×fma-neg associate-*r/
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×frac-add pow-exp rem-cube-cbrt
2×frac-times associate-*l/ distribute-lft-out--
1×cube-div pow2 pow-to-exp difference-cubes +-commutative sum-log sub-neg pow-pow fma-def flip3-+ pow-plus distribute-rgt-out flip3-- diff-log pow-prod-down *-commutative pow-prod-up flip-+ flip--
Calls
4 calls:
Slowest
959.0ms
(- (pow 1 3) (pow (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1)))) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 0.254829592) (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x)))) 3))
609.0ms
(* (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1)))) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 0.254829592) (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x)))) (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1)))) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 0.254829592) (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x)))))
458.0ms
(+ (* (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1)))) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 0.254829592) (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x)))) (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1)))) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 0.254829592) (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x))))) (* 1 (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1)))) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 0.254829592) (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x))))))
351.0ms
(pow (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1)))) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 0.254829592) (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x)))) 3)

series10.9s

Calls
4 calls:
Slowest
6.0s
(- (pow 1 3) (pow (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1)))) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 0.254829592) (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x)))) 3))
3.8s
(+ (* (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1)))) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 0.254829592) (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x)))) (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1)))) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 0.254829592) (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x))))) (* 1 (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1)))) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 0.254829592) (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x))))))
551.0ms
(* (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1)))) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 0.254829592) (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x)))) (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1)))) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 0.254829592) (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x)))))
518.0ms
(pow (/ (/ (+ (/ (+ -0.284496736 (/ (+ (/ (+ (* (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1))) (sqrt (/ 1.061405429 (fma 0.3275911 (fabs x) 1)))) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) (fma 0.3275911 (fabs x) 1))) (fma 0.3275911 (fabs x) 1)) 0.254829592) (fma 0.3275911 (fabs x) 1)) (exp (* (fabs x) (fabs x)))) 3)