Details

Time bar (total: 6.9m)

sample205.0ms

Algorithm
intervals
Results
66.0ms270×body80valid
44.0ms20×body320valid
37.0ms36×body640valid
33.0ms24×body1280valid
5.0ms10×body160valid

simplify281.0ms

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

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.4b

localize33.0ms

Local error

Found 4 expressions with local error:

34.3b
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))
3.5b
(cos (/ (+ phi1 phi2) 2))
3.5b
(cos (/ (+ phi1 phi2) 2))
0.2b
(* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))

rewrite150.0ms

Algorithm
rewrite-expression-head
Rules
130×associate-*l/
97×flip3-- flip--
66×sqrt-div
64×frac-times frac-add
32×associate-*r/
12×add-sqr-sqrt
9×*-un-lft-identity
7×pow1 add-cube-cbrt
6×add-cbrt-cube add-exp-log
5×associate-*l*
4×insert-posit16 add-log-exp
3×associate-*r* sqrt-prod
1×rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ distribute-lft-out-- difference-of-squares unswap-sqr
Calls
4 calls:
Slowest
105.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))
19.0ms
(* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))
14.0ms
(cos (/ (+ phi1 phi2) 2))
8.0ms
(cos (/ (+ phi1 phi2) 2))

series743.0ms

Calls
4 calls:
Slowest
558.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))
128.0ms
(* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))
32.0ms
(cos (/ (+ phi1 phi2) 2))
24.0ms
(cos (/ (+ phi1 phi2) 2))

simplify38.3s

Calls
96 calls:
Slowest
1.2s
(sqrt (+ (* (* (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (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 lambda2) (+ lambda1 lambda2)) (* (- (pow phi1 3) (pow phi2 3)) (- (pow phi1 3) (pow phi2 3))))))
934.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 phi1) (+ (* phi2 phi2) (* phi1 phi2))))) (* (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2))) (* (- (pow phi1 3) (pow phi2 3)) (- (pow phi1 3) (pow phi2 3))))))
926.0ms
(sqrt (+ (* (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2)))) (* (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))) (+ phi1 phi2))) (* (+ lambda1 lambda2) (* (- (pow phi1 3) (pow phi2 3)) (- (* phi1 phi1) (* phi2 phi2))))))
888.0ms
(sqrt (+ (* (* (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))) (+ phi1 phi2))) (* (+ lambda1 lambda2) (* (- (pow phi1 3) (pow phi2 3)) (- (* phi1 phi1) (* phi2 phi2))))))
883.0ms
(sqrt (+ (* (* (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2))) (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2)))) (* (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))) (+ phi1 phi2))) (* (* (+ lambda1 lambda2) (+ lambda1 lambda2)) (* (- (pow phi1 3) (pow phi2 3)) (- (* phi1 phi1) (* phi2 phi2))))))

prune3.1s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 22.0b

localize62.0ms

Local error

Found 4 expressions with local error:

34.3b
(sqrt (+ (* (* (- lambda1 lambda2) (log (exp (cos (/ (+ phi1 phi2) 2))))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))
3.5b
(cos (/ (+ phi1 phi2) 2))
3.5b
(cos (/ (+ phi1 phi2) 2))
0.5b
(log (exp (cos (/ (+ phi1 phi2) 2))))

rewrite146.0ms

Algorithm
rewrite-expression-head
Rules
128×associate-*l/
96×flip3-- flip--
66×sqrt-div
64×frac-times frac-add
32×associate-*r/
8×add-sqr-sqrt
7×*-un-lft-identity add-cube-cbrt
6×pow1
4×add-cbrt-cube add-exp-log log-pow insert-posit16 add-log-exp
3×log-prod exp-prod sqrt-prod
1×rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 rem-log-exp flip-+
Calls
4 calls:
Slowest
88.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (log (exp (cos (/ (+ phi1 phi2) 2))))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))
26.0ms
(log (exp (cos (/ (+ phi1 phi2) 2))))
15.0ms
(cos (/ (+ phi1 phi2) 2))
9.0ms
(cos (/ (+ phi1 phi2) 2))

series661.0ms

