Details

Time bar (total: 2.4s)

analyze346.0ms (14.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
21.8%78%0.1%6
26.5%73.3%0.1%7
32%67.9%0.1%8
46.4%52.7%0.9%9
50.9%47.2%1.9%10
54.3%43.3%2.4%11
62.1%32.5%5.4%12
64.3%28.1%7.6%13
66.3%24.6%9.2%14

sample20.0ms (0.8%)

Algorithm
1×intervals
Results
9.0ms256×body80valid
1.0ms35×body80invalid

simplify38.0ms (1.6%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
076610
176610

prune10.0ms (0.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 2

localize8.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b
(/ (+ x 4.0) y)
0.0b
(- (/ (+ x 4.0) y) (* (/ x y) z))
2.9b
(* (/ x y) z)

rewrite25.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
28×*-un-lft-identity
25×add-sqr-sqrt
22×times-frac
20×add-cube-cbrt
13×associate-*l*
10×add-exp-log add-cbrt-cube
5×pow1 add-log-exp
4×distribute-lft-out associate-/l*
3×associate-*r* associate-*l/ associate-/r*
2×cbrt-undiv div-exp prod-exp cbrt-unprod div-inv associate-/l/ unswap-sqr
1×sub-neg flip3-- frac-2neg flip3-+ diff-log pow-prod-down clear-num *-commutative frac-sub flip-- flip-+ sub-div
Counts
3 → 78
Calls

3 calls:

12.0ms
(- (/ (+ x 4.0) y) (* (/ x y) z))
6.0ms
(* (/ x y) z)
5.0ms
(/ (+ x 4.0) y)

series19.0ms (0.8%)

Counts
3 → 9
Calls

3 calls:

9.0ms
(- (/ (+ x 4.0) y) (* (/ x y) z))
5.0ms
(* (/ x y) z)
4.0ms
(/ (+ x 4.0) y)

simplify70.0ms (2.9%)

Algorithm
1×egg-herbie
Counts
87 → 87
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
04945779
14945779

prune152.0ms (6.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New81687
Fresh011
Picked011
Done000
Total81889

Merged error: 0.0b

Counts
89 → 8

localize12.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.6b
(cbrt z)
1.1b
(* (* (/ x y) (* (cbrt z) (cbrt z))) (cbrt z))
2.0b
(* (/ x y) (* (cbrt z) (cbrt z)))

rewrite24.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
34×add-exp-log
21×add-cbrt-cube
18×pow1 add-sqr-sqrt
17×prod-exp cbrt-unprod
15×add-cube-cbrt *-un-lft-identity
14×associate-*l*
10×times-frac
9×cbrt-prod pow-prod-down
7×associate-*r*
4×cbrt-undiv div-exp add-log-exp
3×associate-*l/
2×pow1/3 *-commutative unswap-sqr
1×div-inv
Counts
4 → 86
Calls

4 calls:

11.0ms
(* (* (/ x y) (* (cbrt z) (cbrt z))) (cbrt z))
9.0ms
(* (/ x y) (* (cbrt z) (cbrt z)))
1.0ms
(cbrt z)
1.0ms
(cbrt z)

series79.0ms (3.3%)

Counts
4 → 12
Calls

4 calls:

28.0ms
(* (/ x y) (* (cbrt z) (cbrt z)))
21.0ms
(cbrt z)
21.0ms
(cbrt z)
9.0ms
(* (* (/ x y) (* (cbrt z) (cbrt z))) (cbrt z))

simplify47.0ms (1.9%)

Algorithm
1×egg-herbie
Counts
98 → 98
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
05068630

prune164.0ms (6.8%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New98098
Fresh066
Picked011
Done011
Total988106

Merged error: 0.0b

Counts
106 → 8

localize8.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b
(/ (+ x 4.0) y)
0.0b
(- (/ (+ x 4.0) y) (* x (/ z y)))
7.3b
(* x (/ z y))

rewrite24.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
28×*-un-lft-identity
25×add-sqr-sqrt
22×times-frac
20×add-cube-cbrt
13×associate-*r*
10×add-exp-log add-cbrt-cube
5×pow1 add-log-exp
4×distribute-lft-out associate-/l*
3×associate-*r/ associate-*l* associate-/r*
2×cbrt-undiv div-exp prod-exp cbrt-unprod div-inv associate-/l/ unswap-sqr
1×sub-neg flip3-- frac-2neg flip3-+ diff-log pow-prod-down clear-num *-commutative frac-sub flip-- flip-+ sub-div
Counts
3 → 78
Calls

3 calls:

8.0ms
(- (/ (+ x 4.0) y) (* x (/ z y)))
7.0ms
(/ (+ x 4.0) y)
6.0ms
(* x (/ z y))

series18.0ms (0.7%)

Counts
3 → 9
Calls

3 calls:

9.0ms
(- (/ (+ x 4.0) y) (* x (/ z y)))
5.0ms
(* x (/ z y))
4.0ms
(/ (+ x 4.0) y)

simplify45.0ms (1.9%)

Algorithm
1×egg-herbie
Counts
87 → 87
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
05126791

prune142.0ms (5.8%)

Pruning

9 alts after pruning (6 fresh and 3 done)

PrunedKeptTotal
New85287
Fresh145
Picked011
Done022
Total86995

Merged error: 0.0b

Counts
95 → 9

localize15.0ms (0.6%)

Local error

Found 4 expressions with local error:

1.1b
(* x (* (cbrt (/ z y)) (cbrt (/ z y))))
13.8b
(cbrt (/ z y))
13.8b
(cbrt (/ z y))
13.8b
(cbrt (/ z y))

rewrite19.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
39×cbrt-prod
27×add-sqr-sqrt times-frac
26×add-cube-cbrt *-un-lft-identity
9×pow1 add-exp-log
7×cbrt-div add-cbrt-cube
4×associate-*r/ add-log-exp
3×pow1/3 associate-*l* pow-prod-down prod-exp cbrt-unprod div-inv
1×frac-times associate-*r* associate-*l/ *-commutative unswap-sqr
Counts
4 → 88
Calls

4 calls:

9.0ms
(* x (* (cbrt (/ z y)) (cbrt (/ z y))))
2.0ms
(cbrt (/ z y))
2.0ms
(cbrt (/ z y))
2.0ms
(cbrt (/ z y))

series62.0ms (2.5%)

Counts
4 → 12
Calls

4 calls:

24.0ms
(* x (* (cbrt (/ z y)) (cbrt (/ z y))))
13.0ms
(cbrt (/ z y))
13.0ms
(cbrt (/ z y))
12.0ms
(cbrt (/ z y))

simplify39.0ms (1.6%)

Algorithm
1×egg-herbie
Counts
100 → 100
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
05020774

prune148.0ms (6.1%)

Pruning

9 alts after pruning (6 fresh and 3 done)

PrunedKeptTotal
New991100
Fresh055
Picked101
Done033
Total1009109

Merged error: 0b

Counts
109 → 9

regimes343.0ms (14.1%)

Accuracy

Total 1.6b remaining (99.3%)

Threshold costs 0b (0%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04512
14512

end0.0ms (0%)

sample549.0ms (22.6%)

Algorithm
1×intervals
Results
298.0ms8000×body80valid
47.0ms1320×body80invalid

Profiling

Loading profile data...