Details

Time bar (total: 2.1m)

sample128.0ms

Algorithm
intervals
Results
65.0ms129×body160valid
32.0ms127×body80valid

simplify455.0ms

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

localize64.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.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))))

rewrite76.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
49.0ms
(* (/ 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)))))))
14.0ms
(/ 1 (+ 1 (* 0.3275911 (fabs x))))
5.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))))))

series2.0s

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))))))
419.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))))))))
341.0ms
(* (/ 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)))))))
37.0ms
(/ 1 (+ 1 (* 0.3275911 (fabs x))))

simplify19.1s

Counts
93 → 134
Calls
93 calls:
Slowest
878.0ms
(* (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (/ 1 (+ 1 (* 0.3275911 (fabs x))))) (/ 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.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.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))))))))
664.0ms
(* (/ (sqrt 1) (sqrt (+ 1 (* 0.3275911 (fabs x))))) (sqrt (+ -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))))))))
602.0ms
(* (+ 1 (* 0.3275911 (fabs x))) (+ (* -0.284496736 -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)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429)))))) (* -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)))))))))
529.0ms
(/ (- (+ (* 1.421413741 (/ 1 (+ (* 0.3275911 (fabs x)) 1))) (* 1.061405429 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 3)))) (+ (* 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 2))) 0.284496736)) (+ (* 0.3275911 (fabs x)) 1))
520.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 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))))))

prune2.3s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 14.2b

localize98.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 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
14.1b
(* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x))))
0.5b
(/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (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 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))

rewrite192.0ms

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt
28×*-un-lft-identity
27×add-cube-cbrt
26×times-frac
18×associate-*l*
17×add-exp-log
11×add-cbrt-cube
9×prod-diff
8×add-log-exp
7×pow1 difference-of-squares
6×distribute-rgt-in distribute-lft-in
5×flip3-- flip--
4×expm1-log1p-u associate-/r* div-exp prod-exp associate-/r/ insert-posit16 log1p-expm1-u
3×sub-neg fma-def fma-neg associate-*r* associate-/l* unswap-sqr
2×frac-times cbrt-undiv rec-exp associate-+r+ 1-exp associate-*r/ cbrt-unprod div-inv
1×+-commutative clear-num sum-log frac-2neg flip3-+ diff-log pow-prod-down associate-*l/ *-commutative flip-+ pow-flip inv-pow
Counts
4 → 137
Calls
4 calls:
Slowest
105.0ms
(* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x))))
67.0ms
(/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 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 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 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 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

series2.6s

Counts
4 → 12
Calls
4 calls:
Slowest
1.6s
(- 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 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
778.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 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))
107.0ms
(* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x))))
92.0ms
(/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x)))))

simplify18.8s

Counts
111 → 149
Calls
111 calls:
Slowest
842.0ms
(* (* (* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x)))))) (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x)))))) (* (* (- 1 (* 0.3275911 (fabs x))) (- 1 (* 0.3275911 (fabs x)))) (- 1 (* 0.3275911 (fabs x)))))
743.0ms
(* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x)))) 1.061405429))))))
645.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 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x)))))))
485.0ms
(/ 1 (- (* (* 1 1) (* 1 1)) (* (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))))
481.0ms
(- (+ (* 1.061405429 (/ 1 (* (pow (+ (* 0.3275911 (fabs x)) 1) 3) (- 1 (* 0.10731592879921002 (pow (fabs x) 2)))))) (+ (* 1.421413741 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 2))) 0.254829592)) (+ (* 0.3477069720320819 (/ (fabs x) (* (pow (+ (* 0.3275911 (fabs x)) 1) 3) (- 1 (* 0.10731592879921002 (pow (fabs x) 2)))))) (+ (* 1.453152027 (/ 1 (pow (+ (* 0.3275911 (fabs x)) 1) 3))) (* 0.284496736 (/ 1 (+ (* 0.3275911 (fabs x)) 1))))))

prune2.9s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 14.2b

