Details

Time bar (total: 10.3s)

sample92.0ms

Algorithm
intervals
Results
24.0ms256×body80valid
21.0ms228×body80nan

simplify39.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
0554533

prune20.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.8b

Counts
2 → 2

localize26.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (sqrt (+ t a)) t)
0.3b
(/ 2.0 (* t 3.0))
1.6b
(* z (/ (sqrt (+ t a)) t))
2.2b
(+ (* z (/ (sqrt (+ t a)) t)) (* (- b c) (- (/ 2.0 (* t 3.0)) (+ a (/ 5.0 6.0)))))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
51×*-un-lft-identity
47×times-frac
45×add-sqr-sqrt
37×add-cube-cbrt
29×sqrt-prod
25×associate-*r*
19×associate-*r/
16×add-exp-log add-cbrt-cube
14×frac-add
10×associate-/l*
8×frac-times flip3-- flip--
7×distribute-lft-out
6×pow1 frac-sub add-log-exp
5×flip3-+ flip-+
4×cbrt-undiv associate-+r+ div-exp associate-/r*
3×associate-*l* prod-exp cbrt-unprod div-inv unswap-sqr
2×distribute-rgt-in sub-neg frac-2neg distribute-lft-in sqrt-div associate-*l/ clear-num associate-/l/
1×+-commutative pow-prod-down sum-log *-commutative
Counts
4 → 140
Calls
4 calls:
7.0ms
(/ (sqrt (+ t a)) t)
5.0ms
(/ 2.0 (* t 3.0))
12.0ms
(* z (/ (sqrt (+ t a)) t))
18.0ms
(+ (* z (/ (sqrt (+ t a)) t)) (* (- b c) (- (/ 2.0 (* t 3.0)) (+ a (/ 5.0 6.0)))))

series90.0ms

Counts
4 → 12
Calls
4 calls:
12.0ms
(/ (sqrt (+ t a)) t)
2.0ms
(/ 2.0 (* t 3.0))
22.0ms
(* z (/ (sqrt (+ t a)) t))
54.0ms
(+ (* z (/ (sqrt (+ t a)) t)) (* (- b c) (- (/ 2.0 (* t 3.0)) (+ a (/ 5.0 6.0)))))

simplify75.0ms

Algorithm
egg-herbie
Counts
152 → 152
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
049912752
149912752

prune319.0ms