Calls
4 calls:
Slowest
570.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (log (exp (cos (/ (+ phi1 phi2) 2))))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))
35.0ms
(cos (/ (+ phi1 phi2) 2))
33.0ms
(log (exp (cos (/ (+ phi1 phi2) 2))))
22.0ms
(cos (/ (+ phi1 phi2) 2))

simplify34.9s

Calls
90 calls:
Slowest
1.2s
(sqrt (+ (* (* (* (- lambda1 lambda2) (log (exp (cos (/ (+ phi1 phi2) 2))))) (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2)))) (* (+ phi1 phi2) (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))))) (* (+ lambda1 lambda2) (* (- (* phi1 phi1) (* phi2 phi2)) (- (pow phi1 3) (pow phi2 3))))))
927.0ms
(sqrt (+ (* (* (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (log (exp (cos (/ (+ phi1 phi2) 2))))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))) (+ phi1 phi2))) (* (+ lambda1 lambda2) (* (- (pow phi1 3) (pow phi2 3)) (- (* phi1 phi1) (* phi2 phi2))))))
918.0ms
(sqrt (+ (* (* (* (- (pow lambda1 3) (pow lambda2 3)) (log (exp (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))))))
863.0ms
(sqrt (+ (* (* (* (- lambda1 lambda2) (log (exp (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 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2))) (* (- (pow phi1 3) (pow phi2 3)) (- (pow phi1 3) (pow phi2 3))))))
853.0ms
(sqrt (+ (* (* (* (- lambda1 lambda2) (log (exp (cos (/ (+ phi1 phi2) 2))))) (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2)))) (* (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))) (+ phi1 phi2))) (* (+ lambda1 lambda2) (* (- (pow phi1 3) (pow phi2 3)) (- (* phi1 phi1) (* phi2 phi2))))))

prune3.0s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 22.0b

localize98.0ms

Local error

Found 4 expressions with local error:

34.3b
(sqrt (+ (* (* (- lambda1 lambda2) (log (exp (cbrt (* (* (cos (/ (+ phi1 phi2) 2)) (cos (/ (+ phi1 phi2) 2))) (cos (/ (+ phi1 phi2) 2))))))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))
3.5b
(cos (/ (+ phi1 phi2) 2))
3.5b
(cos (/ (+ phi1 phi2) 2))
3.5b
(cos (/ (+ phi1 phi2) 2))

rewrite155.0ms

Algorithm
rewrite-expression-head
Rules
128×associate-*l/
96×flip3-- flip--
66×sqrt-div
64×frac-times frac-add
32×associate-*r/
6×add-sqr-sqrt
5×pow1 *-un-lft-identity add-cube-cbrt
4×add-cbrt-cube add-exp-log insert-posit16 add-log-exp
3×sqrt-prod
1×rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 flip-+
Calls
4 calls:
Slowest
125.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (log (exp (cbrt (* (* (cos (/ (+ phi1 phi2) 2)) (cos (/ (+ phi1 phi2) 2))) (cos (/ (+ phi1 phi2) 2))))))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))
9.0ms
(cos (/ (+ phi1 phi2) 2))
8.0ms
(cos (/ (+ phi1 phi2) 2))
8.0ms
(cos (/ (+ phi1 phi2) 2))

series712.0ms

Calls
4 calls:
Slowest
599.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (log (exp (cbrt (* (* (cos (/ (+ phi1 phi2) 2)) (cos (/ (+ phi1 phi2) 2))) (cos (/ (+ phi1 phi2) 2))))))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))
42.0ms
(cos (/ (+ phi1 phi2) 2))
37.0ms
(cos (/ (+ phi1 phi2) 2))
33.0ms
(cos (/ (+ phi1 phi2) 2))

simplify34.6s

