Details

Time bar (total: 2.6m)

sample147.0ms

Algorithm
intervals
Results
83.0ms129×body160valid
23.0ms127×body80valid

simplify397.0ms

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

prune29.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 14.4b

localize97.0ms

Local error

Found 4 expressions with local error:

14.3b
(- 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.5b
(+ 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.1b
(* (/ 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.1b
(/ 1 (+ 1 (* 0.3275911 (fabs x))))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt
24×*-un-lft-identity
23×add-cube-cbrt
20×times-frac
17×add-exp-log
15×associate-*l*
11×add-cbrt-cube
8×add-log-exp
7×pow1
5×flip3-+ flip-+
4×expm1-log1p-u div-exp prod-exp associate-/r/ insert-posit16 log1p-expm1-u
3×associate-/r* fma-def fma-neg associate-*r* prod-diff associate-/l* unswap-sqr
2×distribute-rgt-in frac-times cbrt-undiv rec-exp associate-+r+ distribute-lft-in 1-exp associate-*r/ cbrt-unprod div-inv
1×+-commutative clear-num sum-log sub-neg frac-2neg flip3-- diff-log pow-prod-down associate-*l/ *-commutative pow-flip flip-- inv-pow
Counts
4 → 122
Calls
4 calls:
Slowest
21.0ms
(* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429)))))
7.0ms
(/ 1 (+ 1 (* 0.3275911 (fabs x))))
6.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))))))))
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 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

series1.7s

Counts
4 → 12
Calls
4 calls:
Slowest
1.0s
(- 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))))))
402.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))))))))
246.0ms
(* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429)))))
32.0ms
(/ 1 (+ 1 (* 0.3275911 (fabs x))))

simplify38.6s

Counts
152 → 134
Calls
152 calls:
Slowest
871.0ms
(cbrt (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))))
796.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 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) 3))
772.0ms
(- (* 1 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))))) (* (* (/ 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)))))))
721.0ms
(* (/ (* (* 1 1) 1) (* (* (+ 1 (* 0.3275911 (fabs x))) (+ 1 (* 0.3275911 (fabs x)))) (+ 1 (* 0.3275911 (fabs x))))) (* (* (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))))
704.0ms
(+ (* 0.254829592 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))))))) (* (/ 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.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.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 14.3b

localize138.0ms

Local error

Found 4 expressions with local error:

14.3b
(- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (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))))))) (exp (- (* (fabs x) (fabs x))))))
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)))
0.5b
(/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))
0.5b
(+ 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))))))

rewrite425.0ms

Algorithm
rewrite-expression-head
Rules
19×*-un-lft-identity
17×add-log-exp
13×add-sqr-sqrt add-cube-cbrt
10×times-frac fma-neg prod-diff
9×add-cbrt-cube add-exp-log
5×sum-log frac-sub
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u
3×fma-def flip3-+ diff-log flip-+ div-inv distribute-lft-out associate-/l*
2×frac-times cbrt-undiv sub-neg flip3-- div-exp associate-*r/ flip-- associate--r+
1×distribute-rgt-in +-commutative associate-+r+ clear-num associate-+r- associate-/r* frac-2neg distribute-lft-in associate-*l/ prod-exp associate-+l- cbrt-unprod distribute-lft-out--
Counts
4 → 105
Calls
4 calls:
Slowest
352.0ms
(+ 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))))))
51.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)))
10.0ms
(- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (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))))))) (exp (- (* (fabs x) (fabs x))))))
9.0ms
(/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))

series2.0s

Counts
4 → 12
Calls
4 calls:
Slowest
1.2s
(- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (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))))))) (exp (- (* (fabs x) (fabs x))))))
385.0ms
(+ 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))))))
276.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)))
70.0ms
(/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))

simplify43.7s

Counts
138 → 117
Calls
138 calls:
Slowest
965.0ms
(- (* (* (/ 1 (+ 1 (* 0.3275911 (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))))))) (exp (- (* (fabs x) (fabs x))))))
813.0ms
(* (* (+ 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)))))) (+ 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))))))) (+ 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)))))))
729.0ms
(fma (- (exp (- (* (fabs x) (fabs x))))) (* (/ 1 (+ 1 (* 0.3275911 (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))))))) (* (exp (- (* (fabs x) (fabs x)))) (* (/ 1 (+ 1 (* 0.3275911 (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)))))))))
712.0ms
(fma (- (exp (- (* (fabs x) (fabs x))))) (* (/ 1 (+ 1 (* 0.3275911 (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))))))) (* (exp (- (* (fabs x) (fabs x)))) (* (/ 1 (+ 1 (* 0.3275911 (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)))))))))
669.0ms
(- (/ 1.421413741 (* (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 (fma 0.3275911 (fabs x) 1))))

prune2.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 14.3b

localize72.0ms

Local error

Found 4 expressions with local error:

14.3b
(+ 1 (/ (* (+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592) (/ -1 (fma 0.3275911 (fabs x) 1))) (exp (* (fabs x) (fabs x)))))
0.6b
(fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 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)))
0.5b
(+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592)

