Details

Time bar (total: 51.8s)

sample97.0ms

Algorithm
intervals
Results
46.0ms125×body160valid
14.0ms131×body80valid

simplify612.0ms

Counts
1 → 1
Iterations
IterNodes
done5002
31118
2295
182
026

prune29.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.9b

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

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
20×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×pow1 associate-/r/
3×flip3-+ 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 → 83
Calls
4 calls:
7.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
7.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 (* (/ 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.9s

Counts
4 → 12
Calls
4 calls:
50.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
62.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
476.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.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 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

simplify977.0ms

Counts
95 → 95
Iterations
IterNodes
done5000
22104
1455
0164

prune979.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 13.8b

localize139.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ 1.0 (- (* 1.0 1.0) (* (* (pow (fabs x) 2) 0.3275911) 0.3275911)))
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 1.0) (* (* (pow (fabs x) 2) 0.3275911) 0.3275911))) (- 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
13.5b
(* (/ 1.0 (- (* 1.0 1.0) (* (* (pow (fabs x) 2) 0.3275911) 0.3275911))) (- 1.0 (* 0.3275911 (fabs x))))
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 1.0) (* (* (pow (fabs x) 2) 0.3275911) 0.3275911))) (- 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
20×*-un-lft-identity add-cube-cbrt
19×times-frac
15×associate-*l*
11×add-cbrt-cube add-exp-log
8×add-log-exp
6×pow1
5×flip3-- flip--
4×associate-/r/
3×distribute-rgt-in associate-/r* sub-neg distribute-lft-in associate-*r* associate-/l*
2×frac-times cbrt-undiv associate-+r+ div-exp prod-exp associate-*r/ cbrt-unprod div-inv unswap-sqr
1×+-commutative clear-num sum-log frac-2neg flip3-+ diff-log pow-prod-down associate-*l/ *-commutative flip-+
Counts
4 → 96
Calls
4 calls:
21.0ms
(/ 1.0 (- (* 1.0 1.0) (* (* (pow (fabs x) 2) 0.3275911) 0.3275911)))
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 1.0) (* (* (pow (fabs x) 2) 0.3275911) 0.3275911))) (- 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
51.0ms
(* (/ 1.0 (- (* 1.0 1.0) (* (* (pow (fabs x) 2) 0.3275911) 0.3275911))) (- 1.0 (* 0.3275911 (fabs x))))
8.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 1.0) (* (* (pow (fabs x) 2) 0.3275911) 0.3275911))) (- 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

series2.8s

Counts
4 → 12
Calls
4 calls:
91.0ms
(/ 1.0 (- (* 1.0 1.0) (* (* (pow (fabs x) 2) 0.3275911) 0.3275911)))
797.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 1.0) (* (* (pow (fabs x) 2) 0.3275911) 0.3275911))) (- 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
182.0ms
(* (/ 1.0 (- (* 1.0 1.0) (* (* (pow (fabs x) 2) 0.3275911) 0.3275911))) (- 1.0 (* 0.3275911 (fabs x))))
1.8s
(- 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 1.0) (* (* (pow (fabs x) 2) 0.3275911) 0.3275911))) (- 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

simplify1.8s

Counts
108 → 108
Iterations
IterNodes
done5002
24054
1765
0251

prune1.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 13.8b

localize248.0ms

Local error

Found 4 expressions with local error:

13.5b
(* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 1.0 (* 0.3275911 (fabs x))) 1.061405429))
13.5b
(* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 1.0 (* 0.3275911 (fabs x))) 1.061405429))
13.5b
(* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 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 (+ (* 0.3275911 (fabs x)) 1.0)) (+ -0.284496736 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ 1.421413741 (/ (* (+ -1.453152027 (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 1.0 (* 0.3275911 (fabs x))) 1.061405429))) 1.0) (+ (* 0.3275911 (fabs x)) 1.0)))))) (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ -0.284496736 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ 1.421413741 (/ (* (+ -1.453152027 (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 1.0 (* 0.3275911 (fabs x))) 1.061405429))) 1.0) (+ (* 0.3275911 (fabs x)) 1.0)))))))) (- 0.254829592 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ -0.284496736 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ 1.421413741 (/ (* (+ -1.453152027 (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 1.0 (* 0.3275911 (fabs x))) 1.061405429))) 1.0) (+ (* 0.3275911 (fabs x)) 1.0))))))))) (exp (- (* (fabs x) (fabs x))))))

