Details

Time bar (total: 5.5s)

sample60.0ms

Algorithm
intervals
Results
32.0ms131×body160valid
19.0ms125×body80valid

simplify94.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
08236
129236
296836
3449936
4500236

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 14.4b

Counts
2 → 1

localize23.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)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))
0.5b
(+ 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))))))))
14.3b
(- 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 (neg (* (fabs x) (fabs x))))))

rewrite23.0ms

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

series293.0ms

Counts
4 → 12
Calls
4 calls:
8.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
24.0ms
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))
70.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))))))))
190.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 (neg (* (fabs x) (fabs x))))))

simplify96.0ms

Algorithm
egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 2 (76.0ms)

IterNodesCost
07402265
137142051
250022050

prune401.0ms

Filtered
81 candidates to 106 candidates (-30.9%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New1024106
Fresh000
Picked101
Done000
Total1034107

Merged error: 14.3b

Counts
107 → 4

localize157.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))
0.5b
(+ 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))))))))
14.3b
(- 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)))))))) (/ 1 (exp (pow (fabs x) 2))))))
14.3b
(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.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (/ 1 (exp (pow (fabs x) 2))))))))

rewrite21.0ms

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

series505.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))
72.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))))))))
205.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)))))))) (/ 1 (exp (pow (fabs x) 2))))))
205.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.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (/ 1 (exp (pow (fabs x) 2))))))))

simplify100.0ms

Algorithm
egg-herbie
Counts
95 → 95
Iterations

Useful iterations: 1 (18.0ms)

IterNodesCost
07363004
136032695
250012695

prune452.0ms

Filtered
73 candidates to 95 candidates (-30.1%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New94195
Fresh033
Picked011
Done000
Total94599

Merged error: 14.3b

Counts
99 → 5

localize24.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.2b
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))
14.3b
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ (+ 0.254829592 (* -0.284496736 (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (* (/ 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 (neg (* (fabs x) (fabs x))))))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
33×add-sqr-sqrt
28×add-cube-cbrt *-un-lft-identity times-frac
15×associate-*l*
13×add-exp-log add-cbrt-cube
6×pow1 associate-/r* associate-/r/ associate-/l* add-log-exp
5×flip3-+ flip-+
3×cbrt-undiv div-exp associate-*r* div-inv
2×frac-times frac-2neg associate-*r/ prod-exp clear-num cbrt-unprod unswap-sqr
1×distribute-rgt-in sub-neg flip3-- distribute-lft-in diff-log pow-prod-down associate-*l/ *-commutative flip--
Counts
4 → 110
Calls
4 calls:
5.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
5.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
9.0ms
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))
3.0ms
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ (+ 0.254829592 (* -0.284496736 (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (* (/ 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 (neg (* (fabs x) (fabs x))))))

series230.0ms

Counts
4 → 12
Calls
4 calls:
8.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
8.0ms
(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
23.0ms
(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))
191.0ms
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ (+ 0.254829592 (* -0.284496736 (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (* (/ 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 (neg (* (fabs x) (fabs x))))))

simplify85.0ms

Algorithm
egg-herbie
Counts
122 → 122
Iterations

Useful iterations: 2 (66.0ms)

IterNodesCost
06352084
132081892
250011875

prune439.0ms

Filtered
92 candidates to 122 candidates (-32.6%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1211122
Fresh033
Picked101
Done011
Total1225127

Merged error: 14.3b

Counts
127 → 5

localize32.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (+ 1.0 (* 0.3275911 (fabs x))))
0.3b
(cbrt (+ 1.0 (* 0.3275911 (fabs x))))
0.5b
(+ 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 (* (cbrt (+ 1.0 (* 0.3275911 (fabs x)))) (cbrt (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))
14.3b
(- 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 (* (cbrt (+ 1.0 (* 0.3275911 (fabs x)))) (cbrt (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))) (exp (neg (* (fabs x) (fabs x))))))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
8×add-log-exp
6×cbrt-prod add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log cbrt-div add-cbrt-cube
3×flip3-+ flip-+
2×associate-+r+ pow1/3
1×+-commutative distribute-rgt-in sub-neg flip3-- distribute-lft-in diff-log sum-log flip--
Counts
4 → 51
Calls
4 calls:
3.0ms
(cbrt (+ 1.0 (* 0.3275911 (fabs x))))
3.0ms
(cbrt (+ 1.0 (* 0.3275911 (fabs x))))
3.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 (* (cbrt (+ 1.0 (* 0.3275911 (fabs x)))) (cbrt (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))
3.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 (* (cbrt (+ 1.0 (* 0.3275911 (fabs x)))) (cbrt (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))) (exp (neg (* (fabs x) (fabs x))))))

series310.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(cbrt (+ 1.0 (* 0.3275911 (fabs x))))
25.0ms
(cbrt (+ 1.0 (* 0.3275911 (fabs x))))
71.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 (* (cbrt (+ 1.0 (* 0.3275911 (fabs x)))) (cbrt (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))
188.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 (* (cbrt (+ 1.0 (* 0.3275911 (fabs x)))) (cbrt (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (+ 1.0 (* 0.3275911 (fabs x))))) 1.061405429))))))))) (exp (neg (* (fabs x) (fabs x))))))

simplify56.0ms

Algorithm
egg-herbie
Counts
63 → 63
Iterations

Useful iterations: 2 (38.0ms)

IterNodesCost
03952016
116661829
250011822

prune280.0ms

Filtered
50 candidates to 63 candidates (-26.0%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New61263
Fresh033
Picked101
Done011
Total62668

Merged error: 14.3b

Counts
68 → 6

regimes204.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04437
14437

end0.0ms

sample1.6s

Algorithm
intervals
Results
964.0ms3919×body160valid
513.0ms4081×body80valid

Profiling

Loading profile data...