Details

sample593.0ms

Algorithm

intervals

Results

403.0ms	250×	body	10240	exit
95.0ms	66×	body	1280	valid
22.0ms	56×	body	640	valid
9.0ms	37×	body	320	valid
8.0ms	4×	body	2560	valid
8.0ms	143×	body	80	nan
5.0ms	75×	body	80	valid
3.0ms	18×	body	160	valid

simplify68.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

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 37.3b

localize22.0ms

Local error

Found 1 expressions with local error:

42.0b

(fmod (cosh c) (log1p a))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 9

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

simplify2.2s

Counts

12 → 12

Iterations

Useful iterations: 2 (12.0ms)

Iter	Nodes	Cost
0	14	87
1	21	87
2	26	77
3	32	77
4	38	77
5	48	77
6	69	77
7	147	77
8	440	77
9	1834	77
done	5000	77

prune98.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 37.2b

localize22.0ms

Local error

Found 3 expressions with local error:

0.7b	(exp (log (fmod (cosh c) (log1p a))))
0.7b	(log (fmod (cosh c) (log1p a)))
42.0b	(fmod (cosh c) (log1p a))

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

Counts

3 → 40

Calls

3 calls:

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

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

simplify4.5s

Counts

49 → 49

Iterations

Useful iterations: 4 (91.0ms)

Iter	Nodes	Cost
0	44	426
1	60	385
2	74	339
3	93	339
4	134	333
5	218	333
6	426	333
7	1209	333
8	4524	333
done	5001	333

prune276.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 37.2b

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow (log (fmod (cosh c) (log1p a))) 3)
0.7b	(exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
0.7b	(log (fmod (cosh c) (log1p a)))
42.0b	(fmod (cosh c) (log1p a))

rewrite21.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`
4×	`expm1-log1p-u` `log1p-expm1-u`
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 → 77

Calls

4 calls:

4.0ms	(pow (log (fmod (cosh c) (log1p a))) 3)
13.0ms	(exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
2.0ms	(log (fmod (cosh c) (log1p a)))
0.0ms	(fmod (cosh c) (log1p a))

series112.0ms

Counts

4 → 12

Calls

4 calls:

71.0ms	(pow (log (fmod (cosh c) (log1p a))) 3)
7.0ms	(exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
31.0ms	(log (fmod (cosh c) (log1p a)))
3.0ms	(fmod (cosh c) (log1p a))

simplify2.5s

Counts

89 → 89

Iterations

Useful iterations: 3 (629.0ms)

Iter	Nodes	Cost
0	87	930
1	143	755
2	334	668
3	2105	662
done	5000	662

prune477.0ms

Pruning

19 alts after pruning (18 fresh and 1 done)

Merged error: 37.2b

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow (log (fmod (cosh c) (log1p a))) 3)
0.7b	(log (fmod (cosh c) (log1p a)))
0.8b	(pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
42.0b	(fmod (cosh c) (log1p a))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

20×	`pow-unpow`
14×	`cbrt-prod`
13×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
11×	`pow1` `unpow-prod-down`
8×	`cube-prod`
7×	`add-exp-log`
5×	`log-pow` `add-cbrt-cube`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`log-prod` `pow-exp` `sqr-pow`
2×	`cube-mult` `pow-to-exp` `pow-pow` `unpow3`
1×	`e-exp-1` `rem-log-exp` `rem-cube-cbrt`

Counts

4 → 84

Calls

4 calls:

7.0ms	(pow (log (fmod (cosh c) (log1p a))) 3)
3.0ms	(log (fmod (cosh c) (log1p a)))
7.0ms	(pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
0.0ms	(fmod (cosh c) (log1p a))

series157.0ms

Counts

4 → 12

Calls

4 calls:

60.0ms	(pow (log (fmod (cosh c) (log1p a))) 3)
23.0ms	(log (fmod (cosh c) (log1p a)))
68.0ms	(pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
5.0ms	(fmod (cosh c) (log1p a))

simplify4.1s

Counts

96 → 96

Iterations

Useful iterations: done (4.1s)

Iter	Nodes	Cost
0	100	1104
1	185	884
2	482	768
3	2729	762
done	5001	750

prune313.0ms

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 37.2b

regimes703.0ms

Accuracy

0% (0.0b remaining)

Error of 34.3b against oracle of 34.3b and baseline of 34.3b

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	14
1	15	14
2	17	14
done	17	14

end0.0ms

sample19.6s

Algorithm

intervals

Results

14.4s	7892×	body	10240	exit
1.8s	2327×	body	1280	valid
722.0ms	2757×	body	80	valid
682.0ms	1543×	body	640	valid
415.0ms	5172×	body	80	nan
280.0ms	142×	body	2560	valid
189.0ms	781×	body	320	valid
72.0ms	441×	body	160	valid
21.0ms	9×	body	5120	valid