Details

Time bar (total: 16.8s)

sample211.0ms

Algorithm
intervals
Results
98.0ms1440×body80nan
37.0ms482×body80valid

simplify52.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (5.0ms)

IterNodesCost
03210
16510
21818
35228
422038
550028

prune10.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.1b

Counts
2 → 2

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (- t 1.0) (log a))
0.3b
(* y (log z))
1.0b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.2b
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
19×*-un-lft-identity
15×add-cube-cbrt
13×add-cbrt-cube
12×add-exp-log log-prod
10×pow1 add-log-exp
8×associate-*r* associate-*l*
6×distribute-rgt-in distribute-lft-in
5×exp-prod
3×times-frac exp-sum prod-exp associate-/r* cbrt-unprod rem-exp-log
2×cbrt-undiv exp-diff diff-log div-exp pow-prod-down associate-*l/ log-pow *-commutative distribute-lft-out-- difference-of-squares unswap-sqr
1×sub-neg flip3-- frac-2neg associate-*r/ associate--l+ clear-num sum-log flip-- div-inv associate-/l/ associate-/l*
Counts
4 → 95
Calls
4 calls:
7.0ms
(* (- t 1.0) (log a))
4.0ms
(* y (log z))
6.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
11.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

series374.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(* (- t 1.0) (log a))
36.0ms
(* y (log z))
111.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
167.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify55.0ms

Algorithm
egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 2 (46.0ms)

IterNodesCost
0492869
12033708
25002676

prune311.0ms

Filtered
107 candidates to 75 candidates (70.1%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1025107
Fresh011
Picked101
Done000
Total1036109

Merged error: 0.0b

Counts
109 → 6

localize22.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (- t 1.0) (log a))
0.3b
(* y (log z))
1.1b
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.2b
(/ (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
21×add-exp-log
20×*-un-lft-identity
16×add-cube-cbrt
13×add-cbrt-cube
12×log-prod
11×pow1
8×associate-*r* associate-*l*
6×distribute-rgt-in distribute-lft-in prod-exp
5×pow-unpow div-exp
4×pow-exp add-log-exp
3×unpow-prod-up unpow-prod-down times-frac associate-/r* cbrt-unprod
2×cbrt-undiv pow-to-exp e-exp-1 pow-prod-down associate-*l/ log-pow *-commutative distribute-lft-out-- pow-sub difference-of-squares unswap-sqr
1×sub-neg flip3-- pow-pow frac-2neg associate-*r/ associate--l+ clear-num flip-- div-inv associate-/l/ associate-/l* sqr-pow
Counts
4 → 103
Calls
4 calls:
7.0ms
(* (- t 1.0) (log a))
5.0ms
(* y (log z))
6.0ms
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
7.0ms
(/ (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

series402.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(* (- t 1.0) (log a))
42.0ms
(* y (log z))
117.0ms
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
188.0ms
(/ (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify62.0ms

Algorithm
egg-herbie
Counts
115 → 115
Iterations

Useful iterations: 2 (51.0ms)

IterNodesCost
0548981
12270863
25002847

prune313.0ms

Filtered
115 candidates to 76 candidates (66.1%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New1141115
Fresh145
Picked101
Done000
Total1165121

Merged error: 0.0b

Counts
121 → 5

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (- t 1.0) (log a))
0.3b
(* y (log z))
0.7b
(/ x (/ y (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
1.1b
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
225×times-frac
126×add-sqr-sqrt
122×*-un-lft-identity
118×add-cube-cbrt
39×unpow-prod-up unpow-prod-down
35×associate-/r*
21×add-exp-log
13×sub-neg associate--l+ add-cbrt-cube sqr-pow
12×log-prod
11×pow1
9×div-exp
8×associate-*r* associate-*l*
6×distribute-rgt-in distribute-lft-in
5×pow-unpow associate-/r/ div-inv pow-sub
4×pow-exp add-log-exp
3×cbrt-undiv associate-/l*
2×pow-to-exp e-exp-1 pow-prod-down associate-*l/ prod-exp log-pow *-commutative cbrt-unprod distribute-lft-out-- difference-of-squares unswap-sqr
1×flip3-- pow-pow frac-2neg clear-num flip--
Counts
4 → 239
Calls
4 calls:
7.0ms
(* (- t 1.0) (log a))
5.0ms
(* y (log z))
12.0ms
(/ x (/ y (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
6.0ms
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series404.0ms

Counts
4 → 12
Calls
4 calls:
60.0ms
(* (- t 1.0) (log a))
41.0ms
(* y (log z))
177.0ms
(/ x (/ y (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
125.0ms
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify137.0ms

Algorithm
egg-herbie
Counts
251 → 251
Iterations

Useful iterations: 1 (28.0ms)

IterNodesCost
010763542
149253399
250013399

prune784.0ms

Filtered
251 candidates to 183 candidates (72.9%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New2510251
Fresh044
Picked011
Done000
Total2515256

Merged error: 0.0b

Counts
256 → 5

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))
0.2b
(* (log (/ 1 a)) t)
0.3b
(* y (log (/ 1 z)))
8.2b
(/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (/ y x))

rewrite191.0ms

Algorithm
rewrite-expression-head
Rules
3067×times-frac
1238×add-sqr-sqrt
1234×add-cube-cbrt *-un-lft-identity
728×unpow-prod-down
239×exp-sum
146×div-inv
72×associate-/l*
56×sqr-pow
43×add-exp-log
37×div-exp
26×log-prod
20×add-cbrt-cube
13×distribute-rgt-in distribute-lft-in associate-/r*
12×pow1
10×add-log-exp
9×associate-*r* associate-*l*
8×cbrt-undiv pow-exp
6×log-pow
3×exp-prod sum-log rem-exp-log
2×pow-to-exp rec-exp pow-flip 1-exp log-rec pow-prod-down prod-exp *-commutative cbrt-unprod inv-pow unswap-sqr
1×distribute-lft-neg-out frac-2neg clear-num associate-/r/ distribute-rgt-neg-out associate-/l/
Counts
4 → 1135
Calls
4 calls:
13.0ms
(exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))
4.0ms
(* (log (/ 1 a)) t)
7.0ms
(* y (log (/ 1 z)))
41.0ms
(/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (/ y x))

series864.0ms

Counts
4 → 12
Calls
4 calls:
86.0ms
(exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))
57.0ms
(* (log (/ 1 a)) t)
45.0ms
(* y (log (/ 1 z)))
675.0ms
(/ (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))) (/ y x))

simplify313.0ms

Algorithm
egg-herbie
Counts
1147 → 1147
Iterations

Useful iterations: 0 (28.0ms)

IterNodesCost
0500132428

prune5.0s

Filtered
1147 candidates to 878 candidates (76.5%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New114431147
Fresh213
Picked011
Done011
Total114661152

Merged error: 0b

Counts
1152 → 6

regimes411.0ms

Accuracy

70.8% (0.6b remaining)

Error of 0.6b against oracle of 0.0b and baseline of 2.1b

bsearch370.0ms

Steps
ItersRangePoint
8
1.203238631091072e+17
4.919840644714993e+20
2.794545505970555e+20
7
-7.111844944750995e+104
-4.058196404963976e+103
-6.185851492117898e+103

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05124
15124

end0.0ms

sample6.4s

Algorithm
intervals
Results
3.0s45269×body80nan
1.2s15423×body80valid

Profiling

Loading profile data...