Details

Time bar (total: 1.7m)

sample174.0ms

Algorithm
intervals
Results
56.0ms259×body80valid
55.0ms49×body640valid
21.0ms17×body1280valid
11.0ms18×body320valid
6.0ms14×body160valid

simplify321.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
320.0ms
(* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2)))))

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.9b

localize24.0ms

Local error

Found 4 expressions with local error:

2.5b
(cos (/ (+ phi2 phi1) 2))
0.2b
(* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2)))
0.1b
(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2)) R)
0.0b
(hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
10×*-un-lft-identity
8×pow1 add-cbrt-cube associate-*l* add-exp-log add-cube-cbrt
6×associate-*r*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×pow-prod-down associate-*l/ prod-exp *-commutative cbrt-unprod unswap-sqr
1×hypot-udef flip3-- flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 67
Calls
4 calls:
Slowest
20.0ms
(* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2)))
11.0ms
(cos (/ (+ phi2 phi1) 2))
10.0ms
(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2)) R)
0.0ms
(hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2))

series1.4s

Counts
4 → 12
Calls
4 calls:
Slowest
660.0ms
(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2)) R)
564.0ms
(hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2))
136.0ms
(* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2)))
23.0ms
(cos (/ (+ phi2 phi1) 2))

simplify3.5s

Counts
34 → 79
Calls
34 calls:
Slowest
477.0ms
(* (* (* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2)) (hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2))) (hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2))) (* (* R R) R))
418.0ms
(* (* (* (- lambda1 lambda2) (- lambda1 lambda2)) (- lambda1 lambda2)) (* (* (cos (/ (+ phi2 phi1) 2)) (cos (/ (+ phi2 phi1) 2))) (cos (/ (+ phi2 phi1) 2))))
363.0ms
(- 1 (+ (* 1/4 (* phi1 phi2)) (* 1/8 (pow phi2 2))))
326.0ms
(- (+ (* lambda2 (* (cos (* 1/2 (+ phi1 phi2))) R)) (+ (/ (* phi1 (* R phi2)) (* (cos (* 1/2 (+ phi1 phi2))) lambda1)) (/ (* phi1 (* lambda2 (* R phi2))) (* (cos (* 1/2 (+ phi1 phi2))) (pow lambda1 2))))))
288.0ms
(* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi2 phi1) 2)))

prune1.2s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 3.7b

localize55.0ms

Local error

Found 4 expressions with local error:

2.5b
(cos (* 1/2 (+ phi1 phi2)))
0.2b
(* (- lambda1 lambda2) (cos (* 1/2 (+ phi1 phi2))))
0.1b
(* (hypot (* (- lambda1 lambda2) (cos (* 1/2 (+ phi1 phi2)))) (- phi1 phi2)) R)
0.0b
(hypot (* (- lambda1 lambda2) (cos (* 1/2 (+ phi1 phi2)))) (- phi1 phi2))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
10×*-un-lft-identity
8×pow1 add-cbrt-cube associate-*l* add-exp-log add-cube-cbrt
6×associate-*r*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×cos-sum pow-prod-down associate-*l/ prod-exp *-commutative cbrt-unprod unswap-sqr
1×distribute-rgt-in hypot-udef distribute-lft-in flip3-- flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 69
Calls
4 calls:
Slowest
31.0ms
(* (- lambda1 lambda2) (cos (* 1/2 (+ phi1 phi2))))
17.0ms
(* (hypot (* (- lambda1 lambda2) (cos (* 1/2 (+ phi1 phi2)))) (- phi1 phi2)) R)
9.0ms
(cos (* 1/2 (+ phi1 phi2)))
0.0ms
(hypot (* (- lambda1 lambda2) (cos (* 1/2 (+ phi1 phi2)))) (- phi1 phi2))

series1.4s

Counts
4 → 12
Calls
4 calls:
Slowest
660.0ms
(* (hypot (* (- lambda1 lambda2) (cos (* 1/2 (+ phi1 phi2)))) (- phi1 phi2)) R)
549.0ms
(hypot (* (- lambda1 lambda2) (cos (* 1/2 (+ phi1 phi2)))) (- phi1 phi2))
118.0ms
(* (- lambda1 lambda2) (cos (* 1/2 (+ phi1 phi2))))
27.0ms
(cos (* 1/2 (+ phi1 phi2)))