localize139.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 (* (expm1 (log1p (* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
14.1b
(* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x))))
0.5b
(+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (expm1 (log1p (* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))
0.5b
(/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x)))))

rewrite198.0ms

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

series2.2s

Counts
4 → 12
Calls
4 calls:
Slowest
1.4s
(- 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 (* (expm1 (log1p (* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
588.0ms
(+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (expm1 (log1p (* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))
99.0ms
(* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x))))
63.0ms
(/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x)))))

simplify18.3s

Counts
111 → 149
Calls
111 calls:
Slowest
747.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 (* (expm1 (log1p (* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 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 (* (expm1 (log1p (* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x)))))) 1.061405429)))))))))))
706.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 (* (expm1 (log1p (* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x)))))))
699.0ms
(* (* (* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x)))))) (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x)))))) (* (* (- 1 (* 0.3275911 (fabs x))) (- 1 (* 0.3275911 (fabs x)))) (- 1 (* 0.3275911 (fabs x)))))
654.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 (* (expm1 (log1p (* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 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 (* (expm1 (log1p (* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x)))))) 1.061405429)))))))))))
642.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 (* (expm1 (log1p (* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 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 (* (expm1 (log1p (* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x)))))) 1.061405429)))))))))))

prune3.1s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 14.2b

localize226.0ms

Local error

Found 4 expressions with local error:

14.1b
(* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x))))
14.1b
(* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x))))
14.1b
(* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x))))
14.1b
(* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x))))

rewrite523.0ms

Algorithm
rewrite-expression-head
Rules
76×add-sqr-sqrt
72×associate-*l*
56×times-frac
52×*-un-lft-identity
48×add-cube-cbrt
40×add-exp-log
24×add-cbrt-cube prod-diff
20×distribute-rgt-in distribute-lft-in
16×prod-exp
12×pow1 flip3-- associate-*r* flip-- difference-of-squares unswap-sqr
8×frac-times sub-neg div-exp associate-*r/ associate-/r/ cbrt-unprod
4×expm1-log1p-u cbrt-undiv rec-exp 1-exp pow-prod-down associate-*l/ *-commutative insert-posit16 log1p-expm1-u div-inv add-log-exp
Counts
4 → 228
Calls
4 calls:
Slowest
153.0ms
(* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x))))
139.0ms
(* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x))))
115.0ms
(* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x))))
112.0ms
(* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x))))

series498.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
132.0ms
(* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x))))
126.0ms
(* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x))))
123.0ms
(* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x))))
116.0ms
(* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1 (* 0.3275911 (fabs x))))

simplify38.5s

Counts
208 → 240
Calls
208 calls:
Slowest
841.0ms
(* (- (* 0.3275911 (fabs x))) (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))))
754.0ms
(* (* (* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x)))))) (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x)))))) (* (* (- 1 (* 0.3275911 (fabs x))) (- 1 (* 0.3275911 (fabs x)))) (- 1 (* 0.3275911 (fabs x)))))
752.0ms
(* (* (* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x)))))) (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x)))))) (* (* (- 1 (* 0.3275911 (fabs x))) (- 1 (* 0.3275911 (fabs x)))) (- 1 (* 0.3275911 (fabs x)))))
723.0ms
(* (* (* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x)))))) (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x)))))) (* (* (- 1 (* 0.3275911 (fabs x))) (- 1 (* 0.3275911 (fabs x)))) (- 1 (* 0.3275911 (fabs x)))))
717.0ms
(* (* (* (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x)))))) (/ 1 (- (* 1 1) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x)))))) (* (* (- 1 (* 0.3275911 (fabs x))) (- 1 (* 0.3275911 (fabs x)))) (- 1 (* 0.3275911 (fabs x)))))

prune10.6s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 14.2b

regimes138.0ms

Accuracy

0% (0.0b remaining)

Error of 14.2b against oracle of 14.2b and baseline of 14.2b

bsearch96.0ms

end0.0ms

sample3.5s

Algorithm
intervals
Results
2.4s4040×body160valid
941.0ms3960×body80valid