Details

sample131.0ms

Algorithm

intervals

Results

57.0ms	222×	body	80	nan
50.0ms	256×	body	80	valid

simplify37.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

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

localize48.0ms

Local error

Found 4 expressions with local error:

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

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

26×	`*-un-lft-identity`
20×	`add-sqr-sqrt` `times-frac` `add-cube-cbrt`
8×	`add-cbrt-cube` `add-exp-log`
6×	`associate-/r` `div-sub` `associate-/l` `add-log-exp`
4×	`pow1` `associate-+l-` `insert-posit16`
3×	`acos-asin` `acos-neg` `distribute-frac-neg`
2×	`cos-diff` `cbrt-undiv` `clear-num` `frac-2neg` `div-exp` `div-inv` `distribute-lft-out`
1×	`+-commutative` `cos-sum` `sum-log` `flip3-+` `frac-add` `flip-+`

Counts

4 → 86

Calls

4 calls:

Slowest

15.0ms	(cos (+ (/ (acos (/ (- g) h)) 3) (/ PI 3/2)))
12.0ms	(+ (/ (acos (/ (- g) h)) 3) (/ PI 3/2))
10.0ms	(/ (acos (/ (- g) h)) 3)
4.0ms	(/ PI 3/2)

series233.0ms

Counts

4 → 10

Calls

4 calls:

Slowest

167.0ms	(cos (+ (/ (acos (/ (- g) h)) 3) (/ PI 3/2)))
53.0ms	(+ (/ (acos (/ (- g) h)) 3) (/ PI 3/2))
13.0ms	(/ (acos (/ (- g) h)) 3)
0.0ms	(/ PI 3/2)

simplify1.8s

Counts

71 → 96

Calls

71 calls:

Slowest

241.0ms	(/ (* (* (acos (/ (- g) h)) (acos (/ (- g) h))) (acos (/ (- g) h))) (* (* 3 3) 3))
218.0ms	(/ (* (* PI PI) PI) (* (* 3/2 3/2) 3/2))
95.0ms	(* (cos (/ (/ PI 2) 3)) (cos (- (/ (asin (/ (- g) h)) 3) (/ PI 3/2))))
84.0ms	(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))
84.0ms	(+ (* 1/3 (acos (* -1 (/ g h)))) (* 2/3 PI))

prune890.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize63.0ms

Local error

Found 4 expressions with local error:

56.5b	(cos (- (/ (acos (/ g h)) 3) (/ PI 3/2)))
1.0b	(sin (/ PI 3))
1.0b	(/ PI 3)
1.0b	(/ PI 3/2)

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
18×	`times-frac`
8×	`add-cbrt-cube` `add-exp-log`
6×	`associate-/r` `associate-/l`
4×	`pow1` `insert-posit16` `add-log-exp`
2×	`cbrt-undiv` `cos-sum` `clear-num` `frac-2neg` `div-exp` `div-inv`
1×	`cos-diff` `sub-neg` `sin-PI/3`

Counts

4 → 76

Calls

4 calls:

Slowest

16.0ms	(cos (- (/ (acos (/ g h)) 3) (/ PI 3/2)))
7.0ms	(/ PI 3/2)
5.0ms	(/ PI 3)
3.0ms	(sin (/ PI 3))

series181.0ms

Counts

4 → 6

Calls

4 calls:

Slowest

180.0ms	(cos (- (/ (acos (/ g h)) 3) (/ PI 3/2)))
0.0ms	(sin (/ PI 3))
0.0ms	(/ PI 3/2)
0.0ms	(/ PI 3)

simplify1.7s

Counts

58 → 82

Calls

58 calls:

Slowest

279.0ms	(* (+ (* (cos (- (/ (acos (/ g h)) 3) (/ PI 3/2))) 1/2) (* (sin (/ PI 3)) (sin (- (/ (acos (/ g h)) 3) (/ PI 3/2))))) 2)
268.0ms	(/ (* (* PI PI) PI) (* (* 3/2 3/2) 3/2))
239.0ms	(* (+ (* (cos (- (/ (acos (/ g h)) 3) (/ PI 3/2))) 1/2) (* (sin (/ PI 3)) (sin (- (/ (acos (/ g h)) 3) (/ PI 3/2))))) 2)
217.0ms	(* (+ (* (cos (- (/ (acos (/ g h)) 3) (/ PI 3/2))) 1/2) (* (sin (/ PI 3)) (sin (- (/ (acos (/ g h)) 3) (/ PI 3/2))))) 2)
150.0ms	(/ (* (* PI PI) PI) (* (* 3 3) 3))

