Details

Time bar (total: 1.6m)

sample122.0ms

Algorithm
intervals
Results
43.0ms113×body160valid
30.0ms143×body80valid

simplify2.0s

Counts
1 → 1

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 12.5b

localize98.0ms

Local error

Found 4 expressions with local error:

12.5b
(- 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)))) (+ 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)))))))

rewrite89.0ms

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

series2.0s

Counts
4 → 12
Calls
4 calls:
Slowest
1.1s
(- 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))))))
372.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))))))))
361.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)))))))
193.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)))))

simplify2.8s

Counts
144 → 144

prune2.5s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 12.4b

localize82.0ms

Local error

Found 4 expressions with local error:

12.5b
(- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (/ (+ (- 1.421413741 (/ 1.453152027 (fma (fabs x) 0.3275911 1))) (/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (fma (fabs x) 0.3275911 1)))))) (exp (- (* (fabs x) (fabs x))))))
0.4b
(+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (/ (+ (- 1.421413741 (/ 1.453152027 (fma (fabs x) 0.3275911 1))) (/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (fma (fabs x) 0.3275911 1)))))
0.2b
(/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))
0.2b
(/ (+ (- 1.421413741 (/ 1.453152027 (fma (fabs x) 0.3275911 1))) (/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (fma (fabs x) 0.3275911 1))

rewrite132.0ms

Algorithm
rewrite-expression-head
Rules
39×*-un-lft-identity
19×add-sqr-sqrt add-cube-cbrt
18×times-frac
11×add-cbrt-cube add-exp-log
8×distribute-lft-out associate-/l* add-log-exp
4×expm1-log1p-u pow1 associate-/r* insert-posit16 log1p-expm1-u distribute-lft-out-- associate-/l/
3×cbrt-undiv fma-def fma-neg div-exp prod-diff
2×associate-+r+ clear-num frac-2neg flip3-+ flip3-- frac-add flip-+ div-inv flip--
1×distribute-rgt-in +-commutative sum-log sub-neg distribute-lft-in diff-log div-sub prod-exp associate-+l- cbrt-unprod
Counts
4 → 107
Calls
4 calls:
Slowest
114.0ms
(/ (+ (- 1.421413741 (/ 1.453152027 (fma (fabs x) 0.3275911 1))) (/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (fma (fabs x) 0.3275911 1))
6.0ms
(/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))
5.0ms
(+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (/ (+ (- 1.421413741 (/ 1.453152027 (fma (fabs x) 0.3275911 1))) (/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (fma (fabs x) 0.3275911 1)))))
5.0ms
(- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (/ (+ (- 1.421413741 (/ 1.453152027 (fma (fabs x) 0.3275911 1))) (/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (fma (fabs x) 0.3275911 1)))))) (exp (- (* (fabs x) (fabs x))))))

series2.1s

