Details

Time bar (total: 7.5s)

analyze803.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.7%0.3%0
0%99.7%0.3%1
0%99.7%0.3%2
0%99.7%0.3%3
0%99.7%0.3%4
0%99.7%0.3%5
0%99.7%0.3%6
0%99.7%0.3%7
0%99.7%0.3%8
0%90.4%9.6%9
0%45.2%54.8%10
0%45.2%54.8%11
0%45.2%54.8%12
0%45.2%54.8%13
0%44.4%55.6%14

sample99.0ms

Algorithm
intervals
Results
25.0ms325×body80nan
17.0ms224×body80valid
12.0ms160×body80invalid
6.0ms14×body640valid
3.0ms4×body1280valid
2.0ms9×body320valid
1.0ms5×body160valid
1.0ms4×body160invalid
0.0ms1×body640invalid
0.0ms1×body320invalid

simplify38.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
0579217

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: 2.0b

Counts
2 → 2

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b
(* y (- (log z) t))
0.2b
(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
0.5b
(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
6.9b
(log (- 1.0 z))

rewrite36.0ms

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

series120.0ms

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

simplify40.0ms

Algorithm
egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
049641680
149641680

prune190.0ms

Filtered
92 candidates to 113 candidates (-22.8%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1103113
Fresh101
Picked101
Done000
Total1123115

Merged error: 0.8b

Counts
115 → 3

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
26×associate--l+
21×add-sqr-sqrt
18×log-prod *-un-lft-identity
15×add-cube-cbrt
13×distribute-rgt-in distribute-lft-in
10×associate-+r+ associate-*r/ associate-*r*
9×pow1 add-log-exp
8×sub-neg associate-+l+ add-cbrt-cube
7×add-exp-log
6×associate-*l*
5×flip3-- flip--
4×frac-add
3×exp-prod
2×exp-sum pow-prod-down prod-exp sum-log *-commutative cbrt-unprod rem-exp-log distribute-lft-out-- unswap-sqr
1×+-commutative flip3-+ log-pow flip-+ difference-of-squares
Counts
4 → 96
Calls
4 calls:
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))
14.0ms
(* x (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)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (* (/ z 1.0) (/ z 1.0))))) b)))

series202.0ms

Counts
4 → 12
Calls
4 calls:
55.0ms
(exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (* (/ z 1.0) (/ z 1.0))))) b))))
13.0ms
(* y (- (log z) t))
83.0ms
(* x (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (* (/ z 1.0) (/ z 1.0))))) b)))))
51.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (* (/ z 1.0) (/ z 1.0))))) b)))

simplify66.0ms

Algorithm
egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
049822634
149822634

prune233.0ms

Filtered
87 candidates to 108 candidates (-24.1%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New1053108
Fresh112
Picked101
Done000
Total1074111

Merged error: 0.3b

Counts
111 → 4

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow E (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (* (/ z 1.0) (/ z 1.0))))) b))))
0.1b
(* y (- (log z) t))
0.2b
(* x (pow E (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (* (/ z 1.0) (/ z 1.0))))) b)))))
0.5b
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (* (/ z 1.0) (/ z 1.0))))) b)))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
26×add-sqr-sqrt associate--l+
20×*-un-lft-identity
18×log-prod
17×add-cube-cbrt
14×associate-*r*
13×add-exp-log distribute-rgt-in distribute-lft-in
10×associate-+r+ associate-*r/
8×pow1 sub-neg associate-+l+ add-cbrt-cube
7×unpow-prod-down
6×associate-*l* add-log-exp
5×flip3-- prod-exp flip--
4×frac-add pow-exp unswap-sqr
3×pow-unpow sqr-pow
2×unpow-prod-up pow-to-exp e-exp-1 *-commutative cbrt-unprod distribute-lft-out--
1×+-commutative pow-pow flip3-+ pow-prod-down sum-log log-pow flip-+ difference-of-squares
Counts
4 → 110
Calls
4 calls:
10.0ms
(pow E (+ (* 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))
9.0ms
(* x (pow E (+ (* 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)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (* (/ z 1.0) (/ z 1.0))))) b)))

