Details

sample371.0ms

Algorithm

intervals

Results

288.0ms	283×	body	10240	exit
29.0ms	66×	body	1280	valid
13.0ms	59×	body	640	valid
7.0ms	6×	body	2560	valid
5.0ms	191×	body	80	nan
4.0ms	87×	body	80	valid
3.0ms	26×	body	320	valid
1.0ms	12×	body	160	valid

simplify6.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

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

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.6b

localize6.0ms

Local error

Found 1 expressions with local error:

39.3b

(fmod (cosh c) (log1p a))

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

0.0ms

(fmod (cosh c) (log1p a))

series2.0ms

Counts

1 → 3

Calls

1 calls:

2.0ms

(fmod (cosh c) (log1p a))

simplify2.4s

Counts

10 → 10

Iterations

Useful iterations: 2 (4.0ms)

Iter	Nodes	Cost
0	12	75
1	19	75
2	24	65
3	30	65
4	36	65
5	46	65
6	67	65
7	124	65
8	324	65
9	1244	65
done	5000	65

prune34.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 34.6b

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt`
18×	`pow1` `sqrt-prod`
11×	`add-cube-cbrt` `*-un-lft-identity`
8×	`sqrt-pow1` `pow1/2` `swap-sqr`
6×	`associate-r` `associate-l`
5×	`add-exp-log` `pow-prod-up` `add-cbrt-cube`
4×	`unswap-sqr`
3×	`pow-prod-down` `pow-sqr` `add-log-exp`
1×	`pow2` `pow-plus` `sqrt-unprod` `prod-exp` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

3 → 63

Calls

3 calls:

7.0ms	(* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
0.0ms	(fmod (cosh c) (log1p a))
0.0ms	(fmod (cosh c) (log1p a))

series7.0ms

Counts

3 → 9

Calls

3 calls:

2.0ms	(* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))

simplify4.5s

Counts

72 → 72

Iterations

Useful iterations: 5 (1.9s)

Iter	Nodes	Cost
0	56	978
1	92	616
2	201	536
3	495	509
4	981	485
5	4639	479
done	5001	479

prune142.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 34.6b

localize9.0ms

Local error

Found 3 expressions with local error:

0.4b	(log (fmod (cosh c) (log1p a)))
0.7b	(exp (log (fmod (cosh c) (log1p a))))
39.3b	(fmod (cosh c) (log1p a))

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

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

series24.0ms

Counts

3 → 9

Calls

3 calls:

20.0ms	(log (fmod (cosh c) (log1p a)))
2.0ms	(exp (log (fmod (cosh c) (log1p a))))
2.0ms	(fmod (cosh c) (log1p a))

simplify3.1s

Counts

43 → 43

Iterations

Useful iterations: 4 (32.0ms)

Iter	Nodes	Cost
0	38	384
1	55	347
2	69	301
3	87	301
4	127	295
5	205	295
6	421	295
7	1108	295
8	3918	295
done	5001	295

prune129.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 34.6b

localize14.0ms

Local error

Found 4 expressions with local error:

0.7b	(pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))
39.3b	(fmod (cosh c) (log1p a))
39.3b	(fmod (cosh c) (log1p a))
39.3b	(fmod (cosh c) (log1p a))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 44

Calls

4 calls:

3.0ms	(pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (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))

series138.0ms

Counts

4 → 12

Calls

4 calls:

131.0ms	(pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))

simplify2.4s

Counts

56 → 56

Iterations

Useful iterations: 4 (334.0ms)

Iter	Nodes	Cost
0	51	953
1	98	912
2	206	853
3	492	811
4	1401	802
done	5000	802

prune186.0ms

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 34.6b

regimes366.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	43
done	13	43

end0.0ms

sample10.4s

Algorithm

intervals

Results

8.0s	7861×	body	10240	exit
1.1s	2321×	body	1280	valid
338.0ms	1520×	body	640	valid
163.0ms	151×	body	2560	valid
148.0ms	5083×	body	80	nan
116.0ms	2797×	body	80	valid
107.0ms	801×	body	320	valid
38.0ms	399×	body	160	valid
17.0ms	11×	body	5120	valid