rewrite797.0ms

Algorithm
rewrite-expression-head
Rules
17×*-un-lft-identity
11×add-log-exp
9×add-cbrt-cube add-exp-log
8×add-sqr-sqrt add-cube-cbrt
7×fma-def
5×distribute-lft-out
4×expm1-log1p-u pow1 sum-log insert-posit16 log1p-expm1-u
3×times-frac associate-/l*
2×cbrt-undiv +-commutative flip3-+ div-exp flip-+
1×associate-+l+ clear-num associate-/r* frac-2neg prod-exp cbrt-unprod fma-udef div-inv
Counts
4 → 75
Calls
4 calls:
Slowest
510.0ms
(+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592)
272.0ms
(+ 1 (/ (* (+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592) (/ -1 (fma 0.3275911 (fabs x) 1))) (exp (* (fabs x) (fabs x)))))
13.0ms
(/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))
0.0ms
(fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))

series1.4s

Counts
4 → 12
Calls
4 calls:
Slowest
717.0ms
(+ 1 (/ (* (+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592) (/ -1 (fma 0.3275911 (fabs x) 1))) (exp (* (fabs x) (fabs x)))))
357.0ms
(+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592)
226.0ms
(fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))
59.0ms
(/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1)))

simplify23.7s

Counts
86 → 87
Calls
86 calls:
Slowest
929.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)))))))
719.0ms
(* (* (+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592) (+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592)) (+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592))
683.0ms
(+ (* 1 1) (- (* (/ (* (+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592) (/ -1 (fma 0.3275911 (fabs x) 1))) (exp (* (fabs x) (fabs x)))) (/ (* (+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592) (/ -1 (fma 0.3275911 (fabs x) 1))) (exp (* (fabs x) (fabs x))))) (* 1 (/ (* (+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592) (/ -1 (fma 0.3275911 (fabs x) 1))) (exp (* (fabs x) (fabs x)))))))
665.0ms
(- (* 1 1) (* (/ (* (+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592) (/ -1 (fma 0.3275911 (fabs x) 1))) (exp (* (fabs x) (fabs x)))) (/ (* (+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592) (/ -1 (fma 0.3275911 (fabs x) 1))) (exp (* (fabs x) (fabs x))))))
659.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))))))))

prune1.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 14.3b

localize139.0ms

Local error

Found 4 expressions with local error:

10.9b
(- (* 1 1) (* (/ (* (+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592) (/ -1 (fma 0.3275911 (fabs x) 1))) (exp (* (fabs x) (fabs x)))) (/ (* (+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592) (/ -1 (fma 0.3275911 (fabs x) 1))) (exp (* (fabs x) (fabs x))))))
0.6b
(fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))
0.6b
(fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))
0.6b
(fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))

rewrite1.5s

Algorithm
rewrite-expression-head
Rules
6×add-log-exp
4×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16 log1p-expm1-u
3×fma-udef
1×sub-neg flip3-- fma-neg diff-log prod-diff flip-- difference-of-squares
Counts
4 → 51
Calls
4 calls:
Slowest
1.5s
(- (* 1 1) (* (/ (* (+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592) (/ -1 (fma 0.3275911 (fabs x) 1))) (exp (* (fabs x) (fabs x)))) (/ (* (+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592) (/ -1 (fma 0.3275911 (fabs x) 1))) (exp (* (fabs x) (fabs x))))))
0.0ms
(fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))
0.0ms
(fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))
0.0ms
(fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))

series2.9s

Counts
4 → 12
Calls
4 calls:
Slowest
2.2s
(- (* 1 1) (* (/ (* (+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592) (/ -1 (fma 0.3275911 (fabs x) 1))) (exp (* (fabs x) (fabs x)))) (/ (* (+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592) (/ -1 (fma 0.3275911 (fabs x) 1))) (exp (* (fabs x) (fabs x))))))
237.0ms
(fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))
231.0ms
(fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))
222.0ms
(fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))

simplify25.4s

