Details

Time bar (total: 16.3s)

sample274.0ms

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

simplify78.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
05638
110238
219138
337738
477638
5219638
6500138

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 22.8b

localize41.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))

rewrite40.0ms

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

series158.0ms

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

simplify66.0ms

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
058276
199248
2212248
3467248
41459248
55002248

prune456.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 22.1b

localize55.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))

rewrite39.0ms

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

series157.0ms

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

simplify87.0ms

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
0110276
1190248
2404248
3880248
42552248
55001248

prune647.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 21.5b

localize70.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))

rewrite39.0ms

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

series154.0ms

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

simplify86.0ms

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
0110276
1190248
2404248
3880248
42552248
55001248

prune887.0ms

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 12.5b

localize66.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))

rewrite182.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt *-un-lft-identity
11×add-cube-cbrt
9×prod-diff add-log-exp
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u
3×fma-neg div-sub sin-diff
2×diff-log
1×sub-neg flip3-- sum-log flip-- associate--r+ distribute-lft-out-- difference-of-squares
Counts
4 → 60
Calls
4 calls:
151.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))
9.0ms
(sin (/ (- lambda1 lambda2) 2.0))
10.0ms
(sin (/ (- lambda1 lambda2) 2.0))

series966.0ms

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

simplify59.0ms

Algorithm
egg-herbie
Counts
72 → 72
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
03942839
113141800
250011776

prune722.0ms

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 12.4b

regimes2.8s

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

sample8.2s

Algorithm
intervals
Results
5.8s4674×body1280valid
1.5s1980×body640valid
284.0ms566×body320valid
83.0ms583×body80valid
65.0ms198×body160valid