Details

Time bar (total: 10.0m)

sample120.0ms

Algorithm
intervals
Results
47.0ms805×body80nan
18.0ms293×body80valid
0.0ms1×body320valid

simplify78.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03811
110111
242811
3151411
4462011
5500111

prune4.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: 0.1b

Counts
2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (+ (* x (log y)) z) t)
0.0b
(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
0.2b
(* (- b 0.5) (log c))
0.3b
(* x (log y))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
14×associate-+l+
6×+-commutative associate-*l/
4×flip3-+ frac-add flip-+
3×flip3-- flip--
2×*-commutative
Counts
4 → 22
Calls
4 calls:
5.0ms
(+ (+ (* x (log y)) z) t)
10.0ms
(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
3.0ms
(* (- b 0.5) (log c))
2.0ms
(* x (log y))

series377.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(+ (+ (* x (log y)) z) t)
237.0ms
(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
55.0ms
(* (- b 0.5) (log c))
41.0ms
(* x (log y))

simplify52.0ms

Algorithm
egg-herbie
Counts
34 → 34
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
0411401
11633396
25001391

prune151.0ms

Filtered
34 candidates to 29 candidates (85.3%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New33134
Fresh000
Picked011
Done000
Total33235

Merged error: 0.1b

Counts
35 → 2

localize33.0ms

Local error

Found 4 expressions with local error:

0.3b
(* x (log y))
9.9b
(- (* (+ (+ (* x (log y)) z) t) (+ (+ (* x (log y)) z) t)) (* a a))
14.3b
(+ (* (- (* (+ (+ (* x (log y)) z) t) (+ (+ (* x (log y)) z) t)) (* a a)) (+ b 0.5)) (* (- (+ (+ (* x (log y)) z) t) a) (* (- (* b b) (* 0.5 0.5)) (log c))))
50.1b
(/ (+ (* (- (* (+ (+ (* x (log y)) z) t) (+ (+ (* x (log y)) z) t)) (* a a)) (+ b 0.5)) (* (- (+ (+ (* x (log y)) z) t) a) (* (- (* b b) (* 0.5 0.5)) (log c)))) (* (- (+ (+ (* x (log y)) z) t) a) (+ b 0.5)))

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
162×associate-*l/
148×flip3-- flip--
132×frac-times
128×frac-add
66×associate-*r/ associate-/l/
53×flip3-+ flip-+
8×associate-+l+ associate--l+ associate-/r/
7×+-commutative
6×distribute-rgt-in distribute-lft-in *-commutative
4×difference-of-squares
2×associate-/r*
1×sub-neg frac-2neg clear-num div-inv
Counts
4 → 167
Calls
4 calls:
2.0ms
(* x (log y))
19.0ms
(- (* (+ (+ (* x (log y)) z) t) (+ (+ (* x (log y)) z) t)) (* a a))
33.0ms
(+ (* (- (* (+ (+ (* x (log y)) z) t) (+ (+ (* x (log y)) z) t)) (* a a)) (+ b 0.5)) (* (- (+ (+ (* x (log y)) z) t) a) (* (- (* b b) (* 0.5 0.5)) (log c))))
47.0ms
(/ (+ (* (- (* (+ (+ (* x (log y)) z) t) (+ (+ (* x (log y)) z) t)) (* a a)) (+ b 0.5)) (* (- (+ (+ (* x (log y)) z) t) a) (* (- (* b b) (* 0.5 0.5)) (log c)))) (* (- (+ (+ (* x (log y)) z) t) a) (+ b 0.5)))

series10.0m