Details

sample321.0ms

Algorithm

intervals

Results

240.0ms	245×	body	10240	exit
33.0ms	79×	body	1280	valid
12.0ms	55×	body	640	valid
5.0ms	179×	body	80	nan
3.0ms	2×	body	5120	valid
3.0ms	81×	body	80	valid
3.0ms	23×	body	320	valid
1.0ms	2×	body	2560	valid
1.0ms	14×	body	160	valid

simplify2.6s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	11	5
2	14	5
3	16	5
4	18	5
5	19	5
6	24	5
7	31	5
8	48	5
9	96	5
10	550	5
done	5000	5

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.8b

localize7.0ms

Local error

Found 1 expressions with local error:

40.4b

(fmod (cosh c) (log1p a))

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

simplify1.5s

Counts

10 → 10

Iterations

Useful iterations: 2 (9.0ms)

Iter	Nodes	Cost
0	12	75
1	19	75
2	24	65
3	30	65
4	38	65
5	59	65
6	120	65
7	354	65
8	1254	65
done	5001	65

prune33.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 35.8b

localize9.0ms

Local error

Found 3 expressions with local error:

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

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

simplify1.3s

Counts

72 → 72

Iterations

Useful iterations: 3 (254.0ms)

Iter	Nodes	Cost
0	56	978
1	92	610
2	263	536
3	1553	509
done	5000	509

prune133.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 35.8b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
0.1b	(pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
40.4b	(fmod (cosh c) (log1p a))
40.4b	(fmod (cosh c) (log1p a))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

87×	`sqrt-prod`
66×	`add-sqr-sqrt`
27×	`unpow-prod-down` `cube-prod`
24×	`associate-l` `unswap-sqr`
21×	`add-cube-cbrt` `*-un-lft-identity`
10×	`add-exp-log`
9×	`associate-r`
8×	`pow1`
7×	`add-cbrt-cube`
5×	`pow-pow` `sqr-pow`
4×	`sqrt-pow1` `add-log-exp`
3×	`pow-unpow` `prod-exp`
2×	`cube-mult` `pow-to-exp` `pow1/2` `unpow3` `pow-exp`
1×	`pow-plus` `*-commutative` `pow-prod-up` `sqrt-pow2` `cbrt-unprod` `rem-cube-cbrt`

Counts

4 → 125

Calls

4 calls:

21.0ms	(* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
3.0ms	(pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
0.0ms	(fmod (cosh c) (log1p a))
0.0ms	(fmod (cosh c) (log1p a))

series69.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
61.0ms	(pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))

simplify494.0ms

Counts

137 → 137

Iterations

Useful iterations: 2 (121.0ms)

Iter	Nodes	Cost
0	100	2598
1	237	1813
2	890	1583
done	5001	1583

prune313.0ms

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 35.8b

localize18.0ms

Local error

Found 4 expressions with local error:

0.7b	(pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))
0.8b	(pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3))
40.4b	(fmod (cosh c) (log1p a))
40.4b	(fmod (cosh c) (log1p a))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

31×	`unpow-prod-down`
24×	`sqrt-prod`
15×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
12×	`pow-unpow`
7×	`pow1` `add-exp-log`
6×	`pow-pow`
5×	`pow-exp`
4×	`sqrt-pow1` `add-cbrt-cube` `add-log-exp`
3×	`pow-to-exp` `sqr-pow`
2×	`pow1/2`
1×	`sqrt-pow2`

Counts

4 → 77

Calls

4 calls:

3.0ms	(pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))
6.0ms	(pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3))
0.0ms	(fmod (cosh c) (log1p a))
0.0ms	(fmod (cosh c) (log1p a))

series333.0ms

Counts

4 → 12

Calls

4 calls:

115.0ms	(pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))
214.0ms	(pow (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3)) (sqrt 3))
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))

simplify2.9s

Counts

89 → 89

Iterations

Useful iterations: 2 (73.0ms)

Iter	Nodes	Cost
0	107	1367
1	225	1230
2	467	1185
3	1219	1185
4	4840	1185
done	5000	1185

prune260.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 35.8b

regimes442.0ms

Accuracy

0% (0.1b remaining)

Error of 34.4b against oracle of 34.4b and baseline of 34.4b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	19
1	14	19
done	14	19

end0.0ms

sample10.4s

Algorithm

intervals

Results

7.9s	7700×	body	10240	exit
1.1s	2357×	body	1280	valid
335.0ms	1534×	body	640	valid
193.0ms	173×	body	2560	valid
162.0ms	5226×	body	80	nan
117.0ms	2738×	body	80	valid
102.0ms	784×	body	320	valid
39.0ms	402×	body	160	valid
26.0ms	12×	body	5120	valid