Details

sample513.0ms

Algorithm

intervals

Results

330.0ms	199×	body	10240	exit
60.0ms	51×	body	640	valid
49.0ms	65×	body	1280	valid
10.0ms	173×	body	80	nan
8.0ms	5×	body	2560	valid
8.0ms	32×	body	320	valid
7.0ms	92×	body	80	valid
2.0ms	11×	body	160	valid

simplify22.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	5	5
1	11	5
2	14	5
3	16	5
done	16	5

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 33.5b

localize61.0ms

Local error

Found 1 expressions with local error:

38.1b

(fmod (cosh c) (log1p a))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 7

Calls

1 calls:

1.0ms

(fmod (cosh c) (log1p a))

series18.0ms

Counts

1 → 3

Calls

1 calls:

18.0ms

(fmod (cosh c) (log1p a))

simplify1.3s

Counts

10 → 10

Iterations

Useful iterations: 2 (10.0ms)

Iter	Nodes	Cost
0	12	75
1	19	75
2	24	65
3	30	65
4	38	65
5	72	65
6	148	65
7	334	65
8	1002	65
done	5001	65

prune92.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 33.5b

localize15.0ms

Local error

Found 3 expressions with local error:

0.5b	(exp (log (fmod (cosh c) (log1p a))))
1.1b	(log (fmod (cosh c) (log1p a)))
38.1b	(fmod (cosh c) (log1p a))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 34

Calls

3 calls:

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

series42.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(exp (log (fmod (cosh c) (log1p a))))
32.0ms	(log (fmod (cosh c) (log1p a)))
3.0ms	(fmod (cosh c) (log1p a))

simplify3.2s

Counts

43 → 43

Iterations

Useful iterations: 4 (70.0ms)

Iter	Nodes	Cost
0	38	384
1	62	347
2	98	301
3	153	301
4	241	295
5	421	295
6	1047	295
7	4342	295
done	5001	295

prune270.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 33.5b

localize40.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow (log (fmod (cosh c) (log1p a))) 3)
0.5b	(exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
1.1b	(log (fmod (cosh c) (log1p a)))
38.1b	(fmod (cosh c) (log1p a))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

17×	`exp-prod`
14×	`cbrt-prod`
12×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
10×	`pow1`
8×	`unpow-prod-down` `cube-prod`
6×	`add-exp-log`
5×	`log-pow` `add-cbrt-cube` `add-log-exp`
3×	`pow-unpow` `log-prod`
2×	`cube-mult` `unpow3` `sqr-pow`
1×	`pow-to-exp` `pow-pow` `rem-log-exp` `pow-exp` `rem-exp-log` `rem-cube-cbrt`

Counts

4 → 69

Calls

4 calls:

3.0ms	(pow (log (fmod (cosh c) (log1p a))) 3)
18.0ms	(exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
3.0ms	(log (fmod (cosh c) (log1p a)))
1.0ms	(fmod (cosh c) (log1p a))

series97.0ms

Counts

4 → 12

Calls

4 calls:

61.0ms	(pow (log (fmod (cosh c) (log1p a))) 3)
4.0ms	(exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
30.0ms	(log (fmod (cosh c) (log1p a)))
3.0ms	(fmod (cosh c) (log1p a))

simplify932.0ms

Counts

81 → 81

Iterations

Useful iterations: 2 (147.0ms)

Iter	Nodes	Cost
0	79	864
1	173	699
2	721	612
done	5001	612

prune568.0ms

Pruning

20 alts after pruning (19 fresh and 1 done)

Merged error: 33.5b

localize36.0ms

Local error

Found 4 expressions with local error:

1.1b	(log (fmod (cosh c) (log1p a)))
1.1b	(log (fmod (cosh c) (log1p a)))
38.1b	(fmod (cosh c) (log1p a))
38.1b	(fmod (cosh c) (log1p a))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

6×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `log-prod` `*-un-lft-identity`
4×	`add-cbrt-cube` `add-log-exp`
2×	`rem-log-exp` `log-pow`

Counts

4 → 38

Calls

4 calls:

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

series78.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(log (fmod (cosh c) (log1p a)))
40.0ms	(log (fmod (cosh c) (log1p a)))
6.0ms	(fmod (cosh c) (log1p a))
6.0ms	(fmod (cosh c) (log1p a))

simplify1.4s

Counts

50 → 50

Iterations

Useful iterations: 2 (14.0ms)

Iter	Nodes	Cost
0	24	424
1	38	418
2	55	364
3	69	364
4	89	364
5	163	364
6	329	364
7	740	364
8	2307	364
done	5000	364

prune377.0ms

Pruning

23 alts after pruning (22 fresh and 1 done)

Merged error: 33.5b

regimes1.2s

Accuracy

0% (0.0b remaining)

Error of 34.8b against oracle of 34.8b and baseline of 34.8b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	38
1	20	38
done	20	38

end0.0ms

sample19.6s

Algorithm

intervals

Results

13.5s	7960×	body	10240	exit
2.7s	2340×	body	1280	valid
712.0ms	824×	body	320	valid
592.0ms	1629×	body	640	valid
466.0ms	5309×	body	80	nan
291.0ms	2674×	body	80	valid
222.0ms	131×	body	2560	valid
62.0ms	391×	body	160	valid
34.0ms	11×	body	5120	valid