Details

Time bar (total: 10.1s)

sample40.0ms

Algorithm
intervals
Results
26.0ms348×body80valid

simplify2.6s

Counts
1 → 1
Iterations
IterNodes
done5002
71460
6375
5157
469
334
220
111
05

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 2 expressions with local error:

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

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
30×associate-*l*
25×add-sqr-sqrt
22×exp-prod
12×associate-*r*
11×*-un-lft-identity add-cube-cbrt
8×unswap-sqr
7×pow1 add-cbrt-cube add-exp-log
4×*-commutative add-log-exp
3×pow-prod-down prod-exp cbrt-unprod
2×insert-posit16
1×exp-to-pow rem-exp-log
Counts
2 → 64
Calls
2 calls:
43.0ms
(exp (* (* x y) y))
33.0ms
(* (* x y) y)

series65.0ms

Counts
2 → 6
Calls
2 calls:
31.0ms
(exp (* (* x y) y))
34.0ms
(* (* x y) y)

simplify2.0s

Counts
70 → 70
Iterations
IterNodes
done5000
32019
2582
1220
094

prune259.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (cbrt (* (* x y) y)) (cbrt (* (* x y) y)))
27.1b
(cbrt (* (* x y) y))
27.1b
(cbrt (* (* x y) y))
27.1b
(cbrt (* (* x y) y))

rewrite299.0ms

Algorithm
rewrite-expression-head
Rules
194×cbrt-prod
148×add-sqr-sqrt
144×associate-*l*
68×unswap-sqr
67×associate-*r*
55×*-un-lft-identity
43×add-cube-cbrt
33×swap-sqr
19×*-commutative
11×pow1
9×pow1/3
8×add-cbrt-cube
6×add-exp-log
4×cbrt-unprod insert-posit16 add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp
Counts
4 → 214
Calls
4 calls:
185.0ms
(* (cbrt (* (* x y) y)) (cbrt (* (* x y) y)))
42.0ms
(cbrt (* (* x y) y))
24.0ms
(cbrt (* (* x y) y))
31.0ms
(cbrt (* (* x y) y))

series560.0ms

Counts
4 → 12
Calls
4 calls:
161.0ms
(* (cbrt (* (* x y) y)) (cbrt (* (* x y) y)))
140.0ms
(cbrt (* (* x y) y))
129.0ms
(cbrt (* (* x y) y))
129.0ms
(cbrt (* (* x y) y))

simplify2.2s

Counts
226 → 226
Iterations
IterNodes
done5002
32387
21085
1418
0210

prune1.0s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify3.0ms

Iterations
IterNodes
done10
110
08

end0.0ms

sample860.0ms

Algorithm
intervals
Results
627.0ms10610×body80valid