simplify4.3s

Counts
36 → 81
Calls
36 calls:
Slowest
824.0ms
(* (* (* (- lambda1 lambda2) (- lambda1 lambda2)) (- lambda1 lambda2)) (* (* (cos (* 1/2 (+ phi1 phi2))) (cos (* 1/2 (+ phi1 phi2)))) (cos (* 1/2 (+ phi1 phi2)))))
439.0ms
(* (* (* (hypot (* (- lambda1 lambda2) (cos (* 1/2 (+ phi1 phi2)))) (- phi1 phi2)) (hypot (* (- lambda1 lambda2) (cos (* 1/2 (+ phi1 phi2)))) (- phi1 phi2))) (hypot (* (- lambda1 lambda2) (cos (* 1/2 (+ phi1 phi2)))) (- phi1 phi2))) (* (* R R) R))
374.0ms
(- 1 (+ (* 1/4 (* phi1 phi2)) (* 1/8 (pow phi1 2))))
372.0ms
(* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (* 1/2 (+ phi1 phi2))))
354.0ms
(- (+ (* lambda2 (* (cos (* 1/2 (+ phi1 phi2))) R)) (+ (/ (* phi1 (* R phi2)) (* (cos (* 1/2 (+ phi1 phi2))) lambda1)) (/ (* phi1 (* lambda2 (* R phi2))) (* (cos (* 1/2 (+ phi1 phi2))) (pow lambda1 2))))))

prune1.2s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize80.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (sin (* 1/2 phi1)) (sin (* 1/2 phi2)))
0.2b
(* (- lambda1 lambda2) (- (* (cos (* 1/2 phi1)) (cos (* 1/2 phi2))) (* (sin (* 1/2 phi1)) (sin (* 1/2 phi2)))))
0.1b
(- (* (cos (* 1/2 phi1)) (cos (* 1/2 phi2))) (* (sin (* 1/2 phi1)) (sin (* 1/2 phi2))))
0.1b
(* (hypot (* (- lambda1 lambda2) (- (* (cos (* 1/2 phi1)) (cos (* 1/2 phi2))) (* (sin (* 1/2 phi1)) (sin (* 1/2 phi2))))) (- phi1 phi2)) R)

rewrite455.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
12×*-un-lft-identity
11×associate-*l*
10×pow1 add-cbrt-cube add-exp-log add-cube-cbrt
9×flip3-- associate-*r* flip-- sin-mult
8×frac-times cos-mult
6×add-log-exp
4×expm1-log1p-u associate-*r/ frac-sub insert-posit16 log1p-expm1-u sub-div
3×distribute-rgt-in sub-neg distribute-lft-in prod-diff pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
2×associate-*l/
1×fma-neg diff-log distribute-lft-out-- difference-of-squares
Counts
4 → 105
Calls
4 calls:
Slowest
294.0ms
(* (- lambda1 lambda2) (- (* (cos (* 1/2 phi1)) (cos (* 1/2 phi2))) (* (sin (* 1/2 phi1)) (sin (* 1/2 phi2)))))
89.0ms
(- (* (cos (* 1/2 phi1)) (cos (* 1/2 phi2))) (* (sin (* 1/2 phi1)) (sin (* 1/2 phi2))))
58.0ms
(* (sin (* 1/2 phi1)) (sin (* 1/2 phi2)))
12.0ms
(* (hypot (* (- lambda1 lambda2) (- (* (cos (* 1/2 phi1)) (cos (* 1/2 phi2))) (* (sin (* 1/2 phi1)) (sin (* 1/2 phi2))))) (- phi1 phi2)) R)

series22.6s

Counts
4 → 12
Calls
4 calls:
Slowest
22.0s
(* (hypot (* (- lambda1 lambda2) (- (* (cos (* 1/2 phi1)) (cos (* 1/2 phi2))) (* (sin (* 1/2 phi1)) (sin (* 1/2 phi2))))) (- phi1 phi2)) R)
343.0ms
(* (- lambda1 lambda2) (- (* (cos (* 1/2 phi1)) (cos (* 1/2 phi2))) (* (sin (* 1/2 phi1)) (sin (* 1/2 phi2)))))
138.0ms
(- (* (cos (* 1/2 phi1)) (cos (* 1/2 phi2))) (* (sin (* 1/2 phi1)) (sin (* 1/2 phi2))))
71.0ms
(* (sin (* 1/2 phi1)) (sin (* 1/2 phi2)))

