Details

Time bar (total: 11.3s)

sample47.0ms

Algorithm
intervals
Results
15.0ms125×body160valid
7.0ms131×body80valid

simplify95.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
08236
129236
296836
3449936
4500236
done500236

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.8b

localize20.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ 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)))))))))
0.2b
(* (/ 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.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.7b
(- 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))))))

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt associate-*l*
20×add-cube-cbrt *-un-lft-identity times-frac
14×add-exp-log add-cbrt-cube
8×pow1 add-log-exp
7×flip3-+ flip-+
6×associate-*r*
4×frac-times associate-*r/ prod-exp associate-/r/ cbrt-unprod unswap-sqr
3×distribute-rgt-in distribute-lft-in
2×cbrt-undiv associate-+r+ div-exp pow-prod-down associate-*l/ *-commutative div-inv
1×+-commutative sub-neg flip3-- diff-log sum-log flip--
Counts
4 → 105
Calls
4 calls:
32.0ms
(* (/ 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)))))))))
35.0ms
(* (/ 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)))))
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))))))))
5.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:
381.0ms
(* (/ 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)))))))))
187.0ms
(* (/ 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)))))
296.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))))))))
806.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))))))

simplify134.0ms

Counts
117 → 117
Iterations

Useful iterations: 2 (105.0ms)

IterNodesCost
09154028
148373611
250013607
done50013607

prune459.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 13.7b

localize30.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.421413741)
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.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0)))))))
0.9b
(/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0))
13.7b
(- 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.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0)))))))) (exp (- (* (fabs x) (fabs x))))))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
190×times-frac
106×add-sqr-sqrt
101×add-cube-cbrt *-un-lft-identity
36×unpow-prod-down
28×associate-/r*
19×add-exp-log
15×associate-*l*
14×add-cbrt-cube
12×unpow2 sqr-pow
8×div-exp add-log-exp
6×pow1 div-inv
4×cbrt-undiv
3×associate-*r* associate-/r/ associate-/l*
2×associate-+r+ flip3-+ prod-exp cbrt-unprod flip-+ unswap-sqr
1×+-commutative distribute-rgt-in pow-to-exp sub-neg flip3-- frac-2neg distribute-lft-in diff-log pow-prod-down associate-*l/ pow-exp clear-num sum-log *-commutative flip--
Counts
4 → 191
Calls
4 calls:
26.0ms
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.421413741)
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.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0)))))))
26.0ms
(/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0))
5.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.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0)))))))) (exp (- (* (fabs x) (fabs x))))))

series1.2s

Counts
4 → 12
Calls
4 calls:
29.0ms
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.421413741)
305.0ms
(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (+ (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.421413741) (* (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0)))))))
49.0ms
(/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0))
827.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.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0)))))))) (exp (- (* (fabs x) (fabs x))))))

simplify56.0ms

Counts
203 → 203
Iterations

Useful iterations: 1 (28.0ms)

IterNodesCost
010933438
150023053
done50023053

prune848.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 13.7b

localize33.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ 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.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0))))))))
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.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0)))))))
0.9b
(/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0))
13.7b
(+ 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.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0))))))))) (/ 1 (exp (pow (fabs x) 2)))))

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
190×times-frac
106×add-sqr-sqrt
101×add-cube-cbrt *-un-lft-identity
36×unpow-prod-down
28×associate-/r*
19×add-exp-log
15×associate-*l*
14×add-cbrt-cube
12×unpow2 sqr-pow
8×div-exp add-log-exp
6×pow1 div-inv
5×flip3-+ flip-+
4×cbrt-undiv
3×associate-*r* associate-/r/ associate-/l*
2×+-commutative distribute-lft-neg-out distribute-rgt-in frac-times associate-+r+ distribute-lft-in associate-*r/ prod-exp sum-log cbrt-unprod unswap-sqr
1×pow-to-exp frac-2neg unsub-neg pow-prod-down associate-*l/ pow-exp clear-num *-commutative
Counts
4 → 198
Calls
4 calls:
34.0ms
(* (/ 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.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0))))))))
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.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0)))))))
26.0ms
(/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0))
5.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.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0))))))))) (/ 1 (exp (pow (fabs x) 2)))))

series1.5s

Counts
4 → 12
Calls
4 calls:
389.0ms
(* (/ 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.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0))))))))
301.0ms
(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (+ (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.421413741) (* (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0)))))))
53.0ms
(/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0))
756.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.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0))))))))) (/ 1 (exp (pow (fabs x) 2)))))

simplify73.0ms

Counts
210 → 210
Iterations

Useful iterations: 1 (30.0ms)

IterNodesCost
012524873
150014339
done50014339

prune951.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 13.7b

localize39.0ms

Local error

Found 4 expressions with local error:

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.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0)))))))
0.9b
(/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0))
13.7b
(log (exp (+ 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.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0))))))))) (/ 1 (exp (pow (fabs x) 2)))))))
13.7b
(+ 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.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0))))))))) (/ 1 (exp (pow (fabs x) 2)))))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
180×times-frac
95×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
36×unpow-prod-down
28×associate-/r*
14×add-exp-log
12×unpow2 sqr-pow
9×add-cbrt-cube
8×add-log-exp
7×div-exp
5×pow1 div-inv
4×distribute-lft-neg-out log-prod log-pow
3×cbrt-undiv exp-prod associate-/l*
2×+-commutative log-div associate-+r+ flip3-+ exp-diff unsub-neg sum-log flip-+
1×distribute-rgt-in pow-to-exp frac-2neg distribute-lft-in rem-log-exp exp-sum pow-exp clear-num associate-/r/
Counts
4 → 176
Calls
4 calls:
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.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0)))))))
29.0ms
(/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0))
13.0ms
(log (exp (+ 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.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0))))))))) (/ 1 (exp (pow (fabs x) 2)))))))
5.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.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0))))))))) (/ 1 (exp (pow (fabs x) 2)))))

series1.9s

Counts
4 → 12
Calls
4 calls:
311.0ms
(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (+ (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.421413741) (* (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0)))))))
55.0ms
(/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0))
767.0ms
(log (exp (+ 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.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0))))))))) (/ 1 (exp (pow (fabs x) 2)))))))
764.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.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)) (/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0))))))))) (/ 1 (exp (pow (fabs x) 2)))))

simplify140.0ms

Counts
188 → 188
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
09954163
149923684
250023684
done50023684

prune871.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 13.7b

regimes88.0ms

Accuracy

0% (0.0b remaining)

Error of 14.1b against oracle of 14.0b and baseline of 14.1b

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05842
17042
27842
38242
48642
59742
610142
710642
810642
done10642

end0.0ms

sample822.0ms

Algorithm
intervals
Results
453.0ms3988×body160valid
226.0ms4012×body80valid