Details

sample215.0ms

Algorithm

intervals

Results

62.0ms	270×	body	80	valid
55.0ms	55×	body	640	valid
31.0ms	23×	body	1280	valid
30.0ms	24×	body	320	valid
4.0ms	8×	body	160	valid

simplify1.2s

Counts: 1 → 1

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.0b

localize34.0ms

Local error

Found 4 expressions with local error:

3.6b	(cos (/ (+ phi2 phi1) 2))
0.1b	(* (- 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))

rewrite39.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

19.0ms	(* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2)))
11.0ms	(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2)) R)
8.0ms	(cos (/ (+ phi2 phi1) 2))
0.0ms	(hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2))

series1.2s

Counts

4 → 12

Calls

4 calls:

Slowest

590.0ms	(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2)) R)
487.0ms	(hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2))
118.0ms	(* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2)))
28.0ms	(cos (/ (+ phi2 phi1) 2))

simplify1.4s

Counts: 79 → 79

prune1.1s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 3.8b

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite63.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

36.0ms	(* (- lambda1 lambda2) (cos (* (+ phi1 phi2) 1/2)))
20.0ms	(cos (* (+ phi1 phi2) 1/2))
6.0ms	(* (hypot (* (- lambda1 lambda2) (cos (* (+ phi1 phi2) 1/2))) (- phi1 phi2)) R)
0.0ms	(hypot (* (- lambda1 lambda2) (cos (* (+ phi1 phi2) 1/2))) (- phi1 phi2))

series1.3s

Counts

4 → 12

Calls

4 calls:

Slowest

564.0ms	(* (hypot (* (- lambda1 lambda2) (cos (* (+ phi1 phi2) 1/2))) (- phi1 phi2)) R)
538.0ms	(hypot (* (- lambda1 lambda2) (cos (* (+ phi1 phi2) 1/2))) (- phi1 phi2))
134.0ms	(* (- lambda1 lambda2) (cos (* (+ phi1 phi2) 1/2)))
30.0ms	(cos (* (+ phi1 phi2) 1/2))

simplify1.6s

Counts: 79 → 79

prune1.1s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 3.8b

localize38.0ms

Local error

Found 4 expressions with local error:

3.6b	(cos (* (+ phi1 phi2) 1/2))
3.6b	(cos (* (+ phi1 phi2) 1/2))
3.6b	(cos (* (+ phi1 phi2) 1/2))
0.4b	(cbrt (cos (* (+ phi1 phi2) 1/2)))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`cbrt-prod`
1×	`pow1/3`

Counts

4 → 44

Calls

4 calls:

Slowest

20.0ms	(cos (* (+ phi1 phi2) 1/2))
16.0ms	(cos (* (+ phi1 phi2) 1/2))
15.0ms	(cos (* (+ phi1 phi2) 1/2))
4.0ms	(cbrt (cos (* (+ phi1 phi2) 1/2)))

series224.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

132.0ms	(cbrt (cos (* (+ phi1 phi2) 1/2)))
38.0ms	(cos (* (+ phi1 phi2) 1/2))
28.0ms	(cos (* (+ phi1 phi2) 1/2))
25.0ms	(cos (* (+ phi1 phi2) 1/2))

simplify1.4s

Counts: 56 → 56

prune1.2s

Pruning

14 alts after pruning (12 fresh and 2 done)

Merged error: 3.8b

localize91.0ms

Local error

Found 4 expressions with local error:

3.6b	(cos (* (+ phi1 phi2) 1/2))
3.6b	(cos (* (+ phi1 phi2) 1/2))
3.6b	(cos (* (+ phi1 phi2) 1/2))
3.6b	(cos (* (+ phi1 phi2) 1/2))

rewrite82.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `insert-posit16` `log1p-expm1-u` `add-log-exp`

Counts

4 → 40

Calls

4 calls:

Slowest

25.0ms	(cos (* (+ phi1 phi2) 1/2))
19.0ms	(cos (* (+ phi1 phi2) 1/2))
18.0ms	(cos (* (+ phi1 phi2) 1/2))
18.0ms	(cos (* (+ phi1 phi2) 1/2))

series125.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

36.0ms	(cos (* (+ phi1 phi2) 1/2))
34.0ms	(cos (* (+ phi1 phi2) 1/2))
33.0ms	(cos (* (+ phi1 phi2) 1/2))
22.0ms	(cos (* (+ phi1 phi2) 1/2))

simplify1.6s

Counts: 52 → 52

prune936.0ms

Pruning

14 alts after pruning (12 fresh and 2 done)

Merged error: 3.8b

regimes878.0ms

Accuracy

0% (0.1b remaining)

Error of 3.6b against oracle of 3.5b and baseline of 3.6b

bsearch4.0ms

end0.0ms

sample7.2s

Algorithm

intervals

Results

2.5s	8354×	body	80	valid
1.9s	1357×	body	640	valid
1.5s	761×	body	1280	valid
602.0ms	756×	body	320	valid
211.0ms	350×	body	160	valid