rewrite201.0ms

Algorithm
rewrite-expression-head
Rules
45×associate-*l*
40×add-cbrt-cube add-exp-log
27×times-frac
25×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
19×pow1
18×prod-exp cbrt-unprod
15×associate-*l/
10×flip3-- flip--
9×pow-prod-down
6×frac-times cbrt-undiv div-exp associate-*r/ associate-/r/ add-log-exp
3×associate-*r* *-commutative div-inv
1×sub-neg diff-log
Counts
4 → 129
Calls
4 calls:
76.0ms
(* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 1.0 (* 0.3275911 (fabs x))) 1.061405429))
47.0ms
(* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 1.0 (* 0.3275911 (fabs x))) 1.061405429))
62.0ms
(* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 1.0 (* 0.3275911 (fabs x))) 1.061405429))
9.0ms
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (/ (- (* 0.254829592 0.254829592) (* (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ -0.284496736 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ 1.421413741 (/ (* (+ -1.453152027 (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 1.0 (* 0.3275911 (fabs x))) 1.061405429))) 1.0) (+ (* 0.3275911 (fabs x)) 1.0)))))) (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ -0.284496736 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ 1.421413741 (/ (* (+ -1.453152027 (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 1.0 (* 0.3275911 (fabs x))) 1.061405429))) 1.0) (+ (* 0.3275911 (fabs x)) 1.0)))))))) (- 0.254829592 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ -0.284496736 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ 1.421413741 (/ (* (+ -1.453152027 (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 1.0 (* 0.3275911 (fabs x))) 1.061405429))) 1.0) (+ (* 0.3275911 (fabs x)) 1.0))))))))) (exp (- (* (fabs x) (fabs x))))))

series26.0s

Counts
4 → 12
Calls
4 calls:
169.0ms
(* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 1.0 (* 0.3275911 (fabs x))) 1.061405429))
174.0ms
(* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 1.0 (* 0.3275911 (fabs x))) 1.061405429))
160.0ms
(* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 1.0 (* 0.3275911 (fabs x))) 1.061405429))
25.5s
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (/ (- (* 0.254829592 0.254829592) (* (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ -0.284496736 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ 1.421413741 (/ (* (+ -1.453152027 (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 1.0 (* 0.3275911 (fabs x))) 1.061405429))) 1.0) (+ (* 0.3275911 (fabs x)) 1.0)))))) (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ -0.284496736 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ 1.421413741 (/ (* (+ -1.453152027 (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 1.0 (* 0.3275911 (fabs x))) 1.061405429))) 1.0) (+ (* 0.3275911 (fabs x)) 1.0)))))))) (- 0.254829592 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ -0.284496736 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ 1.421413741 (/ (* (+ -1.453152027 (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 1.0 (* 0.3275911 (fabs x))) 1.061405429))) 1.0) (+ (* 0.3275911 (fabs x)) 1.0))))))))) (exp (- (* (fabs x) (fabs x))))))

simplify1.8s

Counts
141 → 141
Iterations
IterNodes
done5002
24566
1790
0260

prune2.5s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 13.8b

localize176.0ms

Local error

Found 4 expressions with local error:

