Details

Time bar (total: 2.2m)

sample213.0ms

Algorithm
intervals
Results
85.0ms262×body80valid
64.0ms60×body640valid
22.0ms18×body1280valid
12.0ms18×body320valid
6.0ms12×body160valid

simplify199.0ms

Calls
1 calls:
Slowest
199.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: 37.0b

localize43.0ms

Local error

Found 4 expressions with local error:

36.1b
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))
2.8b
(cos (/ (+ phi1 phi2) 2))
2.8b
(cos (/ (+ phi1 phi2) 2))
0.2b
(* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
142×associate-*l/
102×flip3-- flip--
68×frac-times
66×sqrt-div
64×frac-add
34×associate-*r/
31×pow1
16×add-cbrt-cube add-exp-log
13×pow-prod-down
8×prod-exp cbrt-unprod
6×add-sqr-sqrt
5×*-un-lft-identity add-cube-cbrt
4×pow-prod-up insert-posit16 add-log-exp
3×sqrt-prod
2×pow-plus
1×pow2 rem-sqrt-square flip3-+ pow1/2 associate-*r* associate-*l* *-commutative flip-+
Calls
4 calls:
Slowest
37.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))
34.0ms
(* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))))
2.0ms
(cos (/ (+ phi1 phi2) 2))
2.0ms
(cos (/ (+ phi1 phi2) 2))

series800.0ms

Calls
4 calls:
Slowest
592.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))
143.0ms
(* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))))
38.0ms
(cos (/ (+ phi1 phi2) 2))
28.0ms
(cos (/ (+ phi1 phi2) 2))

simplify46.3s

Calls
118 calls:
Slowest
1.2s
(sqrt (+ (* (* (* (- (pow lambda1 3) (pow lambda2 3)) (cos (/ (+ phi1 phi2) 2))) (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2)))) (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2)))) (* (* (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2))) (+ lambda1 lambda2)) (* (- phi1 phi2) (- (pow phi1 3) (pow phi2 3))))))
1.2s
(sqrt (+ (* (* (* (- (pow lambda1 3) (pow lambda2 3)) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))) (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))))) (* (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2))) (* (- (pow phi1 3) (pow phi2 3)) (- (pow phi1 3) (pow phi2 3))))))
965.0ms
(sqrt (+ (* (* (* (- (pow lambda1 3) (pow lambda2 3)) (cos (/ (+ phi1 phi2) 2))) (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2)))) (* (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))) (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))))) (* (* (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2))) (+ lambda1 lambda2)) (* (- (pow phi1 3) (pow phi2 3)) (- (pow phi1 3) (pow phi2 3))))))
886.0ms
(sqrt (+ (* (* (* (- (pow lambda1 3) (pow lambda2 3)) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))) (+ phi1 phi2))) (* (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2))) (* (- (pow phi1 3) (pow phi2 3)) (- (* phi1 phi1) (* phi2 phi2))))))
876.0ms
(sqrt (+ (* (* (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2))) (* (- (pow lambda1 3) (pow lambda2 3)) (cos (/ (+ phi1 phi2) 2)))) (* (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))) (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))))) (* (* (+ lambda1 lambda2) (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2)))) (* (- (pow phi1 3) (pow phi2 3)) (- (pow phi1 3) (pow phi2 3))))))

prune2.6s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 22.5b

localize38.0ms

Local error

Found 4 expressions with local error:

36.1b
(sqrt (+ (+ (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1)) (* (- phi1 phi2) (- phi1 phi2))))
1.8b
(+ (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1))
0.0b
(* R (sqrt (+ (+ (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1)) (* (- phi1 phi2) (- phi1 phi2)))))
0.0b
(+ (+ (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1)) (* (- phi1 phi2) (- phi1 phi2)))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
48×frac-add
36×flip3-- sqrt-div flip--
30×associate-*r/
28×flip3-+ flip-+
24×frac-times
12×associate-*l/
11×add-log-exp
8×add-sqr-sqrt
7×*-un-lft-identity add-cube-cbrt
6×associate-*r* sqrt-prod
4×pow1 associate-+r+ sum-log add-cbrt-cube add-exp-log insert-posit16
2×distribute-rgt-in +-commutative sub-neg distribute-lft-in
1×rem-sqrt-square associate-+l+ pow1/2 *-commutative
Calls
4 calls:
Slowest
25.0ms
(+ (+ (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1)) (* (- phi1 phi2) (- phi1 phi2)))
18.0ms
(sqrt (+ (+ (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1)) (* (- phi1 phi2) (- phi1 phi2))))
16.0ms
(* R (sqrt (+ (+ (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1)) (* (- phi1 phi2) (- phi1 phi2)))))
3.0ms
(+ (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1))

