Details

Time bar (total: 1.1m)

sample68.0ms

Algorithm
intervals
Results
26.0ms125×body160valid
14.0ms131×body80valid

simplify1.7s

Counts
1 → 1
Iterations
IterNodes
done5000
31203
2313
182
026

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 13.9b

localize63.0ms

Local error

Found 4 expressions with local error:

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

rewrite43.0ms

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

series1.8s

Counts
4 → 12
Calls
4 calls:
39.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
53.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
495.0ms
(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
1.2s
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

simplify2.4s

Counts
112 → 112
Iterations
IterNodes
done5002
22627
1496
0177

prune1.0s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 13.8b

localize224.0ms

Local error

Found 4 expressions with local error:

0.5b
(- 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
0.5b
(- (* 0.254829592 0.254829592) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))
0.6b
(* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
13.8b
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (/ (- (* 0.254829592 0.254829592) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (- 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))) (exp (- (* (fabs x) (fabs x))))))

rewrite159.0ms

Algorithm
rewrite-expression-head
Rules
49×frac-times
43×pow1
40×add-cbrt-cube add-exp-log
29×associate-*r/
24×flip3-+ flip-+
21×prod-exp cbrt-unprod
17×pow-prod-down associate-*l/
10×add-log-exp
9×distribute-rgt-in distribute-lft-in
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
7×fma-neg prod-diff
6×cbrt-undiv div-exp associate--r+
4×expm1-log1p-u pow-sqr pow-prod-up log1p-expm1-u
3×sub-neg flip3-- diff-log flip--
2×pow-plus
1×pow2 swap-sqr associate-*r* associate-*l* *-commutative difference-of-squares
Counts
4 → 148
Calls
4 calls:
10.0ms
(- 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
15.0ms
(- (* 0.254829592 0.254829592) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))
118.0ms
(* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
5.0ms
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (/ (- (* 0.254829592 0.254829592) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (- 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))) (exp (- (* (fabs x) (fabs x))))))

series9.6s

Counts
4 → 12
Calls
4 calls:
455.0ms
(- 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
959.0ms
(- (* 0.254829592 0.254829592) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))
509.0ms
(* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
7.6s
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (/ (- (* 0.254829592 0.254829592) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (- 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))) (exp (- (* (fabs x) (fabs x))))))

simplify2.9s

Counts
160 → 160
Iterations
IterNodes
done5001
11201
0360

prune1.6s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 13.8b

localize174.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ (exp 0.254829592) (exp (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))
0.6b
(* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
1.2b
(log (/ (exp 0.254829592) (exp (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))))
13.8b
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (/ (- (* 0.254829592 0.254829592) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (log (/ (exp 0.254829592) (exp (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))))) (exp (- (* (fabs x) (fabs x))))))

rewrite131.0ms

Algorithm
rewrite-expression-head
Rules
49×frac-times
44×pow1
42×add-cbrt-cube
41×add-exp-log
30×times-frac
29×associate-*r/
25×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
24×flip3-+ flip-+
21×prod-exp cbrt-unprod
19×log-prod
17×pow-prod-down associate-*l/
14×exp-sum
11×distribute-rgt-in distribute-lft-in
8×div-exp
7×cbrt-undiv
6×add-log-exp
5×associate-/r*
4×expm1-log1p-u pow-sqr pow-prod-up log1p-expm1-u
3×fma-neg prod-diff associate-/l*
2×pow-plus rem-log-exp div-inv
1×pow2 log-div clear-num sub-neg frac-2neg flip3-- diff-log swap-sqr associate-*r* associate-*l* log-pow *-commutative flip--
Counts
4 → 174
Calls
4 calls:
21.0ms
(/ (exp 0.254829592) (exp (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))
84.0ms
(* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
5.0ms
(log (/ (exp 0.254829592) (exp (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))))
7.0ms
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (/ (- (* 0.254829592 0.254829592) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (log (/ (exp 0.254829592) (exp (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))))) (exp (- (* (fabs x) (fabs x))))))

series13.5s

Counts
4 → 12
Calls
4 calls:
680.0ms
(/ (exp 0.254829592) (exp (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))
509.0ms
(* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
877.0ms
(log (/ (exp 0.254829592) (exp (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))))
11.5s
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (/ (- (* 0.254829592 0.254829592) (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (log (/ (exp 0.254829592) (exp (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))))) (exp (- (* (fabs x) (fabs x))))))

simplify4.3s

Counts
186 → 186
Iterations
IterNodes
done5000
11248
0388

prune2.0s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 13.8b

localize382.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ (* (* (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) -0.284496736) 1.0) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (fma (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (* (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)))) (* (* -0.284496736 -0.284496736) -0.284496736))) (* (fma (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (- (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) -0.284496736) (* -0.284496736 -0.284496736)) (fma (fabs x) 0.3275911 1.0)))
0.6b
(* (* (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) -0.284496736) 1.0) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (fma (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (* (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)))) (* (* -0.284496736 -0.284496736) -0.284496736)))
1.2b
(log (/ (exp 0.254829592) (exp (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))))
13.8b
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (/ (- (* 0.254829592 0.254829592) (/ (* (* (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) -0.284496736) 1.0) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (fma (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (* (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)))) (* (* -0.284496736 -0.284496736) -0.284496736))) (* (fma (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (- (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) -0.284496736) (* -0.284496736 -0.284496736)) (fma (fabs x) 0.3275911 1.0)))) (log (/ (exp 0.254829592) (exp (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))))) (exp (- (* (fabs x) (fabs x))))))

