Details

Time bar (total: 15.0s)

sample266.0ms

Algorithm
intervals
Results
181.0ms148×body1280valid
42.0ms58×body640valid
11.0ms21×body320valid
4.0ms23×body80valid
2.0ms6×body160valid

simplify76.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05638
19838
218238
330938
460938
5216938
6500138

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 22.8b

localize34.0ms

Local error

Found 4 expressions with local error:

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

rewrite44.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:
10.0ms
(sin (/ (- lambda1 lambda2) 2.0))
10.0ms
(sin (/ (- lambda1 lambda2) 2.0))
13.0ms
(sin (/ (- lambda1 lambda2) 2.0))
10.0ms
(sin (/ (- lambda1 lambda2) 2.0))

series149.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(sin (/ (- lambda1 lambda2) 2.0))
35.0ms
(sin (/ (- lambda1 lambda2) 2.0))
41.0ms
(sin (/ (- lambda1 lambda2) 2.0))
37.0ms
(sin (/ (- lambda1 lambda2) 2.0))

simplify200.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
054248
189216
2188216
3373216
41242216
54970216
65002216

prune368.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 22.2b

localize53.0ms

Local error

Found 4 expressions with local error:

2.7b
(sin (/ (- phi1 phi2) 2.0))
3.9b
(sin (/ (- lambda1 lambda2) 2.0))
3.9b
(sin (/ (- lambda1 lambda2) 2.0))
3.9b
(sin (/ (- lambda1 lambda2) 2.0))

rewrite44.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:
10.0ms
(sin (/ (- phi1 phi2) 2.0))
14.0ms
(sin (/ (- lambda1 lambda2) 2.0))
10.0ms
(sin (/ (- lambda1 lambda2) 2.0))
10.0ms
(sin (/ (- lambda1 lambda2) 2.0))

series147.0ms

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

simplify78.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
0102248
1170216
2356216
3692216
42118216
55001216

prune528.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 21.5b

localize67.0ms

Local error

Found 4 expressions with local error:

2.7b
(sin (/ (- phi1 phi2) 2.0))
3.9b
(sin (/ (- lambda1 lambda2) 2.0))
3.9b
(sin (/ (- lambda1 lambda2) 2.0))
3.9b
(sin (/ (- lambda1 lambda2) 2.0))

rewrite42.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:
10.0ms
(sin (/ (- phi1 phi2) 2.0))
10.0ms
(sin (/ (- lambda1 lambda2) 2.0))
11.0ms
(sin (/ (- lambda1 lambda2) 2.0))
10.0ms
(sin (/ (- lambda1 lambda2) 2.0))

series148.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(sin (/ (- phi1 phi2) 2.0))
35.0ms
(sin (/ (- lambda1 lambda2) 2.0))
40.0ms
(sin (/ (- lambda1 lambda2) 2.0))
37.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

prune728.0ms

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 12.5b

localize59.0ms

Local error

Found 4 expressions with local error:

0.6b
(- 1.0 (+ (pow (- (* (sin (/ phi1 2.0)) (cos (/ phi2 2.0))) (* (cos (/ phi1 2.0)) (sin (/ 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 lambda2) 2.0)))))
3.9b
(sin (/ (- lambda1 lambda2) 2.0))
3.9b
(sin (/ (- lambda1 lambda2) 2.0))
3.9b
(sin (/ (- lambda1 lambda2) 2.0))

rewrite146.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:
114.0ms
(- 1.0 (+ (pow (- (* (sin (/ phi1 2.0)) (cos (/ phi2 2.0))) (* (cos (/ phi1 2.0)) (sin (/ 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 lambda2) 2.0)))))
9.0ms
(sin (/ (- lambda1 lambda2) 2.0))
12.0ms
(sin (/ (- lambda1 lambda2) 2.0))
10.0ms
(sin (/ (- lambda1 lambda2) 2.0))

series936.0ms

Counts
4 → 12
Calls
4 calls:
824.0ms
(- 1.0 (+ (pow (- (* (sin (/ phi1 2.0)) (cos (/ phi2 2.0))) (* (cos (/ phi1 2.0)) (sin (/ 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 lambda2) 2.0)))))
35.0ms
(sin (/ (- lambda1 lambda2) 2.0))
41.0ms
(sin (/ (- lambda1 lambda2) 2.0))
36.0ms
(sin (/ (- lambda1 lambda2) 2.0))

simplify127.0ms

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 2 (28.0ms)

IterNodesCost
03211110
19681019
24144995
35001995

prune529.0ms

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 12.4b

regimes2.2s

Accuracy

0% (0.4b remaining)

Error of 13.5b against oracle of 13.1b and baseline of 13.5b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05770
15770

end0.0ms

sample7.9s

Algorithm
intervals
Results
5.6s4674×body1280valid
1.5s1980×body640valid
278.0ms566×body320valid
83.0ms583×body80valid
63.0ms198×body160valid