Details

sample644.0ms

Algorithm

intervals

Results

410.0ms	243×	body	10240	exit
144.0ms	86×	body	1280	valid
22.0ms	46×	body	640	valid
15.0ms	177×	body	80	nan
8.0ms	25×	body	320	valid
8.0ms	77×	body	80	valid
6.0ms	4×	body	2560	valid
4.0ms	17×	body	160	valid
3.0ms	1×	body	5120	valid

simplify12.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

12.0ms

(fmod (cosh c) (log1p a))

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 36.7b

localize51.0ms

Local error

Found 1 expressions with local error:

41.5b

(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`

Counts

1 → 10

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))

simplify16.0ms

Counts

3 → 13

Calls

3 calls:

Slowest

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

prune155.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 36.7b

localize29.0ms

Local error

Found 4 expressions with local error:

41.5b	(fmod (cosh c) (log1p a))
41.5b	(fmod (cosh c) (log1p a))
0.0b	(* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
0.0b	(sqrt (fmod (cosh c) (log1p a)))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt`
21×	`sqrt-prod`
20×	`pow1`
13×	`*-un-lft-identity` `add-cube-cbrt`
9×	`sqrt-pow1` `pow1/2`
8×	`swap-sqr`
6×	`add-cbrt-cube` `associate-r` `associate-l` `add-exp-log`
5×	`pow-prod-up`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
3×	`pow-prod-down` `pow-sqr`
1×	`pow2` `rem-sqrt-square` `rem-square-sqrt` `pow-plus` `sqrt-unprod` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 88

Calls

4 calls:

Slowest

19.0ms	(* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
2.0ms	(sqrt (fmod (cosh c) (log1p a)))
1.0ms	(fmod (cosh c) (log1p a))
0.0ms	(fmod (cosh c) (log1p a))

series35.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

19.0ms	(sqrt (fmod (cosh c) (log1p a)))
5.0ms	(fmod (cosh c) (log1p a))
5.0ms	(* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
5.0ms	(fmod (cosh c) (log1p a))

simplify2.2s

Counts

78 → 100

Calls

78 calls:

Slowest

186.0ms	(* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))))
110.0ms	(* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))
60.0ms	(* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))
57.0ms	(* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
57.0ms	(* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a)))))

prune1.2s

Pruning

15 alts after pruning (13 fresh and 2 done)

Merged error: 36.6b

localize26.0ms

Local error

Found 4 expressions with local error:

41.5b	(fmod (cosh c) (log1p a))
41.5b	(fmod (cosh c) (log1p a))
41.5b	(fmod (cosh c) (log1p a))
41.5b	(fmod (cosh c) (log1p a))

rewrite2.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 40

Calls

4 calls:

Slowest

0.0ms	(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))

series17.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

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

simplify108.0ms

Counts

12 → 52

Calls

12 calls:

Slowest

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

prune883.0ms

Pruning

15 alts after pruning (12 fresh and 3 done)

Merged error: 36.6b

localize20.0ms

Local error

Found 4 expressions with local error:

41.5b	(fmod (cosh c) (log1p a))
41.5b	(fmod (cosh c) (log1p a))
0.7b	(exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))))
0.5b	(log (sqrt (fmod (cosh c) (log1p a))))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

37×	`log-pow`
30×	`pow1`
25×	`exp-prod`
21×	`*-un-lft-identity`
18×	`distribute-rgt-out`
11×	`add-sqr-sqrt` `sqrt-pow1` `pow1/2` `add-cube-cbrt`
8×	`exp-to-pow` `distribute-lft-out`
6×	`log-prod`
5×	`add-exp-log` `add-log-exp`
4×	`expm1-log1p-u` `add-cbrt-cube` `insert-posit16` `log1p-expm1-u`
3×	`sqrt-prod`
2×	`distribute-lft1-in` `distribute-rgt1-in` `rem-exp-log`
1×	`sum-log` `rem-log-exp` `exp-sum`

Counts

4 → 86

Calls

4 calls:

Slowest

48.0ms	(exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))))
4.0ms	(log (sqrt (fmod (cosh c) (log1p a))))
0.0ms	(fmod (cosh c) (log1p a))
0.0ms	(fmod (cosh c) (log1p a))

series63.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

29.0ms	(log (sqrt (fmod (cosh c) (log1p a))))
24.0ms	(exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))))
5.0ms	(fmod (cosh c) (log1p a))
5.0ms	(fmod (cosh c) (log1p a))

simplify1.3s

Counts

56 → 98

Calls

56 calls:

Slowest

148.0ms	(exp (* (cbrt (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))))))
92.0ms	(exp (* (cbrt (log (sqrt (fmod (cosh c) (log1p a))))) (cbrt (log (sqrt (fmod (cosh c) (log1p a)))))))
63.0ms	(log (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))))
62.0ms	(log (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
54.0ms	(log (sqrt (sqrt (fmod (cosh c) (log1p a)))))

prune1.1s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 36.6b

regimes812.0ms

Accuracy

0% (0.1b remaining)

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

bsearch3.0ms

end0.0ms

sample16.5s

Algorithm

intervals

Results

12.2s	7971×	body	10240	exit
2.0s	2313×	body	1280	valid
689.0ms	1556×	body	640	valid
368.0ms	5219×	body	80	nan
322.0ms	2783×	body	80	valid
262.0ms	796×	body	320	valid
204.0ms	149×	body	2560	valid
71.0ms	396×	body	160	valid
15.0ms	7×	body	5120	valid