Details

Time bar (total: 16.0s)

sample258.0ms

Algorithm
intervals
Results
145.0ms94×body1280valid
68.0ms68×body640valid
11.0ms68×body80valid
7.0ms13×body320valid
5.0ms13×body160valid

simplify8.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03522
15622
25922
35922

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize31.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.3b
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
0.6b
(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))

rewrite20.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))
9.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)))))))

series380.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(* (sin theta) (sin delta))
148.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)))))))

simplify92.0ms

Algorithm
egg-herbie
Counts
70 → 70
Iterations

Useful iterations: 2 (25.0ms)

IterNodesCost
0289930
1894837
23513835
35002835

prune375.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize41.0ms

Local error

Found 4 expressions with local error:

0.3b
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
0.3b
(/ (- (* (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)))))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
0.4b
(* (* (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.4b
(- (* (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))))))))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
43×pow1
18×add-exp-log add-cbrt-cube
17×pow-prod-down
16×sin-mult
13×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
12×times-frac
10×cos-mult
8×prod-exp cbrt-unprod
7×associate-/l/
6×frac-sub add-log-exp
5×associate-*r/ associate-*l/ difference-of-squares
4×pow-sqr pow-prod-up associate-/l* sub-div
3×frac-times associate-/r*
2×flip3-- pow-plus associate-/r/ flip--
1×cbrt-undiv pow2 sub-neg asin-acos sqr-cos frac-2neg flip3-+ diff-log div-sub swap-sqr div-exp associate-*r* associate-*l* associate--l+ clear-num *-commutative flip-+ div-inv
Counts
4 → 105
Calls
4 calls:
1.0ms
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
12.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)))))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
11.0ms
(* (* (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)))))))
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))))))))

series1.5s

Counts
4 → 12
Calls
4 calls:
7.0ms
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
798.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)))))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
173.0ms
(* (* (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)))))))
480.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))))))))

simplify104.0ms

Algorithm
egg-herbie
Counts
117 → 117
Iterations

Useful iterations: 2 (75.0ms)

IterNodesCost
06354481
131043982
250023958

prune751.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize55.0ms

Local error