Counts
4 → 12
Calls
4 calls:
Slowest
1.3s
(- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (/ (+ (- 1.421413741 (/ 1.453152027 (fma (fabs x) 0.3275911 1))) (/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (fma (fabs x) 0.3275911 1)))))) (exp (- (* (fabs x) (fabs x))))))
508.0ms
(+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (/ (+ (- 1.421413741 (/ 1.453152027 (fma (fabs x) 0.3275911 1))) (/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (fma (fabs x) 0.3275911 1)))))
226.0ms
(/ (+ (- 1.421413741 (/ 1.453152027 (fma (fabs x) 0.3275911 1))) (/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (fma (fabs x) 0.3275911 1))
73.0ms
(/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))

simplify1.9s

Counts
119 → 119

prune2.2s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 12.4b

localize103.0ms

Local error

Found 4 expressions with local error:

12.5b
(log (exp (- 1 (/ (/ (+ 0.254829592 (/ (+ -0.284496736 (/ (+ (- 1.421413741 (/ 1.453152027 (fma (fabs x) 0.3275911 1))) (/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))))
12.5b
(- 1 (/ (/ (+ 0.254829592 (/ (+ -0.284496736 (/ (+ (- 1.421413741 (/ 1.453152027 (fma (fabs x) 0.3275911 1))) (/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))
0.4b
(+ 0.254829592 (/ (+ -0.284496736 (/ (+ (- 1.421413741 (/ 1.453152027 (fma (fabs x) 0.3275911 1))) (/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1)))
0.2b
(/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))

rewrite7.7s

Algorithm
rewrite-expression-head
Rules
519×times-frac
480×*-un-lft-identity
390×add-sqr-sqrt
360×add-cube-cbrt
312×prod-diff
162×log-prod
159×exp-sum
55×distribute-lft-out
25×div-inv
12×difference-of-squares
11×log-pow
10×exp-prod div-sub
9×add-cbrt-cube add-exp-log
8×add-log-exp
6×associate-+r-
5×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×fma-def fma-neg associate-+l- associate-/l*
2×cbrt-undiv sub-neg div-exp distribute-lft-out-- associate--r-
1×+-commutative log-div clear-num associate-/r* sum-log frac-2neg flip3-+ flip3-- exp-diff diff-log rem-log-exp prod-exp cbrt-unprod flip-+ flip--
Counts
4 → 410
Calls
4 calls:
Slowest
5.7s
(log (exp (- 1 (/ (/ (+ 0.254829592 (/ (+ -0.284496736 (/ (+ (- 1.421413741 (/ 1.453152027 (fma (fabs x) 0.3275911 1))) (/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))))
1.7s
(- 1 (/ (/ (+ 0.254829592 (/ (+ -0.284496736 (/ (+ (- 1.421413741 (/ 1.453152027 (fma (fabs x) 0.3275911 1))) (/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))
301.0ms
(+ 0.254829592 (/ (+ -0.284496736 (/ (+ (- 1.421413741 (/ 1.453152027 (fma (fabs x) 0.3275911 1))) (/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1)))
13.0ms
(/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))

series2.4s

Counts
4 → 12
Calls
4 calls:
Slowest
974.0ms
(log (exp (- 1 (/ (/ (+ 0.254829592 (/ (+ -0.284496736 (/ (+ (- 1.421413741 (/ 1.453152027 (fma (fabs x) 0.3275911 1))) (/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))))
960.0ms
(- 1 (/ (/ (+ 0.254829592 (/ (+ -0.284496736 (/ (+ (- 1.421413741 (/ 1.453152027 (fma (fabs x) 0.3275911 1))) (/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))
386.0ms
(+ 0.254829592 (/ (+ -0.284496736 (/ (+ (- 1.421413741 (/ 1.453152027 (fma (fabs x) 0.3275911 1))) (/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1)))
52.0ms
(/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))

simplify3.7s

Counts
422 → 422

prune10.7s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 12.4b

localize145.0ms

Local error

Found 4 expressions with local error:

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

rewrite18.1s

Algorithm
rewrite-expression-head
Rules
1032×times-frac
947×*-un-lft-identity
771×add-sqr-sqrt
711×add-cube-cbrt
624×prod-diff
486×log-prod
477×exp-sum
108×distribute-lft-out
48×div-inv
33×log-pow
30×exp-prod
24×difference-of-squares
16×div-sub
8×associate-+r-
7×pow1
6×add-log-exp
4×expm1-log1p-u sub-neg add-cbrt-cube add-exp-log associate-+l- insert-posit16 log1p-expm1-u distribute-lft-out-- associate--r-
3×log-div exp-diff fma-neg rem-log-exp
1×flip3-- diff-log flip--
Counts
4 → 737
Calls
4 calls:
Slowest
5.5s
(log (exp (- 1 (/ (/ (+ 0.254829592 (/ (+ -0.284496736 (/ (+ (- 1.421413741 (/ 1.453152027 (fma (fabs x) 0.3275911 1))) (/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))))
5.5s
(log (exp (- 1 (/ (/ (+ 0.254829592 (/ (+ -0.284496736 (/ (+ (- 1.421413741 (/ 1.453152027 (fma (fabs x) 0.3275911 1))) (/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))))
5.4s
(log (exp (- 1 (/ (/ (+ 0.254829592 (/ (+ -0.284496736 (/ (+ (- 1.421413741 (/ 1.453152027 (fma (fabs x) 0.3275911 1))) (/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))))
1.7s
(- 1 (/ (/ (+ 0.254829592 (/ (+ -0.284496736 (/ (+ (- 1.421413741 (/ 1.453152027 (fma (fabs x) 0.3275911 1))) (/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))

series3.7s

Counts
4 → 12
Calls
4 calls:
Slowest
976.0ms
(log (exp (- 1 (/ (/ (+ 0.254829592 (/ (+ -0.284496736 (/ (+ (- 1.421413741 (/ 1.453152027 (fma (fabs x) 0.3275911 1))) (/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))))
913.0ms
(log (exp (- 1 (/ (/ (+ 0.254829592 (/ (+ -0.284496736 (/ (+ (- 1.421413741 (/ 1.453152027 (fma (fabs x) 0.3275911 1))) (/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))))
912.0ms
(- 1 (/ (/ (+ 0.254829592 (/ (+ -0.284496736 (/ (+ (- 1.421413741 (/ 1.453152027 (fma (fabs x) 0.3275911 1))) (/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))
905.0ms
(log (exp (- 1 (/ (/ (+ 0.254829592 (/ (+ -0.284496736 (/ (+ (- 1.421413741 (/ 1.453152027 (fma (fabs x) 0.3275911 1))) (/ 1.061405429 (* (fma (fabs x) 0.3275911 1) (fma (fabs x) 0.3275911 1)))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1))) (fma (fabs x) 0.3275911 1)) (exp (* (fabs x) (fabs x)))))))

simplify5.2s

Counts
749 → 749

prune27.3s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 11.7b

regimes150.0ms

Accuracy

0% (0.0b remaining)

Error of 12.7b against oracle of 12.7b and baseline of 12.7b

bsearch15.0ms

end0.0ms

sample3.6s

Algorithm
intervals
Results
2.3s3807×body160valid
1.1s4193×body80valid