Details

sample140.0ms

Algorithm

intervals

Results

37.0ms	264×	body	80	valid
35.0ms	49×	body	640	valid
14.0ms	17×	body	1280	valid
11.0ms	21×	body	320	valid
4.0ms	15×	body	160	valid

simplify1.6s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	17	32
1	32	32
2	69	32
3	240	32
4	960	32
done	5000	32

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 38.0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))
3.5b	(cos (/ (+ phi1 phi2) 2.0))
3.5b	(cos (/ (+ phi1 phi2) 2.0))
34.8b	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite305.0ms

Algorithm

rewrite-expression-head

Rules

142×	`associate-*l/`
102×	`flip3--` `flip--`
68×	`frac-times`
66×	`sqrt-div`
64×	`frac-add`
44×	`pow1`
34×	`associate-*r/`
17×	`pow-prod-down`
16×	`add-exp-log` `add-cbrt-cube`
8×	`prod-exp` `cbrt-unprod`
6×	`add-sqr-sqrt`
5×	`add-cube-cbrt` `*-un-lft-identity`
4×	`pow-sqr` `pow-prod-up` `add-log-exp`
3×	`sqrt-prod`
2×	`pow-plus`
1×	`pow2` `rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `swap-sqr` `associate-r` `associate-l` `*-commutative` `flip-+`

Counts

4 → 135

Calls

4 calls:

92.0ms	(* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))
20.0ms	(cos (/ (+ phi1 phi2) 2.0))
19.0ms	(cos (/ (+ phi1 phi2) 2.0))
162.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

series893.0ms

Counts

4 → 12

Calls

4 calls:

122.0ms	(* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))
53.0ms	(cos (/ (+ phi1 phi2) 2.0))
49.0ms	(cos (/ (+ phi1 phi2) 2.0))
670.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

simplify697.0ms

Counts

147 → 147

Iterations

Useful iterations: done (684.0ms)

Iter	Nodes	Cost
0	455	7854
1	1367	7209
done	5000	6873

prune677.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 24.8b

localize34.0ms

Local error

Found 4 expressions with local error:

24.3b	(cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))
24.3b	(cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))
24.3b	(cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))
34.8b	(sqrt (+ (* (* (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite5.1s

Algorithm

rewrite-expression-head

Rules

29930×	`associate-*l/`
20428×	`frac-times`
16050×	`flip3--` `flip--`
15576×	`cbrt-div`
5990×	`associate-*r/`
5826×	`sqrt-div`
5824×	`frac-add`
6×	`add-sqr-sqrt`
5×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`cbrt-prod` `pow1/3` `sqrt-prod`
1×	`rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `flip-+`

Counts

4 → 5890

Calls

4 calls:

100.0ms	(cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))
73.0ms	(cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))
76.0ms	(cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))
1.2s	(sqrt (+ (* (* (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))

series1.7s

Counts

4 → 12

Calls

4 calls:

353.0ms	(cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))
373.0ms	(cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))
410.0ms	(cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))
571.0ms	(sqrt (+ (* (* (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))

simplify12.2s

Counts

5902 → 5902

Iterations

Useful iterations: 0 (3.5s)

Iter	Nodes	Cost
0	22397	1124618
done	22397	1124618

prune1.9m

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 24.8b

localize35.0ms

Local error

Found 4 expressions with local error:

3.5b	(cos (/ (+ phi1 phi2) 2.0))
3.5b	(cos (/ (+ phi1 phi2) 2.0))
34.8b	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
34.8b	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite252.0ms

Algorithm

rewrite-expression-head

Rules

256×	`associate-*l/`
192×	`flip3--` `flip--`
132×	`sqrt-div`
128×	`frac-times` `frac-add`
64×	`associate-*r/`
8×	`add-sqr-sqrt`
6×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `sqrt-prod`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
2×	`rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `flip-+`

Counts

4 → 172

Calls

4 calls:

12.0ms	(cos (/ (+ phi1 phi2) 2.0))
11.0ms	(cos (/ (+ phi1 phi2) 2.0))
101.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
107.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

series1.0s

Counts

4 → 12

Calls

4 calls:

34.0ms	(cos (/ (+ phi1 phi2) 2.0))
28.0ms	(cos (/ (+ phi1 phi2) 2.0))
470.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
476.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

simplify443.0ms

Counts

184 → 184

Iterations

Useful iterations: done (431.0ms)

Iter	Nodes	Cost
0	417	13298
1	1251	12382
done	5002	12076

prune866.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 24.8b

localize46.0ms

Local error

Found 4 expressions with local error:

24.3b	(cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))
24.3b	(cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))
26.9b	(pow (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) 1/3)
34.8b	(sqrt (+ (* (* (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (pow (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) 1/3)) (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite663.0ms

Algorithm

rewrite-expression-head

Rules

2844×	`associate-*l/`
1416×	`frac-times`
1356×	`flip3--` `flip--`
1168×	`cbrt-div`
642×	`sqrt-div`
640×	`frac-add`
516×	`associate-*r/`
45×	`pow1`
17×	`add-exp-log` `pow-prod-down`
16×	`pow-pow`
8×	`prod-exp`
7×	`add-sqr-sqrt`
6×	`add-cube-cbrt` `*-un-lft-identity`
5×	`pow-exp`
4×	`pow-sqr` `pow-prod-up` `add-cbrt-cube` `add-log-exp`
3×	`pow-unpow` `sqrt-prod`
2×	`cbrt-prod` `pow-plus` `pow1/3`
1×	`pow2` `pow-to-exp` `unpow-prod-down` `rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `unpow1/3` `flip-+` `sqr-pow`

Counts

4 → 724

Calls

4 calls:

52.0ms	(cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))
53.0ms	(cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))
61.0ms	(pow (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) 1/3)
315.0ms	(sqrt (+ (* (* (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (pow (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) 1/3)) (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))

series1.3s

Counts

4 → 12

Calls

4 calls:

277.0ms	(cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))
274.0ms	(cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))
272.0ms	(pow (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) 1/3)
461.0ms	(sqrt (+ (* (* (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (pow (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) 1/3)) (cbrt (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))

simplify880.0ms

Counts

736 → 736

Iterations

Useful iterations: done (810.0ms)

Iter	Nodes	Cost
0	2924	109829
done	5001	101702

prune8.3s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 24.8b

regimes502.0ms

Accuracy

74% (3.5b remaining)

Error of 29.0b against oracle of 25.4b and baseline of 39.0b

bsearch3.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	26	116
1	33	116
done	33	116

end0.0ms

sample3.7s

Algorithm

intervals

Results

1.6s	8277×	body	80	valid
696.0ms	1363×	body	640	valid
435.0ms	779×	body	1280	valid
275.0ms	717×	body	320	valid
94.0ms	374×	body	160	valid