Details

sample220.0ms

Algorithm

intervals

Results

90.0ms	100×	body	2560	valid
53.0ms	79×	body	1280	valid
31.0ms	280×	body	80	nan
17.0ms	34×	body	640	valid
8.0ms	24×	body	320	valid
4.0ms	14×	body	160	valid
0.0ms	5×	body	80	valid

simplify233.0ms

Calls

1 calls:

Slowest

233.0ms

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

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.5b

localize34.0ms

Local error

Found 2 expressions with local error:

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

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

2 calls:

Slowest

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

series75.0ms

Calls

2 calls:

Slowest

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

simplify8.6s

Calls

152 calls:

Slowest

204.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))))))
193.0ms	(- (+ (* 4 (/ 1 (pow v 4))) (+ 5 (* 4 (/ 1 (pow v 2))))))
192.0ms	(/ (sqrt (fma -5 (* v v) 1)) (sqrt (- (* v v) 1)))
186.0ms	(- (+ (* 4 (pow v 4)) (* 4 (pow v 2))) 1)

prune1.1s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.5b

localize8.0ms

Local error

Found 3 expressions with local error:

0.5b	(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))
0.0b	(expm1 (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))
0.0b	(/ (fma -5 (* v v) 1) (- (* v v) 1))

rewrite41.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` `log1p-expm1-u`
3×	`expm1-log1p-u` `pow1` `insert-posit16` `associate-/l*` `add-log-exp`
2×	`expm1-log1p` `associate-/r/`
1×	`acos-asin` `cbrt-undiv` `clear-num` `frac-2neg` `flip3--` `div-exp` `div-inv` `flip--` `expm1-udef`

Calls

3 calls:

Slowest

36.0ms	(/ (fma -5 (* v v) 1) (- (* v v) 1))
2.0ms	(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))
1.0ms	(expm1 (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))

series257.0ms

Calls

3 calls:

Slowest

165.0ms	(expm1 (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))
89.0ms	(/ (fma -5 (* v v) 1) (- (* v v) 1))
3.0ms	(acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))

simplify9.5s

Calls

157 calls:

Slowest

251.0ms	(- (+ (* 4 (/ 1 (pow v 4))) (+ 5 (* 4 (/ 1 (pow v 2))))))
214.0ms	(- (+ (* 4 (/ 1 (pow v 4))) (+ 5 (* 4 (/ 1 (pow v 2))))))
211.0ms	(/ (* (cbrt (fma -5 (* v v) 1)) (cbrt (fma -5 (* v v) 1))) (* (cbrt (- (* v v) 1)) (cbrt (- (* v v) 1))))
205.0ms	(/ (sqrt (fma -5 (* v v) 1)) (- (* v v) 1))
201.0ms	(- (log (fma -5 (* v v) 1)) (log (- (* v v) 1)))

prune1.5s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.5b

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`*-un-lft-identity` `add-cube-cbrt`
11×	`pow1`
9×	`pow1/3`
8×	`add-cbrt-cube`
6×	`swap-sqr` `associate-r` `associate-l` `add-exp-log`
4×	`expm1-log1p-u` `cbrt-unprod` `insert-posit16` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative`

Calls

4 calls:

Slowest

9.0ms	(* (cbrt (expm1 (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (cbrt (expm1 (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))
1.0ms	(cbrt (expm1 (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))
1.0ms	(cbrt (expm1 (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))
1.0ms	(cbrt (expm1 (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))

series1.3s

Calls

4 calls:

Slowest

359.0ms	(cbrt (expm1 (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))
336.0ms	(cbrt (expm1 (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))
329.0ms	(* (cbrt (expm1 (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (cbrt (expm1 (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))))
295.0ms	(cbrt (expm1 (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))

simplify12.1s

Calls

68 calls:

Slowest

377.0ms	(* (* (* (cbrt (expm1 (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1)))))) (cbrt (expm1 (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))) (cbrt (expm1 (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))) (expm1 (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))
370.0ms	(pow (acos (/ (fma -5 (pow v 2) 1) (- (pow v 2) 1))) 1/3)
339.0ms	(pow (acos (/ (fma -5 (pow v 2) 1) (- (pow v 2) 1))) 1/3)
330.0ms	(pow (acos (/ (fma -5 (pow v 2) 1) (- (pow v 2) 1))) 1/3)
325.0ms	(pow (acos (/ (fma -5 (pow v 2) 1) (- (pow v 2) 1))) 1/3)

prune976.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.5b

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

4 calls:

Slowest

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

series1.4s

Calls

4 calls:

Slowest

382.0ms	(cbrt (expm1 (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))
361.0ms	(cbrt (expm1 (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))
345.0ms	(cbrt (expm1 (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))
306.0ms	(cbrt (expm1 (log1p (acos (/ (fma -5 (* v v) 1) (- (* v v) 1))))))

simplify5.5s

Calls

24 calls:

Slowest

365.0ms	(pow (acos (/ (fma -5 (pow v 2) 1) (- (pow v 2) 1))) 1/3)
356.0ms	(pow (acos (/ (fma -5 (pow v 2) 1) (- (pow v 2) 1))) 1/3)
353.0ms	(pow (acos (/ (fma -5 (pow v 2) 1) (- (pow v 2) 1))) 1/3)
343.0ms	(pow (acos (/ (fma -5 (pow v 2) 1) (- (pow v 2) 1))) 1/3)
337.0ms	(pow (acos (/ (fma -5 (pow v 2) 1) (- (pow v 2) 1))) 1/3)

prune845.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.5b

regimes119.0ms

Accuracy

0% (0.0b remaining)

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

bsearch3.0ms

end0.0ms

sample7.1s

Algorithm

intervals

Results

2.9s	2959×	body	2560	valid
1.8s	2452×	body	1280	valid
920.0ms	8045×	body	80	nan
731.0ms	1273×	body	640	valid
340.0ms	662×	body	320	valid
141.0ms	452×	body	160	valid
26.0ms	202×	body	80	valid