Details

Time bar (total: 34.3s)

sample59.0ms

Algorithm
intervals
Results
20.0ms121×body160valid
11.0ms135×body80valid

simplify1.6s

Counts
1 → 1
Iterations
IterNodes
done5000
31203
2313
182
026

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 13.3b

localize82.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.2b
(- 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))))))

rewrite38.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))))
12.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
6.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))))))))
9.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.7s

Counts
4 → 12
Calls
4 calls:
43.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
31.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
458.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.6s

Counts
112 → 112
Iterations
IterNodes
done5002
22627
1496
0177

prune1.1s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 13.2b

localize122.0ms

Local error

Found 4 expressions with local error:

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 (* (log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) 1.061405429))))))))
3.6b
(log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))
13.2b
(- 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 (* (log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
18×times-frac
16×log-pow
15×exp-prod
8×add-log-exp
6×add-cbrt-cube add-exp-log
5×pow1
4×expm1-log1p-u associate-/r/ log1p-expm1-u
3×log-prod associate-/r* fma-def flip3-+ fma-neg prod-diff flip-+ associate-/l*
2×associate-+r+ div-inv
1×distribute-rgt-in cbrt-undiv +-commutative clear-num sum-log sub-neg frac-2neg distribute-lft-in flip3-- diff-log div-exp rem-log-exp flip--
Counts
4 → 98
Calls
4 calls:
8.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
5.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 (* (log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) 1.061405429))))))))
27.0ms
(log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))
9.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 (* (log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

series1.9s

Counts
4 → 12
Calls
4 calls:
40.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
408.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 (* (log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) 1.061405429))))))))
55.0ms
(log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))
1.4s
(- 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 (* (log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

simplify2.4s

Counts
110 → 110
Iterations
IterNodes
done5000
22610
1555
0223

prune1.2s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 13.2b

localize263.0ms

Local error

Found 4 expressions with local error:

3.6b
(log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))
13.2b
(- 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 (* (log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
13.2b
(- 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 (* (log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
13.2b
(- 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 (* (log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
16×log-pow
15×exp-prod
10×add-log-exp
9×times-frac fma-neg prod-diff
5×pow1
4×expm1-log1p-u add-cbrt-cube add-exp-log log1p-expm1-u
3×log-prod sub-neg flip3-- diff-log flip--
2×associate-/r/
1×flip3-+ rem-log-exp flip-+ div-inv
Counts
4 → 89
Calls
4 calls:
23.0ms
(log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))
11.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 (* (log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
9.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 (* (log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
9.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 (* (log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

series3.5s

Counts
4 → 12
Calls
4 calls:
35.0ms
(log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))
1.1s
(- 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 (* (log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
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 (* (log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
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 (* (log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

simplify2.4s

Counts
101 → 101
Iterations
IterNodes
done5001
21626
1369
0158

prune1.4s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 12.5b

localize374.0ms

Local error

Found 4 expressions with local error:

3.6b
(log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))
13.2b
(- 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 (* (log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
13.2b
(- 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 (* (log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
13.2b
(- (fma (/ 1.453152027 (* (fma (fabs x) 0.3275911 1.0) (fma (fabs x) 0.3275911 1.0))) (/ (exp (* (- (fabs x)) (fabs x))) (* (fma (fabs x) 0.3275911 1.0) (fma (fabs x) 0.3275911 1.0))) (fma 0.284496736 (/ (exp (* (- (fabs x)) (fabs x))) (* (fma (fabs x) 0.3275911 1.0) (fma (fabs x) 0.3275911 1.0))) 1.0)) (fma (/ 1.421413741 (* (fma (fabs x) 0.3275911 1.0) (fma (fabs x) 0.3275911 1.0))) (/ (exp (* (- (fabs x)) (fabs x))) (fma (fabs x) 0.3275911 1.0)) (fma (/ (exp (* (- (fabs x)) (fabs x))) (fma (fabs x) 0.3275911 1.0)) 0.254829592 (* (/ (exp (* (- (fabs x)) (fabs x))) (pow (fma (fabs x) 0.3275911 1.0) 5)) 1.061405429))))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt *-un-lft-identity
23×add-cube-cbrt
16×log-pow
15×exp-prod prod-diff
10×add-log-exp
9×times-frac fma-neg
5×pow1
4×expm1-log1p-u add-cbrt-cube add-exp-log log1p-expm1-u
3×log-prod sub-neg flip3-- diff-log flip--
2×associate-/r/ fma-udef
1×flip3-+ rem-log-exp associate--l+ flip-+ div-inv associate--r+ distribute-lft-out-- difference-of-squares
Counts
4 → 99
Calls
4 calls:
28.0ms
(log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))
9.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 (* (log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
10.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 (* (log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
11.0ms
(- (fma (/ 1.453152027 (* (fma (fabs x) 0.3275911 1.0) (fma (fabs x) 0.3275911 1.0))) (/ (exp (* (- (fabs x)) (fabs x))) (* (fma (fabs x) 0.3275911 1.0) (fma (fabs x) 0.3275911 1.0))) (fma 0.284496736 (/ (exp (* (- (fabs x)) (fabs x))) (* (fma (fabs x) 0.3275911 1.0) (fma (fabs x) 0.3275911 1.0))) 1.0)) (fma (/ 1.421413741 (* (fma (fabs x) 0.3275911 1.0) (fma (fabs x) 0.3275911 1.0))) (/ (exp (* (- (fabs x)) (fabs x))) (fma (fabs x) 0.3275911 1.0)) (fma (/ (exp (* (- (fabs x)) (fabs x))) (fma (fabs x) 0.3275911 1.0)) 0.254829592 (* (/ (exp (* (- (fabs x)) (fabs x))) (pow (fma (fabs x) 0.3275911 1.0) 5)) 1.061405429))))

series3.8s

Counts
4 → 12
Calls
4 calls:
48.0ms
(log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))
1.3s
(- 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 (* (log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
1.3s
(- 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 (* (log (exp (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))
1.1s
(- (fma (/ 1.453152027 (* (fma (fabs x) 0.3275911 1.0) (fma (fabs x) 0.3275911 1.0))) (/ (exp (* (- (fabs x)) (fabs x))) (* (fma (fabs x) 0.3275911 1.0) (fma (fabs x) 0.3275911 1.0))) (fma 0.284496736 (/ (exp (* (- (fabs x)) (fabs x))) (* (fma (fabs x) 0.3275911 1.0) (fma (fabs x) 0.3275911 1.0))) 1.0)) (fma (/ 1.421413741 (* (fma (fabs x) 0.3275911 1.0) (fma (fabs x) 0.3275911 1.0))) (/ (exp (* (- (fabs x)) (fabs x))) (fma (fabs x) 0.3275911 1.0)) (fma (/ (exp (* (- (fabs x)) (fabs x))) (fma (fabs x) 0.3275911 1.0)) 0.254829592 (* (/ (exp (* (- (fabs x)) (fabs x))) (pow (fma (fabs x) 0.3275911 1.0) 5)) 1.061405429))))

simplify3.2s

Counts
111 → 111
Iterations
IterNodes
done5001
22751
1583
0250

prune3.1s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 11.5b

regimes472.0ms

Accuracy

0% (0.0b remaining)

Error of 12.0b against oracle of 12.0b and baseline of 12.0b

bsearch0.0ms

simplify67.0ms

Iterations
IterNodes
done80
180
061

end0.0ms

sample2.6s

Algorithm
intervals
Results
1.2s3898×body160valid
1.2s4102×body80valid