Details

Time bar (total: 8.3m)

sample52.0ms

Algorithm
intervals
Results
39.0ms300×body80valid

simplify666.0ms

Calls
1 calls:
Slowest
666.0ms
(* x (/ (* (/ y z) t) t))

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.5b

localize12.0ms

Local error

Found 1 expressions with local error:

4.5b
(* x (/ y z))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
13×associate-*r*
12×*-un-lft-identity
11×add-cube-cbrt
10×times-frac
9×associate-*r/
6×add-cbrt-cube add-exp-log
4×associate-/l*
3×pow1 associate-/r* associate-*l*
2×clear-num prod-exp un-div-inv cbrt-unprod unswap-sqr
1×cbrt-undiv frac-2neg div-exp pow-prod-down *-commutative insert-posit16 div-inv add-log-exp
Calls
1 calls:
Slowest
20.0ms
(* x (/ y z))

series32.0ms

Calls
1 calls:
Slowest
32.0ms
(* x (/ y z))

simplify644.0ms

Calls
36 calls:
Slowest
222.0ms
(* (* (* x x) x) (* (* (/ y z) (/ y z)) (/ y z)))
105.0ms
(* (* (* x x) x) (/ (* (* y y) y) (* (* z z) z)))
41.0ms
(* (sqrt x) (/ (sqrt y) (sqrt z)))
41.0ms
(* (sqrt x) (/ (sqrt y) (sqrt z)))
30.0ms
(+ (log x) (- (log y) (log z)))

prune449.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

1.8b
(* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
0.7b
(cbrt z)
0.7b
(cbrt z)
0.7b
(cbrt z)

rewrite145.0ms

Algorithm
rewrite-expression-head
Rules
1278×add-sqr-sqrt
1069×associate-*r*
1013×cbrt-prod
810×times-frac
515×*-un-lft-identity
513×add-cube-cbrt
378×unswap-sqr
372×swap-sqr
340×associate-*l*
81×add-cbrt-cube
75×*-commutative
66×cbrt-unprod
57×associate-*r/
29×associate-/l*
27×associate-/r*
25×cbrt-undiv
22×add-exp-log
9×prod-exp
6×pow1
4×div-exp insert-posit16 add-log-exp
3×pow1/3 un-div-inv
2×clear-num
1×frac-2neg pow-prod-down div-inv
Calls
4 calls:
Slowest
92.0ms
(* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))
1.0ms
(cbrt z)
1.0ms
(cbrt z)
1.0ms
(cbrt z)

series865.0ms

Calls
4 calls:
Slowest
281.0ms
(cbrt z)
240.0ms
(cbrt z)
229.0ms
(cbrt z)
115.0ms
(* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))

simplify1.1m

Calls
1012 calls:
Slowest
608.0ms
(* (* (* x x) x) (/ (* (* (* (cbrt y) (cbrt y)) (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y))) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))))
537.0ms
(* (sqrt x) (/ (* (sqrt (cbrt y)) (sqrt (cbrt y))) (* (sqrt (cbrt z)) (sqrt (cbrt z)))))
461.0ms
(* (* (* x x) x) (/ (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))))
429.0ms
(* (* (* x x) x) (/ (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* (* (* (cbrt z) (cbrt z)) (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)))))
416.0ms
(* (* (* x x) x) (/ (* (* (* (cbrt y) (cbrt y)) (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y))) (* (* (* (cbrt z) (cbrt z)) (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)))))

prune12.6s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

1.8b
(* x (/ (* (cbrt y) (cbrt y)) (* (cbrt (* (* (cbrt z) (cbrt z)) (cbrt z))) (cbrt z))))
0.7b
(cbrt z)
0.7b
(cbrt z)
0.7b
(cbrt z)

rewrite1.0s

