Details

Time bar (total: 3.9m)

sample145.0ms

Algorithm
intervals
Results
64.0ms125×body160valid
33.0ms131×body80valid

simplify494.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
494.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))))))

prune25.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 13.7b

localize53.0ms

Local error

Found 4 expressions with local error:

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

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
44×add-sqr-sqrt
38×*-un-lft-identity
34×add-cube-cbrt
29×times-frac
21×prod-diff
17×add-exp-log
13×associate-*l*
11×add-cbrt-cube
7×pow1
6×add-log-exp
5×div-inv
4×expm1-log1p-u div-exp prod-exp insert-posit16 log1p-expm1-u
3×associate-/r* fma-neg associate-*r* fma-udef associate-/l* unswap-sqr
2×cbrt-undiv rec-exp 1-exp cbrt-unprod difference-of-squares
1×distribute-rgt-in clear-num sub-neg frac-2neg distribute-lft-in flip3-- diff-log pow-prod-down associate-*l/ *-commutative pow-flip flip-- distribute-lft-out-- inv-pow
Counts
4 → 127
Calls
4 calls:
Slowest
25.0ms
(- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592)) (exp (* (fabs x) (fabs x)))))
24.0ms
(* (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592))
4.0ms
(/ 1 (fma 0.3275911 (fabs x) 1))
0.0ms
(fma (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592)

series1.3s

Counts
4 → 12
Calls
4 calls:
Slowest
517.0ms
(- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592)) (exp (* (fabs x) (fabs x)))))
398.0ms
(* (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592))
301.0ms
(fma (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592)
38.0ms
(/ 1 (fma 0.3275911 (fabs x) 1))

simplify29.4s

Counts
119 → 139
Calls
119 calls:
Slowest
733.0ms
(fma (sqrt 1) (sqrt 1) (- (* (/ (fma (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (cbrt (exp (* (fabs x) (fabs x))))) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (* (cbrt (exp (* (fabs x) (fabs x)))) (cbrt (exp (* (fabs x) (fabs x)))))))))
704.0ms
(fma (- (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592)) (exp (* (fabs x) (fabs x))))) 1 (* (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592)) (exp (* (fabs x) (fabs x)))) 1))
667.0ms
(- 1 (sqrt (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (fma (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592)) (exp (* (fabs x) (fabs x))))))
624.0ms
(fma 1 1 (- (* (/ (fma (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (cbrt (exp (* (fabs x) (fabs x))))) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (* (cbrt (exp (* (fabs x) (fabs x)))) (cbrt (exp (* (fabs x) (fabs x)))))))))
623.0ms
(fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ (fma (fma (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ (+ (/ 1.061405429 (fma 0.3275911 (fabs x) 1)) -1.453152027) (fma 0.3275911 (fabs x) 1)) 1.421413741) -0.284496736) (/ 1 (fma 0.3275911 (fabs x) 1)) 0.254829592) (cbrt (exp (* (fabs x) (fabs x))))) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (* (cbrt (exp (* (fabs x) (fabs x)))) (cbrt (exp (* (fabs x) (fabs x)))))))))

prune2.2s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 13.6b

localize62.0ms

Local error

Found 4 expressions with local error:

13.6b
(- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))) (exp (* (fabs x) (fabs x)))))
1.1b
(/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))
1.1b
(/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))
0.5b
(- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736)))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
30×*-un-lft-identity
29×add-sqr-sqrt
28×prod-diff
26×add-cube-cbrt
22×times-frac
14×add-cbrt-cube add-exp-log
10×fma-neg
8×add-log-exp
7×div-inv
6×associate-/l*
5×frac-sub
4×expm1-log1p-u pow1 cbrt-undiv div-exp insert-posit16 log1p-expm1-u
2×frac-times clear-num associate-/r* sub-neg frac-2neg flip3-+ flip3-- diff-log prod-exp associate-*r/ cbrt-unprod flip-+ flip-- associate--r+ distribute-lft-out-- difference-of-squares
1×distribute-rgt-in distribute-lft-in associate-*l/
Counts
4 → 127
Calls
4 calls:
Slowest
26.0ms
(- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736)))
15.0ms
(- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))) (exp (* (fabs x) (fabs x)))))
12.0ms
(/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))
6.0ms
(/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))