simplify17.7s

Counts
77 → 117
Calls
77 calls:
Slowest
1.2s
(- (+ (* (/ (* phi1 (* (pow (cos (* 1/2 phi2)) 2) (* R (* lambda2 (* (pow (cos (* 1/2 phi1)) 2) phi2))))) (pow lambda1 2)) (sqrt (/ 1 (pow (- (+ (* (pow (cos (* 1/2 phi2)) 2) (pow (cos (* 1/2 phi1)) 2)) (* (pow (sin (* 1/2 phi2)) 2) (pow (sin (* 1/2 phi1)) 2))) (+ (* (cos (* 1/2 phi2)) (* (sin (* 1/2 phi2)) (* (sin (* 1/2 phi1)) (cos (* 1/2 phi1))))) (* (sin (* 1/2 phi2)) (* (cos (* 1/2 phi2)) (* (sin (* 1/2 phi1)) (cos (* 1/2 phi1))))))) 3)))) (+ (* (/ (* R (* phi1 phi2)) lambda1) (sqrt (/ 1 (- (+ (* (pow (cos (* 1/2 phi2)) 2) (pow (cos (* 1/2 phi1)) 2)) (* (pow (sin (* 1/2 phi2)) 2) (pow (sin (* 1/2 phi1)) 2))) (+ (* (cos (* 1/2 phi2)) (* (sin (* 1/2 phi2)) (* (sin (* 1/2 phi1)) (cos (* 1/2 phi1))))) (* (sin (* 1/2 phi2)) (* (cos (* 1/2 phi2)) (* (sin (* 1/2 phi1)) (cos (* 1/2 phi1)))))))))) (+ (* (* (pow (cos (* 1/2 phi2)) 2) (* lambda2 (* (pow (cos (* 1/2 phi1)) 2) R))) (sqrt (/ 1 (- (+ (* (pow (cos (* 1/2 phi2)) 2) (pow (cos (* 1/2 phi1)) 2)) (* (pow (sin (* 1/2 phi2)) 2) (pow (sin (* 1/2 phi1)) 2))) (+ (* (cos (* 1/2 phi2)) (* (sin (* 1/2 phi2)) (* (sin (* 1/2 phi1)) (cos (* 1/2 phi1))))) (* (sin (* 1/2 phi2)) (* (cos (* 1/2 phi2)) (* (sin (* 1/2 phi1)) (cos (* 1/2 phi1)))))))))) (+ (* (/ (* (pow (sin (* 1/2 phi2)) 2) (* R (* phi1 (* lambda2 (* (pow (sin (* 1/2 phi1)) 2) phi2))))) (pow lambda1 2)) (sqrt (/ 1 (pow (- (+ (* (pow (cos (* 1/2 phi2)) 2) (pow (cos (* 1/2 phi1)) 2)) (* (pow (sin (* 1/2 phi2)) 2) (pow (sin (* 1/2 phi1)) 2))) (+ (* (cos (* 1/2 phi2)) (* (sin (* 1/2 phi2)) (* (sin (* 1/2 phi1)) (cos (* 1/2 phi1))))) (* (sin (* 1/2 phi2)) (* (cos (* 1/2 phi2)) (* (sin (* 1/2 phi1)) (cos (* 1/2 phi1))))))) 3)))) (* (* (pow (sin (* 1/2 phi2)) 2) (* lambda2 (* (pow (sin (* 1/2 phi1)) 2) R))) (sqrt (/ 1 (- (+ (* (pow (cos (* 1/2 phi2)) 2) (pow (cos (* 1/2 phi1)) 2)) (* (pow (sin (* 1/2 phi2)) 2) (pow (sin (* 1/2 phi1)) 2))) (+ (* (cos (* 1/2 phi2)) (* (sin (* 1/2 phi2)) (* (sin (* 1/2 phi1)) (cos (* 1/2 phi1))))) (* (sin (* 1/2 phi2)) (* (cos (* 1/2 phi2)) (* (sin (* 1/2 phi1)) (cos (* 1/2 phi1)))))))))))))) (+ (* 2 (* (/ (* (sin (* 1/2 phi2)) (* R (* (cos (* 1/2 phi2)) (* phi1 (* lambda2 (* (cos (* 1/2 phi1)) (* (sin (* 1/2 phi1)) phi2))))))) (pow lambda1 2)) (sqrt (/ 1 (pow (- (+ (* (pow (cos (* 1/2 phi2)) 2) (pow (cos (* 1/2 phi1)) 2)) (* (pow (sin (* 1/2 phi2)) 2) (pow (sin (* 1/2 phi1)) 2))) (+ (* (cos (* 1/2 phi2)) (* (sin (* 1/2 phi2)) (* (sin (* 1/2 phi1)) (cos (* 1/2 phi1))))) (* (sin (* 1/2 phi2)) (* (cos (* 1/2 phi2)) (* (sin (* 1/2 phi1)) (cos (* 1/2 phi1))))))) 3))))) (* 2 (* (* (sin (* 1/2 phi2)) (* R (* (cos (* 1/2 phi2)) (* (sin (* 1/2 phi1)) (* (cos (* 1/2 phi1)) lambda2))))) (sqrt (/ 1 (- (+ (* (pow (cos (* 1/2 phi2)) 2) (pow (cos (* 1/2 phi1)) 2)) (* (pow (sin (* 1/2 phi2)) 2) (pow (sin (* 1/2 phi1)) 2))) (+ (* (cos (* 1/2 phi2)) (* (sin (* 1/2 phi2)) (* (sin (* 1/2 phi1)) (cos (* 1/2 phi1))))) (* (sin (* 1/2 phi2)) (* (cos (* 1/2 phi2)) (* (sin (* 1/2 phi1)) (cos (* 1/2 phi1)))))))))))))
1.1s
(- (+ (* 2 (* (/ (* (sin (* 1/2 phi2)) (* R (* (cos (* 1/2 phi2)) (* phi1 (* lambda2 (* (cos (* 1/2 phi1)) (* (sin (* 1/2 phi1)) phi2))))))) (pow lambda1 2)) (sqrt (/ 1 (pow (- (+ (* (pow (cos (* 1/2 phi2)) 2) (pow (cos (* 1/2 phi1)) 2)) (* (pow (sin (* 1/2 phi2)) 2) (pow (sin (* 1/2 phi1)) 2))) (* 2 (* (sin (* 1/2 phi2)) (* (cos (* 1/2 phi2)) (* (sin (* 1/2 phi1)) (cos (* 1/2 phi1))))))) 3))))) (* 2 (* (* (sin (* 1/2 phi2)) (* R (* (cos (* 1/2 phi2)) (* (sin (* 1/2 phi1)) (* (cos (* 1/2 phi1)) lambda2))))) (sqrt (/ 1 (- (+ (* (pow (cos (* 1/2 phi2)) 2) (pow (cos (* 1/2 phi1)) 2)) (* (pow (sin (* 1/2 phi2)) 2) (pow (sin (* 1/2 phi1)) 2))) (* 2 (* (sin (* 1/2 phi2)) (* (cos (* 1/2 phi2)) (* (sin (* 1/2 phi1)) (cos (* 1/2 phi1)))))))))))) (+ (* (sqrt (/ 1 (- (+ (* (pow (cos (* 1/2 phi2)) 2) (pow (cos (* 1/2 phi1)) 2)) (* (pow (sin (* 1/2 phi2)) 2) (pow (sin (* 1/2 phi1)) 2))) (* 2 (* (sin (* 1/2 phi2)) (* (cos (* 1/2 phi2)) (* (sin (* 1/2 phi1)) (cos (* 1/2 phi1))))))))) (/ (* phi1 (* R phi2)) lambda1)) (+ (* (* (pow (cos (* 1/2 phi2)) 2) (* lambda2 (* (pow (cos (* 1/2 phi1)) 2) R))) (sqrt (/ 1 (- (+ (* (pow (cos (* 1/2 phi2)) 2) (pow (cos (* 1/2 phi1)) 2)) (* (pow (sin (* 1/2 phi2)) 2) (pow (sin (* 1/2 phi1)) 2))) (* 2 (* (sin (* 1/2 phi2)) (* (cos (* 1/2 phi2)) (* (sin (* 1/2 phi1)) (cos (* 1/2 phi1)))))))))) (+ (* (* (pow (sin (* 1/2 phi2)) 2) (* lambda2 (* (pow (sin (* 1/2 phi1)) 2) R))) (sqrt (/ 1 (- (+ (* (pow (cos (* 1/2 phi2)) 2) (pow (cos (* 1/2 phi1)) 2)) (* (pow (sin (* 1/2 phi2)) 2) (pow (sin (* 1/2 phi1)) 2))) (* 2 (* (sin (* 1/2 phi2)) (* (cos (* 1/2 phi2)) (* (sin (* 1/2 phi1)) (cos (* 1/2 phi1)))))))))) (+ (* (sqrt (/ 1 (pow (- (+ (* (pow (cos (* 1/2 phi2)) 2) (pow (cos (* 1/2 phi1)) 2)) (* (pow (sin (* 1/2 phi2)) 2) (pow (sin (* 1/2 phi1)) 2))) (* 2 (* (sin (* 1/2 phi2)) (* (cos (* 1/2 phi2)) (* (sin (* 1/2 phi1)) (cos (* 1/2 phi1))))))) 3))) (/ (* phi1 (* (pow (cos (* 1/2 phi2)) 2) (* R (* lambda2 (* (pow (cos (* 1/2 phi1)) 2) phi2))))) (pow lambda1 2))) (* (/ (* (pow (sin (* 1/2 phi2)) 2) (* R (* phi1 (* (pow (sin (* 1/2 phi1)) 2) (* lambda2 phi2))))) (pow lambda1 2)) (sqrt (/ 1 (pow (- (+ (* (pow (cos (* 1/2 phi2)) 2) (pow (cos (* 1/2 phi1)) 2)) (* (pow (sin (* 1/2 phi2)) 2) (pow (sin (* 1/2 phi1)) 2))) (* 2 (* (sin (* 1/2 phi2)) (* (cos (* 1/2 phi2)) (* (sin (* 1/2 phi1)) (cos (* 1/2 phi1))))))) 3)))))))))
675.0ms
(* (- lambda1 lambda2) (fma (- (sin (* 1/2 phi2))) (sin (* 1/2 phi1)) (* (sin (* 1/2 phi2)) (sin (* 1/2 phi1)))))
656.0ms
(* (- (* lambda1 lambda1) (* lambda2 lambda2)) (- (* (+ (cos (+ (* 1/2 phi1) (* 1/2 phi2))) (cos (- (* 1/2 phi1) (* 1/2 phi2)))) 2) (* 2 (- (cos (- (* 1/2 phi1) (* 1/2 phi2))) (cos (+ (* 1/2 phi1) (* 1/2 phi2)))))))
643.0ms
(* (- (* lambda1 lambda1) (* lambda2 lambda2)) (- (+ (cos (+ (* 1/2 phi1) (* 1/2 phi2))) (cos (- (* 1/2 phi1) (* 1/2 phi2)))) (- (cos (- (* 1/2 phi1) (* 1/2 phi2))) (cos (+ (* 1/2 phi1) (* 1/2 phi2))))))

