Details

Time bar (total: 2.7m)

sample221.0ms

Algorithm
intervals
Results
70.0ms267×body80valid
64.0ms40×body640valid
42.0ms28×body1280valid
19.0ms25×body320valid
5.0msbody160valid

simplify325.0ms

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

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 36.2b

localize47.0ms

Local error

Found 4 expressions with local error:

35.0b
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))
2.3b
(cos (/ (+ phi1 phi2) 2))
2.3b
(cos (/ (+ phi1 phi2) 2))
0.2b
(* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))

rewrite182.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
*-un-lft-identity
pow1 add-cube-cbrt
add-cbrt-cube add-exp-log
associate-*l*
insert-posit16 add-log-exp
associate-*r* sqrt-prod
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
Counts
4 → 119
Calls
4 calls:
Slowest
122.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))
37.0ms
(* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))
8.0ms
(cos (/ (+ phi1 phi2) 2))
8.0ms
(cos (/ (+ phi1 phi2) 2))

series745.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
571.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))
117.0ms
(* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))
35.0ms
(cos (/ (+ phi1 phi2) 2))
23.0ms
(cos (/ (+ phi1 phi2) 2))

simplify37.1s

Counts
96 → 131
Calls
96 calls:
Slowest
1.2s
(sqrt (+ (* (* (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 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))))))
1.2s
(sqrt (+ (* (* (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2))) (* (- (pow lambda1 3) (pow lambda2 3)) (cos (/ (+ phi1 phi2) 2)))) (* (+ phi1 phi2) (+ phi1 phi2))) (* (* (+ lambda1 lambda2) (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2)))) (* (- (* phi1 phi1) (* phi2 phi2)) (- (* phi1 phi1) (* phi2 phi2))))))
996.0ms
(sqrt (+ (* (* (* (- lambda1 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 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2))) (* (- (pow phi1 3) (pow phi2 3)) (- (pow phi1 3) (pow phi2 3))))))
973.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 phi1) (+ (* phi2 phi2) (* phi1 phi2))))) (* (* (+ lambda1 lambda2) (+ lambda1 lambda2)) (* (- (pow phi1 3) (pow phi2 3)) (- (pow phi1 3) (pow phi2 3))))))
910.0ms
(sqrt (+ (* (* (* (- (pow lambda1 3) (pow lambda2 3)) (cos (/ (+ phi1 phi2) 2))) (* (- (pow lambda1 3) (pow lambda2 3)) (cos (/ (+ phi1 phi2) 2)))) (* (+ phi1 phi2) (+ phi1 phi2))) (* (* (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2))) (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2)))) (* (- (* phi1 phi1) (* phi2 phi2)) (- (* phi1 phi1) (* phi2 phi2))))))

prune2.9s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 23.7b

localize75.0ms

Local error

Found 4 expressions with local error:

35.0b
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (cos (/ (+ phi1 phi2) 2)) (- lambda1 lambda2))) (* (- phi1 phi2) (- phi1 phi2))))
2.3b
(cos (/ (+ phi1 phi2) 2))
2.3b
(cos (/ (+ phi1 phi2) 2))
0.2b
(* (cos (/ (+ phi1 phi2) 2)) (- lambda1 lambda2))

rewrite183.0ms

Algorithm
rewrite-expression-head
Rules
97×flip3-- flip--
82×associate-*r/
80×associate-*l/
66×sqrt-div
64×frac-times frac-add
12×add-sqr-sqrt
*-un-lft-identity
pow1 add-cube-cbrt
add-cbrt-cube add-exp-log
associate-*r*
insert-posit16 add-log-exp
associate-*l* sqrt-prod
distribute-rgt-in sub-neg distribute-lft-in
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
Counts
4 → 123
Calls
4 calls:
Slowest
114.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (cos (/ (+ phi1 phi2) 2)) (- lambda1 lambda2))) (* (- phi1 phi2) (- phi1 phi2))))
32.0ms
(* (cos (/ (+ phi1 phi2) 2)) (- lambda1 lambda2))
15.0ms
(cos (/ (+ phi1 phi2) 2))
14.0ms
(cos (/ (+ phi1 phi2) 2))

