Details

Time bar (total: 9.9s)

sample264.0ms

Algorithm
intervals
Results
101.0ms1340×body80nan
33.0ms414×body80valid
6.0ms13×body640valid
4.0ms13×body320valid
2.0ms13×body160valid
1.0ms1×body1280valid

simplify31.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
0501317

prune16.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 1.2b

Counts
2 → 2

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
0.0b
(exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
0.2b
(* y (- (log z) t))
6.2b
(log (- 1.0 z))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
27×log-prod
24×add-sqr-sqrt
23×*-un-lft-identity
22×associate--l+
17×distribute-rgt-in distribute-lft-in
14×add-cube-cbrt associate-+r+
10×associate-+l+ associate-*r/
9×add-log-exp
8×pow1
7×add-exp-log
6×sub-neg flip3-- associate-*r* add-cbrt-cube flip--
5×distribute-lft-out--
4×frac-add difference-of-squares
3×exp-prod associate-*l*
2×log-div sum-log log-pow rem-exp-log
1×+-commutative flip3-+ rem-log-exp exp-sum pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
4 → 101
Calls
4 calls:
11.0ms
(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
8.0ms
(exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
7.0ms
(* y (- (log z) t))
3.0ms
(log (- 1.0 z))

series107.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
53.0ms
(exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
13.0ms
(* y (- (log z) t))
3.0ms
(log (- 1.0 z))

simplify31.0ms

Algorithm
egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 0 (19.0ms)

IterNodesCost
056401614

prune183.0ms

Filtered
86 candidates to 113 candidates (-31.4%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1112113
Fresh101
Picked101
Done000
Total1132115

Merged error: 0.0b

Counts
115 → 2

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (* (/ z 1.0) (/ z 1.0))))) b)))
0.0b
(* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (* (/ z 1.0) (/ z 1.0))))) b))
0.0b
(exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (* (/ z 1.0) (/ z 1.0))))) b))))
0.2b
(* y (- (log z) t))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
44×associate--l+
27×*-un-lft-identity
25×add-sqr-sqrt
24×distribute-rgt-in log-prod distribute-lft-in
17×add-cube-cbrt
14×associate-+r+
13×associate-*r*
12×sub-neg associate-*r/
10×pow1 associate-+l+
9×add-log-exp
8×add-exp-log add-cbrt-cube
7×distribute-lft-out--
6×flip3-- associate-*l* flip--
4×frac-add
3×exp-prod
2×pow-prod-down prod-exp sum-log log-pow *-commutative cbrt-unprod rem-exp-log difference-of-squares unswap-sqr
1×+-commutative flip3-+ exp-sum flip-+
Counts
4 → 123
Calls
4 calls:
14.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (* (/ z 1.0) (/ z 1.0))))) b)))
13.0ms
(* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (* (/ z 1.0) (/ z 1.0))))) b))
12.0ms
(exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (* (/ z 1.0) (/ z 1.0))))) b))))
7.0ms
(* y (- (log z) t))

series140.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (* (/ z 1.0) (/ z 1.0))))) b)))
20.0ms
(* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (* (/ z 1.0) (/ z 1.0))))) b))
56.0ms
(exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (* (/ z 1.0) (/ z 1.0))))) b))))
14.0ms
(* y (- (log z) t))

simplify52.0ms

Algorithm
egg-herbie
Counts
135 → 135
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
049832987
149832987

prune243.0ms

Filtered
94 candidates to 135 candidates (-43.6%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1341135
Fresh101
Picked011
Done000
Total1352137

Merged error: 0.0b

Counts
137 → 2

localize20.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (pow (/ z (exp t)) y) (exp (- (* a (- (- (log 1.0) b) (* z 1.0))) (* a (* (* z z) 0.5)))))
0.2b
(/ z (exp t))
0.5b
(pow (/ z (exp t)) y)
6.7b
(* a (* (* z z) 0.5))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
40×add-sqr-sqrt
32×add-cube-cbrt *-un-lft-identity
30×associate--l+
28×unpow-prod-down times-frac
20×associate-*r* associate-*l*
19×add-exp-log
17×add-cbrt-cube
16×exp-sum
14×pow1
10×prod-exp
7×distribute-rgt-in distribute-lft-in cbrt-unprod
6×log-prod pow-prod-down
5×sub-neg
4×pow-exp add-log-exp unswap-sqr
3×pow-unpow div-exp associate-/r* div-inv associate-/l* sqr-pow
2×pow-to-exp *-commutative
1×cbrt-undiv pow-pow frac-2neg exp-diff associate-*r/ clear-num
Counts
4 → 130
Calls
4 calls:
24.0ms
(* (pow (/ z (exp t)) y) (exp (- (* a (- (- (log 1.0) b) (* z 1.0))) (* a (* (* z z) 0.5)))))
4.0ms
(/ z (exp t))
5.0ms
(pow (/ z (exp t)) y)
7.0ms
(* a (* (* z z) 0.5))

series133.0ms

Counts
4 → 12
Calls
4 calls:
97.0ms
(* (pow (/ z (exp t)) y) (exp (- (* a (- (- (log 1.0) b) (* z 1.0))) (* a (* (* z z) 0.5)))))
7.0ms
(/ z (exp t))
21.0ms
(pow (/ z (exp t)) y)
7.0ms
(* a (* (* z z) 0.5))

simplify94.0ms

Algorithm
egg-herbie
Counts
142 → 142
Iterations

Useful iterations: 0 (74.0ms)

IterNodesCost
051511944

prune252.0ms

Filtered
105 candidates to 142 candidates (-35.2%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1420142
Fresh000
Picked011
Done011
Total1422144

Merged error: 0.0b

Counts
144 → 2

regimes404.0ms

Accuracy

0% (0.0b remaining)

Error of 0.4b against oracle of 0.4b and baseline of 0.4b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03030
13030

end0.0ms

sample7.8s

Algorithm
intervals
Results
3.0s40365×body80nan
1.0s12428×body80valid
163.0ms373×body640valid
106.0ms374×body320valid
52.0ms64×body1280valid
47.0ms270×body160valid

Profiling

Loading profile data...