Found 4 expressions with local error:

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

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
52×add-sqr-sqrt
32×*-un-lft-identity
24×times-frac
22×add-cube-cbrt
20×difference-of-squares
13×add-log-exp
11×unpow-prod-down
8×add-exp-log associate-/l*
7×add-cbrt-cube sqr-pow
6×pow1 pow-unpow
5×distribute-lft-out-- unpow2
3×diff-log cube-prod associate-/r* sum-log
2×pow-to-exp flip3-- pow-pow pow-exp associate-/r/ flip-- associate-/l/
1×cbrt-undiv cube-mult sub-neg frac-2neg flip3-+ unpow3 div-sub div-exp clear-num flip-+ div-inv associate--r+ rem-cube-cbrt
Counts
4 → 112
Calls
4 calls:
26.0ms
(/ (- (pow (cos delta) 2) (+ (* (pow (sin delta) 2) (* (pow (cos phi1) 2) (* (pow (cos theta) 2) (pow (sin phi1) 2)))) (+ (* 2 (* (sin delta) (* (cos phi1) (* (pow (sin phi1) 3) (* (cos delta) (cos theta)))))) (* (pow (sin phi1) 4) (pow (cos delta) 2))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
3.0ms
(pow (sin phi1) 3)
25.0ms
(- (pow (cos delta) 2) (+ (* (pow (sin delta) 2) (* (pow (cos phi1) 2) (* (pow (cos theta) 2) (pow (sin phi1) 2)))) (+ (* 2 (* (sin delta) (* (cos phi1) (* (pow (sin phi1) 3) (* (cos delta) (cos theta)))))) (* (pow (sin phi1) 4) (pow (cos delta) 2)))))
3.0ms
(pow (sin phi1) 4)

series1.2s

Counts
4 → 12
Calls
4 calls:
698.0ms
(/ (- (pow (cos delta) 2) (+ (* (pow (sin delta) 2) (* (pow (cos phi1) 2) (* (pow (cos theta) 2) (pow (sin phi1) 2)))) (+ (* 2 (* (sin delta) (* (cos phi1) (* (pow (sin phi1) 3) (* (cos delta) (cos theta)))))) (* (pow (sin phi1) 4) (pow (cos delta) 2))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
30.0ms
(pow (sin phi1) 3)
403.0ms
(- (pow (cos delta) 2) (+ (* (pow (sin delta) 2) (* (pow (cos phi1) 2) (* (pow (cos theta) 2) (pow (sin phi1) 2)))) (+ (* 2 (* (sin delta) (* (cos phi1) (* (pow (sin phi1) 3) (* (cos delta) (cos theta)))))) (* (pow (sin phi1) 4) (pow (cos delta) 2)))))
31.0ms
(pow (sin phi1) 4)

simplify108.0ms

Algorithm
egg-herbie
Counts
124 → 124
Iterations

Useful iterations: 2 (73.0ms)

IterNodesCost
06715239
129694953
250024944

prune1.1s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize64.0ms

Local error

Found 4 expressions with local error:

0.4b
(pow (pow (sin phi1) 4) 3)
0.4b
(- (pow (cos delta) 2) (+ (* (pow (sin delta) 2) (* (pow (cos phi1) 2) (* (pow (cos theta) 2) (pow (sin phi1) 2)))) (+ (* 2 (* (sin delta) (* (cos phi1) (* (pow (sin phi1) 3) (* (cos delta) (cos theta)))))) (* (cbrt (pow (pow (sin phi1) 4) 3)) (pow (cos delta) 2)))))
0.5b
(pow (sin phi1) 4)
5.1b
(cbrt (pow (pow (sin phi1) 4) 3))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
30×unpow-prod-down
22×add-sqr-sqrt
20×cbrt-prod
18×*-un-lft-identity
16×add-cube-cbrt
14×cube-prod
13×add-log-exp
8×sqr-pow
7×add-exp-log
6×pow-unpow
5×pow1 pow-exp add-cbrt-cube
4×difference-of-squares
3×pow-to-exp diff-log sum-log
2×cube-mult pow-pow unpow3
1×sub-neg flip3-- pow1/3 flip-- rem-cbrt-cube associate--r+ distribute-lft-out-- unpow2 rem-cube-cbrt
Counts
4 → 99
Calls
4 calls:
5.0ms
(pow (pow (sin phi1) 4) 3)
22.0ms
(- (pow (cos delta) 2) (+ (* (pow (sin delta) 2) (* (pow (cos phi1) 2) (* (pow (cos theta) 2) (pow (sin phi1) 2)))) (+ (* 2 (* (sin delta) (* (cos phi1) (* (pow (sin phi1) 3) (* (cos delta) (cos theta)))))) (* (cbrt (pow (pow (sin phi1) 4) 3)) (pow (cos delta) 2)))))
3.0ms
(pow (sin phi1) 4)
5.0ms
(cbrt (pow (pow (sin phi1) 4) 3))

series524.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(pow (pow (sin phi1) 4) 3)
397.0ms
(- (pow (cos delta) 2) (+ (* (pow (sin delta) 2) (* (pow (cos phi1) 2) (* (pow (cos theta) 2) (pow (sin phi1) 2)))) (+ (* 2 (* (sin delta) (* (cos phi1) (* (pow (sin phi1) 3) (* (cos delta) (cos theta)))))) (* (cbrt (pow (pow (sin phi1) 4) 3)) (pow (cos delta) 2)))))
35.0ms
(pow (sin phi1) 4)
31.0ms
(cbrt (pow (pow (sin phi1) 4) 3))

simplify62.0ms

Algorithm
egg-herbie
Counts
111 → 111
Iterations

Useful iterations: 2 (48.0ms)

IterNodesCost
04671522
119841398
250021365

prune763.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.1b

regimes563.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
06757
16757

end0.0ms

sample8.0s

Algorithm
intervals
Results
5.1s3118×body1280valid
1.7s1853×body640valid
419.0ms714×body320valid
329.0ms1975×body80valid
127.0ms340×body160valid