series755.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
528.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (cos (/ (+ phi1 phi2) 2)) (- lambda1 lambda2))) (* (- phi1 phi2) (- phi1 phi2))))
169.0ms
(* (cos (/ (+ phi1 phi2) 2)) (- lambda1 lambda2))
31.0ms
(cos (/ (+ phi1 phi2) 2))
26.0ms
(cos (/ (+ phi1 phi2) 2))

simplify40.3s

Counts
101 → 135
Calls
101 calls:
Slowest
1.3s
(sqrt (+ (* (* (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2))) (* (cos (/ (+ phi1 phi2) 2)) (- (* lambda1 lambda1) (* lambda2 lambda2)))) (* (+ phi1 phi2) (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))))) (* (* (+ lambda1 lambda2) (+ lambda1 lambda2)) (* (- (* phi1 phi1) (* phi2 phi2)) (- (pow phi1 3) (pow phi2 3))))))
1.1s
(sqrt (+ (* (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (cos (/ (+ phi1 phi2) 2)) (- (pow lambda1 3) (pow lambda2 3)))) (* (+ (* 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))))))
989.0ms
(sqrt (+ (* (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (cos (/ (+ phi1 phi2) 2)) (- (* lambda1 lambda1) (* lambda2 lambda2)))) (* (+ (* 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))))))
920.0ms
(sqrt (+ (* (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (cos (/ (+ phi1 phi2) 2)) (- (pow lambda1 3) (pow lambda2 3)))) (* (+ phi1 phi2) (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))))) (* (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2))) (* (- (* phi1 phi1) (* phi2 phi2)) (- (pow phi1 3) (pow phi2 3))))))
915.0ms
(sqrt (+ (* (* (* (- (pow lambda1 3) (pow lambda2 3)) (cos (/ (+ phi1 phi2) 2))) (* (cos (/ (+ phi1 phi2) 2)) (- lambda1 lambda2))) (* (+ (* 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))))))

prune3.0s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 23.7b

localize50.0ms

Local error

Found 4 expressions with local error:

35.0b
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (+ (* lambda1 (cos (/ (+ phi1 phi2) 2))) (* (- lambda2) (cos (/ (+ phi1 phi2) 2))))) (* (- phi1 phi2) (- phi1 phi2))))
2.3b
(cos (/ (+ phi1 phi2) 2))
2.3b
(cos (/ (+ phi1 phi2) 2))
2.3b
(cos (/ (+ phi1 phi2) 2))

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
80×associate-*l/
72×flip3-- flip--
66×sqrt-div
64×frac-times frac-add
32×associate-*r/
25×flip3-+ flip-+
add-sqr-sqrt
pow1 *-un-lft-identity add-cube-cbrt
add-cbrt-cube add-exp-log insert-posit16 add-log-exp
sqrt-prod
rem-sqrt-square sqrt-pow1 pow1/2
Counts
4 → 104
Calls
4 calls:
Slowest
70.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (+ (* lambda1 (cos (/ (+ phi1 phi2) 2))) (* (- lambda2) (cos (/ (+ phi1 phi2) 2))))) (* (- phi1 phi2) (- phi1 phi2))))
8.0ms
(cos (/ (+ phi1 phi2) 2))
7.0ms
(cos (/ (+ phi1 phi2) 2))
7.0ms
(cos (/ (+ phi1 phi2) 2))

series592.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
524.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (+ (* lambda1 (cos (/ (+ phi1 phi2) 2))) (* (- lambda2) (cos (/ (+ phi1 phi2) 2))))) (* (- phi1 phi2) (- phi1 phi2))))
23.0ms
(cos (/ (+ phi1 phi2) 2))
22.0ms
(cos (/ (+ phi1 phi2) 2))
22.0ms
(cos (/ (+ phi1 phi2) 2))