series872.0ms

Calls
4 calls:
Slowest
347.0ms
(* R (sqrt (+ (+ (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1)) (* (- phi1 phi2) (- phi1 phi2)))))
257.0ms
(+ (+ (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1)) (* (- phi1 phi2) (- phi1 phi2)))
226.0ms
(sqrt (+ (+ (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1)) (* (- phi1 phi2) (- phi1 phi2))))
42.0ms
(+ (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1))

simplify33.2s

Calls
98 calls:
Slowest
1.2s
(sqrt (+ (* (+ (pow (* lambda2 lambda2) 3) (pow (* (+ lambda1 (* lambda2 -2)) lambda1) 3)) (* (+ phi1 phi2) (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))))) (* (+ (* (* lambda2 lambda2) (* lambda2 lambda2)) (- (* (* (+ lambda1 (* lambda2 -2)) lambda1) (* (+ lambda1 (* lambda2 -2)) lambda1)) (* (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1)))) (* (- (* phi1 phi1) (* phi2 phi2)) (- (pow phi1 3) (pow phi2 3))))))
838.0ms
(+ (* (- (* (* lambda2 lambda2) (* lambda2 lambda2)) (* (* (+ lambda1 (* lambda2 -2)) lambda1) (* (+ lambda1 (* lambda2 -2)) lambda1))) (* (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))) (+ phi1 phi2))) (* (- (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1)) (* (- (pow phi1 3) (pow phi2 3)) (- (* phi1 phi1) (* phi2 phi2)))))
709.0ms
(+ (* (+ (pow (* lambda2 lambda2) 3) (pow (* (+ lambda1 (* lambda2 -2)) lambda1) 3)) (* (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))) (+ phi1 phi2))) (* (+ (* (* lambda2 lambda2) (* lambda2 lambda2)) (- (* (* (+ lambda1 (* lambda2 -2)) lambda1) (* (+ lambda1 (* lambda2 -2)) lambda1)) (* (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1)))) (* (- (pow phi1 3) (pow phi2 3)) (- (* phi1 phi1) (* phi2 phi2)))))
674.0ms
(sqrt (+ (* (+ (pow (* lambda2 lambda2) 3) (pow (* (+ lambda1 (* lambda2 -2)) lambda1) 3)) (* (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))) (+ phi1 phi2))) (* (+ (* (* lambda2 lambda2) (* lambda2 lambda2)) (- (* (* (+ lambda1 (* lambda2 -2)) lambda1) (* (+ lambda1 (* lambda2 -2)) lambda1)) (* (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1)))) (* (- (pow phi1 3) (pow phi2 3)) (- (* phi1 phi1) (* phi2 phi2))))))
631.0ms
(+ (* (+ (pow (* lambda2 lambda2) 3) (pow (* (+ lambda1 (* lambda2 -2)) lambda1) 3)) (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2)))) (* (+ (* (* lambda2 lambda2) (* lambda2 lambda2)) (- (* (* (+ lambda1 (* lambda2 -2)) lambda1) (* (+ lambda1 (* lambda2 -2)) lambda1)) (* (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1)))) (* (- phi1 phi2) (- (pow phi1 3) (pow phi2 3)))))

prune2.2s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 20.1b

localize33.0ms

Local error

Found 4 expressions with local error:

36.1b
(sqrt (+ (exp (log (+ (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1)))) (* (- phi1 phi2) (- phi1 phi2))))
27.6b
(log (+ (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1)))
3.1b
(exp (log (+ (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1))))
1.8b
(+ (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
20×log-div
18×exp-diff sqrt-div
16×frac-add
12×flip3-+ flip3-- flip-+ flip--
9×add-sqr-sqrt
8×frac-times *-un-lft-identity add-cube-cbrt
6×pow1 log-prod add-log-exp
5×add-exp-log
4×exp-prod add-cbrt-cube associate-*l/ associate-*r/ insert-posit16
3×exp-sum sqrt-prod
2×log-pow
1×+-commutative rem-sqrt-square sum-log pow1/2 rem-log-exp rem-exp-log
Calls
4 calls:
Slowest
35.0ms
(sqrt (+ (exp (log (+ (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1)))) (* (- phi1 phi2) (- phi1 phi2))))
7.0ms
(exp (log (+ (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1))))
6.0ms
(+ (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1))
4.0ms
(log (+ (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1)))

series419.0ms

Calls
4 calls:
Slowest
220.0ms
(sqrt (+ (exp (log (+ (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1)))) (* (- phi1 phi2) (- phi1 phi2))))
116.0ms
(log (+ (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1)))
42.0ms
(exp (log (+ (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1))))
41.0ms
(+ (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1))

simplify13.6s

Calls
51 calls:
Slowest
731.0ms
(sqrt (+ (* (exp (log (+ (pow (* lambda2 lambda2) 3) (pow (* (+ lambda1 (* lambda2 -2)) lambda1) 3)))) (* (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))) (+ phi1 phi2))) (* (exp (log (+ (* (* lambda2 lambda2) (* lambda2 lambda2)) (- (* (* (+ lambda1 (* lambda2 -2)) lambda1) (* (+ lambda1 (* lambda2 -2)) lambda1)) (* (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1)))))) (* (- (pow phi1 3) (pow phi2 3)) (- (* phi1 phi1) (* phi2 phi2))))))
724.0ms
(sqrt (+ (* (exp (log (- (* (* lambda2 lambda2) (* lambda2 lambda2)) (* (* (+ lambda1 (* lambda2 -2)) lambda1) (* (+ lambda1 (* lambda2 -2)) lambda1))))) (* (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))) (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))))) (* (exp (log (- (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1)))) (* (- (pow phi1 3) (pow phi2 3)) (- (pow phi1 3) (pow phi2 3))))))
696.0ms
(sqrt (+ (* (exp (log (+ (pow (* lambda2 lambda2) 3) (pow (* (+ lambda1 (* lambda2 -2)) lambda1) 3)))) (* (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))) (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))))) (* (exp (log (+ (* (* lambda2 lambda2) (* lambda2 lambda2)) (- (* (* (+ lambda1 (* lambda2 -2)) lambda1) (* (+ lambda1 (* lambda2 -2)) lambda1)) (* (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1)))))) (* (- (pow phi1 3) (pow phi2 3)) (- (pow phi1 3) (pow phi2 3))))))
666.0ms
(sqrt (+ (* (exp (log (+ (pow (* lambda2 lambda2) 3) (pow (* (+ lambda1 (* lambda2 -2)) lambda1) 3)))) (* (+ phi1 phi2) (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))))) (* (exp (log (+ (* (* lambda2 lambda2) (* lambda2 lambda2)) (- (* (* (+ lambda1 (* lambda2 -2)) lambda1) (* (+ lambda1 (* lambda2 -2)) lambda1)) (* (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1)))))) (* (- (* phi1 phi1) (* phi2 phi2)) (- (pow phi1 3) (pow phi2 3))))))
586.0ms
(sqrt (+ (* (exp (log (- (* (* lambda2 lambda2) (* lambda2 lambda2)) (* (* (+ lambda1 (* lambda2 -2)) lambda1) (* (+ lambda1 (* lambda2 -2)) lambda1))))) (* (+ phi1 phi2) (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))))) (* (exp (log (- (* lambda2 lambda2) (* (+ lambda1 (* lambda2 -2)) lambda1)))) (* (- (* phi1 phi1) (* phi2 phi2)) (- (pow phi1 3) (pow phi2 3))))))

prune1.6s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 20.1b

localize33.0ms

Local error

Found 4 expressions with local error:

