Details

Time bar (total: 1.1m)

sample270.0ms

Algorithm
intervals
Results
163.0ms106×body1280valid
62.0ms62×body640valid
14.0ms23×body320valid
9.0ms56×body80valid
3.0ms9×body160valid

simplify7.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03522
15622
25922
35922

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize32.0ms

Local error

Found 4 expressions with local error:

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

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
8×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
6×associate-*r* associate-*l* add-log-exp
2×pow-prod-down prod-exp *-commutative cbrt-unprod sin-mult unswap-sqr
1×sub-neg asin-acos flip3-- diff-log flip--
Counts
4 → 58
Calls
4 calls:
5.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))))
4.0ms
(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))

series375.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(* (sin theta) (sin delta))
150.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))))
174.0ms
(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))

simplify93.0ms

Algorithm
egg-herbie
Counts
70 → 70
Iterations

Useful iterations: 2 (25.0ms)

IterNodesCost
0289930
1894837
23513835
35002835

prune379.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize35.0ms

Local error

Found 4 expressions with local error:

0.4b
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
0.6b
(cbrt (pow (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) 3))
0.6b
(pow (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) 3)
0.7b
(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×unpow-prod-down cube-prod add-log-exp
5×pow1 add-exp-log add-cbrt-cube
4×cube-div
3×pow-unpow flip3-- flip--
2×cube-mult cbrt-div unpow3 sqr-pow
1×pow-to-exp sub-neg asin-acos pow-pow pow1/3 diff-log pow-exp rem-cbrt-cube rem-cube-cbrt
Counts
4 → 68
Calls
4 calls:
1.0ms
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
6.0ms
(cbrt (pow (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) 3))
4.0ms
(pow (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) 3)
4.0ms
(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))

series600.0ms

Counts
4 → 12
Calls
4 calls:
7.0ms
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
177.0ms
(cbrt (pow (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) 3))
242.0ms
(pow (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) 3)
174.0ms
(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))

simplify43.0ms

Algorithm
egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 2 (30.0ms)

IterNodesCost
02881796
110151670
250011664

prune409.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize48.0ms

Local error

Found 4 expressions with local error:

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

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
174×cbrt-prod
168×times-frac
97×unpow-prod-down cube-prod
89×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
28×cube-mult unpow3 sqr-pow
27×difference-of-squares
12×sin-mult
11×cube-div
10×cos-mult
6×pow1 add-exp-log pow-unpow frac-sub add-cbrt-cube add-log-exp
4×associate-*r/ associate-*l/ sub-div
2×frac-times pow-to-exp flip3-- pow-pow flip3-+ pow-exp associate-/r/ flip-- flip-+ rem-cube-cbrt
1×sub-neg sqr-cos cbrt-div pow1/3 diff-log associate--l+ div-inv
Counts
4 → 259
Calls
4 calls:
8.0ms
(- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
16.0ms
(cbrt (/ (pow (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) 3) (pow (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) 3)))
4.0ms
(pow (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) 3)
9.0ms
(pow (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) 3)

series2.2s

Counts
4 → 12
Calls
4 calls:
488.0ms
(- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
787.0ms
(cbrt (/ (pow (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) 3) (pow (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) 3)))
230.0ms
(pow (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) 3)
681.0ms
(pow (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) 3)

simplify156.0ms

Algorithm
egg-herbie
Counts
271 → 271
Iterations

Useful iterations: 1 (23.0ms)

IterNodesCost
0102821433
1500120906

prune1.2s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize71.0ms

Local error

Found 4 expressions with local error:

0.6b
(pow (+ (* (* (pow (sin phi1) 2) (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (+ (* (pow (sin phi1) 2) (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (pow (cos delta) 2))) (* (pow (cos delta) 2) (pow (cos delta) 2))) 3)
0.6b
(cbrt (/ (/ (pow (- (pow (* (cos delta) (cos delta)) 3) (pow (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) 3)) 3) (pow (+ (* (* (pow (sin phi1) 2) (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (+ (* (pow (sin phi1) 2) (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (pow (cos delta) 2))) (* (pow (cos delta) 2) (pow (cos delta) 2))) 3)) (pow (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) 3)))
0.6b
(pow (- (pow (* (cos delta) (cos delta)) 3) (pow (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) 3)) 3)
0.6b
(pow (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) 3)

rewrite1.8s

Algorithm
rewrite-expression-head
Rules
13896×times-frac
8845×unpow-prod-down cube-prod
6990×cbrt-prod
6252×add-sqr-sqrt
4640×difference-of-squares
4512×*-un-lft-identity
3932×add-cube-cbrt
3625×sqr-pow
1305×cube-mult unpow3
290×difference-cubes distribute-lft-out--
47×cube-div
26×associate-/r/
15×flip3-+ flip-+
13×div-inv
9×pow-unpow
7×pow1 add-exp-log add-cbrt-cube
6×sin-mult
5×cos-mult
4×add-log-exp
3×pow-to-exp pow-pow pow-exp frac-sub rem-cube-cbrt
2×associate-*r/ associate-*l/ sub-div
1×frac-times cbrt-div flip3-- pow1/3 flip--
Counts
4 → 7115
Calls
4 calls:
26.0ms
(pow (+ (* (* (pow (sin phi1) 2) (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (+ (* (pow (sin phi1) 2) (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (pow (cos delta) 2))) (* (pow (cos delta) 2) (pow (cos delta) 2))) 3)
477.0ms
(cbrt (/ (/ (pow (- (pow (* (cos delta) (cos delta)) 3) (pow (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) 3)) 3) (pow (+ (* (* (pow (sin phi1) 2) (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (+ (* (pow (sin phi1) 2) (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (pow (cos delta) 2))) (* (pow (cos delta) 2) (pow (cos delta) 2))) 3)) (pow (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) 3)))
15.0ms
(pow (- (pow (* (cos delta) (cos delta)) 3) (pow (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) 3)) 3)
5.0ms
(pow (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) 3)

series12.1s

Counts
4 → 12
Calls
4 calls:
2.5s
(pow (+ (* (* (pow (sin phi1) 2) (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (+ (* (pow (sin phi1) 2) (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (pow (cos delta) 2))) (* (pow (cos delta) 2) (pow (cos delta) 2))) 3)
5.6s
(cbrt (/ (/ (pow (- (pow (* (cos delta) (cos delta)) 3) (pow (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) 3)) 3) (pow (+ (* (* (pow (sin phi1) 2) (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (+ (* (pow (sin phi1) 2) (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (pow (cos delta) 2))) (* (pow (cos delta) 2) (pow (cos delta) 2))) 3)) (pow (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) 3)))
3.8s
(pow (- (pow (* (cos delta) (cos delta)) 3) (pow (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) 3)) 3)
234.0ms
(pow (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) 3)

simplify11.8s

Algorithm
egg-herbie
Counts
7127 → 7127
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
060901696166

prune24.8s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

regimes707.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
04757
15157
25557
35557

end0.0ms

sample8.3s

Algorithm
intervals
Results
5.3s3163×body1280valid
1.7s1853×body640valid
423.0ms679×body320valid
334.0ms1980×body80valid
146.0ms325×body160valid