Details

Time bar (total: 10.0m)

sample71.0ms

Algorithm
intervals
Results
23.0ms256×body80valid
16.0ms236×body80nan

simplify36.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
05017
110617
237417
3165217
4500117

prune5.0ms

Filtered
1 candidates to 0 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 3.0b

Counts
2 → 1

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b
(* z (sqrt (+ t a)))
0.3b
(/ 2.0 (* t 3.0))
1.6b
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
6.1b
(/ (* z (sqrt (+ t a))) t)

rewrite934.0ms

Algorithm
rewrite-expression-head
Rules
5600×frac-sub
2442×associate-/l*
2163×associate-/r*
2068×add-sqr-sqrt
1900×frac-times
1495×*-un-lft-identity
1468×flip3-+ flip-+
1309×associate-*r*
1246×add-cube-cbrt
1186×associate-*r/
1051×flip3-- flip--
827×associate-*l*
607×sqrt-prod
404×unswap-sqr
275×*-commutative
268×frac-2neg clear-num
236×sqrt-div
234×associate-/l/
121×distribute-lft-out
93×times-frac
50×associate-*l/
16×add-exp-log add-cbrt-cube
8×associate--r+ difference-of-squares
6×pow1 add-log-exp
4×cbrt-undiv distribute-rgt-in distribute-lft-in div-exp associate--l+ distribute-lft-out--
3×sub-neg prod-exp cbrt-unprod
2×+-commutative div-inv
1×diff-log pow-prod-down
Counts
4 → 3108
Calls
4 calls:
11.0ms
(* z (sqrt (+ t a)))
7.0ms
(/ 2.0 (* t 3.0))
227.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
12.0ms
(/ (* z (sqrt (+ t a))) t)

series357.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(* z (sqrt (+ t a)))
17.0ms
(/ 2.0 (* t 3.0))
186.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
88.0ms
(/ (* z (sqrt (+ t a))) t)

simplify1.6s

Algorithm
egg-herbie
Counts
3120 → 3120
Iterations

Useful iterations: 0 (117.0ms)

IterNodesCost
07951158447

prune19.7s

Filtered
3120 candidates to 2260 candidates (27.6%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New311733120
Fresh000
Picked101
Done000
Total311833121

Merged error: 0.0b

Counts
3121 → 3

localize31.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.6b
(cbrt z)
1.0b
(* (/ (* (cbrt z) (cbrt z)) 1) (/ (* (cbrt z) (sqrt (+ t a))) t))
1.6b
(- (* (/ (* (cbrt z) (cbrt z)) 1) (/ (* (cbrt z) (sqrt (+ t a))) t)) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))

rewrite40.3s

Algorithm
rewrite-expression-head
Rules
236544×frac-sub
204687×associate-/l*
196086×frac-times
160991×add-sqr-sqrt
98847×associate-/r*
93953×*-un-lft-identity
85581×add-cube-cbrt
78321×cbrt-prod
68725×associate-*r*
64883×associate-*l*
61002×flip3-+ flip-+
51594×associate-*r/
44353×flip3-- flip--
37609×unswap-sqr
24000×sqrt-prod
21852×swap-sqr
14058×clear-num
13984×*-commutative
13941×frac-2neg
7956×sqrt-div associate-/l/
5973×associate-*l/
3981×distribute-lft-out
756×times-frac
351×un-div-inv
230×difference-of-squares
96×add-cbrt-cube
61×add-exp-log
52×cbrt-unprod
38×cbrt-undiv
26×prod-exp
22×div-exp
8×associate--r+ distribute-lft-out--
6×pow1 1-exp add-log-exp
4×distribute-rgt-in distribute-lft-in associate--l+
3×sub-neg
2×+-commutative pow1/3 div-inv
1×diff-log pow-prod-down
Counts
4 → 124147
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
142.0ms
(* (/ (* (cbrt z) (cbrt z)) 1) (/ (* (cbrt z) (sqrt (+ t a))) t))
5.9s
(- (* (/ (* (cbrt z) (cbrt z)) 1) (/ (* (cbrt z) (sqrt (+ t a))) t)) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))

series731.0ms

Counts
4 → 12
Calls
4 calls:
185.0ms
(cbrt z)
185.0ms
(cbrt z)
116.0ms
(* (/ (* (cbrt z) (cbrt z)) 1) (/ (* (cbrt z) (sqrt (+ t a))) t))
244.0ms
(- (* (/ (* (cbrt z) (cbrt z)) 1) (/ (* (cbrt z) (sqrt (+ t a))) t)) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))

simplify1.6m

Algorithm
egg-herbie
Counts
124159 → 124159
Iterations

Useful iterations: 0 (7.5s)

IterNodesCost
02179218645574

prune7.3m

Filtered
124159 candidates to 73879 candidates (40.5%)