Filtered
106 candidates to 152 candidates (-43.4%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New1484152
Fresh101
Picked101
Done000
Total1504154

Merged error: 0.5b

Counts
154 → 4

localize37.0ms

Local error

Found 4 expressions with local error:

2.2b
(+ (* z (/ (sqrt (+ t a)) t)) (* (- b c) (- (/ 2.0 (* t 3.0)) (+ a (/ 5.0 6.0)))))
24.5b
(cbrt (+ (* z (/ (sqrt (+ t a)) t)) (* (- b c) (- (/ 2.0 (* t 3.0)) (+ a (/ 5.0 6.0))))))
24.5b
(cbrt (+ (* z (/ (sqrt (+ t a)) t)) (* (- b c) (- (/ 2.0 (* t 3.0)) (+ a (/ 5.0 6.0))))))
24.5b
(cbrt (+ (* z (/ (sqrt (+ t a)) t)) (* (- b c) (- (/ 2.0 (* t 3.0)) (+ a (/ 5.0 6.0))))))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
72×associate-*r/
56×frac-add
48×cbrt-div
32×frac-times flip3-- flip--
24×frac-sub
16×flip3-+ flip-+
9×cbrt-prod
8×associate-*l/
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×add-log-exp
4×pow1 add-exp-log associate-+r+ add-cbrt-cube
3×pow1/3
2×distribute-rgt-in sub-neg distribute-lft-in
1×+-commutative sum-log
Counts
4 → 110
Calls
4 calls:
15.0ms
(+ (* z (/ (sqrt (+ t a)) t)) (* (- b c) (- (/ 2.0 (* t 3.0)) (+ a (/ 5.0 6.0)))))
13.0ms
(cbrt (+ (* z (/ (sqrt (+ t a)) t)) (* (- b c) (- (/ 2.0 (* t 3.0)) (+ a (/ 5.0 6.0))))))
13.0ms
(cbrt (+ (* z (/ (sqrt (+ t a)) t)) (* (- b c) (- (/ 2.0 (* t 3.0)) (+ a (/ 5.0 6.0))))))
13.0ms
(cbrt (+ (* z (/ (sqrt (+ t a)) t)) (* (- b c) (- (/ 2.0 (* t 3.0)) (+ a (/ 5.0 6.0))))))

series3.7s

Counts
4 → 12
Calls
4 calls:
57.0ms
(+ (* z (/ (sqrt (+ t a)) t)) (* (- b c) (- (/ 2.0 (* t 3.0)) (+ a (/ 5.0 6.0)))))
1.2s
(cbrt (+ (* z (/ (sqrt (+ t a)) t)) (* (- b c) (- (/ 2.0 (* t 3.0)) (+ a (/ 5.0 6.0))))))
1.2s
(cbrt (+ (* z (/ (sqrt (+ t a)) t)) (* (- b c) (- (/ 2.0 (* t 3.0)) (+ a (/ 5.0 6.0))))))
1.2s
(cbrt (+ (* z (/ (sqrt (+ t a)) t)) (* (- b c) (- (/ 2.0 (* t 3.0)) (+ a (/ 5.0 6.0))))))

simplify71.0ms

Algorithm
egg-herbie
Counts
122 → 122
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
050196967

prune849.0ms

Filtered
115 candidates to 122 candidates (-6.1%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1220122
Fresh033
Picked011
Done000
Total1224126

Merged error: 0.5b

Counts
126 → 4

localize28.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ 2.0 (* t 3.0))
1.6b
(* z (/ (sqrt (+ t a)) t))
3.7b
(log (exp (/ 2.0 (* t 3.0))))
5.0b
(+ (* z (/ (sqrt (+ t a)) t)) (* (- b c) (- (log (exp (/ 2.0 (* t 3.0)))) (+ a (/ 5.0 6.0)))))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt
32×*-un-lft-identity
29×times-frac
26×add-cube-cbrt
25×associate-*r*
14×add-exp-log add-cbrt-cube
13×sqrt-prod
11×associate-*r/
10×associate-+r+
9×log-prod
8×frac-add log-pow
7×pow1 exp-prod
6×flip3-- associate--l+ flip-- add-log-exp
5×distribute-rgt-in distribute-lft-in
4×frac-times
3×cbrt-undiv div-exp associate-*l* prod-exp cbrt-unprod div-inv distribute-lft-out associate-/l* unswap-sqr
2×sub-neg associate-*l/
1×+-commutative frac-2neg flip3-+ rem-log-exp pow-prod-down clear-num associate-/r* sum-log *-commutative flip-+
Counts
4 → 114
Calls
4 calls:
5.0ms
(/ 2.0 (* t 3.0))
12.0ms
(* z (/ (sqrt (+ t a)) t))
4.0ms
(log (exp (/ 2.0 (* t 3.0))))
15.0ms
(+ (* z (/ (sqrt (+ t a)) t)) (* (- b c) (- (log (exp (/ 2.0 (* t 3.0)))) (+ a (/ 5.0 6.0)))))

series79.0ms

Counts
4 → 12
Calls
4 calls:
2.0ms
(/ 2.0 (* t 3.0))
18.0ms
(* z (/ (sqrt (+ t a)) t))
2.0ms
(log (exp (/ 2.0 (* t 3.0))))
57.0ms
(+ (* z (/ (sqrt (+ t a)) t)) (* (- b c) (- (log (exp (/ 2.0 (* t 3.0)))) (+ a (/ 5.0 6.0)))))

simplify42.0ms

Algorithm
egg-herbie
Counts
126 → 126
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
050451983

prune514.0ms

Filtered
92 candidates to 126 candidates (-37.0%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1251126
Fresh112
Picked011
Done011
Total1264130

Merged error: 0.5b

Counts
130 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* c 0.8333333333333334) (* a (- c b)))
0.0b
(* a (- c b))
0.1b
(pow (exp 2.0) (+ (* c 0.8333333333333334) (* a (- c b))))
0.2b
(/ x (+ x (* y (pow (exp 2.0) (+ (* c 0.8333333333333334) (* a (- c b)))))))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
19×*-un-lft-identity
17×add-cube-cbrt
9×times-frac
8×add-exp-log add-cbrt-cube
7×pow1
6×add-log-exp
5×associate-*r*
4×distribute-rgt-in sub-neg associate-+r+ pow-pow distribute-lft-in
3×unpow-prod-down pow-unpow exp-prod associate-*l* associate-/r* associate-/l*
2×flip3-+ associate-*r/ associate-/r/ flip-+
1×cbrt-undiv unpow-prod-up +-commutative pow-to-exp flip3-- frac-2neg div-exp pow-prod-down pow-exp prod-exp clear-num sum-log *-commutative flip-- cbrt-unprod div-inv distribute-lft-out-- difference-of-squares unswap-sqr sqr-pow
Counts
4 → 91
Calls
4 calls:
5.0ms
(+ (* c 0.8333333333333334) (* a (- c b)))
7.0ms
(* a (- c b))
6.0ms
(pow (exp 2.0) (+ (* c 0.8333333333333334) (* a (- c b))))
5.0ms
(/ x (+ x (* y (pow (exp 2.0) (+ (* c 0.8333333333333334) (* a (- c b)))))))

series81.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(+ (* c 0.8333333333333334) (* a (- c b)))
8.0ms
(* a (- c b))
17.0ms
(pow (exp 2.0) (+ (* c 0.8333333333333334) (* a (- c b))))
47.0ms
(/ x (+ x (* y (pow (exp 2.0) (+ (* c 0.8333333333333334) (* a (- c b)))))))

simplify90.0ms

Algorithm
egg-herbie
Counts
103 → 103
Iterations

Useful iterations: 0 (79.0ms)

IterNodesCost
049401512
149401512

prune164.0ms

Filtered
71 candidates to 103 candidates (-45.1%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1003103
Fresh011
Picked101
Done022
Total1016107

Merged error: 0.2b

Counts
107 → 6

regimes872.0ms

Accuracy

-11.1% (3.3b remaining)

Error of 3.7b against oracle of 0.3b and baseline of 3.3b

bsearch180.0ms

Steps
ItersRangePoint
8
2.0881515490971805e-308
1.0872762399752105e-304
1.8925673024019224e-306
10
-1.2362489621006882e-97
-4.096870885131351e-112
-1.1071516139533105e-97

simplify31.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
01022182
11022182

end0.0ms

sample2.7s

Algorithm
intervals
Results
765.0ms8000×body80valid
718.0ms7818×body80nan

Profiling

Loading profile data...