Details

Time bar (total: 22.2s)

sample55.0ms

Algorithm
intervals
Results
27.0ms256×body80valid
7.0ms256×pre80true

simplify4.9s

Counts
1 → 1
Iterations
IterNodes
done5000
62470
5756
4269
3119
254
127
012

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 52.0b

localize39.0ms

Local error

Found 1 expressions with local error:

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

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
3×add-log-exp
1×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:
26.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

series815.0ms

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

simplify6.2s

Counts
15 → 15
Iterations
IterNodes
done5001
44140
31027
2323
1111
045

prune154.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 52.0b

localize61.0ms

Local error

Found 4 expressions with local error:

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

rewrite402.0ms

Algorithm
rewrite-expression-head
Rules
30×flip3-- flip--
28×frac-times
26×cbrt-div
14×associate-*l/
10×add-log-exp
8×associate-*r/
4×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-cbrt-cube
3×sub-neg diff-log
1×cbrt-prod pow1/3 pow3 rem-cbrt-cube
Counts
4 → 72
Calls
4 calls:
308.0ms
(cbrt (* (* (- (* 9.0 (pow x 4.0)) (pow y 4.0)) (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (- (* 9.0 (pow x 4.0)) (pow y 4.0))))
26.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
25.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
35.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

series3.5s

Counts
4 → 12
Calls
4 calls:
830.0ms
(cbrt (* (* (- (* 9.0 (pow x 4.0)) (pow y 4.0)) (- (* 9.0 (pow x 4.0)) (pow y 4.0))) (- (* 9.0 (pow x 4.0)) (pow y 4.0))))
804.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
916.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
936.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

simplify3.3s

Counts
84 → 84
Iterations
IterNodes
done5001
21272
1314
0140

prune745.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 52.0b

simplify6.0ms

Iterations
IterNodes
done19
119
015

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.5s8000×body80valid
253.0ms8000×pre80true