Details

Time bar (total: 47.5s)

sample744.0ms

Algorithm
intervals
Results
446.0ms91×body1280valid
184.0ms59×body640valid
43.0ms25×body320valid
34.0ms73×body80valid
9.0ms8×body160valid

simplify72.0ms

Counts
1 → 1
Iterations
IterNodes
done55
355
254
135
022

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

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

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
8×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
6×associate-*r* associate-*l* add-log-exp
4×insert-posit16
2×pow-prod-down prod-exp *-commutative cbrt-unprod sin-mult unswap-sqr
1×asin-acos sub-neg flip3-- diff-log flip--
Counts
4 → 62
Calls
4 calls:
23.0ms
(* (sin theta) (sin delta))
20.0ms
(* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))
2.0ms
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
13.0ms
(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))

series606.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(* (sin theta) (sin delta))
242.0ms
(* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))
13.0ms
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
283.0ms
(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))

simplify2.5s

Counts
74 → 74
Iterations
IterNodes
done5000
32232
2734
1317
0148

prune887.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize101.0ms

Local error

Found 4 expressions with local error:

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

rewrite154.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
10×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
9×associate-*r* associate-*l*
6×add-log-exp
4×associate-*r/ insert-posit16
3×pow-prod-down prod-exp *-commutative cbrt-unprod sin-cos-mult unswap-sqr
2×distribute-rgt-in distribute-lft-in associate--r+
1×sub-neg flip3-+ flip3-- diff-log frac-add flip-+ flip-- sin-mult
Counts
4 → 79
Calls
4 calls:
22.0ms
(* (sin phi1) (cos delta))
21.0ms
(* (sin theta) (sin delta))
97.0ms
(* (sin phi1) (+ (* (cos phi1) (* (sin delta) (cos theta))) (* (sin phi1) (cos delta))))
12.0ms
(- (cos delta) (* (sin phi1) (+ (* (cos phi1) (* (sin delta) (cos theta))) (* (sin phi1) (cos delta)))))

series636.0ms

Counts
4 → 12
Calls
4 calls:
71.0ms
(* (sin phi1) (cos delta))
67.0ms
(* (sin theta) (sin delta))
232.0ms
(* (sin phi1) (+ (* (cos phi1) (* (sin delta) (cos theta))) (* (sin phi1) (cos delta))))
266.0ms
(- (cos delta) (* (sin phi1) (+ (* (cos phi1) (* (sin delta) (cos theta))) (* (sin phi1) (cos delta)))))

simplify2.8s

Counts
91 → 91
Iterations
IterNodes
done5001
21754
1483
0180

prune955.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize63.0ms

Local error

Found 4 expressions with local error:

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

rewrite292.0ms

Algorithm
rewrite-expression-head
Rules
20×pow1 add-cbrt-cube add-exp-log
12×add-sqr-sqrt
10×*-un-lft-identity pow-prod-down prod-exp cbrt-unprod
9×associate-*r* add-log-exp
8×add-cube-cbrt
5×associate-*l*
4×insert-posit16
3×*-commutative
2×diff-log associate-*l/ sin-cos-mult
1×sum-log sub-neg flip3-- associate-*r/ flip-- sin-mult associate--r+ distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 80
Calls
4 calls:
18.0ms
(* (sin theta) (sin delta))
116.0ms
(* (* (cos phi1) (* (sin delta) (cos theta))) (sin phi1))
50.0ms
(* (* (sin phi1) (cos delta)) (sin phi1))
108.0ms
(- (cos delta) (+ (* (* (cos phi1) (* (sin delta) (cos theta))) (sin phi1)) (* (* (sin phi1) (cos delta)) (sin phi1))))

series566.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(* (sin theta) (sin delta))
168.0ms
(* (* (cos phi1) (* (sin delta) (cos theta))) (sin phi1))
77.0ms
(* (* (sin phi1) (cos delta)) (sin phi1))
270.0ms
(- (cos delta) (+ (* (* (cos phi1) (* (sin delta) (cos theta))) (sin phi1)) (* (* (sin phi1) (cos delta)) (sin phi1))))

simplify2.4s

Counts
92 → 92
Iterations
IterNodes
done5000
22165
1504
0192

prune1.0s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize156.0ms

Local error

Found 4 expressions with local error:

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

rewrite684.0ms

Algorithm
rewrite-expression-head
Rules
102×associate-*r/
57×pow1
33×flip3-+ flip-+
32×frac-times
28×cos-mult
26×frac-sub
20×add-cbrt-cube add-exp-log
19×pow-prod-down
16×add-sqr-sqrt associate-*l/
12×*-un-lft-identity add-cube-cbrt
10×prod-exp cbrt-unprod
9×distribute-rgt-in distribute-lft-in
7×swap-sqr associate-*r* associate-*l*
6×pow-sqr pow-prod-up add-log-exp
4×sqr-cos pow-plus insert-posit16 associate--r+
3×pow2 *-commutative
2×associate--l+ unswap-sqr
1×difference-cubes sub-neg flip3-- diff-log cube-unmult pow3 flip--
Counts
4 → 149
Calls
4 calls:
16.0ms
(* (cos delta) (cos delta))
19.0ms
(* (cos delta) (cos delta))
123.0ms
(* (* (sin phi1) (+ (* (cos delta) (sin phi1)) (* (cos theta) (* (cos phi1) (sin delta))))) (* (sin phi1) (+ (* (cos delta) (sin phi1)) (* (cos theta) (* (cos phi1) (sin delta))))))
523.0ms
(- (* (cos delta) (* (cos delta) (cos delta))) (* (* (* (sin phi1) (+ (* (cos delta) (sin phi1)) (* (cos theta) (* (cos phi1) (sin delta))))) (* (sin phi1) (+ (* (cos delta) (sin phi1)) (* (cos theta) (* (cos phi1) (sin delta)))))) (* (sin phi1) (+ (* (cos delta) (sin phi1)) (* (cos theta) (* (cos phi1) (sin delta)))))))

series2.1s

Counts
4 → 12
Calls
4 calls:
17.0ms
(* (cos delta) (cos delta))
369.0ms
(* (cos delta) (cos delta))
262.0ms
(* (* (sin phi1) (+ (* (cos delta) (sin phi1)) (* (cos theta) (* (cos phi1) (sin delta))))) (* (sin phi1) (+ (* (cos delta) (sin phi1)) (* (cos theta) (* (cos phi1) (sin delta))))))
1.5s
(- (* (cos delta) (* (cos delta) (cos delta))) (* (* (* (sin phi1) (+ (* (cos delta) (sin phi1)) (* (cos theta) (* (cos phi1) (sin delta))))) (* (sin phi1) (+ (* (cos delta) (sin phi1)) (* (cos theta) (* (cos phi1) (sin delta)))))) (* (sin phi1) (+ (* (cos delta) (sin phi1)) (* (cos theta) (* (cos phi1) (sin delta)))))))

simplify2.8s

Counts
161 → 161
Iterations
IterNodes
done5004
11216
0354

prune1.7s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

regimes623.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations
IterNodes
done30
130
021

end0.0ms

sample25.4s

Algorithm
intervals
Results
15.9s3045×body1280valid
6.1s1878×body640valid
1.3s2049×body80valid
1.3s697×body320valid
460.0ms331×body160valid