Details

Time bar (total: 38.9s)

sample44.0ms

Algorithm
intervals
Results
14.0ms123×body160valid
8.0ms133×body80valid

simplify93.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
08236
129236
296836
3449936
4500236

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.7b

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite71.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
6×associate-*r*
5×flip3-+ flip-+
4×prod-exp associate-/r/ cbrt-unprod unswap-sqr
2×cbrt-undiv distribute-rgt-in frac-times associate-+r+ distribute-lft-in associate-*r/ div-exp pow-prod-down associate-*l/ *-commutative div-inv
1×+-commutative sub-neg flip3-- diff-log sum-log flip--
Counts
4 → 99
Calls
4 calls:
26.0ms
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)
31.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.2s

Counts
4 → 12
Calls
4 calls:
26.0ms
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)
170.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)))))
269.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))))))))
739.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))))))

simplify105.0ms

Algorithm
egg-herbie
Counts
111 → 111
Iterations

Useful iterations: 2 (83.0ms)

IterNodesCost
07942626
140242356
250012352

prune446.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 13.5b

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (sqrt (/ 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
(* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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.6b
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))))

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
36×associate-*l*
32×sqrt-prod
28×add-sqr-sqrt
21×add-cube-cbrt *-un-lft-identity
19×times-frac
15×sqrt-div
11×pow1 add-exp-log frac-times associate-*r/ add-cbrt-cube
9×flip3-+ flip-+
8×add-log-exp
6×distribute-rgt-in distribute-lft-in
4×associate-*r* pow-prod-down associate-*l/ prod-exp associate-/r/ cbrt-unprod
3×unswap-sqr
2×associate-+r+ *-commutative div-inv
1×+-commutative sub-neg flip3-- diff-log sum-log flip--
Counts
4 → 115
Calls
4 calls:
34.0ms
(* (sqrt (/ 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)))))
69.0ms
(* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))))

series2.0s

Counts
4 → 12
Calls
4 calls:
208.0ms
(* (sqrt (/ 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)))))
228.0ms
(* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))))
484.0ms
(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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.0s
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))))

simplify131.0ms

Algorithm
egg-herbie
Counts
127 → 127
Iterations

Useful iterations: 2 (92.0ms)

IterNodesCost
08224108
143243680
250023652

prune587.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 13.5b

localize33.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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
(exp (log (- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))))))
13.6b
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))))

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
18×associate-*l*
15×sqrt-prod
14×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
12×sqrt-div
10×pow1
9×add-exp-log frac-times times-frac associate-*r/ add-cbrt-cube
8×add-log-exp
6×flip3-+ flip-+
5×distribute-rgt-in distribute-lft-in
4×exp-prod
3×log-prod exp-sum pow-prod-down associate-*l/ prod-exp cbrt-unprod
2×log-div associate-+r+ flip3-- exp-diff associate-/r/ flip--
1×+-commutative sub-neg diff-log associate-*r* sum-log log-pow *-commutative div-inv rem-exp-log
Counts
4 → 90
Calls
4 calls:
68.0ms
(* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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
(exp (log (- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))))))
5.0ms
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))))

series2.8s

Counts
4 → 12
Calls
4 calls:
235.0ms
(* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))))
489.0ms
(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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.1s
(exp (log (- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))))))
1.1s
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))))

simplify107.0ms

Algorithm
egg-herbie
Counts
102 → 102
Iterations

Useful iterations: 2 (74.0ms)

IterNodesCost
07204342
135013878
250013710

prune537.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 13.5b

localize42.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))) (+ (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))) 1.0))
0.7b
(pow (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))) 3)
1.2b
(exp (log (/ (- (pow 1.0 3) (pow (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))) 3)) (+ (* (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))) (+ (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))) 1.0)) (* 1.0 1.0)))))
13.0b
(- (pow 1.0 3) (pow (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))) 3))

rewrite685.0ms

Algorithm
rewrite-expression-head
Rules
100×frac-times
64×add-sqr-sqrt
50×associate-*l/
45×log-prod exp-sum
44×flip3-+ flip-+
39×times-frac
34×associate-*r/
32×*-un-lft-identity difference-of-squares
28×exp-neg add-cbrt-cube
25×exp-diff sqr-pow
24×neg-sub0 add-cube-cbrt
22×add-exp-log
20×pow1
18×cube-div
14×prod-exp cbrt-unprod
9×unpow-prod-down cube-prod pow-prod-down
6×add-log-exp
4×difference-cubes exp-prod pow-exp un-div-inv distribute-lft-out-- rem-cube-cbrt
3×pow-unpow pow-pow associate-*r*
2×cbrt-undiv div-exp associate-/r/
1×distribute-rgt-in cube-mult pow-to-exp sub-neg log-div flip3-- distribute-lft-in diff-log unpow3 associate-*l* log-pow *-commutative flip-- div-inv rem-exp-log
Counts
4 → 206
Calls
4 calls:
339.0ms
(* (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))) (+ (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))) 1.0))
53.0ms
(pow (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))) 3)
258.0ms
(exp (log (/ (- (pow 1.0 3) (pow (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))) 3)) (+ (* (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))) (+ (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))) 1.0)) (* 1.0 1.0)))))
23.0ms
(- (pow 1.0 3) (pow (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))) 3))

series26.7s

Counts
4 → 12
Calls
4 calls:
2.3s
(* (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))) (+ (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))) 1.0))
1.1s
(pow (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))) 3)
15.8s
(exp (log (/ (- (pow 1.0 3) (pow (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))) 3)) (+ (* (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))) (+ (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))) 1.0)) (* 1.0 1.0)))))
7.5s
(- (pow 1.0 3) (pow (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (sqrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* (sqrt (/ 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))))) 3))

simplify324.0ms

Algorithm
egg-herbie
Counts
218 → 218
Iterations

Useful iterations: 1 (46.0ms)

IterNodesCost
0256134915
1500333523

prune1.7s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 12.8b

regimes193.0ms

Accuracy

0% (0.0b remaining)

Error of 13.1b against oracle of 13.0b and baseline of 13.1b

bsearch0.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
059182
159182

end0.0ms

sample830.0ms

Algorithm
intervals
Results
448.0ms3914×body160valid
234.0ms4086×body80valid