prune1.3s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize91.0ms

Local error

Found 4 expressions with local error:

56.5b	(cos (- (/ (acos (/ g h)) 3) (/ PI 3/2)))
1.0b	(/ PI 3/2)
1.0b	(/ PI 3/2)
1.0b	(sin (* (sqrt (/ PI 3)) (sqrt (/ PI 3))))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
18×	`times-frac`
8×	`add-cbrt-cube` `add-exp-log`
6×	`associate-/r` `associate-/l`
4×	`pow1` `insert-posit16` `add-log-exp`
2×	`cbrt-undiv` `cos-sum` `clear-num` `frac-2neg` `div-exp` `div-inv`
1×	`cos-diff` `sub-neg`

Counts

4 → 75

Calls

4 calls:

Slowest

23.0ms	(sin (* (sqrt (/ PI 3)) (sqrt (/ PI 3))))
16.0ms	(cos (- (/ (acos (/ g h)) 3) (/ PI 3/2)))
7.0ms	(/ PI 3/2)
4.0ms	(/ PI 3/2)

series139.0ms

Counts

4 → 6

Calls

4 calls:

Slowest

138.0ms	(cos (- (/ (acos (/ g h)) 3) (/ PI 3/2)))
0.0ms	(/ PI 3/2)
0.0ms	(sin (* (sqrt (/ PI 3)) (sqrt (/ PI 3))))
0.0ms	(/ PI 3/2)

simplify1.1s

Counts

54 → 81

Calls

54 calls:

Slowest

232.0ms	(/ (* (* PI PI) PI) (* (* 3/2 3/2) 3/2))
229.0ms	(/ (* (* PI PI) PI) (* (* 3/2 3/2) 3/2))
47.0ms	(cos (- (* 1/3 (acos (/ g h))) (* 2/3 PI)))
38.0ms	(/ (* (cbrt PI) (cbrt PI)) (* (cbrt 3/2) (cbrt 3/2)))
37.0ms	(cos (- (* 1/3 (acos (/ g h))) (* 2/3 PI)))

prune1.1s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize74.0ms

Local error

Found 4 expressions with local error:

56.5b	(cos (- (/ (acos (/ g h)) 3) (/ PI 3/2)))
1.0b	(/ PI 3/2)
1.0b	(/ PI 3/2)
1.0b	(sin (* (sqrt (/ PI 3)) (sqrt (/ PI 3))))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
18×	`times-frac`
8×	`add-cbrt-cube` `add-exp-log`
6×	`associate-/r` `associate-/l`
4×	`pow1` `insert-posit16` `add-log-exp`
2×	`cbrt-undiv` `cos-sum` `clear-num` `frac-2neg` `div-exp` `div-inv`
1×	`cos-diff` `sub-neg`

Counts

4 → 75

Calls

4 calls:

Slowest

32.0ms	(cos (- (/ (acos (/ g h)) 3) (/ PI 3/2)))
13.0ms	(/ PI 3/2)
13.0ms	(sin (* (sqrt (/ PI 3)) (sqrt (/ PI 3))))
7.0ms	(/ PI 3/2)

series136.0ms

Counts

4 → 6

Calls

4 calls:

Slowest

136.0ms	(cos (- (/ (acos (/ g h)) 3) (/ PI 3/2)))
0.0ms	(/ PI 3/2)
0.0ms	(sin (* (sqrt (/ PI 3)) (sqrt (/ PI 3))))
0.0ms	(/ PI 3/2)

simplify1.1s

Counts

54 → 81

Calls

54 calls:

Slowest

232.0ms	(/ (* (* PI PI) PI) (* (* 3/2 3/2) 3/2))
220.0ms	(/ (* (* PI PI) PI) (* (* 3/2 3/2) 3/2))
46.0ms	(cos (- (* 1/3 (acos (/ g h))) (* 2/3 PI)))
44.0ms	(/ (* (cbrt PI) (cbrt PI)) (* (cbrt 3/2) (cbrt 3/2)))
37.0ms	(cos (- (* 1/3 (acos (/ g h))) (* 2/3 PI)))

prune1.3s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes91.0ms

Accuracy

0% (0.1b remaining)

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

bsearch7.0ms

end0.0ms

sample4.2s

Algorithm

intervals

Results

2.0s	7847×	body	80	nan
1.9s	8000×	body	80	valid