Details

Time bar (total: 14.9s)

sample306.0ms

Algorithm
intervals
Results
215.0ms157×body1280valid
49.0ms52×body640valid
13.0ms22×body320valid
3.0ms8×body160valid
3.0ms17×body80valid

simplify79.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05638
19838
218238
330938
460938
5216938
6500138

prune6.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: 22.4b

Counts
2 → 1

localize39.0ms

Local error

Found 4 expressions with local error:

3.4b
(sin (/ (- lambda1 lambda2) 2.0))
3.4b
(sin (/ (- lambda1 lambda2) 2.0))
3.4b
(sin (/ (- lambda1 lambda2) 2.0))
3.4b
(sin (/ (- lambda1 lambda2) 2.0))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
4×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity div-sub sin-diff add-cbrt-cube add-log-exp
Counts
4 → 32
Calls
4 calls:
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))

series149.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(sin (/ (- lambda1 lambda2) 2.0))
34.0ms
(sin (/ (- lambda1 lambda2) 2.0))
40.0ms
(sin (/ (- lambda1 lambda2) 2.0))
34.0ms
(sin (/ (- lambda1 lambda2) 2.0))

simplify201.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
054248
189216
2188216
3373216
41242216
54970216
65002216

prune357.0ms

Filtered
44 candidates to 40 candidates (90.9%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New36844
Fresh000
Picked101
Done000
Total37845

Merged error: 21.8b

Counts
45 → 8

localize57.0ms

Local error

Found 4 expressions with local error:

3.2b
(sin (/ (- phi1 phi2) 2.0))
3.4b
(sin (/ (- lambda1 lambda2) 2.0))
3.4b
(sin (/ (- lambda1 lambda2) 2.0))
3.4b
(sin (/ (- lambda1 lambda2) 2.0))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
4×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity div-sub sin-diff add-cbrt-cube add-log-exp
Counts
4 → 32
Calls
4 calls:
5.0ms
(sin (/ (- phi1 phi2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))

series147.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(sin (/ (- phi1 phi2) 2.0))
35.0ms
(sin (/ (- lambda1 lambda2) 2.0))
40.0ms
(sin (/ (- lambda1 lambda2) 2.0))
36.0ms
(sin (/ (- lambda1 lambda2) 2.0))

simplify87.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
0102248
1170216
2356216
3692216
42118216
55001216

prune495.0ms

Filtered
44 candidates to 40 candidates (90.9%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New35944
Fresh347
Picked101
Done000
Total391352

Merged error: 21.1b

Counts
52 → 13

localize57.0ms

Local error

Found 4 expressions with local error:

3.2b
(sin (/ (- phi1 phi2) 2.0))
3.2b
(sin (/ (- phi1 phi2) 2.0))
3.4b
(sin (/ (- lambda1 lambda2) 2.0))
3.4b
(sin (/ (- lambda1 lambda2) 2.0))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
4×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity div-sub sin-diff add-cbrt-cube add-log-exp
Counts
4 → 32
Calls
4 calls:
5.0ms
(sin (/ (- phi1 phi2) 2.0))
5.0ms
(sin (/ (- phi1 phi2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))

series150.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(sin (/ (- phi1 phi2) 2.0))
35.0ms
(sin (/ (- phi1 phi2) 2.0))
40.0ms
(sin (/ (- lambda1 lambda2) 2.0))
35.0ms
(sin (/ (- lambda1 lambda2) 2.0))

simplify82.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
0102248
1170216
2356216
3692216
42118216
55001216

prune546.0ms

Filtered
44 candidates to 40 candidates (90.9%)
Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New37744
Fresh21012
Picked101
Done000
Total401757

Merged error: 20.7b

Counts
57 → 17

localize73.0ms

Local error

Found 4 expressions with local error:

0.7b
(- 1.0 (+ (pow (sin (/ (- phi1 phi2) 2.0)) 2.0) (* (* (* (cos phi1) (cos phi2)) (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0)))))))
3.2b
(sin (/ (- phi1 phi2) 2.0))
3.4b
(sin (/ (- lambda1 lambda2) 2.0))
3.4b
(sin (/ (- lambda1 lambda2) 2.0))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
6×add-sqr-sqrt *-un-lft-identity
4×pow1 add-exp-log add-cube-cbrt add-cbrt-cube
3×div-sub sin-diff
2×diff-log
1×sub-neg flip3-- sum-log flip-- associate--r+ distribute-lft-out-- difference-of-squares
Counts
4 → 40
Calls
4 calls:
10.0ms
(- 1.0 (+ (pow (sin (/ (- phi1 phi2) 2.0)) 2.0) (* (* (* (cos phi1) (cos phi2)) (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0)))))))
5.0ms
(sin (/ (- phi1 phi2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))
5.0ms
(sin (/ (- lambda1 lambda2) 2.0))

series803.0ms

Counts
4 → 12
Calls
4 calls:
694.0ms
(- 1.0 (+ (pow (sin (/ (- phi1 phi2) 2.0)) 2.0) (* (* (* (cos phi1) (cos phi2)) (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0)))))))
34.0ms
(sin (/ (- phi1 phi2) 2.0))
40.0ms
(sin (/ (- lambda1 lambda2) 2.0))
35.0ms
(sin (/ (- lambda1 lambda2) 2.0))

simplify127.0ms

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 2 (26.0ms)

IterNodesCost
03211069
1947970
24221969
35001969

prune577.0ms

Filtered
52 candidates to 44 candidates (84.6%)
Pruning

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New421052
Fresh8816
Picked101
Done000
Total511869

Merged error: 12.0b

Counts
69 → 18

regimes1.2s

Accuracy

0% (0.4b remaining)

Error of 13.4b against oracle of 13.0b and baseline of 13.4b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05770
15770

end0.0ms

sample9.3s

Algorithm
intervals
Results
6.7s4797×body1280valid
1.7s1914×body640valid
345.0ms576×body320valid
88.0ms542×body80valid
70.0ms174×body160valid

Profiling

Loading profile data...