Calls
83 calls:
Slowest
935.0ms
(sqrt (+ (* (* (* (- (pow lambda1 3) (pow lambda2 3)) (log (exp (cbrt (* (* (cos (/ (+ phi1 phi2) 2)) (cos (/ (+ phi1 phi2) 2))) (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))))))
884.0ms
(sqrt (+ (* (* (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (log (exp (cbrt (* (* (cos (/ (+ phi1 phi2) 2)) (cos (/ (+ phi1 phi2) 2))) (cos (/ (+ phi1 phi2) 2))))))) (* (- (pow lambda1 3) (pow lambda2 3)) (cos (/ (+ phi1 phi2) 2)))) (+ phi1 phi2)) (* (* (+ lambda1 lambda2) (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2)))) (* (- (* phi1 phi1) (* phi2 phi2)) (- phi1 phi2)))))
884.0ms
(sqrt (+ (* (* (* (- (pow lambda1 3) (pow lambda2 3)) (log (exp (cbrt (* (* (cos (/ (+ phi1 phi2) 2)) (cos (/ (+ phi1 phi2) 2))) (cos (/ (+ phi1 phi2) 2))))))) (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2)))) (* (+ phi1 phi2) (+ phi1 phi2))) (* (* (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2))) (+ lambda1 lambda2)) (* (- (* phi1 phi1) (* phi2 phi2)) (- (* phi1 phi1) (* phi2 phi2))))))
857.0ms
(sqrt (+ (* (* (* (- lambda1 lambda2) (log (exp (cbrt (* (* (cos (/ (+ phi1 phi2) 2)) (cos (/ (+ phi1 phi2) 2))) (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 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2))) (* (- (pow phi1 3) (pow phi2 3)) (- (pow phi1 3) (pow phi2 3))))))
820.0ms
(sqrt (+ (* (* (* (- lambda1 lambda2) (log (exp (cbrt (* (* (cos (/ (+ phi1 phi2) 2)) (cos (/ (+ phi1 phi2) 2))) (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 lambda2) (* (- (pow phi1 3) (pow phi2 3)) (- (pow phi1 3) (pow phi2 3))))))

prune2.9s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 22.0b

localize96.0ms

Local error

Found 4 expressions with local error:

34.3b
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (* (cbrt (- lambda1 lambda2)) (cbrt (- lambda1 lambda2))) (* (cbrt (- lambda1 lambda2)) (cos (/ (+ phi1 phi2) 2))))) (* (- phi1 phi2) (- phi1 phi2))))
3.5b
(cos (/ (+ phi1 phi2) 2))
3.5b
(cos (/ (+ phi1 phi2) 2))
0.5b
(* (cbrt (- lambda1 lambda2)) (cbrt (- lambda1 lambda2)))

rewrite515.0ms

Algorithm
rewrite-expression-head
Rules
1412×frac-times
1378×associate-*l/
1350×flip3-- flip--
1308×cbrt-div
642×sqrt-div
640×frac-add
562×associate-*r/
30×add-sqr-sqrt
28×cbrt-prod
27×*-un-lft-identity
13×add-cube-cbrt
12×pow1
10×swap-sqr
8×associate-*r* associate-*l*
6×pow1/3 add-exp-log distribute-lft-out--
4×add-cbrt-cube insert-posit16 add-log-exp difference-of-squares unswap-sqr
3×sqrt-prod
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 rem-sqrt-square sqrt-pow1 flip3-+ pow-plus pow1/2 prod-exp *-commutative cbrt-unprod flip-+
Calls
4 calls:
Slowest
391.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (* (cbrt (- lambda1 lambda2)) (cbrt (- lambda1 lambda2))) (* (cbrt (- lambda1 lambda2)) (cos (/ (+ phi1 phi2) 2))))) (* (- phi1 phi2) (- phi1 phi2))))
37.0ms
(* (cbrt (- lambda1 lambda2)) (cbrt (- lambda1 lambda2)))
9.0ms
(cos (/ (+ phi1 phi2) 2))
8.0ms
(cos (/ (+ phi1 phi2) 2))

series859.0ms

Calls
4 calls:
Slowest
611.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (* (cbrt (- lambda1 lambda2)) (cbrt (- lambda1 lambda2))) (* (cbrt (- lambda1 lambda2)) (cos (/ (+ phi1 phi2) 2))))) (* (- phi1 phi2) (- phi1 phi2))))
182.0ms
(* (cbrt (- lambda1 lambda2)) (cbrt (- lambda1 lambda2)))
36.0ms
(cos (/ (+ phi1 phi2) 2))
31.0ms
(cos (/ (+ phi1 phi2) 2))

simplify4.5m

