Details

Time bar (total: 15.1s)

sample258.0ms

Algorithm
intervals
Results
161.0ms101×body1280valid
45.0ms49×body640valid
14.0ms25×body320valid
11.0ms70×body80valid
8.0ms11×body160valid

simplify18.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03622
16122
27122
37222
47222

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize32.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (sin theta) (sin delta))
0.2b
(* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))
0.3b
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
0.5b
(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
10×add-cube-cbrt *-un-lft-identity
8×pow1 add-exp-log add-cbrt-cube
6×associate-*r* associate-*l* add-log-exp
4×expm1-log1p-u log1p-expm1-u
3×fma-neg prod-diff
2×pow-prod-down prod-exp *-commutative cbrt-unprod sin-mult unswap-sqr
1×sub-neg asin-acos flip3-- diff-log flip--
Counts
4 → 72
Calls
4 calls:
4.0ms
(* (sin theta) (sin delta))
5.0ms
(* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))
1.0ms
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
3.0ms
(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))

series382.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(* (sin theta) (sin delta))
152.0ms
(* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))
7.0ms
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
179.0ms
(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))

simplify107.0ms

Algorithm
egg-herbie
Counts
84 → 84
Iterations

Useful iterations: 3 (97.0ms)

IterNodesCost
03221198
110211064
241241059
350011054

prune479.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

localize36.0ms

Local error

Found 4 expressions with local error:

0.3b
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
0.5b
(- (cos delta) (cbrt (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3)))
0.5b
(pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3)
15.9b
(cbrt (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
34×cbrt-prod
33×prod-diff
29×add-sqr-sqrt
26×*-un-lft-identity
24×add-cube-cbrt
7×pow1 add-exp-log add-cbrt-cube
6×add-log-exp sqr-pow
5×cube-mult unpow-prod-down unpow3 cube-prod
4×expm1-log1p-u log1p-expm1-u
3×pow-unpow fma-neg difference-of-squares
2×cube-div pow-pow pow-exp sin-mult rem-cube-cbrt
1×pow-to-exp sub-neg asin-acos cbrt-div flip3-- pow1/3 diff-log pow-prod-down prod-exp flip-- rem-cbrt-cube cbrt-unprod distribute-lft-out--
Counts
4 → 109
Calls
4 calls:
1.0ms
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
7.0ms
(- (cos delta) (cbrt (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3)))
3.0ms
(pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3)
2.0ms
(cbrt (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3))

series567.0ms

Counts
4 → 12
Calls
4 calls:
7.0ms
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
178.0ms
(- (cos delta) (cbrt (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3)))
229.0ms
(pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3)
153.0ms
(cbrt (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3))

simplify77.0ms

Algorithm
egg-herbie
Counts
121 → 121
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
04694733
115573530
250013506

prune591.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.1b

localize45.0ms

Local error

Found 4 expressions with local error:

0.3b
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
0.3b
(- (pow (cos delta) 3) (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3))
0.3b
(pow (cos delta) 3)
0.5b
(pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3)

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
96×prod-diff
57×add-sqr-sqrt
49×*-un-lft-identity
47×add-cube-cbrt
45×unpow-prod-down cube-prod
29×sqr-pow
23×cube-mult unpow3
12×fma-neg
8×pow1 add-exp-log add-cbrt-cube difference-of-squares
6×pow-unpow add-log-exp
4×expm1-log1p-u log1p-expm1-u
3×pow-pow pow-exp rem-cube-cbrt
2×pow-to-exp
1×difference-cubes cube-div sub-neg asin-acos flip3-- diff-log pow-prod-down prod-exp flip-- cbrt-unprod sin-mult distribute-lft-out--
Counts
4 → 192
Calls
4 calls:
1.0ms
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
17.0ms
(- (pow (cos delta) 3) (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3))
1.0ms
(pow (cos delta) 3)
3.0ms
(pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3)

series1.0s

Counts
4 → 12
Calls
4 calls:
7.0ms
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
743.0ms
(- (pow (cos delta) 3) (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3))
28.0ms
(pow (cos delta) 3)
234.0ms
(pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3)

simplify171.0ms

Algorithm
egg-herbie
Counts
204 → 204
Iterations

Useful iterations: 2 (115.0ms)

IterNodesCost
07046476
131194833
250014828

prune775.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

localize47.0ms

Local error

Found 4 expressions with local error:

0.3b
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
0.3b
(- (pow (cos delta) 3) (expm1 (log1p (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3))))
0.3b
(pow (cos delta) 3)
0.5b
(pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3)

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
39×add-sqr-sqrt
36×prod-diff
34×*-un-lft-identity
32×add-cube-cbrt
17×unpow-prod-down cube-prod
12×fma-neg
8×pow1 add-exp-log add-cbrt-cube
7×sqr-pow
6×cube-mult pow-unpow unpow3 add-log-exp
4×expm1-log1p-u log1p-expm1-u difference-of-squares
3×pow-pow pow-exp rem-cube-cbrt
2×pow-to-exp
1×cube-div sub-neg asin-acos flip3-- diff-log pow-prod-down prod-exp flip-- cbrt-unprod sin-mult distribute-lft-out-- expm1-udef associate--r-
Counts
4 → 128
Calls
4 calls:
1.0ms
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
13.0ms
(- (pow (cos delta) 3) (expm1 (log1p (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3))))
1.0ms
(pow (cos delta) 3)
4.0ms
(pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3)

series875.0ms

Counts
4 → 12
Calls
4 calls:
7.0ms
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
607.0ms
(- (pow (cos delta) 3) (expm1 (log1p (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3))))
28.0ms
(pow (cos delta) 3)
233.0ms
(pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3)

simplify129.0ms

Algorithm
egg-herbie
Counts
140 → 140
Iterations

Useful iterations: 2 (96.0ms)

IterNodesCost
05793569
127732649
250022638

prune738.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

regimes414.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07584
17584

end0.0ms

sample8.3s

Algorithm
intervals
Results
5.2s3155×body1280valid
1.9s1870×body640valid
429.0ms708×body320valid
346.0ms1976×body80valid
121.0ms291×body160valid