Details

sample318.0ms

Algorithm

intervals

Results

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

simplify26.9s

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	25	5
7	35	5
8	58	5
9	149	5
10	1455	5
done	5001	5

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.8b

localize10.0ms

Local error

Found 1 expressions with local error:

40.4b

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

simplify1.6s

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	38	65
5	62	65
6	125	65
7	456	65
8	1411	65
done	5001	65

prune35.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 35.8b

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

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

simplify1.6s

Counts

72 → 72

Iterations

Useful iterations: 3 (266.0ms)

Iter	Nodes	Cost
0	56	978
1	94	616
2	314	536
3	1641	509
done	5001	509

prune126.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 35.8b

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

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

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

series66.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)))))
59.0ms	(pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
2.0ms	(fmod (cosh c) (log1p a))
2.0ms	(fmod (cosh c) (log1p a))

simplify750.0ms

Counts

137 → 137

Iterations

Useful iterations: 2 (105.0ms)

Iter	Nodes	Cost
0	100	2598
1	249	1812
2	1054	1583
done	5000	1583

prune303.0ms

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 35.8b

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

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

series329.0ms

Counts

4 → 12

Calls

4 calls:

118.0ms	(pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 3))
207.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))

simplify1.7s

Counts

89 → 89

Iterations

Useful iterations: 2 (96.0ms)

Iter	Nodes	Cost
0	107	1367
1	229	1254
2	579	1185
3	1633	1185
done	5000	1185

prune229.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 35.8b

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

sample9.7s

Algorithm

intervals

Results

7.4s	7700×	body	10240	exit
1.0s	2357×	body	1280	valid
311.0ms	1534×	body	640	valid
181.0ms	173×	body	2560	valid
149.0ms	5226×	body	80	nan
106.0ms	2738×	body	80	valid
96.0ms	784×	body	320	valid
36.0ms	402×	body	160	valid
21.0ms	12×	body	5120	valid