36.1b
(sqrt (+ (/ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2)))) (+ lambda1 lambda2)) (* (- phi1 phi2) (- phi1 phi2))))
9.5b
(/ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2)))) (+ lambda1 lambda2))
4.1b
(- (* lambda1 lambda1) (* lambda2 lambda2))
2.8b
(cos (/ (+ phi1 phi2) 2))

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
22×add-cbrt-cube add-exp-log
16×associate-*l/
13×flip3-- flip--
10×sqrt-div
8×add-sqr-sqrt frac-times frac-add prod-exp cbrt-unprod associate-/l/
7×*-un-lft-identity add-cube-cbrt
6×add-log-exp
5×cbrt-undiv div-exp
4×pow1 associate-*r/ insert-posit16
3×associate-/r* times-frac sqrt-prod
2×flip3-+ associate-/r/ flip-+
1×rem-sqrt-square clear-num sub-neg frac-2neg pow1/2 diff-log div-inv associate-/l* difference-of-squares
Calls
4 calls:
Slowest
35.0ms
(/ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2)))) (+ lambda1 lambda2))
29.0ms
(sqrt (+ (/ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2)))) (+ lambda1 lambda2)) (* (- phi1 phi2) (- phi1 phi2))))
2.0ms
(- (* lambda1 lambda1) (* lambda2 lambda2))
2.0ms
(cos (/ (+ phi1 phi2) 2))

series994.0ms

Calls
4 calls:
Slowest
729.0ms
(sqrt (+ (/ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2)))) (+ lambda1 lambda2)) (* (- phi1 phi2) (- phi1 phi2))))
192.0ms
(/ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2)))) (+ lambda1 lambda2))
48.0ms
(- (* lambda1 lambda1) (* lambda2 lambda2))
26.0ms
(cos (/ (+ phi1 phi2) 2))

simplify18.3s

Calls
59 calls:
Slowest
1.4s
(/ (* (* (* (* (- lambda1 lambda2) (- lambda1 lambda2)) (- lambda1 lambda2)) (* (* (cos (/ (+ phi1 phi2) 2)) (cos (/ (+ phi1 phi2) 2))) (cos (/ (+ phi1 phi2) 2)))) (* (* (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (- (* lambda1 lambda1) (* lambda2 lambda2))) (- (* lambda1 lambda1) (* lambda2 lambda2))) (* (* (cos (/ (+ phi1 phi2) 2)) (cos (/ (+ phi1 phi2) 2))) (cos (/ (+ phi1 phi2) 2))))) (* (* (+ lambda1 lambda2) (+ lambda1 lambda2)) (+ lambda1 lambda2)))
1.3s
(/ (* (* (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (* (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (- (* lambda1 lambda1) (* lambda2 lambda2))) (- (* lambda1 lambda1) (* lambda2 lambda2))) (* (* (cos (/ (+ phi1 phi2) 2)) (cos (/ (+ phi1 phi2) 2))) (cos (/ (+ phi1 phi2) 2))))) (* (* (+ lambda1 lambda2) (+ lambda1 lambda2)) (+ lambda1 lambda2)))
1.3s
(/ (* (* (* (* (- lambda1 lambda2) (- lambda1 lambda2)) (- lambda1 lambda2)) (* (* (cos (/ (+ phi1 phi2) 2)) (cos (/ (+ phi1 phi2) 2))) (cos (/ (+ phi1 phi2) 2)))) (* (* (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2))) (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2)))) (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2))))) (* (* (+ lambda1 lambda2) (+ lambda1 lambda2)) (+ lambda1 lambda2)))
1.2s
(/ (* (* (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2)))) (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2))))) (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2))))) (* (* (+ lambda1 lambda2) (+ lambda1 lambda2)) (+ lambda1 lambda2)))
1.0s
(/ (* (* (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (* (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2))) (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2)))) (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2))))) (* (* (+ lambda1 lambda2) (+ lambda1 lambda2)) (+ lambda1 lambda2)))

prune1.7s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 20.1b

regimes1.2s

Accuracy

51.4% (7.5b remaining)

Error of 29.2b against oracle of 21.7b and baseline of 37.1b

bsearch7.0ms

end0.0ms

sample6.7s

Algorithm
intervals
Results
2.4s8309×body80valid
2.0s1311×body640valid
1.2s822×body1280valid
584.0ms770×body320valid
182.0ms353×body160valid