prune2.3s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize78.0ms

Local error

Found 4 expressions with local error:

3.4b
(* (- lambda2 lambda1) (* (sin (* 1/2 phi2)) (sin (* phi1 1/2))))
0.2b
(* (* (cos (* 1/2 phi2)) (cos (* phi1 1/2))) (- lambda2 lambda1))
0.2b
(* (sin (* 1/2 phi2)) (sin (* phi1 1/2)))
0.1b
(- (* (- lambda2 lambda1) (* (sin (* 1/2 phi2)) (sin (* phi1 1/2)))) (* (* (cos (* 1/2 phi2)) (cos (* phi1 1/2))) (- lambda2 lambda1)))

rewrite434.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt
37×prod-diff
36×*-un-lft-identity
32×add-cube-cbrt
27×flip3-- flip--
25×frac-sub
24×frac-times
22×distribute-rgt-in distribute-lft-in associate--r+
21×associate-*l/ associate-*r/
20×sin-mult
19×cos-mult
16×pow1 add-cbrt-cube add-exp-log
9×associate-*r* associate-*l*
7×pow-prod-down prod-exp cbrt-unprod
6×add-log-exp
5×sub-neg
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×*-commutative sub-div
2×distribute-lft-out-- difference-of-squares
1×fma-neg diff-log unswap-sqr
Counts
4 → 167
Calls
4 calls:
Slowest
200.0ms
(- (* (- lambda2 lambda1) (* (sin (* 1/2 phi2)) (sin (* phi1 1/2)))) (* (* (cos (* 1/2 phi2)) (cos (* phi1 1/2))) (- lambda2 lambda1)))
107.0ms
(* (* (cos (* 1/2 phi2)) (cos (* phi1 1/2))) (- lambda2 lambda1))
75.0ms
(* (- lambda2 lambda1) (* (sin (* 1/2 phi2)) (sin (* phi1 1/2))))
49.0ms
(* (sin (* 1/2 phi2)) (sin (* phi1 1/2)))

