Details

sample70.0ms

Algorithm

intervals

Results

28.0ms	99×	body	1280	valid
15.0ms	81×	body	640	valid
8.0ms	260×	body	80	overflowed
4.0ms	40×	body	320	valid
2.0ms	21×	body	160	valid
1.0ms	15×	body	80	valid

simplify2.5s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	13
1	15	13
2	25	13
3	31	13
4	42	13
5	52	13
6	55	13
7	87	13
8	120	13
9	155	13
10	253	13
11	382	13
12	655	13
13	1526	13
done	5000	13

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 57.9b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (exp x) (exp (neg x)))
1.2b	(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
7.5b	(- (exp x) (exp (neg x)))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

40×	`*-un-lft-identity`
26×	`add-sqr-sqrt`
20×	`times-frac`
14×	`add-cube-cbrt`
7×	`distribute-lft-out` `add-log-exp`
6×	`distribute-lft-out--` `difference-of-squares`
5×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
4×	`associate-/r*`
3×	`pow1`
2×	`flip3--` `flip3-+` `associate-/r/` `flip--` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `sub-neg` `frac-2neg` `diff-log` `div-sub` `tanh-undef` `div-exp` `clear-num` `sum-log` `div-inv`

Counts

3 → 73

Calls

3 calls:

5.0ms	(+ (exp x) (exp (neg x)))
11.0ms	(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
5.0ms	(- (exp x) (exp (neg x)))

series23.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(+ (exp x) (exp (neg x)))
14.0ms	(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
5.0ms	(- (exp x) (exp (neg x)))

simplify1.2s

Counts

82 → 82

Iterations

Useful iterations: done (1.2s)

Iter	Nodes	Cost
0	117	1385
1	279	1333
2	675	1237
3	1784	1231
done	5000	1230

prune86.0ms

Filtered

57 candidates to 82 candidates (-43.9%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	80	2	82
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	81	2	83

Merged error: 0.0b

Counts

83 → 2

localize2.0ms

Local error

Found 1 expressions with local error:

0.0b

(tanh x)

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

1×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `tanh-def` `add-log-exp`

Counts

1 → 10

Calls

1 calls:

1.0ms

(tanh x)

series16.0ms

Counts

1 → 3

Calls

1 calls:

16.0ms

(tanh x)

simplify1.3s

Counts

13 → 13

Iterations

Useful iterations: 2 (20.0ms)

Iter	Nodes	Cost
0	42	107
1	90	83
2	194	79
3	525	79
4	2304	79
done	5000	79

prune21.0ms

Filtered

10 candidates to 13 candidates (-30.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	13	0	13
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	13	2	15

Merged error: 0.0b

Counts

15 → 2

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
0.1b	(* 2/15 (pow x 5))
0.1b	(* 1/3 (pow x 3))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
19×	`associate-r`
13×	`add-exp-log`
10×	`add-cube-cbrt` `*-un-lft-identity`
8×	`unpow-prod-down` `add-log-exp`
7×	`add-cbrt-cube` `unswap-sqr`
6×	`associate-l` `prod-exp`
4×	`cube-prod` `sqr-pow`
3×	`pow1`
2×	`pow-to-exp` `diff-log` `pow-exp` `*-commutative` `cbrt-unprod`
1×	`cube-mult` `sub-neg` `flip3--` `unpow3` `associate--l+` `sum-log` `flip--`

Counts

3 → 70

Calls

3 calls:

5.0ms	(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
6.0ms	(* 2/15 (pow x 5))
7.0ms	(* 1/3 (pow x 3))

series14.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
5.0ms	(* 2/15 (pow x 5))
4.0ms	(* 1/3 (pow x 3))

simplify1.9s

Counts

79 → 79

Iterations

Useful iterations: 3 (527.0ms)

Iter	Nodes	Cost
0	121	815
1	286	726
2	822	684
3	3840	675
done	5000	675

prune115.0ms

Filtered

49 candidates to 79 candidates (-61.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	78	1	79
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	79	2	81

Merged error: 0b

Counts

81 → 2

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* 2/15 (pow x 5)) (* 1/3 (pow x 3)))
0.1b	(* 2/15 (pow x 5))
0.1b	(* 1/3 (pow x 3))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
19×	`associate-r`
13×	`add-exp-log`
10×	`add-cube-cbrt` `*-un-lft-identity`
8×	`unpow-prod-down`
7×	`add-cbrt-cube` `unswap-sqr`
6×	`associate-l` `prod-exp`
5×	`add-log-exp`
4×	`cube-prod` `sqr-pow`
3×	`pow1`
2×	`pow-to-exp` `pow-exp` `*-commutative` `cbrt-unprod`
1×	`cube-mult` `sub-neg` `flip3--` `diff-log` `unpow3` `flip--`

Counts

3 → 68

Calls

3 calls:

4.0ms	(- (* 2/15 (pow x 5)) (* 1/3 (pow x 3)))
6.0ms	(* 2/15 (pow x 5))
7.0ms	(* 1/3 (pow x 3))

series21.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(- (* 2/15 (pow x 5)) (* 1/3 (pow x 3)))
5.0ms	(* 2/15 (pow x 5))
4.0ms	(* 1/3 (pow x 3))

simplify1.9s

Counts

77 → 77

Iterations

Useful iterations: 3 (496.0ms)

Iter	Nodes	Cost
0	114	746
1	268	643
2	730	607
3	3441	606
done	5001	606

prune110.0ms

Filtered

48 candidates to 77 candidates (-60.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	77	0	77
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	77	2	79

Merged error: 0b

Counts

79 → 2

regimes24.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify0.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2	2
done	2	2

end0.0ms

sample2.1s

Algorithm

intervals

Results

952.0ms	3327×	body	1280	valid
430.0ms	2369×	body	640	valid
238.0ms	7561×	body	80	overflowed
142.0ms	1213×	body	320	valid
51.0ms	656×	body	160	valid
17.0ms	435×	body	80	valid

Details

sample70.0ms

simplify2.5s

prune3.0ms

localize7.0ms

rewrite24.0ms

series23.0ms

simplify1.2s

prune86.0ms

localize2.0ms

rewrite1.0ms

series16.0ms

simplify1.3s

prune21.0ms

localize9.0ms

rewrite20.0ms

series14.0ms

simplify1.9s

prune115.0ms

localize9.0ms

rewrite18.0ms

series21.0ms

simplify1.9s

prune110.0ms

regimes24.0ms

bsearch0.0ms

simplify0.0ms

end0.0ms

sample2.1s

Profiling