Details

Time bar (total: 2.6s)

sample16.0ms

Algorithm
intervals
Results
8.0ms256×body80valid

simplify9.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0288
1508
2698
3758
4758

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ 0.99229 (* x 0.04481))
0.0b
(+ 2.30753 (* x 0.27061))
0.1b
(* x (+ 0.99229 (* x 0.04481)))
12.2b
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
80×*-un-lft-identity
30×distribute-lft-out
25×times-frac
22×add-sqr-sqrt
20×add-cube-cbrt
18×associate-*l*
8×add-exp-log add-cbrt-cube add-log-exp
6×pow1 fma-def
5×flip3-+ associate-*r* associate-/r* flip-+ associate-/l*
4×+-commutative expm1-log1p-u log1p-expm1-u
2×distribute-rgt-in distribute-lft-in associate-*r/ sum-log associate-/r/ associate-/l/
1×cbrt-undiv frac-2neg div-exp pow-prod-down prod-exp clear-num *-commutative cbrt-unprod div-inv unswap-sqr
Counts
4 → 117
Calls
4 calls:
7.0ms
(+ 0.99229 (* x 0.04481))
6.0ms
(+ 2.30753 (* x 0.27061))
12.0ms
(* x (+ 0.99229 (* x 0.04481)))
18.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series191.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(+ 0.99229 (* x 0.04481))
37.0ms
(+ 2.30753 (* x 0.27061))
66.0ms
(* x (+ 0.99229 (* x 0.04481)))
56.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify58.0ms

Algorithm
egg-herbie
Counts
129 → 129
Iterations

Useful iterations: 2 (47.0ms)

IterNodesCost
0421853
11810729
25001708

prune262.0ms

Filtered
129 candidates to 86 candidates (66.7%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1281129
Fresh000
Picked011
Done000
Total1282130

Merged error: 0b

Counts
130 → 2

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (/ (fma 0.27061 x 2.30753) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
12.6b
(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
12.6b
(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
12.6b
(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
456×times-frac
455×*-un-lft-identity
310×cbrt-prod
207×add-sqr-sqrt add-cube-cbrt
124×distribute-lft-out
62×associate-*l*
33×associate-/l*
26×cbrt-div
20×associate-/r/
16×associate-/r*
15×add-cbrt-cube
14×associate-/l/
13×flip3-+ flip-+
10×cbrt-undiv div-inv
9×add-exp-log
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3 div-exp
2×frac-2neg clear-num
Counts
4 → 365
Calls
4 calls:
37.0ms
(/ (/ (fma 0.27061 x 2.30753) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
10.0ms
(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
10.0ms
(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
10.0ms
(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series644.0ms

Counts
4 → 12
Calls
4 calls:
210.0ms
(/ (/ (fma 0.27061 x 2.30753) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
141.0ms
(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
145.0ms
(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
148.0ms
(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify146.0ms

Algorithm
egg-herbie
Counts
377 → 377
Iterations

Useful iterations: 2 (66.0ms)

IterNodesCost
010508879
139318652
250018261

prune746.0ms

Filtered
377 candidates to 173 candidates (45.9%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New3770377
Fresh000
Picked011
Done011
Total3772379

Merged error: 0b

Counts
379 → 2

regimes23.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0208
1208

end0.0ms

sample331.0ms

Algorithm
intervals
Results
242.0ms8000×body80valid