Details

Time bar (total: 2.5s)

analyze411.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
25%74.9%0.2%7
25%74.9%0.2%8
34.3%65.5%0.2%9
39%60.8%0.2%10
48.3%51.5%0.2%11
53.7%46.1%0.2%12
63.1%36.7%0.2%13
64%35.6%0.4%14

sample17.0ms

Algorithm
intervals
Results
7.0ms256×body80valid
0.0ms9×body80invalid

simplify9.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01257
11257

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 3.2b

Counts
2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

3.2b
(/ x (- y (* z t)))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt add-cube-cbrt *-un-lft-identity times-frac
3×add-exp-log associate-/r* add-cbrt-cube associate-/l*
2×associate-/r/
1×pow1 cbrt-undiv flip3-- frac-2neg div-exp clear-num flip-- div-inv add-log-exp
Counts
1 → 29
Calls
1 calls:
4.0ms
(/ x (- y (* z t)))

series11.0ms

Counts
1 → 3
Calls
1 calls:
11.0ms
(/ x (- y (* z t)))

simplify38.0ms

Algorithm
egg-herbie
Counts
32 → 32
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
04927340
14927340

prune65.0ms

Filtered
25 candidates to 32 candidates (-28.0%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New24832
Fresh000
Picked011
Done000
Total24933

Merged error: 3.1b

Counts
33 → 9

localize7.0ms

Local error

Found 2 expressions with local error:

0.5b
(/ 1 (- y (* z t)))
2.8b
(* x (/ 1 (- y (* z t))))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
20×times-frac
19×*-un-lft-identity
18×add-cube-cbrt
15×add-exp-log associate-*r*
9×add-cbrt-cube
5×pow1
4×div-exp prod-exp associate-/r/
3×associate-*l* associate-/r* associate-/l* unswap-sqr
2×cbrt-undiv rec-exp flip3-- 1-exp flip-- cbrt-unprod div-inv add-log-exp
1×pow-flip frac-2neg associate-*r/ pow-prod-down clear-num un-div-inv *-commutative inv-pow
Counts
2 → 71
Calls
2 calls:
4.0ms
(/ 1 (- y (* z t)))
8.0ms
(* x (/ 1 (- y (* z t))))

series23.0ms

Counts
2 → 6
Calls
2 calls:
12.0ms
(/ 1 (- y (* z t)))
11.0ms
(* x (/ 1 (- y (* z t))))

simplify70.0ms

Algorithm
egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
04889692
14889692

prune86.0ms

Filtered
44 candidates to 77 candidates (-75.0%)
Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New74377
Fresh257
Picked011
Done011
Total761086

Merged error: 3.1b

Counts
86 → 10

localize10.0ms

Local error

Found 4 expressions with local error:

3.2b
(/ x (- y (* z t)))
15.5b
(cbrt (/ x (- y (* z t))))
15.5b
(cbrt (/ x (- y (* z t))))
15.5b
(cbrt (/ x (- y (* z t))))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
45×cbrt-prod
36×times-frac
33×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
8×associate-/r/
6×add-exp-log add-cbrt-cube
4×pow1 flip3-- flip-- div-inv add-log-exp
3×cbrt-div pow1/3 associate-/r* associate-/l*
1×cbrt-undiv frac-2neg div-exp clear-num
Counts
4 → 101
Calls
4 calls:
4.0ms
(/ x (- y (* z t)))
4.0ms
(cbrt (/ x (- y (* z t))))
4.0ms
(cbrt (/ x (- y (* z t))))
4.0ms
(cbrt (/ x (- y (* z t))))

series303.0ms

Counts
4 → 12
Calls
4 calls:
12.0ms
(/ x (- y (* z t)))
230.0ms
(cbrt (/ x (- y (* z t))))
29.0ms
(cbrt (/ x (- y (* z t))))
32.0ms
(cbrt (/ x (- y (* z t))))

simplify49.0ms

Algorithm
egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
049791504
149791504

prune134.0ms

Filtered
97 candidates to 113 candidates (-16.5%)
Pruning

10 alts after pruning (7 fresh and 3 done)

PrunedKeptTotal
New1130113
Fresh077
Picked011
Done022
Total11310123

Merged error: 3.1b

Counts
123 → 10

localize11.0ms

Local error

Found 4 expressions with local error:

0.9b
(/ 1 (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))))
9.1b
(cbrt (- y (* z t)))
9.1b
(cbrt (- y (* z t)))
9.1b
(cbrt (- y (* z t)))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-div
15×add-exp-log
12×pow1
9×cbrt-prod add-sqr-sqrt add-cube-cbrt flip3-- pow-flip *-un-lft-identity pow1/3 flip--
8×associate-/r/
7×add-cbrt-cube
4×frac-times div-exp add-log-exp
3×times-frac prod-exp associate-/l*
2×cbrt-undiv rec-exp 1-exp associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 frac-2neg pow-plus clear-num associate-/r* cbrt-unprod div-inv inv-pow
Counts
4 → 82
Calls
4 calls:
10.0ms
(/ 1 (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))))
2.0ms
(cbrt (- y (* z t)))
2.0ms
(cbrt (- y (* z t)))
3.0ms
(cbrt (- y (* z t)))

series142.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(/ 1 (* (cbrt (- y (* z t))) (cbrt (- y (* z t)))))
31.0ms
(cbrt (- y (* z t)))
31.0ms
(cbrt (- y (* z t)))
33.0ms
(cbrt (- y (* z t)))

simplify46.0ms

Algorithm
egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
04906993
14906993

prune98.0ms

Filtered
69 candidates to 94 candidates (-36.2%)
Pruning

9 alts after pruning (5 fresh and 4 done)

PrunedKeptTotal
New93194
Fresh246
Picked011
Done033
Total959104

Merged error: 3.1b

Counts
104 → 9

regimes522.0ms

Accuracy

0% (0.1b remaining)

Error of 2.8b against oracle of 2.7b and baseline of 2.8b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0347
1347

end0.0ms

sample431.0ms

Algorithm
intervals
Results
223.0ms8000×body80valid
8.0ms323×body80invalid

Profiling

Loading profile data...