Details

Time bar (total: 7.1s)

sample26.0ms

Algorithm
intervals
Results
12.0ms256×body80valid
4.0ms256×pre80true

simplify1.6s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01215
12715
25415
311715
426215
563715
6186415
done500115

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 52.0b

localize11.0ms

Local error

Found 1 expressions with local error:

23.0b
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
add-log-exp
pow1 add-exp-log add-sqr-sqrt add-cube-cbrt sub-neg flip3-- *-un-lft-identity diff-log add-cbrt-cube flip--
Counts
1 → 12
Calls
1 calls:
5.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

series425.0ms

Counts
1 → 3
Calls
1 calls:
425.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

simplify2.4s

Counts
15 → 15
Iterations

Useful iterations: 3 (128.0ms)

IterNodesCost
045216
1111209
2317187
31083185
44593185
done5000185

prune42.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 52.0b

localize15.0ms

Local error

Found 2 expressions with local error:

1.0b
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
23.0b
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
add-sqr-sqrt add-cube-cbrt *-un-lft-identity
add-log-exp
unpow-prod-down cube-prod
pow1 add-exp-log cube-div cbrt-div flip3-- add-cbrt-cube flip--
cube-mult sub-neg pow1/3 diff-log unpow3 rem-cbrt-cube sqr-pow
Counts
2 → 35
Calls
2 calls:
8.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
5.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

series822.0ms

Counts
2 → 6
Calls
2 calls:
413.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
409.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

simplify1.1s

Counts
41 → 41
Iterations

Useful iterations: 3 (278.0ms)

IterNodesCost
079780
1188632
2565575
32728571
done5001571

prune105.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 52.0b

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01518
11818
done1818

end0.0ms

sample595.0ms

Algorithm
intervals
Results
357.0ms8000×body80valid
102.0ms8000×pre80true