Details

Time bar (total: 10.8s)

sample191.0ms

Algorithm
intervals
Results
86.0ms1233×body80nan
31.0ms411×body80valid
6.0ms15×body640valid
3.0ms4×body1280valid
3.0ms11×body320valid
1.0ms5×body160valid

simplify39.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03010
15810
212910
331810
4107310
5500110

prune3.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: 1.9b

Counts
2 → 1

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(* a (- (log (- 1.0 z)) b))
0.2b
(* y (- (log z) t))
0.8b
(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
6.3b
(log (- 1.0 z))

rewrite37.0ms

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

series376.0ms

Counts
4 → 12
Calls
4 calls:
73.0ms
(* a (- (log (- 1.0 z)) b))
71.0ms
(* y (- (log z) t))
184.0ms
(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
47.0ms
(log (- 1.0 z))

simplify75.0ms

Algorithm
egg-herbie
Counts
137 → 137
Iterations

Useful iterations: 2 (63.0ms)

IterNodesCost
06781058
12743995
25002986

prune398.0ms

Filtered
137 candidates to 95 candidates (69.3%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1343137
Fresh000
Picked101
Done000
Total1353138

Merged error: 0.3b

Counts
138 → 3

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite40.0ms

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

series382.0ms

Counts
4 → 12
Calls
4 calls:
116.0ms
(exp (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))))
43.0ms
(+ (* a b) (* 1.0 (* a z)))
72.0ms
(* y (- (log z) t))
151.0ms
(+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))

simplify79.0ms

Algorithm
egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 2 (63.0ms)

IterNodesCost
06011142
126981060
250011047

prune374.0ms

Filtered
108 candidates to 79 candidates (73.1%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1053108
Fresh202
Picked101
Done000
Total1083111

Merged error: 0.3b

Counts
111 → 3

localize26.0ms

Local error

Found 4 expressions with local error:

0.2b
(* y (- (log z) t))
0.8b
(+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
0.8b
(+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
0.8b
(+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
42×log-prod associate--l+
31×add-log-exp
30×associate-+l+
29×distribute-rgt-in distribute-lft-in
24×add-sqr-sqrt associate-+r+
23×*-un-lft-identity
20×add-cube-cbrt
14×associate-*r/
13×flip3-- flip--
12×frac-add sum-log
11×sub-neg
7×pow1
6×add-exp-log diff-log associate-*r* add-cbrt-cube
3×+-commutative associate-+r- flip3-+ associate-*l* flip-+
2×distribute-lft-out--
1×pow-prod-down prod-exp log-pow *-commutative cbrt-unprod difference-of-squares unswap-sqr
Counts
4 → 141
Calls
4 calls:
7.0ms
(* y (- (log z) t))
14.0ms
(+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
14.0ms
(+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
14.0ms
(+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))

series540.0ms

Counts
4 → 12
Calls
4 calls:
73.0ms
(* y (- (log z) t))
149.0ms
(+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
157.0ms
(+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
161.0ms
(+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))

simplify73.0ms

Algorithm
egg-herbie
Counts
153 → 153
Iterations

Useful iterations: 2 (53.0ms)

IterNodesCost
04902146
122022022
250022002

prune754.0ms

Filtered
153 candidates to 117 candidates (76.5%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1530153
Fresh022
Picked011
Done000
Total1533156

Merged error: 0.3b

Counts
156 → 3

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (- (* a (- (log 1.0) b)) (+ (* t y) (* 1.0 (* a z)))))
0.0b
(cbrt (pow (* (pow z y) (exp (- (* a (- (log 1.0) b)) (+ (* t y) (* 1.0 (* a z)))))) 3))
0.0b
(pow (* (pow z y) (exp (- (* a (- (log 1.0) b)) (+ (* t y) (* 1.0 (* a z)))))) 3)
0.8b
(- (* a (- (log 1.0) b)) (+ (* t y) (* 1.0 (* a z))))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
32×associate--l+
15×add-log-exp
12×log-prod exp-sum
11×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
10×distribute-rgt-in distribute-lft-in
8×cbrt-prod
7×add-exp-log add-cbrt-cube
6×sub-neg associate-*r/
5×pow1 pow-exp
4×diff-log frac-sub
3×pow-unpow exp-prod flip3-- exp-diff prod-exp flip-- rem-exp-log
2×cube-div cube-mult pow-to-exp unpow-prod-down flip3-+ unpow3 cube-prod sum-log flip-+ rem-cube-cbrt sqr-pow
1×cbrt-div pow-pow pow1/3 rem-cbrt-cube cbrt-unprod associate--r+
Counts
4 → 96
Calls
4 calls:
12.0ms
(exp (- (* a (- (log 1.0) b)) (+ (* t y) (* 1.0 (* a z)))))
3.0ms
(cbrt (pow (* (pow z y) (exp (- (* a (- (log 1.0) b)) (+ (* t y) (* 1.0 (* a z)))))) 3))
20.0ms
(pow (* (pow z y) (exp (- (* a (- (log 1.0) b)) (+ (* t y) (* 1.0 (* a z)))))) 3)
11.0ms
(- (* a (- (log 1.0) b)) (+ (* t y) (* 1.0 (* a z))))

series696.0ms

Counts
4 → 12
Calls
4 calls:
121.0ms
(exp (- (* a (- (log 1.0) b)) (+ (* t y) (* 1.0 (* a z)))))
172.0ms
(cbrt (pow (* (pow z y) (exp (- (* a (- (log 1.0) b)) (+ (* t y) (* 1.0 (* a z)))))) 3))
281.0ms
(pow (* (pow z y) (exp (- (* a (- (log 1.0) b)) (+ (* t y) (* 1.0 (* a z)))))) 3)
122.0ms
(- (* a (- (log 1.0) b)) (+ (* t y) (* 1.0 (* a z))))

simplify85.0ms

Algorithm
egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 2 (66.0ms)

IterNodesCost
06331427
127241350
250021343

prune372.0ms

Filtered
108 candidates to 76 candidates (70.4%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1071108
Fresh011
Picked011
Done011
Total1074111

Merged error: 0.0b

Counts
111 → 4

regimes190.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02714
12714

end0.0ms

sample5.9s

Algorithm
intervals
Results
2.8s40202×body80nan
975.0ms12613×body80valid
167.0ms387×body640valid
105.0ms398×body320valid
69.0ms88×body1280valid
42.0ms261×body160valid

Profiling

Loading profile data...