Details

Time bar (total: 2.5min)

analyze3.8s

Algorithm
search
sampling

Space saved by range analysis: 0.389958%

Space saved by search: 0.389958%

Guaranteed chance to sample good point: 0%

sample52.0ms

Algorithm
intervals
Results
13.0ms156×body80invalid
12.0ms256×body80valid

simplify9.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0267
1487
2817
3987
4987

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))
0.0b
(+ (+ (* x y) (* z t)) (* a b))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
16×add-log-exp
9×sum-log
2×pow1 add-exp-log +-commutative add-sqr-sqrt add-cube-cbrt associate-+l+ *-un-lft-identity flip3-+ add-cbrt-cube flip-+
Counts
2 → 27
Calls
2 calls:
8.0ms
(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))
6.0ms
(+ (+ (* x y) (* z t)) (* a b))

series127.0ms

Counts
2 → 6
Calls
2 calls:
102.0ms
(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))
24.0ms
(+ (+ (* x y) (* z t)) (* a b))

simplify113.0ms

Algorithm
egg-herbie
Counts
33 → 33
Iterations

Useful iterations: 2 (25.0ms)

IterNodesCost
0208281
1836266
24400260
35002260

prune51.0ms

Filtered
25 candidates to 33 candidates (-32.0%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New31233
Fresh000
Picked011
Done000
Total31334

Merged error: 0.0b

Counts
34 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (cbrt (pow (+ (+ (* x y) (* z t)) (* a b)) 3)) (* c i))
0.0b
(+ (+ (* x y) (* z t)) (* a b))
0.3b
(pow (+ (+ (* x y) (* z t)) (* a b)) 3)
38.1b
(cbrt (pow (+ (+ (* x y) (* z t)) (* a b)) 3))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
11×add-log-exp
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×unpow-prod-down cube-prod
5×pow1 add-exp-log add-cbrt-cube
4×cube-div flip3-+ sum-log flip-+
3×pow-unpow
2×+-commutative cube-mult cbrt-div unpow3 sqr-pow
1×pow-to-exp associate-+l+ pow-pow pow1/3 pow-exp rem-cbrt-cube rem-cube-cbrt
Counts
4 → 72
Calls
4 calls:
10.0ms
(+ (cbrt (pow (+ (+ (* x y) (* z t)) (* a b)) 3)) (* c i))
6.0ms
(+ (+ (* x y) (* z t)) (* a b))
6.0ms
(pow (+ (+ (* x y) (* z t)) (* a b)) 3)
8.0ms
(cbrt (pow (+ (+ (* x y) (* z t)) (* a b)) 3))

series2.0s

Counts
4 → 12
Calls
4 calls:
122.0ms
(+ (cbrt (pow (+ (+ (* x y) (* z t)) (* a b)) 3)) (* c i))
20.0ms
(+ (+ (* x y) (* z t)) (* a b))
1.8s
(pow (+ (+ (* x y) (* z t)) (* a b)) 3)
20.0ms
(cbrt (pow (+ (+ (* x y) (* z t)) (* a b)) 3))

simplify59.0ms

Algorithm
egg-herbie
Counts
84 → 84
Iterations

Useful iterations: 2 (49.0ms)

IterNodesCost
0351819
11813738
25002732

prune94.0ms

Filtered
53 candidates to 84 candidates (-58.5%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New83184
Fresh101
Picked011
Done011
Total84387

Merged error: 0.0b

Counts
87 → 3

localize24.0ms

Local error

Found 4 expressions with local error:

2.0b
(+ (pow (+ (+ (* x y) (* z t)) (* a b)) 2) (* (* c i) (- (* c i) (+ (+ (* x y) (* z t)) (* a b)))))
4.4b
(+ (pow (* c i) 3) (pow (+ (+ (* x y) (* z t)) (* a b)) 3))
4.9b
(* (* c i) (- (* c i) (+ (+ (* x y) (* z t)) (* a b))))
43.5b
(/ (+ (pow (* c i) 3) (pow (+ (+ (* x y) (* z t)) (* a b)) 3)) (+ (pow (+ (+ (* x y) (* z t)) (* a b)) 2) (* (* c i) (- (* c i) (+ (+ (* x y) (* z t)) (* a b))))))

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
25×*-un-lft-identity
15×add-sqr-sqrt add-cube-cbrt times-frac
11×add-exp-log add-cbrt-cube
9×pow1
8×add-log-exp
5×sum-cubes distribute-lft-out associate-/l*
4×distribute-rgt-in sub-neg associate-+r+ distribute-lft-in flip3-+ flip-+
3×associate-*r* pow-prod-down prod-exp associate-/r* cbrt-unprod
2×+-commutative associate-*r/ sum-log associate-/r/ associate-/l/
1×cbrt-undiv flip3-- frac-2neg div-exp associate-*l* clear-num *-commutative flip-- div-inv
Counts
4 → 91
Calls
4 calls:
10.0ms
(+ (pow (+ (+ (* x y) (* z t)) (* a b)) 2) (* (* c i) (- (* c i) (+ (+ (* x y) (* z t)) (* a b)))))
14.0ms
(+ (pow (* c i) 3) (pow (+ (+ (* x y) (* z t)) (* a b)) 3))
11.0ms
(* (* c i) (- (* c i) (+ (+ (* x y) (* z t)) (* a b))))
21.0ms
(/ (+ (pow (* c i) 3) (pow (+ (+ (* x y) (* z t)) (* a b)) 3)) (+ (pow (+ (+ (* x y) (* z t)) (* a b)) 2) (* (* c i) (- (* c i) (+ (+ (* x y) (* z t)) (* a b))))))

series2.4min

Calls
2 calls:
134.0ms
(* (* c i) (- (* c i) (+ (+ (* x y) (* z t)) (* a b))))
1.7s
(/ (+ (pow (* c i) 3) (pow (+ (+ (* x y) (* z t)) (* a b)) 3)) (+ (pow (+ (+ (* x y) (* z t)) (* a b)) 2) (* (* c i) (- (* c i) (+ (+ (* x y) (* z t)) (* a b))))))

Profiling

Loading profile data...