simplify28.2s

Counts
83 → 116
Calls
83 calls:
Slowest
1.2s
(sqrt (+ (* (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (- (* (* lambda1 (cos (/ (+ phi1 phi2) 2))) (* lambda1 (cos (/ (+ phi1 phi2) 2)))) (* (* (- lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda2) (cos (/ (+ phi1 phi2) 2)))))) (* (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))) (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))))) (* (- (* lambda1 (cos (/ (+ phi1 phi2) 2))) (* (- lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- (pow phi1 3) (pow phi2 3)) (- (pow phi1 3) (pow phi2 3))))))
1.0s
(sqrt (+ (* (* (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2))) (+ (* lambda1 (cos (/ (+ phi1 phi2) 2))) (* (- 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))))))
993.0ms
(sqrt (+ (* (* (* (- (pow lambda1 3) (pow lambda2 3)) (cos (/ (+ phi1 phi2) 2))) (+ (* lambda1 (cos (/ (+ phi1 phi2) 2))) (* (- lambda2) (cos (/ (+ phi1 phi2) 2))))) (+ phi1 phi2)) (* (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2))) (* (- (* phi1 phi1) (* phi2 phi2)) (- phi1 phi2)))))
961.0ms
(sqrt (+ (* (* (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2))) (+ (* lambda1 (cos (/ (+ phi1 phi2) 2))) (* (- 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))))))
874.0ms
(sqrt (+ (* (* (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2))) (+ (* lambda1 (cos (/ (+ phi1 phi2) 2))) (* (- lambda2) (cos (/ (+ phi1 phi2) 2))))) (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2)))) (* (+ lambda1 lambda2) (* (- phi1 phi2) (- (pow phi1 3) (pow phi2 3))))))

prune3.3s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 23.7b

localize99.0ms

Local error

Found 4 expressions with local error:

35.0b
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (+ (* lambda1 (log (exp (cos (/ (+ phi1 phi2) 2))))) (* (- lambda2) (cos (/ (+ phi1 phi2) 2))))) (* (- phi1 phi2) (- phi1 phi2))))
2.3b
(cos (/ (+ phi1 phi2) 2))
2.3b
(cos (/ (+ phi1 phi2) 2))
2.3b
(cos (/ (+ phi1 phi2) 2))

rewrite125.0ms

Algorithm
rewrite-expression-head
Rules
80×associate-*l/
72×flip3-- flip--
66×sqrt-div
64×frac-times frac-add
32×associate-*r/
25×flip3-+ flip-+
add-sqr-sqrt
pow1 *-un-lft-identity add-cube-cbrt
add-cbrt-cube add-exp-log insert-posit16 add-log-exp
sqrt-prod
rem-sqrt-square sqrt-pow1 pow1/2
Counts
4 → 104
Calls
4 calls:
Slowest
80.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (+ (* lambda1 (log (exp (cos (/ (+ phi1 phi2) 2))))) (* (- lambda2) (cos (/ (+ phi1 phi2) 2))))) (* (- phi1 phi2) (- phi1 phi2))))
15.0ms
(cos (/ (+ phi1 phi2) 2))
15.0ms
(cos (/ (+ phi1 phi2) 2))
7.0ms
(cos (/ (+ phi1 phi2) 2))

series737.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
645.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (+ (* lambda1 (log (exp (cos (/ (+ phi1 phi2) 2))))) (* (- lambda2) (cos (/ (+ phi1 phi2) 2))))) (* (- phi1 phi2) (- phi1 phi2))))
36.0ms
(cos (/ (+ phi1 phi2) 2))
28.0ms
(cos (/ (+ phi1 phi2) 2))
27.0ms
(cos (/ (+ phi1 phi2) 2))

simplify30.5s