series980.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
512.0ms
(- (* (- lambda2 lambda1) (* (sin (* 1/2 phi2)) (sin (* phi1 1/2)))) (* (* (cos (* 1/2 phi2)) (cos (* phi1 1/2))) (- lambda2 lambda1)))
242.0ms
(* (* (cos (* 1/2 phi2)) (cos (* phi1 1/2))) (- lambda2 lambda1))
138.0ms
(* (- lambda2 lambda1) (* (sin (* 1/2 phi2)) (sin (* phi1 1/2))))
88.0ms
(* (sin (* 1/2 phi2)) (sin (* phi1 1/2)))

simplify34.6s

Counts
161 → 179
Calls
161 calls:
Slowest
1.0s
(- (* (* (- (* lambda2 lambda2) (* lambda1 lambda1)) (- (cos (- (* 1/2 phi2) (* phi1 1/2))) (cos (+ (* 1/2 phi2) (* phi1 1/2))))) (* 2 (+ (* lambda2 lambda2) (+ (* lambda1 lambda1) (* lambda2 lambda1))))) (* (* (+ lambda2 lambda1) 2) (* (+ (cos (+ (* 1/2 phi2) (* phi1 1/2))) (cos (- (* 1/2 phi2) (* phi1 1/2)))) (- (pow lambda2 3) (pow lambda1 3)))))
928.0ms
(* (+ (* lambda2 lambda2) (+ (* lambda1 lambda1) (* lambda2 lambda1))) (* 2 (+ (* lambda2 lambda2) (+ (* lambda1 lambda1) (* lambda2 lambda1)))))
852.0ms
(- (* (* (- (pow lambda2 3) (pow lambda1 3)) (* (sin (* 1/2 phi2)) (sin (* phi1 1/2)))) (* 2 (+ (* lambda2 lambda2) (+ (* lambda1 lambda1) (* lambda2 lambda1))))) (* (+ (* lambda2 lambda2) (+ (* lambda1 lambda1) (* lambda2 lambda1))) (* (+ (cos (+ (* 1/2 phi2) (* phi1 1/2))) (cos (- (* 1/2 phi2) (* phi1 1/2)))) (- (pow lambda2 3) (pow lambda1 3)))))
716.0ms
(- (* (* (- (pow lambda2 3) (pow lambda1 3)) (- (cos (- (* 1/2 phi2) (* phi1 1/2))) (cos (+ (* 1/2 phi2) (* phi1 1/2))))) (* 2 (+ (* lambda2 lambda2) (+ (* lambda1 lambda1) (* lambda2 lambda1))))) (* (* (+ (* lambda2 lambda2) (+ (* lambda1 lambda1) (* lambda2 lambda1))) 2) (* (+ (cos (+ (* 1/2 phi2) (* phi1 1/2))) (cos (- (* 1/2 phi2) (* phi1 1/2)))) (- (pow lambda2 3) (pow lambda1 3)))))
703.0ms
(* (+ (* lambda2 lambda2) (+ (* lambda1 lambda1) (* lambda2 lambda1))) (+ (* lambda2 lambda2) (+ (* lambda1 lambda1) (* lambda2 lambda1))))

prune3.5s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

regimes736.0ms

Accuracy

0% (0.1b remaining)

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

bsearch4.0ms

end0.0ms

sample6.9s

Algorithm
intervals
Results
2.6s8387×body80valid
1.8s1255×body640valid
1.1s758×body1280valid
697.0ms742×body320valid
234.0ms370×body160valid