Details

sample1.0s

Algorithm

intervals

Results

860.0ms	225×	body	10240	exit
67.0ms	66×	body	1280	valid
28.0ms	49×	body	640	valid
18.0ms	185×	body	80	nan
14.0ms	38×	body	320	valid
11.0ms	88×	body	80	valid
5.0ms	2×	body	2560	valid
4.0ms	13×	body	160	valid

simplify37.0ms

Calls

1 calls:

Slowest

36.0ms

(fmod (cosh c) (log1p a))

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.0b

localize17.0ms

Local error

Found 1 expressions with local error:

38.7b

(fmod (cosh c) (log1p a))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

1×	`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`

Calls

1 calls:

Slowest

2.0ms

(fmod (cosh c) (log1p a))

series16.0ms

Calls

1 calls:

Slowest

16.0ms

(fmod (cosh c) (log1p a))

simplify34.0ms

Calls

3 calls:

Slowest

11.0ms	(fmod (cosh c) (log1p a))
11.0ms	(fmod (cosh c) (log1p a))
11.0ms	(fmod (cosh c) (log1p a))

prune241.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 34.0b

localize11.0ms

Local error

Found 3 expressions with local error:

38.7b	(fmod (cosh c) (log1p a))
0.6b	(exp (log (fmod (cosh c) (log1p a))))
0.5b	(log (fmod (cosh c) (log1p a)))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

3 calls:

Slowest

6.0ms	(exp (log (fmod (cosh c) (log1p a))))
1.0ms	(log (fmod (cosh c) (log1p a)))
0.0ms	(fmod (cosh c) (log1p a))

series26.0ms

Calls

3 calls:

Slowest

21.0ms	(log (fmod (cosh c) (log1p a)))
3.0ms	(fmod (cosh c) (log1p a))
3.0ms	(exp (log (fmod (cosh c) (log1p a))))

simplify453.0ms

Calls

22 calls:

Slowest

119.0ms	(exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
64.0ms	(exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
47.0ms	(exp (sqrt (log (fmod (cosh c) (log1p a)))))
45.0ms	(log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
29.0ms	(exp (log (sqrt (fmod (cosh c) (log1p a)))))

prune660.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 33.9b

localize0.0ms

Local error

Found 1 expressions with local error:

38.7b

(fmod (cosh c) (log1p a))

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

1×	`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`

Calls

1 calls:

Slowest

0.0ms

(fmod (cosh c) (log1p a))

series3.0ms

Calls

1 calls:

Slowest

3.0ms

(fmod (cosh c) (log1p a))

simplify25.0ms

Calls

3 calls:

Slowest

11.0ms	(fmod (cosh c) (log1p a))
8.0ms	(fmod (cosh c) (log1p a))
5.0ms	(fmod (cosh c) (log1p a))

prune240.0ms

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 33.9b

localize14.0ms

Local error

Found 4 expressions with local error:

38.7b	(fmod (cosh c) (log1p a))
38.7b	(fmod (cosh c) (log1p a))
38.7b	(fmod (cosh c) (log1p a))
0.6b	(exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))

rewrite70.0ms

Algorithm

rewrite-expression-head

Rules

37×	`exp-prod`
34×	`cbrt-prod`
24×	`add-sqr-sqrt` `associate-l`
14×	`*-un-lft-identity`
12×	`add-cube-cbrt`
11×	`pow1`
8×	`associate-r`
7×	`swap-sqr` `log-pow` `unswap-sqr`
5×	`add-log-exp`
4×	`expm1-log1p-u` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u`
3×	`*-commutative`
1×	`rem-exp-log`

Calls

4 calls:

Slowest

66.0ms	(exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
1.0ms	(fmod (cosh c) (log1p a))
0.0ms	(fmod (cosh c) (log1p a))
0.0ms	(fmod (cosh c) (log1p a))

series21.0ms

Calls

4 calls:

Slowest

6.0ms	(exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
5.0ms	(fmod (cosh c) (log1p a))
5.0ms	(fmod (cosh c) (log1p a))
5.0ms	(fmod (cosh c) (log1p a))

simplify2.3s

Calls

50 calls:

Slowest

185.0ms	(exp (* (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))
135.0ms	(exp (cbrt (* (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a)))))))
131.0ms	(exp (cbrt (sqrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
120.0ms	(exp (sqrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
108.0ms	(exp (cbrt (* (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))

prune1.3s

Pruning

20 alts after pruning (19 fresh and 1 done)

Merged error: 33.9b

regimes863.0ms

Accuracy

0% (0.2b remaining)

Error of 34.0b against oracle of 33.8b and baseline of 34.0b

bsearch1.0ms

end0.0ms

sample18.0s

Algorithm

intervals

Results

13.6s	7899×	body	10240	exit
1.9s	2354×	body	1280	valid
819.0ms	1489×	body	640	valid
424.0ms	5172×	body	80	nan
327.0ms	789×	body	320	valid
280.0ms	2793×	body	80	valid
194.0ms	130×	body	2560	valid
118.0ms	434×	body	160	valid
23.0ms	11×	body	5120	valid