Details

sample855.0ms

Algorithm

intervals

Results

617.0ms	288×	body	10240	exit
78.0ms	75×	body	1280	valid
57.0ms	8×	body	2560	valid
27.0ms	45×	body	640	valid
20.0ms	201×	body	80	nan
14.0ms	32×	body	320	valid
11.0ms	87×	body	80	valid
3.0ms	9×	body	160	valid

simplify12.0ms

Counts

1 → 1

Iterations

Iter	Nodes
3	14
2	14
1	11
0	5

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.2b

localize50.0ms

Local error

Found 1 expressions with local error:

38.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:

2.0ms

(fmod (cosh c) (log1p a))

series15.0ms

Counts

1 → 3

Calls

1 calls:

15.0ms

(fmod (cosh c) (log1p a))

simplify7.0s

Counts

13 → 13

Iterations

Iter	Nodes
10	7331
9	1613
8	503
7	204
6	98
5	59
4	39
3	31
2	27
1	22
0	15

prune168.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 34.1b

localize31.0ms

Local error

Found 3 expressions with local error:

0.7b	(exp (log (fmod (cosh c) (log1p a))))
0.9b	(log (fmod (cosh c) (log1p a)))
38.5b	(fmod (cosh c) (log1p a))

rewrite10.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×	`expm1-log1p-u` `add-cbrt-cube` `exp-sum` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`log-pow`
1×	`rem-log-exp` `rem-exp-log`

Counts

3 → 43

Calls

3 calls:

5.0ms	(exp (log (fmod (cosh c) (log1p a))))
3.0ms	(log (fmod (cosh c) (log1p a)))
1.0ms	(fmod (cosh c) (log1p a))

series48.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(exp (log (fmod (cosh c) (log1p a))))
38.0ms	(log (fmod (cosh c) (log1p a)))
4.0ms	(fmod (cosh c) (log1p a))

simplify3.6s

Counts

52 → 52

Iterations

Iter	Nodes
8	3777
7	1300
6	600
5	333
4	197
3	136
2	94
1	70
0	47

prune474.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 33.9b

localize34.0ms

Local error

Found 3 expressions with local error:

0.9b	(log (fmod (cosh c) (log1p a)))
0.9b	(pow E (log (fmod (cosh c) (log1p a))))
38.5b	(fmod (cosh c) (log1p a))

rewrite5.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×	`expm1-log1p-u` `unpow-prod-up` `unpow-prod-down` `add-cbrt-cube` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`pow-exp` `log-pow`
1×	`pow-to-exp` `e-exp-1` `pow-pow` `rem-log-exp` `sqr-pow`

Counts

3 → 50

Calls

3 calls:

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

series71.0ms

Counts

3 → 9

Calls

3 calls:

19.0ms	(log (fmod (cosh c) (log1p a)))
49.0ms	(pow E (log (fmod (cosh c) (log1p a))))
3.0ms	(fmod (cosh c) (log1p a))

simplify3.3s

Counts

59 → 59

Iterations

Iter	Nodes
5	5125
4	1736
3	617
2	242
1	124
0	62

prune624.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 33.9b

localize44.0ms

Local error

Found 4 expressions with local error:

0.9b	(pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
38.5b	(fmod (cosh c) (log1p a))
38.5b	(fmod (cosh c) (log1p a))
38.5b	(fmod (cosh c) (log1p a))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 52

Calls

4 calls:

4.0ms	(pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
0.0ms	(fmod (cosh c) (log1p a))
0.0ms	(fmod (cosh c) (log1p a))
1.0ms	(fmod (cosh c) (log1p a))

series99.0ms

Counts

4 → 12

Calls

4 calls:

85.0ms	(pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
4.0ms	(fmod (cosh c) (log1p a))
5.0ms	(fmod (cosh c) (log1p a))
4.0ms	(fmod (cosh c) (log1p a))

simplify2.9s

Counts

64 → 64

Iterations

Iter	Nodes
5	3871
4	1214
3	473
2	174
1	97
0	52

prune745.0ms

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 33.9b

regimes672.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Iter	Nodes
2	12
1	12
0	11

end0.0ms

sample22.9s

Algorithm

intervals

Results

17.1s	7798×	body	10240	exit
2.8s	2361×	body	1280	valid
911.0ms	1505×	body	640	valid
529.0ms	5220×	body	80	nan
364.0ms	2769×	body	80	valid
309.0ms	786×	body	320	valid
280.0ms	148×	body	2560	valid
135.0ms	422×	body	160	valid
27.0ms	9×	body	5120	valid