Details

Time bar (total: 14.2s)

sample32.0ms

Algorithm
intervals
Results
9.0ms238×body80valid
2.0ms14×body640valid
2.0ms17×body320valid
2.0ms10×body1280valid
0.0ms3×body160valid
0.0ms1×body2560valid

simplify987.0ms

Counts
1 → 1

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 17.1b

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (- z t) y)
1.4b
(- (+ x y) (/ (* (- z t) y) (- a t)))
10.9b
(/ (* (- z t) y) (- a t))

rewrite121.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
17×add-sqr-sqrt
10×add-exp-log add-cbrt-cube
8×add-log-exp
7×add-cube-cbrt
5×pow1 times-frac associate-*l* associate-/r* distribute-lft-out--
4×flip3-- associate-*l/ flip-- difference-of-squares
3×associate-*r*
2×cbrt-undiv diff-log div-exp prod-exp associate-/r/ frac-sub cbrt-unprod associate-/l/
1×sub-neg frac-2neg flip3-+ pow-prod-down associate--l+ clear-num sum-log *-commutative flip-+ div-inv distribute-lft-out associate-/l* unswap-sqr
Counts
3 → 70
Calls
3 calls:
24.0ms
(* (- z t) y)
53.0ms
(- (+ x y) (/ (* (- z t) y) (- a t)))
41.0ms
(/ (* (- z t) y) (- a t))

series280.0ms

Counts
3 → 9
Calls
3 calls:
45.0ms
(* (- z t) y)
159.0ms
(- (+ x y) (/ (* (- z t) y) (- a t)))
75.0ms
(/ (* (- z t) y) (- a t))

simplify741.0ms

Counts
79 → 79

prune234.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 3.9b

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (- a t))
0.5b
(cbrt (- a t))
4.1b
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
8.5b
(- (+ x y) (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))

rewrite240.0ms

Algorithm
rewrite-expression-head
Rules
51×add-sqr-sqrt
36×times-frac
35×*-un-lft-identity
30×associate-*r*
27×cbrt-prod
25×add-exp-log
23×add-cube-cbrt
18×cbrt-div add-cbrt-cube
17×associate-*l*
10×flip3-- associate-/r/ flip--
9×add-log-exp
8×prod-exp cbrt-unprod
7×cbrt-undiv frac-times div-exp
6×pow1 frac-sub distribute-lft-out-- difference-of-squares unswap-sqr
5×associate-*r/ associate-*l/
3×flip3-+ flip-+
2×pow1/3 diff-log div-inv
1×sub-neg pow-prod-down associate--l+ sum-log *-commutative
Counts
4 → 127
Calls
4 calls:
8.0ms
(cbrt (- a t))
8.0ms
(cbrt (- a t))
160.0ms
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
52.0ms
(- (+ x y) (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))

series737.0ms

Counts
4 → 12
Calls
4 calls:
188.0ms
(cbrt (- a t))
198.0ms
(cbrt (- a t))
148.0ms
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
202.0ms
(- (+ x y) (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))

simplify1.3s

Counts
139 → 139

prune700.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 3.9b

localize28.0ms

Local error

Found 4 expressions with local error:

2.0b
(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
2.0b
(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
2.0b
(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
8.5b
(- (+ x y) (* (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))) (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (- a t))))))

rewrite121.0ms

Algorithm
rewrite-expression-head
Rules
87×cbrt-div
51×cbrt-prod
46×frac-times
30×frac-sub
28×associate-*r/ associate-*l/
24×associate-/r/
19×flip3-- flip--
16×add-sqr-sqrt *-un-lft-identity
15×flip3-+ times-frac flip-+
10×add-cube-cbrt
9×add-log-exp
4×pow1 add-exp-log add-cbrt-cube
3×pow1/3 div-inv distribute-lft-out-- difference-of-squares
2×diff-log
1×sub-neg associate--l+ sum-log
Counts
4 → 122
Calls
4 calls:
19.0ms
(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
20.0ms
(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
18.0ms
(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
58.0ms
(- (+ x y) (* (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))) (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (- a t))))))

series1.6s

Counts
4 → 12
Calls
4 calls:
454.0ms
(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
448.0ms
(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
511.0ms
(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
160.0ms
(- (+ x y) (* (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))) (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (- a t))))))

simplify1.1s

Counts
134 → 134

prune640.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 3.7b

localize23.0ms

Local error

Found 4 expressions with local error:

0.7b
(pow (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) 3)
2.0b
(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
4.1b
(* (- (pow (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) 3)) (/ y (cbrt (- a t))))
15.5b
(+ (* (- (pow (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) 3)) (/ y (cbrt (- a t)))) y)

rewrite537.0ms

Algorithm
rewrite-expression-head
Rules
135×cbrt-prod
96×associate-*l*
90×cbrt-div
71×add-sqr-sqrt
63×*-un-lft-identity
61×times-frac
60×unpow-prod-down cube-prod
58×associate-/r/
46×distribute-lft-neg-in distribute-rgt-neg-in
43×add-cube-cbrt flip3-- flip--
30×associate-*r*
29×frac-times
15×associate-*r/ associate-*l/
10×add-exp-log distribute-lft-out-- difference-of-squares
8×add-cbrt-cube div-inv
7×pow1
6×add-log-exp
3×cube-div cube-mult pow-unpow unpow3 unswap-sqr sqr-pow
2×pow-pow pow1/3 prod-exp cbrt-unprod distribute-neg-frac
1×cbrt-undiv +-commutative distribute-lft-neg-out pow-to-exp neg-mul-1 flip3-+ div-exp pow-prod-down pow-exp sum-log *-commutative flip-+ rem-cube-cbrt
Counts
4 → 242
Calls
4 calls:
23.0ms
(pow (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) 3)
20.0ms
(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
376.0ms
(* (- (pow (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) 3)) (/ y (cbrt (- a t))))
102.0ms
(+ (* (- (pow (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) 3)) (/ y (cbrt (- a t)))) y)

series1.2s

Counts
4 → 12
Calls
4 calls:
388.0ms
(pow (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) 3)
515.0ms
(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
134.0ms
(* (- (pow (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) 3)) (/ y (cbrt (- a t))))
165.0ms
(+ (* (- (pow (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) 3)) (/ y (cbrt (- a t)))) y)

simplify557.0ms

Counts
254 → 254

prune1.1s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 3.7b

regimes350.0ms

bsearch108.0ms

Steps
ItersRangePoint
6
2.425544894753658e-175
1.654879353300191e-174
3.236137194924771e-175
9
-6.715492674646599e-306
3.153964038196437e-306
-5.388494017032258e-306

simplify1.4s