rewrite215.0ms

Algorithm
rewrite-expression-head
Rules
79×add-exp-log
78×add-cbrt-cube
39×prod-exp cbrt-unprod
19×log-prod div-exp
18×cbrt-undiv
16×add-sqr-sqrt *-un-lft-identity times-frac add-cube-cbrt
14×pow1
6×exp-sum pow-prod-down add-log-exp
4×distribute-rgt-in expm1-log1p-u distribute-lft-in log1p-expm1-u
3×fma-neg associate-*r* prod-diff
2×rem-log-exp associate-*l/ associate-*r/ fma-udef div-inv
1×log-div clear-num associate-/r* sub-neg frac-2neg flip3-- diff-log associate-*l* log-pow *-commutative flip-- associate-/l* associate-/l/
Counts
4 → 122
Calls
4 calls:
88.0ms
(/ (* (* (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) -0.284496736) 1.0) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (fma (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (* (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)))) (* (* -0.284496736 -0.284496736) -0.284496736))) (* (fma (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (- (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) -0.284496736) (* -0.284496736 -0.284496736)) (fma (fabs x) 0.3275911 1.0)))
101.0ms
(* (* (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) -0.284496736) 1.0) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (fma (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (* (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)))) (* (* -0.284496736 -0.284496736) -0.284496736)))
10.0ms
(log (/ (exp 0.254829592) (exp (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))))
10.0ms
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (/ (- (* 0.254829592 0.254829592) (/ (* (* (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) -0.284496736) 1.0) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (fma (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (* (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)))) (* (* -0.284496736 -0.284496736) -0.284496736))) (* (fma (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (- (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) -0.284496736) (* -0.284496736 -0.284496736)) (fma (fabs x) 0.3275911 1.0)))) (log (/ (exp 0.254829592) (exp (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))))) (exp (- (* (fabs x) (fabs x))))))

series9.3s

Counts
4 → 12
Calls
4 calls:
2.0s
(/ (* (* (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) -0.284496736) 1.0) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (fma (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (* (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)))) (* (* -0.284496736 -0.284496736) -0.284496736))) (* (fma (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (- (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) -0.284496736) (* -0.284496736 -0.284496736)) (fma (fabs x) 0.3275911 1.0)))
1.1s
(* (* (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) -0.284496736) 1.0) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (fma (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (* (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)))) (* (* -0.284496736 -0.284496736) -0.284496736)))
861.0ms
(log (/ (exp 0.254829592) (exp (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))))
5.4s
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (/ (- (* 0.254829592 0.254829592) (/ (* (* (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) -0.284496736) 1.0) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (fma (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (* (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0)))) (* (* -0.284496736 -0.284496736) -0.284496736))) (* (fma (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) (- (* (fma (/ 1.0 (fma (fabs x) 0.3275911 1.0)) (fma 1.061405429 (/ 1.0 (fma (fabs x) 0.3275911 1.0)) -1.453152027) 1.421413741) (/ 1.0 (fma (fabs x) 0.3275911 1.0))) -0.284496736) (* -0.284496736 -0.284496736)) (fma (fabs x) 0.3275911 1.0)))) (log (/ (exp 0.254829592) (exp (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))))) (exp (- (* (fabs x) (fabs x))))))

simplify8.4s

Counts
134 → 134
Iterations
IterNodes
done5001
11518
0514

prune2.5s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 13.8b

regimes377.0ms

Accuracy

0% (0.1b remaining)

Error of 13.8b against oracle of 13.7b and baseline of 13.8b

bsearch0.0ms

simplify82.0ms

Iterations
IterNodes
done73
173
052

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.6s3907×body160valid
723.0ms4093×body80valid