Calls
727 calls:
Slowest
1.3s
(sqrt (+ (* (* (* (- (pow lambda1 3) (pow lambda2 3)) (cos (/ (+ phi1 phi2) 2))) (* (* (cbrt (- (pow lambda1 3) (pow lambda2 3))) (cbrt (- (* lambda1 lambda1) (* lambda2 lambda2)))) (* (cbrt (- lambda1 lambda2)) (cos (/ (+ phi1 phi2) 2))))) (* (+ phi1 phi2) (+ phi1 phi2))) (* (* (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2))) (* (cbrt (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2)))) (cbrt (+ lambda1 lambda2)))) (* (- (* phi1 phi1) (* phi2 phi2)) (- (* phi1 phi1) (* phi2 phi2))))))
1.2s
(sqrt (+ (* (* (* (- (pow lambda1 3) (pow lambda2 3)) (cos (/ (+ phi1 phi2) 2))) (* (* (cbrt (- (pow lambda1 3) (pow lambda2 3))) (cbrt (- (pow lambda1 3) (pow lambda2 3)))) (* (cbrt (- (* lambda1 lambda1) (* lambda2 lambda2))) (cos (/ (+ phi1 phi2) 2))))) (* (+ phi1 phi2) (+ phi1 phi2))) (* (* (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2))) (* (* (cbrt (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2)))) (cbrt (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2))))) (cbrt (+ lambda1 lambda2)))) (* (- (* phi1 phi1) (* phi2 phi2)) (- (* phi1 phi1) (* phi2 phi2))))))
1.2s
(sqrt (+ (* (* (* (- (pow lambda1 3) (pow lambda2 3)) (cos (/ (+ phi1 phi2) 2))) (* (* (cbrt (- lambda1 lambda2)) (cbrt (- (* lambda1 lambda1) (* lambda2 lambda2)))) (* (cbrt (- (* lambda1 lambda1) (* lambda2 lambda2))) (cos (/ (+ phi1 phi2) 2))))) (+ phi1 phi2)) (* (* (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2))) (* (cbrt (+ lambda1 lambda2)) (cbrt (+ lambda1 lambda2)))) (* (- phi1 phi2) (- (* phi1 phi1) (* phi2 phi2))))))
1.2s
(sqrt (+ (* (* (* (- (pow lambda1 3) (pow lambda2 3)) (cos (/ (+ phi1 phi2) 2))) (* (* (cbrt (- (* lambda1 lambda1) (* lambda2 lambda2))) (cbrt (- (* lambda1 lambda1) (* lambda2 lambda2)))) (* (cbrt (- (pow lambda1 3) (pow lambda2 3))) (cos (/ (+ phi1 phi2) 2))))) (* (+ phi1 phi2) (+ phi1 phi2))) (* (* (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2))) (* (* (cbrt (+ lambda1 lambda2)) (cbrt (+ lambda1 lambda2))) (cbrt (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2)))))) (* (- (* phi1 phi1) (* phi2 phi2)) (- (* phi1 phi1) (* phi2 phi2))))))
1.2s
(sqrt (+ (* (* (* (- (pow lambda1 3) (pow lambda2 3)) (cos (/ (+ phi1 phi2) 2))) (* (* (cbrt (- (pow lambda1 3) (pow lambda2 3))) (cbrt (- (pow lambda1 3) (pow lambda2 3)))) (* (cbrt (- (* lambda1 lambda1) (* lambda2 lambda2))) (cos (/ (+ phi1 phi2) 2))))) (+ phi1 phi2)) (* (* (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2))) (* (* (cbrt (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2)))) (cbrt (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2))))) (cbrt (+ lambda1 lambda2)))) (* (- (* phi1 phi1) (* phi2 phi2)) (- phi1 phi2)))))

prune17.1s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 22.0b

regimes882.0ms

Accuracy

66.6% (4.3b remaining)

Error of 28.7b against oracle of 24.3b and baseline of 37.3b

bsearch9.0ms

end0.0ms

sample4.4s

Algorithm
intervals
Results
1.5s8443×body80valid
1.2s784×body1280valid
1.1s1280×body640valid
317.0ms735×body320valid
89.0ms325×body160valid