Details

Time bar (total: 3.7s)

sample16.0ms

Algorithm
intervals
Results
7.0ms302×body80valid

simplify53.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0163
1223
2333
3363
4423
5463
6543
72823
820723
950023

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: 11.8b

Counts
2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b
(* x (+ y z))
11.2b
(/ (* x (+ y z)) z)

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
9×add-exp-log add-cbrt-cube
8×add-sqr-sqrt *-un-lft-identity
6×add-cube-cbrt
4×pow1 associate-*r/ associate-*r*
3×times-frac associate-*l* associate-/r*
2×cbrt-undiv flip3-+ div-exp prod-exp cbrt-unprod flip-+ associate-/l/ add-log-exp
1×distribute-rgt-in frac-2neg distribute-lft-in pow-prod-down clear-num *-commutative div-inv distribute-lft-out associate-/l* unswap-sqr
Counts
2 → 46
Calls
2 calls:
5.0ms
(* x (+ y z))
6.0ms
(/ (* x (+ y z)) z)

series63.0ms

Counts
2 → 6
Calls
2 calls:
28.0ms
(* x (+ y z))
35.0ms
(/ (* x (+ y z)) z)

simplify35.0ms

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 1 (7.0ms)

IterNodesCost
0226206
11099177
25001177

prune89.0ms

Filtered
52 candidates to 35 candidates (67.3%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New45752
Fresh000
Picked101
Done000
Total46753

Merged error: 0.0b

Counts
53 → 7

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ z (+ y z))
3.3b
(/ x (/ z (+ y z)))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
114×times-frac
94×*-un-lft-identity
62×add-sqr-sqrt add-cube-cbrt
22×associate-/r*
16×distribute-lft-out
11×associate-/r/
9×add-exp-log add-cbrt-cube
6×div-inv associate-/l*
5×flip3-+ flip-+
4×cbrt-undiv div-exp
2×pow1 frac-2neg clear-num add-log-exp
Counts
2 → 123
Calls
2 calls:
5.0ms
(/ z (+ y z))
8.0ms
(/ x (/ z (+ y z)))

series84.0ms

Counts
2 → 6
Calls
2 calls:
41.0ms
(/ z (+ y z))
43.0ms
(/ x (/ z (+ y z)))

simplify51.0ms

Algorithm
egg-herbie
Counts
129 → 129
Iterations

Useful iterations: 2 (40.0ms)

IterNodesCost
0413869
11890835
25001832

prune215.0ms

Filtered
129 candidates to 92 candidates (71.3%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1263129
Fresh426
Picked011
Done000
Total1306136

Merged error: 0.0b

Counts
136 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
1.1b
(/ (cbrt x) (/ (cbrt z) (+ y z)))
2.4b
(* (/ (cbrt x) (/ (* (cbrt z) (cbrt z)) (cbrt x))) (/ (cbrt x) (/ (cbrt z) (+ y z))))

rewrite217.0ms

Algorithm
rewrite-expression-head
Rules
908×times-frac
573×add-sqr-sqrt
519×*-un-lft-identity
463×cbrt-prod
363×add-cube-cbrt
185×associate-*r*
78×distribute-lft-out
65×associate-*l*
63×add-exp-log
49×unswap-sqr
30×cbrt-undiv div-exp associate-/r*
29×associate-/r/
27×add-cbrt-cube
22×div-inv
15×prod-exp cbrt-unprod
13×flip3-+ flip-+
6×pow1 associate-/l*
4×add-log-exp
2×pow1/3
1×frac-times frac-2neg associate-*r/ pow-prod-down associate-*l/ clear-num *-commutative
Counts
4 → 588
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
15.0ms
(/ (cbrt x) (/ (cbrt z) (+ y z)))
158.0ms
(* (/ (cbrt x) (/ (* (cbrt z) (cbrt z)) (cbrt x))) (/ (cbrt x) (/ (cbrt z) (+ y z))))

series534.0ms

Counts
4 → 12
Calls
4 calls:
174.0ms
(cbrt x)
173.0ms
(cbrt x)
137.0ms
(/ (cbrt x) (/ (cbrt z) (+ y z)))
50.0ms
(* (/ (cbrt x) (/ (* (cbrt z) (cbrt z)) (cbrt x))) (/ (cbrt x) (/ (cbrt z) (+ y z))))

simplify119.0ms

Algorithm
egg-herbie
Counts
600 → 600
Iterations

Useful iterations: 1 (45.0ms)

IterNodesCost
022088938
150018758

prune1.8s

Filtered
600 candidates to 477 candidates (79.5%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New6000600
Fresh044
Picked011
Done011
Total6006606

Merged error: 0.0b

Counts
606 → 6

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (/ (* x y) z) x)
6.0b
(/ (* x y) z)

rewrite10.0ms

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

series50.0ms

Counts
2 → 6
Calls
2 calls:
31.0ms
(+ (/ (* x y) z) x)
20.0ms
(/ (* x y) z)

simplify82.0ms

Algorithm
egg-herbie
Counts
39 → 39
Iterations

Useful iterations: 2 (19.0ms)

IterNodesCost
0168160
1736144
23353142
35001142

prune53.0ms

Filtered
39 candidates to 26 candidates (66.7%)
Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New39039
Fresh033
Picked011
Done022
Total39645

Merged error: 0.0b

Counts
45 → 6

regimes106.0ms

bsearch2.0ms

Profiling

Loading profile data...