Details

sample1.4s

Algorithm

intervals

Results

710.0ms	271×	body	10240	exit
221.0ms	91×	body	2560	valid
91.0ms	589×	body	80	nan
89.0ms	81×	body	1280	valid
57.0ms	21×	body	320	valid
28.0ms	44×	body	640	valid
4.0ms	15×	body	160	valid
4.0ms	1×	body	5120	nan
1.0ms	1×	body	2560	nan
0.0ms	4×	body	80	valid

simplify2.9s

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	7	10
1	16	10
2	24	10
3	44	10
4	91	10
5	373	10
6	3169	10
done	5000	10

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 60.6b

localize36.0ms

Local error

Found 4 expressions with local error:

0.0b	(log1p a)
0.0b	(pow (fmod (cosh a) (* a a)) (log1p a))
2.2b	(acos (pow (fmod (cosh a) (* a a)) (log1p a)))
58.2b	(fmod (cosh a) (* a a))

rewrite14.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` `add-log-exp`
3×	`pow-unpow` `unpow-prod-down`
1×	`acos-asin` `pow-to-exp` `pow-pow` `pow-exp` `sqr-pow`

Counts

4 → 39

Calls

4 calls:

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

series252.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(log1p a)
226.0ms	(pow (fmod (cosh a) (* a a)) (log1p a))
7.0ms	(acos (pow (fmod (cosh a) (* a a)) (log1p a)))
16.0ms	(fmod (cosh a) (* a a))

simplify2.8s

Counts

51 → 51

Iterations

Useful iterations: 2 (100.0ms)

Iter	Nodes	Cost
0	58	545
1	140	528
2	574	482
3	3678	482
done	5002	482

prune282.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 58.0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (log1p a))
2.2b	(acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a)))))
6.9b	(log (exp (log1p a)))
58.2b	(fmod (cosh a) (* a a))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 41

Calls

4 calls:

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

series48.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(exp (log1p a))
5.0ms	(acos (pow (fmod (cosh a) (* a a)) (log (exp (log1p a)))))
2.0ms	(log (exp (log1p a)))
8.0ms	(fmod (cosh a) (* a a))

simplify1.1s

Counts

53 → 53

Iterations

Useful iterations: 2 (46.0ms)

Iter	Nodes	Cost
0	58	434
1	93	377
2	166	333
3	314	333
4	595	333
5	1526	333
done	5000	333

prune339.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 58.0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.0b	(log1p a)
2.2b	(acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
9.3b	(log (exp (fmod (cosh a) (* a a))))
58.2b	(fmod (cosh a) (* a a))

rewrite9.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` `add-log-exp`
3×	`log-prod` `exp-prod`
1×	`acos-asin` `rem-log-exp`

Counts

4 → 37

Calls

4 calls:

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

series18.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify2.8s

Counts

49 → 49

Iterations

Useful iterations: 2 (50.0ms)

Iter	Nodes	Cost
0	58	499
1	92	446
2	158	391
3	246	391
4	407	391
5	1037	391
6	4845	391
done	5000	391

prune355.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 58.0b

localize55.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (sqrt (exp (log1p a))) (sqrt (exp (log1p a))))
2.2b	(acos (pow (fmod (cosh a) (* a a)) (log (* (sqrt (exp (log1p a))) (sqrt (exp (log1p a)))))))
6.7b	(log (* (sqrt (exp (log1p a))) (sqrt (exp (log1p a)))))
58.2b	(fmod (cosh a) (* a a))

rewrite73.0ms

Algorithm

rewrite-expression-head

Rules

52×	`sqrt-pow1`
36×	`add-sqr-sqrt` `exp-prod`
35×	`pow1`
24×	`*-un-lft-identity` `add-cube-cbrt`
23×	`log-pow`
18×	`sqrt-prod`
16×	`pow1/2` `pow-prod-up`
12×	`pow-prod-down` `pow-sqr`
9×	`add-exp-log`
8×	`swap-sqr`
6×	`add-cbrt-cube` `associate-r` `associate-l`
4×	`add-log-exp` `unswap-sqr`
2×	`pow2` `pow-plus` `rem-log-exp` `prod-exp`
1×	`acos-asin` `log-prod` `rem-square-sqrt` `sqrt-unprod` `*-commutative` `cbrt-unprod`

Counts

4 → 106

Calls

4 calls:

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

series46.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(* (sqrt (exp (log1p a))) (sqrt (exp (log1p a))))
4.0ms	(acos (pow (fmod (cosh a) (* a a)) (log (* (sqrt (exp (log1p a))) (sqrt (exp (log1p a)))))))
2.0ms	(log (* (sqrt (exp (log1p a))) (sqrt (exp (log1p a)))))
3.0ms	(fmod (cosh a) (* a a))

simplify1.1s

Counts

118 → 118

Iterations

Useful iterations: done (1.1s)

Iter	Nodes	Cost
0	110	1291
1	216	758
2	776	662
done	5001	656

prune453.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 58.0b

regimes244.0ms

Accuracy

71.3% (0.4b remaining)

Error of 59.0b against oracle of 58.6b and baseline of 60.0b

bsearch187.0ms

Steps

Iters	Range		Point
8	5.484638728691009e-165	3.809839730193215e-162	1.5597915497031036e-162

simplify2.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	39
done	18	39

end0.0ms

sample30.7s

Algorithm

intervals

Results

18.0s	7817×	body	10240	exit
6.8s	3208×	body	2560	valid
2.4s	2454×	body	1280	valid
1.6s	16140×	body	80	nan
723.0ms	1259×	body	640	valid
249.0ms	649×	body	320	valid
79.0ms	310×	body	160	valid
24.0ms	8×	body	5120	nan
15.0ms	120×	body	80	valid
11.0ms	10×	body	2560	nan
7.0ms	11×	body	1280	nan
5.0ms	11×	body	640	nan
2.0ms	7×	body	320	nan
1.0ms	7×	body	160	nan