Details

Time bar (total: 22.1s)

sample262.0ms

Algorithm
intervals
Results
154.0ms96×body1280valid
63.0ms67×body640valid
13.0ms23×body320valid
9.0ms59×body80valid
4.0ms11×body160valid

simplify29.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02233
13533
25433
35733
done5733

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

rewrite13.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:
4.0ms
(* (sin theta) (sin delta))
4.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))))
2.0ms
(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))

series387.0ms

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

simplify1.9s

Counts
70 → 70
Iterations

Useful iterations: 3 (434.0ms)

IterNodesCost
01391435
12851368
27161235
319111229
done50001229

prune400.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

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

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
16×add-cube-cbrt *-un-lft-identity
11×pow1
9×times-frac
8×add-exp-log add-cbrt-cube
6×add-log-exp
5×sin-mult
4×associate-*r/ cos-mult associate-/l/
3×swap-sqr associate-*r* associate-*l* associate-/r* associate-/l*
2×flip3-- associate-/r/ frac-sub flip-- sub-div
1×cbrt-undiv pow2 sub-neg asin-acos sqr-cos frac-2neg flip3-+ pow-plus diff-log div-sub div-exp pow-prod-down prod-exp associate--l+ clear-num pow-sqr *-commutative pow-prod-up cbrt-unprod flip-+ sqr-sin div-inv unswap-sqr
Counts
4 → 84
Calls
4 calls:
1.0ms
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
20.0ms
(/ (- (* (cos delta) (cos delta)) (* (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)))))))) (+ (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (cos delta)))
8.0ms
(- (* (cos delta) (cos delta)) (* (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))))))))
5.0ms
(* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (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))))
802.0ms
(/ (- (* (cos delta) (cos delta)) (* (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)))))))) (+ (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (cos delta)))
501.0ms
(- (* (cos delta) (cos delta)) (* (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))))))))
146.0ms
(* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))

simplify790.0ms

Counts
96 → 96
Iterations

Useful iterations: 2 (241.0ms)

IterNodesCost
02176055
15595593
220214970
done50004970

prune735.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

localize45.0ms

Local error

Found 4 expressions with local error:

0.4b
(- (pow (cos delta) 2) (* (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))))))))
0.4b
(* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))
0.5b
(cbrt (pow (/ (- (pow (cos delta) 2) (* (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)))))))) (+ (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (cos delta))) 3))
0.6b
(pow (/ (- (pow (cos delta) 2) (* (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)))))))) (+ (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (cos delta))) 3)

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
40×add-sqr-sqrt
38×add-cube-cbrt *-un-lft-identity
36×cbrt-prod times-frac
30×unpow-prod-down cube-prod
12×pow1
9×add-exp-log add-cbrt-cube
8×associate-/r/
6×add-log-exp
4×flip3-+ flip-+ div-inv
3×pow-unpow swap-sqr associate-*r* associate-*l*
2×cube-div cube-mult unpow3 pow-exp rem-cube-cbrt sqr-pow
1×cbrt-undiv pow2 pow-to-exp sub-neg cbrt-div flip3-- pow-pow pow-plus pow1/3 diff-log div-exp pow-prod-down prod-exp pow-sqr *-commutative pow-prod-up flip-- rem-cbrt-cube cbrt-unprod sqr-sin sin-mult unswap-sqr
Counts
4 → 135
Calls
4 calls:
7.0ms
(- (pow (cos delta) 2) (* (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))))))))
5.0ms
(* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))
20.0ms
(cbrt (pow (/ (- (pow (cos delta) 2) (* (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)))))))) (+ (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (cos delta))) 3))
16.0ms
(pow (/ (- (pow (cos delta) 2) (* (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)))))))) (+ (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (cos delta))) 3)

series2.7s

Counts
4 → 12
Calls
4 calls:
484.0ms
(- (pow (cos delta) 2) (* (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))))))))
141.0ms
(* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))
980.0ms
(cbrt (pow (/ (- (pow (cos delta) 2) (* (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)))))))) (+ (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (cos delta))) 3))
1.1s
(pow (/ (- (pow (cos delta) 2) (* (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)))))))) (+ (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (cos delta))) 3)

simplify953.0ms

Counts
147 → 147
Iterations

Useful iterations: 2 (361.0ms)

IterNodesCost
027213915
174913053
2272811712
done500111712

prune845.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.1b

localize48.0ms

Local error

Found 4 expressions with local error:

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

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt
11×pow1
10×*-un-lft-identity
8×add-cube-cbrt
6×add-exp-log add-cbrt-cube add-log-exp
5×difference-of-squares
4×times-frac associate-/r/
3×distribute-rgt-out-- swap-sqr associate-*r* associate-*l*
2×asin-acos flip3-+ flip-+ div-inv
1×pow2 sub-neg unpow-prod-down flip3-- pow-plus diff-log pow-prod-down prod-exp pow-sqr *-commutative pow-prod-up frac-sub flip-- cbrt-unprod sqr-sin sin-mult distribute-lft-out-- unpow2 sub-div unswap-sqr sqr-pow
Counts
4 → 66
Calls
4 calls:
1.0ms
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
1.0ms
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
5.0ms
(* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))
66.0ms
(- (/ (pow (cos delta) 2) (+ (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (cos delta))) (/ (* (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))))))) (+ (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (cos delta))))

series1.7s

Counts
4 → 12
Calls
4 calls:
7.0ms
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
7.0ms
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
152.0ms
(* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))
1.5s
(- (/ (pow (cos delta) 2) (+ (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (cos delta))) (/ (* (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))))))) (+ (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (cos delta))))

simplify692.0ms

Counts
78 → 78
Iterations

Useful iterations: done (688.0ms)

IterNodesCost
01955120
14824853
216314373
done50004333

prune516.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.1b

regimes513.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03280
14280
done4280

end0.0ms

sample7.9s

Algorithm
intervals
Results
5.1s3184×body1280valid
1.6s1812×body640valid
415.0ms699×body320valid
316.0ms1993×body80valid
120.0ms312×body160valid