Details

sample213.0ms

Algorithm

intervals

Results

75.0ms	83×	body	2560	valid
70.0ms	80×	body	1280	valid
23.0ms	233×	body	80	nan
18.0ms	39×	body	640	valid
9.0ms	28×	body	320	valid
5.0ms	22×	body	160	valid
0.0ms	4×	body	80	valid

simplify207.0ms

Calls

1 calls:

Slowest

207.0ms

(acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.1b

localize30.0ms

Local error

Found 3 expressions with local error:

1.1b	(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))
0.0b	(fma -5 (* v v) 1)
0.0b	(/ (fma -5 (* v v) 1) (- (* v v) 1))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

108×	`add-sqr-sqrt`
64×	`*-un-lft-identity`
60×	`times-frac`
40×	`difference-of-squares`
28×	`add-cube-cbrt`
20×	`associate-/r*` `difference-of-sqr-1`
12×	`swap-sqr` `*-commutative` `unswap-sqr`
8×	`distribute-lft-out--`
5×	`add-cbrt-cube` `add-exp-log`
4×	`associate-l`
3×	`expm1-log1p-u` `pow1` `insert-posit16` `log1p-expm1-u` `associate-/l*` `add-log-exp`
2×	`associate-/r/`
1×	`acos-asin` `cbrt-undiv` `clear-num` `frac-2neg` `flip3--` `div-exp` `fma-udef` `div-inv` `flip--`

Calls

3 calls:

Slowest

44.0ms	(/ (fma -5 (* v v) 1) (- (* v v) 1))
2.0ms	(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))
0.0ms	(fma -5 (* v v) 1)

series179.0ms

Calls

3 calls:

Slowest

99.0ms	(fma -5 (* v v) 1)
74.0ms	(/ (fma -5 (* v v) 1) (- (* v v) 1))
6.0ms	(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))

simplify9.2s

Calls

155 calls:

Slowest

