Details

Time bar (total: 1.8s)

sample15.0ms

Algorithm
intervals
Results
6.0ms316×body80valid

simplify68.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0113
1223
2403
3833
42013
55723
630293
750013

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(exp (* (* x y) y))
0.1b
(* (* x y) y)

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-exp-log add-cbrt-cube
4×add-log-exp
3×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*r* pow-prod-down prod-exp cbrt-unprod
1×exp-prod exp-to-pow associate-*l* *-commutative rem-exp-log
Counts
2 → 28
Calls
2 calls:
8.0ms
(exp (* (* x y) y))
16.0ms
(* (* x y) y)

series65.0ms

Counts
2 → 6
Calls
2 calls:
35.0ms
(exp (* (* x y) y))
30.0ms
(* (* x y) y)

simplify90.0ms

Algorithm
egg-herbie
Counts
34 → 34
Iterations

Useful iterations: 1 (6.0ms)

IterNodesCost
0131125
1614104
23052104
35001104

prune49.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (cbrt (pow (* (* x y) y) 3)))
0.1b
(* (* x y) y)
0.2b
(pow (* (* x y) y) 3)
20.7b
(cbrt (pow (* (* x y) y) 3))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
16×cbrt-prod
15×pow1 add-exp-log add-cbrt-cube
11×exp-prod
9×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×pow-prod-down prod-exp cbrt-unprod
5×add-log-exp
3×cube-mult unpow-prod-down pow-unpow pow-pow unpow3 cube-prod associate-*r* pow-exp rem-cube-cbrt sqr-pow
1×pow-to-exp pow1/3 associate-*l* *-commutative rem-cbrt-cube rem-exp-log
Counts
4 → 79
Calls
4 calls:
12.0ms
(exp (cbrt (pow (* (* x y) y) 3)))
18.0ms
(* (* x y) y)
15.0ms
(pow (* (* x y) y) 3)
4.0ms
(cbrt (pow (* (* x y) y) 3))

series205.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(exp (cbrt (pow (* (* x y) y) 3)))
29.0ms
(* (* x y) y)
94.0ms
(pow (* (* x y) y) 3)
40.0ms
(cbrt (pow (* (* x y) y) 3))

simplify48.0ms

Algorithm
egg-herbie
Counts
91 → 91
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
0232355
11190332
25002325

prune172.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x y) y)
0.1b
(* (* x y) y)
28.4b
(cbrt (* (* (* x y) y) (* (* x y) y)))
28.6b
(cbrt (* (* x y) y))

rewrite123.0ms

Algorithm
rewrite-expression-head
Rules
14×pow1 add-exp-log add-cbrt-cube
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*r* pow-prod-down prod-exp cbrt-unprod
4×add-log-exp
2×cbrt-prod pow1/3 associate-*l* *-commutative
Counts
4 → 54
Calls
4 calls:
18.0ms
(* (* x y) y)
16.0ms
(* (* x y) y)
75.0ms
(cbrt (* (* (* x y) y) (* (* x y) y)))
12.0ms
(cbrt (* (* x y) y))

series258.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(* (* x y) y)
29.0ms
(* (* x y) y)
101.0ms
(cbrt (* (* (* x y) y) (* (* x y) y)))
98.0ms
(cbrt (* (* x y) y))

simplify76.0ms

Algorithm
egg-herbie
Counts
66 → 66
Iterations

Useful iterations: 3 (72.0ms)

IterNodesCost
0227312
1752262
22954235
35001224

prune153.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify4.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01111
11111

end0.0ms

sample408.0ms

Algorithm
intervals
Results
189.0ms10630×body80valid