series1.5s

Counts
4 → 12
Calls
4 calls:
Slowest
1.0s
(- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))) (exp (* (fabs x) (fabs x)))))
273.0ms
(- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736)))
77.0ms
(/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))
63.0ms
(/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))

simplify34.3s

Counts
122 → 139
Calls
122 calls:
Slowest
1.2s
(fma (- (/ 1 (exp (* (fabs x) (fabs x))))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))) (* (/ 1 (exp (* (fabs x) (fabs x)))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))))))))
711.0ms
(fma (- (/ 1 (exp (* (fabs x) (fabs x))))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))) (* (/ 1 (exp (* (fabs x) (fabs x)))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))))))))
664.0ms
(fma (sqrt 1) (sqrt 1) (- (* (/ 1 (exp (* (fabs x) (fabs x)))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))))))
629.0ms
(fma 1 1 (- (* (/ 1 (exp (* (fabs x) (fabs x)))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))))))
626.0ms
(- (* 1.421413741 (* (fma 0.3275911 (fabs x) 1) (+ (* (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))) (- (* 0.284496736 0.284496736) (* (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))))) (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* 1 (+ (pow (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 3) (pow 0.284496736 3)))))

prune2.4s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 13.6b

localize151.0ms

Local error

Found 4 expressions with local error:

13.6b
(- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))) (exp (* (fabs x) (fabs x)))))
13.6b
(- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))) (exp (* (fabs x) (fabs x)))))
13.6b
(- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))) (exp (* (fabs x) (fabs x)))))
1.1b
(/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
63×prod-diff
57×add-sqr-sqrt *-un-lft-identity
48×add-cube-cbrt
30×times-frac
10×div-inv add-log-exp
9×add-cbrt-cube fma-neg add-exp-log
6×difference-of-squares
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u
3×sub-neg flip3-- diff-log flip-- associate-/l* distribute-lft-out--
2×cbrt-undiv div-exp
1×clear-num associate-/r* frac-2neg prod-exp cbrt-unprod
Counts
4 → 150
Calls
4 calls:
Slowest
33.0ms
(- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))) (exp (* (fabs x) (fabs x)))))
24.0ms
(- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))) (exp (* (fabs x) (fabs x)))))
15.0ms
(- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))) (exp (* (fabs x) (fabs x)))))
6.0ms
(/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))

series3.0s

Counts
4 → 12
Calls
4 calls:
Slowest
994.0ms
(- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))) (exp (* (fabs x) (fabs x)))))
991.0ms
(- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))) (exp (* (fabs x) (fabs x)))))
971.0ms
(- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))) (exp (* (fabs x) (fabs x)))))
59.0ms
(/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))

simplify1.1m

Counts
175 → 162
Calls
175 calls:
Slowest
1.0s
(fma (- (/ 1 (exp (* (fabs x) (fabs x))))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))) (* (/ 1 (exp (* (fabs x) (fabs x)))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))))))))
762.0ms
(fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (/ (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))))) (cbrt (exp (* (fabs x) (fabs x))))) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (* (cbrt (exp (* (fabs x) (fabs x)))) (cbrt (exp (* (fabs x) (fabs x)))))))))
754.0ms
(fma (sqrt 1) (sqrt 1) (- (* (/ 1 (exp (* (fabs x) (fabs x)))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))))))
725.0ms
(fma (- (/ 1 (exp (* (fabs x) (fabs x))))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))) (* (/ 1 (exp (* (fabs x) (fabs x)))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))))))))
717.0ms
(fma (- (/ 1 (exp (* (fabs x) (fabs x))))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))) (* (/ 1 (exp (* (fabs x) (fabs x)))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))))))))

