Details

Time bar (total: 44.6s)

sample27.5s

Algorithm
intervals
Results
26.5s1694×body10240exit
613.0ms126×body1280valid
227.0ms85×body640valid
46.0ms24×body320valid
8.0ms8×body160valid
8.0ms13×body80valid

simplify78.0ms

Calls
1 calls:
Slowest
77.0ms
(+ lambda1 (atan2 (* (* (sin theta) (sin delta)) (cos phi1)) (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))))

prune38.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize105.0ms

Local error

Found 4 expressions with local error:

0.4b
(fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1)))
0.4b
(asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1))))
0.3b
(* (cos delta) (sin phi1))
0.3b
(- (cos delta) (* (sin phi1) (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1)))))))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
36×prod-diff
32×*-un-lft-identity
28×add-cube-cbrt
13×associate-*l*
12×associate-*r*
6×pow1 add-cbrt-cube add-exp-log add-log-exp
5×unswap-sqr
4×expm1-log1p-u *-commutative insert-posit16 log1p-expm1-u
3×fma-neg
2×distribute-lft-out-- difference-of-squares
1×asin-acos sub-neg flip3-- diff-log pow-prod-down prod-exp cbrt-unprod fma-udef flip--
Calls
4 calls:
Slowest
27.0ms
(- (cos delta) (* (sin phi1) (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1)))))))
11.0ms
(* (cos delta) (sin phi1))
1.0ms
(asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1))))
0.0ms
(fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1)))

series548.0ms

Calls
4 calls:
Slowest
282.0ms
(- (cos delta) (* (sin phi1) (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1)))))))
198.0ms
(fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1)))
62.0ms
(* (cos delta) (sin phi1))
6.0ms
(asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1))))

simplify13.9s

Calls
103 calls:
Slowest
490.0ms
(- (cos delta) (* (sin phi1) (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1)))))))
356.0ms
(* (* (* (cos delta) (cos delta)) (cos delta)) (* (* (sin phi1) (sin phi1)) (sin phi1)))
308.0ms
(fma (sqrt (cos delta)) (sqrt (cos delta)) (- (* (cbrt (* (sin phi1) (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1))))))) (* (cbrt (* (sin phi1) (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1))))))) (cbrt (* (sin phi1) (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1)))))))))))
301.0ms
(/ (exp (cos delta)) (exp (* (sin phi1) (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1))))))))
288.0ms
(fma 1 (cos delta) (- (* (cbrt (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1)))))) (* (sin phi1) (* (cbrt (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1)))))) (cbrt (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1)))))))))))

prune2.4s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

end0.0ms