Details

Time bar (total: 2.6s)

sample23.0ms

Algorithm
intervals
Results
11.0ms264×body80valid

simplify45.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0238
1358
2608
31038
41838
54168
611948
750018

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 9.1b

Counts
2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* y z) x)
0.0b
(- (* t z) x)
0.7b
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
11.3b
(/ (- (* y z) x) (- (* t z) x))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
42×*-un-lft-identity
25×times-frac
22×add-sqr-sqrt add-cube-cbrt
10×distribute-lft-out
8×add-exp-log add-cbrt-cube add-log-exp
7×associate-/r* associate-/l*
4×pow1 flip3-- associate-/r/ flip-- associate-/l/
3×div-sub
2×cbrt-undiv sub-neg frac-2neg flip3-+ diff-log div-exp clear-num flip-+ div-inv
1×associate-+r-
Counts
4 → 97
Calls
4 calls:
3.0ms
(- (* y z) x)
3.0ms
(- (* t z) x)
14.0ms
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
11.0ms
(/ (- (* y z) x) (- (* t z) x))

series216.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(- (* y z) x)
23.0ms
(- (* t z) x)
118.0ms
(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
54.0ms
(/ (- (* y z) x) (- (* t z) x))

simplify46.0ms

Algorithm
egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 2 (35.0ms)

IterNodesCost
0399950
11413884
25001882

prune242.0ms

Filtered
109 candidates to 78 candidates (71.6%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1009109
Fresh000
Picked101
Done000
Total1019110

Merged error: 1.3b

Counts
110 → 9

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* t z) x)
0.0b
(/ 1 (+ x 1.0))
0.8b
(* (+ x (/ (- (* y z) x) (- (* t z) x))) (/ 1 (+ x 1.0)))
11.3b
(/ (- (* y z) x) (- (* t z) x))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
47×*-un-lft-identity
37×add-sqr-sqrt
35×times-frac
30×add-cube-cbrt
19×add-exp-log
18×associate-*r*
13×add-cbrt-cube
8×distribute-lft-out
7×pow1 associate-/r*
6×associate-/r/ associate-/l* add-log-exp
5×div-exp
4×flip3-+ associate-*l* prod-exp flip-+
3×cbrt-undiv flip3-- flip-- div-inv unswap-sqr
2×frac-times rec-exp frac-2neg 1-exp associate-*l/ clear-num cbrt-unprod associate-/l/
1×sub-neg pow-flip diff-log div-sub associate-*r/ pow-prod-down un-div-inv *-commutative inv-pow
Counts
4 → 127
Calls
4 calls:
3.0ms
(- (* t z) x)
5.0ms
(/ 1 (+ x 1.0))
17.0ms
(* (+ x (/ (- (* y z) x) (- (* t z) x))) (/ 1 (+ x 1.0)))
8.0ms
(/ (- (* y z) x) (- (* t z) x))

series212.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(- (* t z) x)
22.0ms
(/ 1 (+ x 1.0))
111.0ms
(* (+ x (/ (- (* y z) x) (- (* t z) x))) (/ 1 (+ x 1.0)))
55.0ms
(/ (- (* y z) x) (- (* t z) x))

simplify64.0ms

Algorithm
egg-herbie
Counts
139 → 139
Iterations

Useful iterations: 2 (51.0ms)

IterNodesCost
05321086
12359980
25003946

prune243.0ms

Filtered
139 candidates to 88 candidates (63.3%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New1390139
Fresh088
Picked011
Done000
Total1399148

Merged error: 1.3b

Counts
148 → 9

localize14.0ms

Local error

Found 4 expressions with local error:

4.4b
(* (* (cbrt (- (* y z) x)) (cbrt (- (* y z) x))) (/ (cbrt (- (* y z) x)) (- (* t z) x)))
8.9b
(cbrt (- (* y z) x))
8.9b
(cbrt (- (* y z) x))
8.9b
(cbrt (- (* y z) x))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
30×cbrt-div
25×add-sqr-sqrt
24×associate-*r*
20×add-cube-cbrt *-un-lft-identity times-frac
19×cbrt-prod
16×add-exp-log frac-times flip3-- flip--
12×associate-*l/
10×add-cbrt-cube
9×pow1
6×prod-exp cbrt-unprod
5×associate-*r/
4×add-log-exp
3×pow1/3 pow-prod-down unswap-sqr
2×cbrt-undiv div-exp associate-/r/
1×associate-*l* *-commutative div-inv
Counts
4 → 102
Calls
4 calls:
21.0ms
(* (* (cbrt (- (* y z) x)) (cbrt (- (* y z) x))) (/ (cbrt (- (* y z) x)) (- (* t z) x)))
4.0ms
(cbrt (- (* y z) x))
4.0ms
(cbrt (- (* y z) x))
4.0ms
(cbrt (- (* y z) x))

series532.0ms

Counts
4 → 12
Calls
4 calls:
57.0ms
(* (* (cbrt (- (* y z) x)) (cbrt (- (* y z) x))) (/ (cbrt (- (* y z) x)) (- (* t z) x)))
128.0ms
(cbrt (- (* y z) x))
172.0ms
(cbrt (- (* y z) x))
175.0ms
(cbrt (- (* y z) x))

simplify62.0ms

Algorithm
egg-herbie
Counts
114 → 114
Iterations

Useful iterations: 2 (48.0ms)

IterNodesCost
05371531
120371378
250021310

prune366.0ms

Filtered
114 candidates to 93 candidates (81.6%)
Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New1140114
Fresh077
Picked011
Done011
Total1149123

Merged error: 1.3b

Counts
123 → 9

localize10.0ms

Local error

Found 1 expressions with local error:

2.4b
(/ (+ x (/ y t)) (+ x 1.0))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
31×*-un-lft-identity
16×times-frac
11×add-sqr-sqrt add-cube-cbrt
10×distribute-lft-out
4×associate-/r* associate-/l*
3×add-exp-log add-cbrt-cube
2×flip3-+ associate-/r/ flip-+ associate-/l/
1×pow1 cbrt-undiv frac-2neg div-exp clear-num div-inv add-log-exp
Counts
1 → 40
Calls
1 calls:
9.0ms
(/ (+ x (/ y t)) (+ x 1.0))

series34.0ms

Counts
1 → 3
Calls
1 calls:
34.0ms
(/ (+ x (/ y t)) (+ x 1.0))

simplify57.0ms

Algorithm
egg-herbie
Counts
43 → 43
Iterations

Useful iterations: 1 (6.0ms)

IterNodesCost
0208315
1636295
22053295
35002295

prune66.0ms

Filtered
43 candidates to 28 candidates (65.1%)
Pruning

11 alts after pruning (8 fresh and 3 done)

PrunedKeptTotal
New41243
Fresh066
Picked011
Done022
Total411152

Merged error: 1.3b

Counts
52 → 11

regimes202.0ms

bsearch3.0ms

Profiling

Loading profile data...