Details

Time bar (total: 3.7s)

analyze803.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
5.8%94%0.2%9
7.6%92.2%0.2%10
11.6%88.2%0.2%11
18.5%81.3%0.2%12
32.3%66.9%0.8%13
37%62.2%0.8%14

sample27.0ms

Algorithm
intervals
Results
9.0ms256×body80valid
2.0ms46×body80invalid

simplify103.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (101.0ms)

IterNodesCost
049735
149735

prune8.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 5.9b

Counts
2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

5.7b
(* x (/ y z))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
13×associate-*r*
10×times-frac
9×add-cube-cbrt *-un-lft-identity
6×add-exp-log add-cbrt-cube
3×pow1 associate-*l*
2×prod-exp cbrt-unprod unswap-sqr
1×cbrt-undiv associate-*r/ div-exp pow-prod-down *-commutative div-inv add-log-exp
Counts
1 → 32
Calls
1 calls:
6.0ms
(* x (/ y z))

series5.0ms

Counts
1 → 3
Calls
1 calls:
5.0ms
(* x (/ y z))

simplify34.0ms

Algorithm
egg-herbie
Counts
35 → 35
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
05166230

prune66.0ms

Filtered
24 candidates to 35 candidates (-45.8%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New28735
Fresh000
Picked011
Done000
Total28836

Merged error: 0.0b

Counts
36 → 8

localize8.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt z)
0.5b
(cbrt z)
0.5b
(cbrt z)
3.4b
(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt
28×times-frac
25×add-exp-log
22×add-cube-cbrt *-un-lft-identity associate-*r*
20×cbrt-prod
18×add-cbrt-cube
8×prod-exp cbrt-unprod
7×cbrt-undiv div-exp associate-*l*
6×pow1 unswap-sqr
4×add-log-exp
3×pow1/3
2×div-inv
1×frac-times associate-*r/ pow-prod-down associate-*l/ *-commutative
Counts
4 → 92
Calls
4 calls:
1.0ms
(cbrt z)
3.0ms
(cbrt z)
1.0ms
(cbrt z)
14.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))

series73.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(cbrt z)
21.0ms
(cbrt z)
21.0ms
(cbrt z)
10.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))

simplify68.0ms

Algorithm
egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
04945758
14945758

prune110.0ms

Filtered
72 candidates to 104 candidates (-44.4%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New1031104
Fresh156
Picked011
Done011
Total1048112

Merged error: 0.0b

Counts
112 → 8

localize8.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
1.5b
(* y (/ (cbrt x) z))
2.6b
(* (* (cbrt x) (cbrt x)) (* y (/ (cbrt x) z)))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
30×add-exp-log
28×add-sqr-sqrt
23×associate-*r*
21×add-cbrt-cube
20×add-cube-cbrt *-un-lft-identity times-frac
18×pow1
16×cbrt-prod
15×prod-exp cbrt-unprod
9×pow-prod-down
4×associate-*l* add-log-exp
3×cbrt-undiv associate-*r/ div-exp unswap-sqr
2×pow1/3 *-commutative
1×div-inv
Counts
4 → 91
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
8.0ms
(* y (/ (cbrt x) z))
12.0ms
(* (* (cbrt x) (cbrt x)) (* y (/ (cbrt x) z)))

series74.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(cbrt x)
22.0ms
(cbrt x)
20.0ms
(* y (/ (cbrt x) z))
8.0ms
(* (* (cbrt x) (cbrt x)) (* y (/ (cbrt x) z)))

simplify64.0ms

Algorithm
egg-herbie
Counts
103 → 103
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
04952628
14952628

prune91.0ms

Filtered
63 candidates to 103 candidates (-63.5%)
Pruning

9 alts after pruning (6 fresh and 3 done)

PrunedKeptTotal
New1021103
Fresh055
Picked011
Done022
Total1029111

Merged error: 0b

Counts
111 → 9

localize12.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
1.5b
(* (/ (cbrt x) z) (cbrt y))
2.6b
(* (* (cbrt x) (cbrt x)) (* (* (cbrt y) (cbrt y)) (* (/ (cbrt x) z) (cbrt y))))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
74×add-exp-log
49×prod-exp cbrt-unprod
47×pow1
37×add-sqr-sqrt
33×add-cbrt-cube
32×pow-prod-down
23×cbrt-prod associate-*l*
22×times-frac
21×add-cube-cbrt *-un-lft-identity
7×associate-*r*
6×unswap-sqr
5×cbrt-undiv div-exp
4×add-log-exp
2×pow1/3 associate-*r/ associate-*l/ *-commutative
1×div-inv
Counts
4 → 119
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
8.0ms
(* (/ (cbrt x) z) (cbrt y))
20.0ms
(* (* (cbrt x) (cbrt x)) (* (* (cbrt y) (cbrt y)) (* (/ (cbrt x) z) (cbrt y))))

series78.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(cbrt x)
21.0ms
(cbrt x)
22.0ms
(* (/ (cbrt x) z) (cbrt y))
9.0ms
(* (* (cbrt x) (cbrt x)) (* (* (cbrt y) (cbrt y)) (* (/ (cbrt x) z) (cbrt y))))

simplify54.0ms

Algorithm
egg-herbie
Counts
131 → 131
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
04976874
14976874

prune87.0ms

Filtered
75 candidates to 131 candidates (-74.7%)
Pruning

9 alts after pruning (5 fresh and 4 done)

PrunedKeptTotal
New1310131
Fresh055
Picked011
Done033
Total1319140

Merged error: 0b

Counts
140 → 9

regimes486.0ms

Accuracy

45.9% (2.8b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03047
13047

end0.0ms

analyze793.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
5.8%94%0.2%9
7.6%92.2%0.2%10
11.6%88.2%0.2%11
18.5%81.3%0.2%12
32.3%66.9%0.8%13
37%62.2%0.8%14

sample569.0ms

Algorithm
intervals
Results
272.0ms8000×body80valid
58.0ms1603×body80invalid

Profiling

Loading profile data...