Details

Time bar (total: 22.1s)

sample156.0ms

Algorithm
intervals
Results
102.0ms256×body80valid
13.0ms256×pre80true

simplify5.0s

Counts
1 → 1
Iterations
IterNodes
done5001
74710
6582
5282
4164
3106
256
130
018

prune42.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize86.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (sin lat1) (cos lat2))
0.3b
(* (* (sin lat1) (cos lat2)) (cos (- lon2 lon1)))
0.3b
(* (cos lat2) (sin (- lon2 lon1)))
0.4b
(/ (* (cos lat2) (sin (- lon2 lon1))) (- (* (cos lat1) (sin lat2)) (* (* (sin lat1) (cos lat2)) (cos (- lon2 lon1)))))

rewrite226.0ms

Algorithm
rewrite-expression-head
Rules
18×add-cbrt-cube add-exp-log
15×add-sqr-sqrt
13×pow1
11×*-un-lft-identity add-cube-cbrt
associate-*r*
associate-*l*
prod-exp cbrt-unprod
pow-prod-down
sin-sum add-log-exp
distribute-rgt-in associate-/r* distribute-lft-in times-frac *-commutative
cos-diff cbrt-undiv sub-neg div-exp associate-/r/ sin-cos-mult unswap-sqr
clear-num frac-2neg flip3-- associate-*l/ div-inv flip-- associate-/l*
Counts
4 → 85
Calls
4 calls:
22.0ms
(* (sin lat1) (cos lat2))
66.0ms
(* (* (sin lat1) (cos lat2)) (cos (- lon2 lon1)))
54.0ms
(* (cos lat2) (sin (- lon2 lon1)))
80.0ms
(/ (* (cos lat2) (sin (- lon2 lon1))) (- (* (cos lat1) (sin lat2)) (* (* (sin lat1) (cos lat2)) (cos (- lon2 lon1)))))

series1.0s

Counts
4 → 12
Calls
4 calls:
94.0ms
(* (sin lat1) (cos lat2))
176.0ms
(* (* (sin lat1) (cos lat2)) (cos (- lon2 lon1)))
109.0ms
(* (cos lat2) (sin (- lon2 lon1)))
630.0ms
(/ (* (cos lat2) (sin (- lon2 lon1))) (- (* (cos lat1) (sin lat2)) (* (* (sin lat1) (cos lat2)) (cos (- lon2 lon1)))))

simplify3.7s

Counts
97 → 97
Iterations
IterNodes
done5000
22856
1466
0176

prune1.3s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize84.0ms

Local error

Found 4 expressions with local error:

0.2b
(atan (/ (sin (- lon2 lon1)) (- (* (cos lat1) (/ (sin lat2) (cos lat2))) (* (cos (- lon2 lon1)) (sin lat1)))))
0.2b
(* (cos (- lon2 lon1)) (sin lat1))
0.4b
(/ (sin (- lon2 lon1)) (- (* (cos lat1) (/ (sin lat2) (cos lat2))) (* (cos (- lon2 lon1)) (sin lat1))))
0.4b
(/ (sin lat2) (cos lat2))

rewrite235.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
22×*-un-lft-identity add-cube-cbrt
18×times-frac
10×add-cbrt-cube add-exp-log
pow1 associate-/r* associate-/l*
add-log-exp
associate-*r* associate-*l*
cbrt-undiv clear-num frac-2neg div-exp associate-/r/ div-inv
quot-tan flip3-- div-sub pow-prod-down prod-exp sin-diff *-commutative cbrt-unprod flip-- unswap-sqr
Counts
4 → 83
Calls
4 calls:
65.0ms
(atan (/ (sin (- lon2 lon1)) (- (* (cos lat1) (/ (sin lat2) (cos lat2))) (* (cos (- lon2 lon1)) (sin lat1)))))
29.0ms
(* (cos (- lon2 lon1)) (sin lat1))
120.0ms
(/ (sin (- lon2 lon1)) (- (* (cos lat1) (/ (sin lat2) (cos lat2))) (* (cos (- lon2 lon1)) (sin lat1))))
17.0ms
(/ (sin lat2) (cos lat2))

series730.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(atan (/ (sin (- lon2 lon1)) (- (* (cos lat1) (/ (sin lat2) (cos lat2))) (* (cos (- lon2 lon1)) (sin lat1)))))
118.0ms
(* (cos (- lon2 lon1)) (sin lat1))
551.0ms
(/ (sin (- lon2 lon1)) (- (* (cos lat1) (/ (sin lat2) (cos lat2))) (* (cos (- lon2 lon1)) (sin lat1))))
39.0ms
(/ (sin lat2) (cos lat2))

simplify1.7s

Counts
95 → 95
Iterations
IterNodes
done5000
21208
1368
0179

prune1.2s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

regimes1.2s

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done17
117
015

end0.0ms

sample5.5s

Algorithm
intervals
Results
4.4s8000×body80valid
625.0ms8000×pre80true