Details

sample916.0ms

Algorithm

intervals

Results

664.0ms	306×	body	10240	exit
74.0ms	82×	body	1280	valid
23.0ms	48×	body	640	valid
13.0ms	193×	body	80	nan
12.0ms	5×	body	2560	valid
9.0ms	82×	body	80	valid
8.0ms	28×	body	320	valid
2.0ms	11×	body	160	valid

simplify24.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: 35.3b

localize19.0ms

Local error

Found 1 expressions with local error:

40.2b

(fmod (cosh c) (log1p a))

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

17.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	72	65
6	148	65
7	334	65
8	1002	65
done	5001	65

prune105.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 35.3b

localize27.0ms

Local error

Found 3 expressions with local error:

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

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

28.0ms	(* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))
0.0ms	(fmod (cosh c) (log1p a))
1.0ms	(fmod (cosh c) (log1p a))

series17.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify1.6s

Counts

72 → 72

Iterations

Useful iterations: done (1.6s)

Iter	Nodes	Cost
0	56	978
1	117	618
2	591	536
done	5000	521

prune361.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 35.3b

localize39.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.0b	(pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
40.2b	(fmod (cosh c) (log1p a))
40.2b	(fmod (cosh c) (log1p a))

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

70.0ms	(* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
11.0ms	(pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
0.0ms	(fmod (cosh c) (log1p a))
1.0ms	(fmod (cosh c) (log1p a))

series145.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (sqrt (fmod (cosh c) (log1p a)))))
126.0ms	(pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3)
6.0ms	(fmod (cosh c) (log1p a))
6.0ms	(fmod (cosh c) (log1p a))

simplify1.9s

Counts

137 → 137

Iterations

Useful iterations: done (1.9s)

Iter	Nodes	Cost
0	100	2598
1	294	1868
2	1387	1760
done	5002	1511

prune753.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 35.3b

localize48.0ms

Local error

Found 4 expressions with local error:

0.7b	(exp (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
1.0b	(log (sqrt (sqrt (fmod (cosh c) (log1p a)))))
40.2b	(fmod (cosh c) (log1p a))
40.2b	(fmod (cosh c) (log1p a))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

9×	`log-prod` `sqrt-prod`
7×	`pow1` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
5×	`add-exp-log` `log-pow` `add-log-exp`
4×	`sqrt-pow1` `add-cbrt-cube`
2×	`pow1/2`
1×	`exp-lft-cube` `exp-prod` `exp-to-pow` `rem-log-exp` `rem-exp-log`

Counts

4 → 47

Calls

4 calls:

9.0ms	(exp (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
6.0ms	(log (sqrt (sqrt (fmod (cosh c) (log1p a)))))
0.0ms	(fmod (cosh c) (log1p a))
1.0ms	(fmod (cosh c) (log1p a))

series278.0ms

Counts

4 → 12

Calls

4 calls:

128.0ms	(exp (* (log (sqrt (sqrt (fmod (cosh c) (log1p a))))) 3))
139.0ms	(log (sqrt (sqrt (fmod (cosh c) (log1p a)))))
6.0ms	(fmod (cosh c) (log1p a))
6.0ms	(fmod (cosh c) (log1p a))

simplify1.3s

Counts

59 → 59

Iterations

Useful iterations: done (1.3s)

Iter	Nodes	Cost
0	61	628
1	91	561
2	149	511
3	356	502
4	1191	500
done	5000	499

prune481.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 35.3b

regimes1.0s

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	21
1	18	21
done	18	21

end0.0ms

sample24.1s

Algorithm

intervals

Results

16.4s	7763×	body	10240	exit
2.2s	2316×	body	1280	valid
1.3s	2751×	body	80	valid
1.0s	5184×	body	80	nan
827.0ms	1572×	body	640	valid
431.0ms	160×	body	2560	valid
282.0ms	784×	body	320	valid
140.0ms	409×	body	160	valid
24.0ms	8×	body	5120	valid