Details

Time bar (total: 16.0s)

sample30.0ms

Algorithm
intervals
Results
15.0ms360×body80valid

simplify2.6s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05152
111152
220152
334152
469152
5157152
6375152
71460152
done5002152

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 2 expressions with local error:

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

rewrite20.0ms

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

series79.0ms

Counts
2 → 6
Calls
2 calls:
43.0ms
(exp (* (* x y) y))
36.0ms
(* (* x y) y)

simplify3.9s

Counts
38 → 38
Iterations

Useful iterations: done (3.9s)

IterNodesCost
0577319
11455581
24925461
320435381
done50025357

prune188.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
19×pow1 add-cbrt-cube add-exp-log
9×associate-*r* pow-prod-down prod-exp cbrt-unprod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×add-log-exp
4×expm1-log1p-u log1p-expm1-u
3×associate-*l* *-commutative
1×exp-prod exp-to-pow rem-exp-log
Counts
4 → 72
Calls
4 calls:
12.0ms
(exp (* (* x y) y))
18.0ms
(* (* x y) y)
13.0ms
(* (* x y) y)
17.0ms
(* (* x y) y)

series232.0ms

Counts
4 → 12
Calls
4 calls:
57.0ms
(exp (* (* x y) y))
57.0ms
(* (* x y) y)
56.0ms
(* (* x y) y)
62.0ms
(* (* x y) y)

simplify3.6s

Counts
84 → 84
Iterations

Useful iterations: done (3.6s)

IterNodesCost
05714713
114511587
249211307
3204311067
done500211043

prune407.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize81.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x y) y)
0.1b
(* (* x y) y)
0.1b
(* (* x y) y)
20.8b
(cbrt (* (* (* (* x y) y) (* (* x y) y)) (* (* x y) y)))

rewrite434.0ms

Algorithm
rewrite-expression-head
Rules
19×pow1 add-cbrt-cube add-exp-log
9×associate-*r* pow-prod-down prod-exp cbrt-unprod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-*l* *-commutative
1×cbrt-prod pow1/3 pow3 rem-cbrt-cube
Counts
4 → 72
Calls
4 calls:
13.0ms
(* (* x y) y)
14.0ms
(* (* x y) y)
13.0ms
(* (* x y) y)
392.0ms
(cbrt (* (* (* (* x y) y) (* (* x y) y)) (* (* x y) y)))

series172.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(* (* x y) y)
33.0ms
(* (* x y) y)
54.0ms
(* (* x y) y)
51.0ms
(cbrt (* (* (* (* x y) y) (* (* x y) y)) (* (* x y) y)))

simplify3.0s

Counts
84 → 84
Iterations

Useful iterations: 3 (751.0ms)

IterNodesCost
05415213
112612618
237212138
3140310698
done500110698

prune496.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
013622
117622
done17622

end0.0ms

sample691.0ms

Algorithm
intervals
Results
359.0ms10662×body80valid