Counts
83 → 116
Calls
83 calls:
Slowest
1.0s
(sqrt (+ (* (* (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2))) (- (* (* lambda1 (log (exp (cos (/ (+ phi1 phi2) 2))))) (* lambda1 (log (exp (cos (/ (+ phi1 phi2) 2)))))) (* (* (- lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda2) (cos (/ (+ phi1 phi2) 2)))))) (+ phi1 phi2)) (* (* (+ lambda1 lambda2) (- (* lambda1 (log (exp (cos (/ (+ phi1 phi2) 2))))) (* (- lambda2) (cos (/ (+ phi1 phi2) 2))))) (* (- (* phi1 phi1) (* phi2 phi2)) (- phi1 phi2)))))
997.0ms
(sqrt (+ (* (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (- (* (* lambda1 (log (exp (cos (/ (+ phi1 phi2) 2))))) (* lambda1 (log (exp (cos (/ (+ phi1 phi2) 2)))))) (* (* (- lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda2) (cos (/ (+ phi1 phi2) 2)))))) (* (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))) (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2))))) (* (- (* lambda1 (log (exp (cos (/ (+ phi1 phi2) 2))))) (* (- lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- (pow phi1 3) (pow phi2 3)) (- (pow phi1 3) (pow phi2 3))))))
933.0ms
(sqrt (+ (* (* (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2))) (- (* (* lambda1 (log (exp (cos (/ (+ phi1 phi2) 2))))) (* lambda1 (log (exp (cos (/ (+ phi1 phi2) 2)))))) (* (* (- lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda2) (cos (/ (+ phi1 phi2) 2)))))) (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2)))) (* (* (+ lambda1 lambda2) (- (* lambda1 (log (exp (cos (/ (+ phi1 phi2) 2))))) (* (- lambda2) (cos (/ (+ phi1 phi2) 2))))) (* (- (pow phi1 3) (pow phi2 3)) (- phi1 phi2)))))
888.0ms
(sqrt (+ (* (* (* (- (* lambda1 lambda1) (* lambda2 lambda2)) (cos (/ (+ phi1 phi2) 2))) (- (* (* lambda1 (log (exp (cos (/ (+ phi1 phi2) 2))))) (* lambda1 (log (exp (cos (/ (+ phi1 phi2) 2)))))) (* (* (- lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda2) (cos (/ (+ phi1 phi2) 2)))))) (+ (* phi1 phi1) (+ (* phi2 phi2) (* phi1 phi2)))) (* (* (+ lambda1 lambda2) (- (* lambda1 (log (exp (cos (/ (+ phi1 phi2) 2))))) (* (- lambda2) (cos (/ (+ phi1 phi2) 2))))) (* (- phi1 phi2) (- (pow phi1 3) (pow phi2 3))))))
888.0ms
(sqrt (+ (* (* (* (- (pow lambda1 3) (pow lambda2 3)) (cos (/ (+ phi1 phi2) 2))) (- (* (* lambda1 (log (exp (cos (/ (+ phi1 phi2) 2))))) (* lambda1 (log (exp (cos (/ (+ phi1 phi2) 2)))))) (* (* (- lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda2) (cos (/ (+ phi1 phi2) 2)))))) (+ phi1 phi2)) (* (* (+ (* lambda1 lambda1) (+ (* lambda2 lambda2) (* lambda1 lambda2))) (- (* lambda1 (log (exp (cos (/ (+ phi1 phi2) 2))))) (* (- lambda2) (cos (/ (+ phi1 phi2) 2))))) (* (- (* phi1 phi1) (* phi2 phi2)) (- phi1 phi2)))))

prune3.4s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 23.2b

regimes1.2s

Accuracy

60.1% (5.1b remaining)

Error of 30.1b against oracle of 25.1b and baseline of 37.8b

bsearch21.0ms

end0.0ms

sample6.9s

Algorithm
intervals
Results
2.6s8356×body80valid
1.5s1350×body640valid
1.2s780×body1280valid
1.1s749×body320valid
179.0ms346×body160valid