Details

sample119.0ms

Algorithm

intervals

Results

63.0ms	256×	body	80	valid
39.0ms	245×	body	80	nan

simplify13.0ms

Calls

1 calls:

Slowest

13.0ms

(* 2 (cos (+ (/ (* 2 PI) 3) (/ (acos (/ (- g) h)) 3))))

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.0b

localize22.0ms

Local error

Found 4 expressions with local error:

1.0b	(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))
0.9b	(/ (acos (/ (- g) h)) 3)
0.0b	(fma 2/3 PI (/ (acos (/ (- g) h)) 3))
0.0b	(acos (/ (- g) h))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-cube-cbrt`
5×	`*-un-lft-identity`
5×	`add-sqr-sqrt`
4×	`add-log-exp`
4×	`log1p-expm1-u`
4×	`add-exp-log`
4×	`add-cbrt-cube`
4×	`pow1`
4×	`expm1-log1p-u`
3×	`associate-/l*`
2×	`fma-udef`
2×	`distribute-frac-neg`
2×	`div-sub`
2×	`acos-neg`
2×	`acos-asin`
1×	`div-inv`
1×	`frac-2neg`
1×	`clear-num`
1×	`cos-sum`

Calls

4 calls:

Slowest

3.0ms	(/ (acos (/ (- g) h)) 3)
2.0ms	(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))
0.0ms	(acos (/ (- g) h))
0.0ms	(fma 2/3 PI (/ (acos (/ (- g) h)) 3))

series155.0ms

Calls

4 calls:

Slowest

104.0ms	(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))
35.0ms	(fma 2/3 PI (/ (acos (/ (- g) h)) 3))
13.0ms	(/ (acos (/ (- g) h)) 3)
3.0ms	(acos (/ (- g) h))

simplify246.0ms

Calls

17 calls:

Slowest

33.0ms	(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))
28.0ms	(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)))
28.0ms	(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)))
27.0ms	(* 1/3 (acos (* -1 (/ g h))))
25.0ms	(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))

prune605.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.9b

localize14.0ms

Local error

Found 4 expressions with local error:

1.0b	(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))
0.9b	(/ (acos (/ (- g) h)) 3)
0.0b	(fma 2/3 PI (/ (acos (/ (- g) h)) 3))
0.0b	(log (exp (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-cube-cbrt`
7×	`*-un-lft-identity`
7×	`add-sqr-sqrt`
5×	`pow1`
4×	`add-log-exp`
4×	`log1p-expm1-u`
4×	`log-pow`
4×	`add-exp-log`
4×	`add-cbrt-cube`
4×	`expm1-log1p-u`
3×	`associate-/l*`
3×	`fma-udef`
3×	`exp-prod`
3×	`log-prod`
2×	`div-sub`
2×	`cos-sum`
1×	`div-inv`
1×	`distribute-frac-neg`
1×	`rem-log-exp`
1×	`exp-diff`
1×	`frac-2neg`
1×	`clear-num`
1×	`log-div`
1×	`acos-neg`
1×	`acos-asin`

Calls

4 calls:

Slowest

6.0ms	(/ (acos (/ (- g) h)) 3)
6.0ms	(log (exp (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))))
4.0ms	(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))
0.0ms	(fma 2/3 PI (/ (acos (/ (- g) h)) 3))

series264.0ms

Calls

4 calls:

Slowest

115.0ms	(log (exp (cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))))
104.0ms	(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))
37.0ms	(fma 2/3 PI (/ (acos (/ (- g) h)) 3))
8.0ms	(/ (acos (/ (- g) h)) 3)

simplify510.0ms

Calls

25 calls:

Slowest

40.0ms	(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)))
40.0ms	(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)))
39.0ms	(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)))
38.0ms	(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)))
38.0ms	(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)))

prune825.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

1.0b	(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))
1.0b	(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))
1.0b	(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))
0.9b	(/ (acos (/ (- g) h)) 3)

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-cube-cbrt`
5×	`*-un-lft-identity`
5×	`add-sqr-sqrt`
4×	`add-log-exp`
4×	`log1p-expm1-u`
4×	`add-exp-log`
4×	`add-cbrt-cube`
4×	`pow1`
4×	`expm1-log1p-u`
3×	`associate-/l*`
3×	`fma-udef`
3×	`cos-sum`
2×	`div-sub`
1×	`div-inv`
1×	`distribute-frac-neg`
1×	`frac-2neg`
1×	`clear-num`
1×	`acos-neg`
1×	`acos-asin`

Calls

4 calls:

Slowest

3.0ms	(/ (acos (/ (- g) h)) 3)
2.0ms	(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))
2.0ms	(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))
2.0ms	(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))

series320.0ms

Calls

4 calls:

Slowest

111.0ms	(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))
105.0ms	(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))
96.0ms	(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))
8.0ms	(/ (acos (/ (- g) h)) 3)

simplify312.0ms

Calls

19 calls:

Slowest

39.0ms	(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)))
37.0ms	(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)))
29.0ms	(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)))
25.0ms	(* 1/3 (acos (* -1 (/ g h))))
25.0ms	(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)))

prune1.1s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize1.0ms

Local error

Found 4 expressions with local error:

1.0b	(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))
0.9b	(/ (acos (/ (- g) h)) 3)
0.0b	(fma 2/3 PI (/ (acos (/ (- g) h)) 3))
0.0b	(acos (/ (- g) h))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-cube-cbrt`
5×	`*-un-lft-identity`
5×	`add-sqr-sqrt`
4×	`add-log-exp`
4×	`log1p-expm1-u`
4×	`add-exp-log`
4×	`add-cbrt-cube`
4×	`pow1`
4×	`expm1-log1p-u`
3×	`associate-/l*`
2×	`fma-udef`
2×	`distribute-frac-neg`
2×	`div-sub`
2×	`acos-neg`
2×	`acos-asin`
1×	`div-inv`
1×	`frac-2neg`
1×	`clear-num`
1×	`cos-sum`

Calls

4 calls:

Slowest

3.0ms	(/ (acos (/ (- g) h)) 3)
2.0ms	(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))
1.0ms	(acos (/ (- g) h))
0.0ms	(fma 2/3 PI (/ (acos (/ (- g) h)) 3))

series136.0ms

Calls

4 calls:

Slowest

83.0ms	(cos (fma 2/3 PI (/ (acos (/ (- g) h)) 3)))
39.0ms	(fma 2/3 PI (/ (acos (/ (- g) h)) 3))
9.0ms	(/ (acos (/ (- g) h)) 3)
4.0ms	(acos (/ (- g) h))

simplify276.0ms

Calls

17 calls:

Slowest

39.0ms	(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)))
34.0ms	(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))
31.0ms	(cos (+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI)))
26.0ms	(* 1/3 (acos (* -1 (/ g h))))
23.0ms	(* 1/3 (acos (* -1 (/ g h))))

prune588.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

regimes367.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch2.0ms

end0.0ms

sample4.2s

Algorithm

intervals

Results

2.0s	7723×	body	80	nan
1.8s	8000×	body	80	valid