prune4.7s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 12.8b

localize204.0ms

Local error

Found 4 expressions with local error:

13.6b
(- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (cbrt (* (* (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))) (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))) (exp (* (fabs x) (fabs x)))))
13.6b
(- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))) (exp (* (fabs x) (fabs x)))))
13.6b
(- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))) (exp (* (fabs x) (fabs x)))))
11.9b
(cbrt (* (* (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))) (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))))

rewrite155.0ms

Algorithm
rewrite-expression-head
Rules
63×prod-diff
55×add-sqr-sqrt *-un-lft-identity
46×add-cube-cbrt
27×times-frac
10×add-log-exp
9×fma-neg div-inv
7×cbrt-div
6×difference-of-squares
5×frac-times associate-*l/
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×sub-neg flip3-- diff-log associate-*r/ flip-- distribute-lft-out--
1×cbrt-prod pow1/3 pow3 rem-cbrt-cube
Counts
4 → 146
Calls
4 calls:
Slowest
95.0ms
(cbrt (* (* (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))) (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))))
26.0ms
(- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))) (exp (* (fabs x) (fabs x)))))
16.0ms
(- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (cbrt (* (* (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))) (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))) (exp (* (fabs x) (fabs x)))))
14.0ms
(- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))) (exp (* (fabs x) (fabs x)))))

series3.1s

Counts
4 → 12
Calls
4 calls:
Slowest
1.0s
(- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))) (exp (* (fabs x) (fabs x)))))
1.0s
(- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))) (exp (* (fabs x) (fabs x)))))
947.0ms
(- 1 (/ (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (cbrt (* (* (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))) (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))) (exp (* (fabs x) (fabs x)))))
131.0ms
(cbrt (* (* (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))) (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))))

simplify1.2m

Counts
170 → 158
Calls
170 calls:
Slowest
799.0ms
(fma (- (/ (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))))) (cbrt (exp (* (fabs x) (fabs x)))))) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (* (cbrt (exp (* (fabs x) (fabs x)))) (cbrt (exp (* (fabs x) (fabs x)))))) (* (/ (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))))) (cbrt (exp (* (fabs x) (fabs x))))) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (* (cbrt (exp (* (fabs x) (fabs x)))) (cbrt (exp (* (fabs x) (fabs x))))))))
796.0ms
(fma 1 1 (- (* (/ (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))))) (cbrt (exp (* (fabs x) (fabs x))))) (/ (/ 1 (fma 0.3275911 (fabs x) 1)) (* (cbrt (exp (* (fabs x) (fabs x)))) (cbrt (exp (* (fabs x) (fabs x)))))))))
766.0ms
(fma (- (/ 1 (exp (* (fabs x) (fabs x))))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))) (* (/ 1 (exp (* (fabs x) (fabs x)))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))))))))
753.0ms
(fma (- (/ 1 (exp (* (fabs x) (fabs x))))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (cbrt (* (* (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))) (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))) (* (/ 1 (exp (* (fabs x) (fabs x)))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (cbrt (* (* (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))) (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))))))))
751.0ms
(fma (sqrt 1) (sqrt 1) (- (* (/ 1 (exp (* (fabs x) (fabs x)))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ 0.254829592 (+ (- (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (* (/ 1 (fma 0.3275911 (fabs x) 1)) (+ (cbrt (* (* (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))) (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.284496736))) (/ 1.061405429 (* (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))))))))

prune5.3s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 3.0b

regimes300.0ms

Accuracy

0% (0.1b remaining)

Error of 3.2b against oracle of 3.1b and baseline of 3.2b

bsearch74.0ms

end0.0ms

sample3.6s

Algorithm
intervals
Results
2.3s3905×body160valid
1.1s4095×body80valid