Details

sample1.6s

Algorithm

intervals

Results

835.0ms	249×	body	10240	exit
308.0ms	90×	body	2560	valid
128.0ms	82×	body	1280	valid
82.0ms	535×	body	80	nan
49.0ms	25×	body	320	valid
42.0ms	44×	body	640	valid
5.0ms	10×	body	160	valid
1.0ms	5×	body	80	valid
1.0ms	1×	body	1280	nan
0.0ms	1×	body	320	nan

simplify1.5s

Counts

1 → 1

Iterations

Iter	Nodes
7	2171
6	639
5	254
4	137
3	80
2	52
1	30
0	7

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 60.0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.0b	(pow (fmod (cosh a) (* a a)) (log1p a))
0.0b	(log1p a)
2.1b	(acos (pow (fmod (cosh a) (* a a)) (log1p a)))
59.3b	(fmod (cosh a) (* a a))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 43

Calls

4 calls:

5.0ms	(pow (fmod (cosh a) (* a a)) (log1p a))
0.0ms	(log1p a)
3.0ms	(acos (pow (fmod (cosh a) (* a a)) (log1p a)))
2.0ms	(fmod (cosh a) (* a a))

series169.0ms

Counts

4 → 12

Calls

4 calls:

147.0ms	(pow (fmod (cosh a) (* a a)) (log1p a))
2.0ms	(log1p a)
5.0ms	(acos (pow (fmod (cosh a) (* a a)) (log1p a)))
15.0ms	(fmod (cosh a) (* a a))

simplify1.4s

Counts

55 → 55

Iterations

Iter	Nodes
4	3316
3	1011
2	441
1	230
0	62

prune708.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 58.0b

localize49.0ms

Local error

Found 4 expressions with local error:

0.0b	(log1p a)
2.1b	(acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
13.8b	(log (exp (fmod (cosh a) (* a a))))
59.3b	(fmod (cosh a) (* a a))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
5×	`pow1`
4×	`add-cbrt-cube` `add-exp-log` `log-pow` `insert-posit16` `add-log-exp`
3×	`log-prod` `exp-prod`
1×	`acos-asin` `rem-log-exp`

Counts

4 → 41

Calls

4 calls:

0.0ms	(log1p a)
2.0ms	(acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
4.0ms	(log (exp (fmod (cosh a) (* a a))))
0.0ms	(fmod (cosh a) (* a a))

series13.0ms

Counts

4 → 12

Calls

4 calls:

1.0ms	(log1p a)
7.0ms	(acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
2.0ms	(log (exp (fmod (cosh a) (* a a))))
3.0ms	(fmod (cosh a) (* a a))

simplify2.2s

Counts

53 → 53

Iterations

Iter	Nodes
7	4255
6	1403
5	660
4	386
3	273
2	224
1	177
0	62

prune518.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 58.0b

localize37.0ms

Local error

Found 4 expressions with local error:

2.1b	(acos (pow (log (exp (fmod (cosh a) (* a a)))) (cbrt (* (* (log1p a) (log1p a)) (log1p a)))))
13.8b	(log (exp (fmod (cosh a) (* a a))))
37.9b	(cbrt (* (* (log1p a) (log1p a)) (log1p a)))
59.3b	(fmod (cosh a) (* a a))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
5×	`pow1`
4×	`add-cbrt-cube` `add-exp-log` `log-pow` `insert-posit16` `add-log-exp`
3×	`log-prod` `exp-prod`
1×	`cbrt-prod` `acos-asin` `pow1/3` `rem-log-exp` `pow3` `rem-cbrt-cube`

Counts

4 → 44

Calls

4 calls:

1.0ms	(acos (pow (log (exp (fmod (cosh a) (* a a)))) (cbrt (* (* (log1p a) (log1p a)) (log1p a)))))
2.0ms	(log (exp (fmod (cosh a) (* a a))))
10.0ms	(cbrt (* (* (log1p a) (log1p a)) (log1p a)))
0.0ms	(fmod (cosh a) (* a a))

series8.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(acos (pow (log (exp (fmod (cosh a) (* a a)))) (cbrt (* (* (log1p a) (log1p a)) (log1p a)))))
2.0ms	(log (exp (fmod (cosh a) (* a a))))
1.0ms	(cbrt (* (* (log1p a) (log1p a)) (log1p a)))
2.0ms	(fmod (cosh a) (* a a))

simplify3.5s

Counts

56 → 56

Iterations

Iter	Nodes
7	5847
6	1752
5	881
4	458
3	306
2	250
1	197
0	67

prune642.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 58.0b

localize43.0ms

Local error

Found 4 expressions with local error:

0.0b	(log1p a)
2.1b	(acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a)))))
6.7b	(log (exp (log1p a)))
59.3b	(fmod (cosh a) (* a a))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
5×	`pow1`
4×	`add-cbrt-cube` `add-exp-log` `log-pow` `insert-posit16` `add-log-exp`
3×	`log-prod` `exp-prod`
1×	`acos-asin` `rem-log-exp`

Counts

4 → 41

Calls

4 calls:

0.0ms	(log1p a)
1.0ms	(acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a)))))
3.0ms	(log (exp (log1p a)))
1.0ms	(fmod (cosh a) (* a a))

series7.0ms

Counts

4 → 12

Calls

4 calls:

1.0ms	(log1p a)
2.0ms	(acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a)))))
1.0ms	(log (exp (log1p a)))
2.0ms	(fmod (cosh a) (* a a))

simplify2.9s

Counts

53 → 53

Iterations

Iter	Nodes
7	4720
6	1930
5	775
4	444
3	290
2	226
1	176
0	62

prune566.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 58.0b

regimes157.0ms

Accuracy

0% (0.8b remaining)

Error of 59.3b against oracle of 58.4b and baseline of 59.3b

bsearch0.0ms

simplify4.0ms

Iterations

Iter	Nodes
2	13
1	13
0	12

end0.0ms

sample32.3s

Algorithm

intervals

Results

19.1s	7903×	body	10240	exit
6.4s	3187×	body	2560	valid
2.8s	2487×	body	1280	valid
2.2s	16159×	body	80	nan
875.0ms	1247×	body	640	valid
320.0ms	624×	body	320	valid
123.0ms	333×	body	160	valid
22.0ms	8×	body	5120	nan
20.0ms	122×	body	80	valid
20.0ms	7×	body	640	nan
10.0ms	11×	body	1280	nan
7.0ms	5×	body	2560	nan
5.0ms	13×	body	320	nan
1.0ms	4×	body	160	nan