0.4b
(+ 0.254829592 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ -0.284496736 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ 1.421413741 (/ (* (+ -1.453152027 (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 1.0 (* 0.3275911 (fabs x))) 1.061405429))) 1.0) (+ (* 0.3275911 (fabs x)) 1.0)))))))
1.3b
(exp (log (- 1.0 (* (exp (- (pow (fabs x) 2))) (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ 0.254829592 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ -0.284496736 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ 1.421413741 (/ (* (+ -1.453152027 (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 1.0 (* 0.3275911 (fabs x))) 1.061405429))) 1.0) (+ (* 0.3275911 (fabs x)) 1.0))))))))))))
13.5b
(* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 1.0 (* 0.3275911 (fabs x))) 1.061405429))
13.8b
(- 1.0 (* (exp (- (pow (fabs x) 2))) (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ 0.254829592 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ -0.284496736 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ 1.421413741 (/ (* (+ -1.453152027 (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 1.0 (* 0.3275911 (fabs x))) 1.061405429))) 1.0) (+ (* 0.3275911 (fabs x)) 1.0))))))))))

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
16×add-cbrt-cube add-exp-log
15×associate-*l*
13×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
10×pow1
9×times-frac
8×add-log-exp
6×prod-exp cbrt-unprod
5×distribute-rgt-in distribute-lft-in flip3-- associate-*l/ flip--
4×exp-prod associate--r+
3×log-prod exp-sum pow-prod-down
2×frac-times cbrt-undiv log-div associate-+r+ exp-diff div-exp associate-*r/ associate-/r/
1×+-commutative sum-log sub-neg flip3-+ diff-log associate-*r* log-pow *-commutative flip-+ div-inv rem-exp-log
Counts
4 → 85
Calls
4 calls:
10.0ms
(+ 0.254829592 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ -0.284496736 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ 1.421413741 (/ (* (+ -1.453152027 (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 1.0 (* 0.3275911 (fabs x))) 1.061405429))) 1.0) (+ (* 0.3275911 (fabs x)) 1.0)))))))
9.0ms
(exp (log (- 1.0 (* (exp (- (pow (fabs x) 2))) (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ 0.254829592 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ -0.284496736 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ 1.421413741 (/ (* (+ -1.453152027 (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 1.0 (* 0.3275911 (fabs x))) 1.061405429))) 1.0) (+ (* 0.3275911 (fabs x)) 1.0))))))))))))
54.0ms
(* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 1.0 (* 0.3275911 (fabs x))) 1.061405429))
8.0ms
(- 1.0 (* (exp (- (pow (fabs x) 2))) (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ 0.254829592 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ -0.284496736 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ 1.421413741 (/ (* (+ -1.453152027 (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 1.0 (* 0.3275911 (fabs x))) 1.061405429))) 1.0) (+ (* 0.3275911 (fabs x)) 1.0))))))))))

series4.5s

Counts
4 → 12
Calls
4 calls:
791.0ms
(+ 0.254829592 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ -0.284496736 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ 1.421413741 (/ (* (+ -1.453152027 (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 1.0 (* 0.3275911 (fabs x))) 1.061405429))) 1.0) (+ (* 0.3275911 (fabs x)) 1.0)))))))
1.8s
(exp (log (- 1.0 (* (exp (- (pow (fabs x) 2))) (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ 0.254829592 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ -0.284496736 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ 1.421413741 (/ (* (+ -1.453152027 (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 1.0 (* 0.3275911 (fabs x))) 1.061405429))) 1.0) (+ (* 0.3275911 (fabs x)) 1.0))))))))))))
153.0ms
(* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 1.0 (* 0.3275911 (fabs x))) 1.061405429))
1.8s
(- 1.0 (* (exp (- (pow (fabs x) 2))) (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ 0.254829592 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ -0.284496736 (* (/ 1.0 (+ (* 0.3275911 (fabs x)) 1.0)) (+ 1.421413741 (/ (* (+ -1.453152027 (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 0.3275911) (pow (fabs x) 2)))) (* (- 1.0 (* 0.3275911 (fabs x))) 1.061405429))) 1.0) (+ (* 0.3275911 (fabs x)) 1.0))))))))))

simplify1.4s

Counts
97 → 97
Iterations
IterNodes
done5002
23864
1767
0265

prune1.2s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 13.8b

regimes449.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify12.0ms

Iterations
IterNodes
done53
153
039

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.3s3907×body160valid
990.0ms4093×body80valid