Algorithm
rewrite-expression-head
Rules
9614×add-sqr-sqrt
8575×cbrt-prod
5226×unswap-sqr
4177×associate-*r*
3366×times-frac
3252×associate-*l*
1493×add-cube-cbrt
1467×*-un-lft-identity
1358×swap-sqr
442×*-commutative
141×associate-*r/
111×associate-/r*
81×add-cbrt-cube
66×cbrt-unprod
29×associate-/l*
25×cbrt-undiv
22×add-exp-log
9×prod-exp
6×pow1
4×div-exp insert-posit16 add-log-exp
3×pow1/3 un-div-inv
2×clear-num
1×frac-2neg pow-prod-down div-inv
Calls
4 calls:
Slowest
640.0ms
(* x (/ (* (cbrt y) (cbrt y)) (* (cbrt (* (* (cbrt z) (cbrt z)) (cbrt z))) (cbrt z))))
1.0ms
(cbrt z)
1.0ms
(cbrt z)
1.0ms
(cbrt z)

series1.3s

Calls
4 calls:
Slowest
671.0ms
(cbrt z)
280.0ms
(cbrt z)
277.0ms
(cbrt z)
89.0ms
(* x (/ (* (cbrt y) (cbrt y)) (* (cbrt (* (* (cbrt z) (cbrt z)) (cbrt z))) (cbrt z))))

simplify5.9m

Calls
3940 calls:
Slowest
876.0ms
(* (sqrt x) (/ (* (cbrt (sqrt y)) (sqrt (cbrt y))) (* (cbrt (* (sqrt (* (cbrt z) (cbrt z))) (cbrt (sqrt z)))) (sqrt (cbrt z)))))
830.0ms
(* (sqrt x) (/ (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (* (* (cbrt (sqrt z)) (cbrt (sqrt z))) (cbrt (sqrt z)))) (cbrt (sqrt z)))))
829.0ms
(* (sqrt x) (/ (* (sqrt (cbrt y)) (sqrt (cbrt y))) (* (cbrt (* (* (sqrt (cbrt z)) (cbrt (sqrt z))) (sqrt (cbrt z)))) (sqrt (cbrt z)))))
590.0ms
(+ (log x) (- (+ (log (cbrt y)) (log (cbrt y))) (+ (log (cbrt (* (* (cbrt z) (cbrt z)) (cbrt z)))) (log (cbrt z)))))
576.0ms
(* (sqrt x) (/ (* (sqrt (cbrt y)) (cbrt (sqrt y))) (* (cbrt (* (* (cbrt (sqrt z)) (cbrt (sqrt z))) (sqrt (cbrt z)))) (cbrt (sqrt z)))))

prune34.8s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

localize22.0ms

Local error

Found 4 expressions with local error:

2.0b
(/ (* x (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y))))) (/ (* (cbrt z) (cbrt z)) (cbrt (* (cbrt y) (cbrt y)))))
0.7b
(cbrt z)
0.7b
(cbrt z)
0.7b
(cbrt z)

rewrite32.1s

Algorithm
rewrite-expression-head
Rules
1232729×cbrt-prod
994274×add-sqr-sqrt
536730×times-frac
491941×unswap-sqr
322669×associate-*r*
251764×swap-sqr
217402×*-un-lft-identity
214142×add-cube-cbrt
161299×associate-*l*
62064×*-commutative
844×associate-/r*
357×associate-/l*
332×div-inv
221×add-cbrt-cube
147×cbrt-unprod
126×cbrt-undiv
60×associate-/r/
40×add-exp-log
15×div-exp
12×prod-exp
4×pow1 insert-posit16 add-log-exp
3×pow1/3
2×clear-num frac-2neg
Calls
4 calls:
Slowest
1.5s
(/ (* x (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y))))) (/ (* (cbrt z) (cbrt z)) (cbrt (* (cbrt y) (cbrt y)))))
1.0ms
(cbrt z)
1.0ms
(cbrt z)
1.0ms
(cbrt z)

series627.0ms

Calls
4 calls:
Slowest
180.0ms
(cbrt z)
179.0ms
(cbrt z)
178.0ms
(cbrt z)
81.0ms
(/ (* x (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y))))) (/ (* (cbrt z) (cbrt z)) (cbrt (* (cbrt y) (cbrt y)))))