Details

Time bar (total: 3.6s)

analyze682.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
0%99.8%0.2%7
0%99.8%0.2%8
6.2%93.6%0.2%9
6.2%82.7%11.1%10
12.5%73.7%13.8%11
15.6%59.5%25%12
17.9%53.3%28.8%13
22.4%47.2%30.4%14

sample30.0ms

Algorithm
intervals
Results
14.0ms256×body80valid
3.0ms89×body80invalid

simplify29.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
072013
172013

prune7.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 6.1b

Counts
2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* z z) t)
0.0b
(- (* x x) (* (* y 4.0) (- (* z z) t)))
5.8b
(* (* y 4.0) (- (* z z) t))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
8×pow1 add-exp-log add-cbrt-cube
7×add-log-exp
6×add-sqr-sqrt sub-neg
4×add-cube-cbrt *-un-lft-identity associate-*r*
3×flip3-- pow-prod-down prod-exp flip-- cbrt-unprod
2×distribute-rgt-in distribute-lft-in diff-log associate-*r/ associate--r+ difference-of-squares
1×associate-*l* *-commutative
Counts
3 → 48
Calls
3 calls:
4.0ms
(- (* z z) t)
4.0ms
(- (* x x) (* (* y 4.0) (- (* z z) t)))
9.0ms
(* (* y 4.0) (- (* z z) t))

series38.0ms

Counts
3 → 9
Calls
3 calls:
4.0ms
(- (* z z) t)
21.0ms
(- (* x x) (* (* y 4.0) (- (* z z) t)))
14.0ms
(* (* y 4.0) (- (* z z) t))

simplify43.0ms

Algorithm
egg-herbie
Counts
57 → 57
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
04982631
14982631

prune87.0ms

Filtered
41 candidates to 57 candidates (-39.0%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New51657
Fresh000
Picked011
Done000
Total51758

Merged error: 1.8b

Counts
58 → 7

localize13.0ms

Local error

Found 4 expressions with local error:

2.2b
(* y (* 4.0 (* (cbrt (- (* z z) t)) (cbrt (- (* z z) t)))))
6.3b
(cbrt (- (* z z) t))
6.3b
(cbrt (- (* z z) t))
6.3b
(cbrt (- (* z z) t))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-div associate-*r/
13×pow1 add-exp-log
12×cbrt-prod
11×add-sqr-sqrt add-cbrt-cube
9×flip3-- flip--
8×add-cube-cbrt *-un-lft-identity
6×pow-prod-down prod-exp cbrt-unprod
4×frac-times add-log-exp
3×pow1/3 associate-*l* difference-of-squares
2×associate-*l/
1×associate-*r* *-commutative
Counts
4 → 71
Calls
4 calls:
16.0ms
(* y (* 4.0 (* (cbrt (- (* z z) t)) (cbrt (- (* z z) t)))))
4.0ms
(cbrt (- (* z z) t))
5.0ms
(cbrt (- (* z z) t))
4.0ms
(cbrt (- (* z z) t))

series81.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(* y (* 4.0 (* (cbrt (- (* z z) t)) (cbrt (- (* z z) t)))))
17.0ms
(cbrt (- (* z z) t))
17.0ms
(cbrt (- (* z z) t))
19.0ms
(cbrt (- (* z z) t))

simplify56.0ms

Algorithm
egg-herbie
Counts
83 → 83
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
04971927
14971927

prune116.0ms

Filtered
63 candidates to 83 candidates (-31.7%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New82183
Fresh145
Picked011
Done011
Total83790

Merged error: 1.7b

Counts
90 → 7

localize20.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
2.2b
(* (pow (cbrt (- (* z z) t)) 2) (* 4.0 (cbrt y)))
6.3b
(cbrt (- (* z z) t))
6.3b
(cbrt (- (* z z) t))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
17×add-exp-log
15×cbrt-prod
13×add-sqr-sqrt
12×associate-*l*
10×add-cube-cbrt *-un-lft-identity
9×prod-exp
8×add-cbrt-cube
7×unpow-prod-down
4×pow1 cbrt-div add-log-exp
3×pow1/3 cbrt-unprod difference-of-squares
2×pow-to-exp flip3-- pow-exp flip--
1×associate-*r* *-commutative unpow2 sqr-pow
Counts
4 → 68
Calls
4 calls:
1.0ms
(cbrt y)
11.0ms
(* (pow (cbrt (- (* z z) t)) 2) (* 4.0 (cbrt y)))
4.0ms
(cbrt (- (* z z) t))
4.0ms
(cbrt (- (* z z) t))

series92.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(cbrt y)
37.0ms
(* (pow (cbrt (- (* z z) t)) 2) (* 4.0 (cbrt y)))
17.0ms
(cbrt (- (* z z) t))
17.0ms
(cbrt (- (* z z) t))

simplify35.0ms

Algorithm
egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 0 (28.0ms)

IterNodesCost
05089789

prune121.0ms

Filtered
63 candidates to 80 candidates (-27.0%)
Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New80080
Fresh044
Picked011
Done022
Total80787

Merged error: 1.7b

Counts
87 → 7

localize13.0ms

Local error

Found 4 expressions with local error:

1.1b
(cbrt (+ (* x x) (* y (* 4.0 (- t (* z z))))))
6.0b
(* y (* 4.0 (- t (* z z))))
6.0b
(* y (* 4.0 (- t (* z z))))
6.0b
(* y (* 4.0 (- t (* z z))))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
19×pow1 add-exp-log add-cbrt-cube
12×distribute-rgt-in sub-neg distribute-lft-in associate-*r/
9×associate-*l* pow-prod-down prod-exp cbrt-unprod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×add-log-exp
3×cbrt-prod flip3-- associate-*r* *-commutative flip--
2×cbrt-div
1×flip3-+ pow1/3 flip-+
Counts
4 → 85
Calls
4 calls:
4.0ms
(cbrt (+ (* x x) (* y (* 4.0 (- t (* z z))))))
7.0ms
(* y (* 4.0 (- t (* z z))))
9.0ms
(* y (* 4.0 (- t (* z z))))
7.0ms
(* y (* 4.0 (- t (* z z))))

series100.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(cbrt (+ (* x x) (* y (* 4.0 (- t (* z z))))))
15.0ms
(* y (* 4.0 (- t (* z z))))
15.0ms
(* y (* 4.0 (- t (* z z))))
16.0ms
(* y (* 4.0 (- t (* z z))))

simplify47.0ms

Algorithm
egg-herbie
Counts
97 → 97
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
050611138

prune142.0ms

Filtered
60 candidates to 97 candidates (-61.7%)
Pruning

7 alts after pruning (3 fresh and 4 done)

PrunedKeptTotal
New97097
Fresh033
Picked011
Done033
Total977104

Merged error: 1.7b

Counts
104 → 7

regimes988.0ms

Accuracy

48.1% (1.7b remaining)

Error of 4.3b against oracle of 2.6b and baseline of 5.9b

bsearch1.0ms

simplify6.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
036257
136257

end0.0ms

sample698.0ms

Algorithm
intervals
Results
317.0ms8000×body80valid
113.0ms2932×body80invalid

Profiling

Loading profile data...