967.0ms	(/ (sqrt (fma -5 (* v v) 1)) (sqrt (- (* v v) 1)))
219.0ms	(/ (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (* (cbrt (- (* v v) 1)) (cbrt (- (* v v) 1))))
204.0ms	(- (+ (* 4 (/ 1 (pow v 4))) (+ 5 (* 4 (/ 1 (pow v 2))))))
199.0ms	(/ (fma -5 (* v v) 1) (- (* v v) 1))
195.0ms	(- (+ (* 4 (/ 1 (pow v 4))) (+ 5 (* 4 (/ 1 (pow v 2))))))

prune1.3s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.1b

localize39.0ms

Local error

Found 3 expressions with local error:

1.9b	(acos (/ (/ (fma -5 (* v v) 1) (+ v 1)) (- v 1)))
0.0b	(/ (fma -5 (* v v) 1) (+ v 1))
0.0b	(fma -5 (* v v) 1)

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

20×	`*-un-lft-identity`
12×	`add-sqr-sqrt` `times-frac` `add-cube-cbrt`
5×	`add-cbrt-cube` `add-exp-log`
4×	`associate-/r*` `distribute-lft-out`
3×	`expm1-log1p-u` `pow1` `insert-posit16` `log1p-expm1-u` `associate-/l*` `add-log-exp`
2×	`associate-/r/`
1×	`acos-asin` `cbrt-undiv` `clear-num` `frac-2neg` `flip3-+` `div-exp` `flip-+` `fma-udef` `div-inv`

Calls

3 calls:

Slowest

22.0ms	(/ (fma -5 (* v v) 1) (+ v 1))
2.0ms	(acos (/ (/ (fma -5 (* v v) 1) (+ v 1)) (- v 1)))
0.0ms	(fma -5 (* v v) 1)

series124.0ms

Calls

3 calls:

Slowest

71.0ms	(fma -5 (* v v) 1)
47.0ms	(/ (fma -5 (* v v) 1) (+ v 1))
5.0ms	(acos (/ (/ (fma -5 (* v v) 1) (+ v 1)) (- v 1)))

simplify4.7s

Calls

43 calls:

Slowest

885.0ms	(acos (* -1 (/ (fma -5 (pow v 2) 1) (* (- 1 v) (+ v 1)))))
815.0ms	(acos (/ (fma -5 (pow v 2) 1) (* (- v 1) (+ v 1))))
807.0ms	(acos (/ (fma -5 (pow v 2) 1) (* (- v 1) (+ v 1))))
507.0ms	(/ (* (* (fma -5 (* v v) 1) (fma -5 (* v v) 1)) (fma -5 (* v v) 1)) (* (* (+ v 1) (+ v 1)) (+ v 1)))
190.0ms	(- 1 (+ (* 4 (pow v 2)) v))

prune591.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 1.1b

localize31.0ms

Local error

Found 3 expressions with local error:

1.9b	(acos (/ (/ (fma -5 (* v v) 1) (+ v 1)) (- v 1)))
0.0b	(/ (fma -5 (* v v) 1) (+ v 1))
0.0b	(fma -5 (* v v) 1)

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

20×	`*-un-lft-identity`
12×	`add-sqr-sqrt` `times-frac` `add-cube-cbrt`
5×	`add-cbrt-cube` `add-exp-log`
4×	`associate-/r*` `distribute-lft-out`
3×	`expm1-log1p-u` `pow1` `insert-posit16` `log1p-expm1-u` `associate-/l*` `add-log-exp`
2×	`associate-/r/`
1×	`acos-asin` `cbrt-undiv` `clear-num` `frac-2neg` `flip3-+` `div-exp` `flip-+` `fma-udef` `div-inv`

Calls

3 calls:

Slowest

15.0ms	(/ (fma -5 (* v v) 1) (+ v 1))
2.0ms	(acos (/ (/ (fma -5 (* v v) 1) (+ v 1)) (- v 1)))
0.0ms	(fma -5 (* v v) 1)

series113.0ms

Calls

3 calls:

Slowest

81.0ms	(fma -5 (* v v) 1)
29.0ms	(/ (fma -5 (* v v) 1) (+ v 1))
3.0ms	(acos (/ (/ (fma -5 (* v v) 1) (+ v 1)) (- v 1)))

simplify4.7s

Calls

43 calls:

Slowest

955.0ms	(acos (* -1 (/ (fma -5 (pow v 2) 1) (* (- 1 v) (+ v 1)))))
806.0ms	(acos (/ (fma -5 (pow v 2) 1) (* (- v 1) (+ v 1))))
804.0ms	(acos (/ (fma -5 (pow v 2) 1) (* (- v 1) (+ v 1))))
484.0ms	(/ (* (* (fma -5 (* v v) 1) (fma -5 (* v v) 1)) (fma -5 (* v v) 1)) (* (* (+ v 1) (+ v 1)) (+ v 1)))
194.0ms	(- 1 (+ (* 4 (pow v 2)) v))

prune613.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 1.1b

localize27.0ms

Local error

Found 4 expressions with local error:

1.1b	(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))
1.1b	(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))
1.1b	(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))
1.0b	(cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))

rewrite13.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` `acos-asin`
1×	`pow1/3`

Calls

4 calls:

Slowest

8.0ms	(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))
2.0ms	(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))
2.0ms	(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))
1.0ms	(cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))

series180.0ms

Calls

4 calls:

Slowest

165.0ms	(cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))
5.0ms	(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))
5.0ms	(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))
5.0ms	(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))

simplify2.2s

Calls

15 calls:

Slowest

355.0ms	(pow (acos (/ (fma -5 (pow v 2) 1) (- (pow v 2) 1))) 1/3)
306.0ms	(pow (acos (/ (fma -5 (pow v 2) 1) (- (pow v 2) 1))) 1/3)
274.0ms	(pow (acos (/ (fma -5 (pow v 2) 1) (- (pow v 2) 1))) 1/3)
165.0ms	(cbrt (sqrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))
146.0ms	(cbrt (* (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))) (cbrt (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))

prune624.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 1.1b

regimes72.0ms

Accuracy

0% (1.0b remaining)

Error of 1.6b against oracle of 0.6b and baseline of 1.6b

bsearch6.0ms

end0.0ms

sample7.5s

Algorithm

intervals

Results

3.1s	2984×	body	2560	valid
1.9s	2530×	body	1280	valid
991.0ms	8259×	body	80	nan
674.0ms	1173×	body	640	valid
268.0ms	609×	body	320	valid
192.0ms	471×	body	160	valid
31.0ms	233×	body	80	valid