series216.0ms

Counts
4 → 12
Calls
4 calls:
58.0ms
(pow E (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (* (/ z 1.0) (/ z 1.0))))) b))))
13.0ms
(* y (- (log z) t))
91.0ms
(* x (pow E (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (* (/ z 1.0) (/ z 1.0))))) b)))))
53.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (* (/ z 1.0) (/ z 1.0))))) b)))

simplify61.0ms

Algorithm
egg-herbie
Counts
122 → 122
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
049953253
149953253

prune264.0ms

Filtered
94 candidates to 122 candidates (-29.8%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1202122
Fresh213
Picked011
Done000
Total1224126

Merged error: 0.0b

Counts
126 → 4

localize34.0ms

Local error

Found 4 expressions with local error:

0.1b
(* y (- (log z) t))
0.1b
(* y (- (log z) t))
0.5b
(+ (* y (- (log z) t)) (* a (- (log 1.0) (+ (* z 1.0) (+ (* 1/2 (* (/ z 1.0) (/ z 1.0))) b)))))
0.5b
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (* (/ z 1.0) (/ z 1.0))))) b)))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
44×associate--l+
36×log-prod
28×add-sqr-sqrt
26×*-un-lft-identity
25×distribute-rgt-in distribute-lft-in
20×add-cube-cbrt associate-*r/
18×associate-+r+
16×associate-+l+
14×sub-neg
12×associate-*r*
10×pow1 flip3-- flip--
8×add-exp-log frac-add add-cbrt-cube add-log-exp
6×associate-*l*
4×distribute-lft-out--
2×+-commutative flip3-+ pow-prod-down prod-exp sum-log log-pow *-commutative cbrt-unprod flip-+ difference-of-squares unswap-sqr
Counts
4 → 126
Calls
4 calls:
7.0ms
(* y (- (log z) t))
9.0ms
(* y (- (log z) t))
10.0ms
(+ (* y (- (log z) t)) (* a (- (log 1.0) (+ (* z 1.0) (+ (* 1/2 (* (/ z 1.0) (/ z 1.0))) b)))))
15.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (* (/ z 1.0) (/ z 1.0))))) b)))

series129.0ms

Counts
4 → 12
Calls
4 calls:
13.0ms
(* y (- (log z) t))
14.0ms
(* y (- (log z) t))
52.0ms
(+ (* y (- (log z) t)) (* a (- (log 1.0) (+ (* z 1.0) (+ (* 1/2 (* (/ z 1.0) (/ z 1.0))) b)))))
49.0ms
(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1.0 z) (* 1/2 (* (/ z 1.0) (/ z 1.0))))) b)))

simplify61.0ms

Algorithm
egg-herbie
Counts
138 → 138
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
049843128
149843128

prune460.0ms

Filtered
112 candidates to 138 candidates (-23.2%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1371138
Fresh022
Picked101
Done011
Total1384142

Merged error: 0.0b

Counts
142 → 4

regimes465.0ms

Accuracy

0% (0.3b remaining)

Error of 0.5b against oracle of 0.2b and baseline of 0.5b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05468
15468

end0.0ms

analyze781.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.7%0.3%0
0%99.7%0.3%1
0%99.7%0.3%2
0%99.7%0.3%3
0%99.7%0.3%4
0%99.7%0.3%5
0%99.7%0.3%6
0%99.7%0.3%7
0%99.7%0.3%8
0%90.4%9.6%9
0%45.2%54.8%10
0%45.2%54.8%11
0%45.2%54.8%12
0%45.2%54.8%13
0%44.4%55.6%14

sample3.0s

Algorithm
intervals
Results
841.0ms10723×body80nan
573.0ms7239×body80valid
421.0ms5332×body80invalid
115.0ms271×body640valid
75.0ms280×body320valid
51.0ms126×body640invalid
40.0ms49×body1280valid
33.0ms125×body320invalid
27.0ms161×body160valid
16.0ms101×body160invalid
11.0ms13×body1280invalid

Profiling

Loading profile data...