Details

sample1.4s

Algorithm

intervals

Results

957.0ms	316×	body	10240	exit
178.0ms	56×	body	640	valid
135.0ms	65×	body	1280	valid
57.0ms	195×	body	80	nan
13.0ms	87×	body	80	valid
11.0ms	25×	body	320	valid
9.0ms	5×	body	2560	valid
6.0ms	18×	body	160	valid

simplify25.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

24.0ms

(fmod (cosh c) (log1p a))

prune52.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.6b

localize26.0ms

Local error

Found 1 expressions with local error:

39.2b

(fmod (cosh c) (log1p a))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

1×	`add-sqr-sqrt` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `insert-posit16` `add-log-exp`

Counts

1 → 8

Calls

1 calls:

Slowest

1.0ms

(fmod (cosh c) (log1p a))

series16.0ms

Counts

1 → 3

Calls

1 calls:

Slowest

16.0ms

(fmod (cosh c) (log1p a))

simplify454.0ms

Counts

11 → 11

Calls

11 calls:

Slowest

171.0ms	(* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
68.0ms	(sqrt (fmod (cosh c) (log1p a)))
67.0ms	(* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
33.0ms	(sqrt (fmod (cosh c) (log1p a)))
28.0ms	(real->posit16 (fmod (cosh c) (log1p a)))

prune142.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 34.6b

localize18.0ms

Local error

Found 3 expressions with local error:

39.2b	(fmod (cosh c) (log1p a))
1.4b	(log (fmod (cosh c) (log1p a)))
0.6b	(exp (log (fmod (cosh c) (log1p a))))

rewrite5.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`
3×	`add-cbrt-cube` `exp-sum` `insert-posit16` `add-log-exp`
2×	`log-pow`
1×	`rem-log-exp` `rem-exp-log`

Counts

3 → 37

Calls

3 calls:

Slowest

3.0ms	(exp (log (fmod (cosh c) (log1p a))))
2.0ms	(log (fmod (cosh c) (log1p a)))
0.0ms	(fmod (cosh c) (log1p a))

series26.0ms

Counts

3 → 9

Calls

3 calls:

Slowest

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

simplify1.6s

Counts

50 → 46

Calls

50 calls:

Slowest

170.0ms	(exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
111.0ms	(* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
86.0ms	(* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))
57.0ms	(exp (log (sqrt (fmod (cosh c) (log1p a)))))
57.0ms	(* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))

prune644.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 34.4b

localize18.0ms

Local error

Found 3 expressions with local error:

39.2b	(fmod (cosh c) (log1p a))
1.4b	(log (fmod (cosh c) (log1p a)))
0.6b	(pow E (log (fmod (cosh c) (log1p a))))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`pow1` `log-prod`
5×	`add-exp-log`
4×	`pow-unpow`
3×	`unpow-prod-up` `unpow-prod-down` `add-cbrt-cube` `insert-posit16` `add-log-exp`
2×	`pow-exp` `log-pow`
1×	`pow-to-exp` `e-exp-1` `pow-pow` `rem-log-exp` `sqr-pow`

Counts

3 → 44

Calls

3 calls:

Slowest

3.0ms	(pow E (log (fmod (cosh c) (log1p a))))
1.0ms	(log (fmod (cosh c) (log1p a)))
0.0ms	(fmod (cosh c) (log1p a))

series83.0ms

Counts

3 → 9

Calls

3 calls:

Slowest

62.0ms	(pow E (log (fmod (cosh c) (log1p a))))
18.0ms	(log (fmod (cosh c) (log1p a)))
3.0ms	(fmod (cosh c) (log1p a))

simplify4.7s

Counts

62 → 53

Calls

62 calls:

Slowest

536.0ms	(* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a)))))
471.0ms	(pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
318.0ms	(pow E (/ (log (fmod (cosh c) (log1p a))) 2))
296.0ms	(pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
284.0ms	(pow E (/ (log (fmod (cosh c) (log1p a))) 2))

prune635.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 34.4b

localize52.0ms

Local error

Found 4 expressions with local error:

39.2b	(fmod (cosh c) (log1p a))
39.2b	(fmod (cosh c) (log1p a))
39.2b	(fmod (cosh c) (log1p a))
1.4b	(log (fmod (cosh c) (log1p a)))

rewrite2.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 37

Calls

4 calls:

Slowest

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

series26.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

18.0ms	(log (fmod (cosh c) (log1p a)))
3.0ms	(fmod (cosh c) (log1p a))
3.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))

simplify1.7s

Counts

51 → 49

Calls

51 calls:

Slowest

424.0ms	(cbrt (fmod (cosh c) (log1p a)))
106.0ms	(* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
99.0ms	(* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))
88.0ms	(* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))
79.0ms	(* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))

prune570.0ms

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 34.4b

regimes658.0ms

Accuracy

0% (0.2b remaining)

Error of 34.1b against oracle of 33.9b and baseline of 34.1b

bsearch3.0ms

end0.0ms

sample15.4s

Algorithm

intervals

Results

11.2s	7625×	body	10240	exit
2.0s	2338×	body	1280	valid
638.0ms	1557×	body	640	valid
453.0ms	5189×	body	80	nan
229.0ms	2782×	body	80	valid
210.0ms	766×	body	320	valid
198.0ms	150×	body	2560	valid
72.0ms	400×	body	160	valid
13.0ms	7×	body	5120	valid