Counts
67 → 63
Calls
67 calls:
Slowest
1.2s
(- (* (* 1 1) (* 1 1)) (* (* (/ (* (+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592) (/ -1 (fma 0.3275911 (fabs x) 1))) (exp (* (fabs x) (fabs x)))) (/ (* (+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592) (/ -1 (fma 0.3275911 (fabs x) 1))) (exp (* (fabs x) (fabs x))))) (* (/ (* (+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592) (/ -1 (fma 0.3275911 (fabs x) 1))) (exp (* (fabs x) (fabs x)))) (/ (* (+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592) (/ -1 (fma 0.3275911 (fabs x) 1))) (exp (* (fabs x) (fabs x)))))))
870.0ms
(fma (- (/ (* (+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592) (/ -1 (fma 0.3275911 (fabs x) 1))) (exp (* (fabs x) (fabs x))))) (/ (* (+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592) (/ -1 (fma 0.3275911 (fabs x) 1))) (exp (* (fabs x) (fabs x)))) (* (/ (* (+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592) (/ -1 (fma 0.3275911 (fabs x) 1))) (exp (* (fabs x) (fabs x)))) (/ (* (+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592) (/ -1 (fma 0.3275911 (fabs x) 1))) (exp (* (fabs x) (fabs x))))))
863.0ms
(- (pow (* 1 1) 3) (pow (* (/ (* (+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592) (/ -1 (fma 0.3275911 (fabs x) 1))) (exp (* (fabs x) (fabs x)))) (/ (* (+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592) (/ -1 (fma 0.3275911 (fabs x) 1))) (exp (* (fabs x) (fabs x))))) 3))
772.0ms
(- (+ (* 0.1449963743204234 (/ 1 (* (pow (+ (* 0.3275911 (fabs x)) 1) 3) (pow (exp (pow (fabs x) 2)) 2)))) (+ (* 3.0847669012403087 (/ 1 (* (pow (+ (* 0.3275911 (fabs x)) 1) 9) (pow (exp (pow (fabs x) 2)) 2)))) (+ (* 0.7406122763087659 (/ 1 (* (pow (+ (* 0.3275911 (fabs x)) 1) 5) (pow (exp (pow (fabs x) 2)) 2)))) (+ (* 0.8087751396400987 (/ 1 (* (pow (exp (pow (fabs x) 2)) 2) (pow (+ (* 0.3275911 (fabs x)) 1) 5)))) (+ (* 4.1310605178796065 (/ 1 (* (pow (exp (pow (fabs x) 2)) 2) (pow (+ (* 0.3275911 (fabs x)) 1) 7)))) (+ 1 (* 0.6039327602463593 (/ 1 (* (pow (+ (* 0.3275911 (fabs x)) 1) 7) (pow (exp (pow (fabs x) 2)) 2)))))))))) (+ (* 0.08093839279465367 (/ 1 (* (pow (exp (pow (fabs x) 2)) 2) (pow (+ (* 0.3275911 (fabs x)) 1) 4)))) (+ (* 0.06493812095888646 (/ 1 (* (pow (exp (pow (fabs x) 2)) 2) (pow (+ (* 0.3275911 (fabs x)) 1) 2)))) (+ (* 3.3882060651274926 (/ 1 (* (pow (exp (pow (fabs x) 2)) 2) (pow (+ (* 0.3275911 (fabs x)) 1) 6)))) (+ (* 1.1265814847106739 (/ 1 (* (pow (exp (pow (fabs x) 2)) 2) (pow (+ (* 0.3275911 (fabs x)) 1) 10)))) (+ (* 2.111650813574209 (/ 1 (* (pow (exp (pow (fabs x) 2)) 2) (pow (+ (* 0.3275911 (fabs x)) 1) 8)))) (+ (* 0.7244365673644474 (/ 1 (* (pow (+ (* 0.3275911 (fabs x)) 1) 4) (pow (exp (pow (fabs x) 2)) 2)))) (* 3.0173925231051997 (/ 1 (* (pow (+ (* 0.3275911 (fabs x)) 1) 8) (pow (exp (pow (fabs x) 2)) 2)))))))))))
697.0ms
(log (- (* 1 1) (* (/ (* (+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592) (/ -1 (fma 0.3275911 (fabs x) 1))) (exp (* (fabs x) (fabs x)))) (/ (* (+ (+ (/ 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)))) (fma (+ (/ 1.453152027 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 0.284496736) (/ -1 (fma 0.3275911 (fabs x) 1)) (/ 1.421413741 (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) 0.254829592) (/ -1 (fma 0.3275911 (fabs x) 1))) (exp (* (fabs x) (fabs x)))))))

prune1.9s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 14.3b

regimes179.0ms

Accuracy

0% (0.0b remaining)

Error of 13.9b against oracle of 13.9b and baseline of 13.9b

bsearch18.0ms

end0.0ms

sample3.7s

Algorithm
intervals
Results
2.5s3938×body160valid
1.1s4062×body80valid