Details

sample73.0ms

Algorithm

intervals

Results

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

simplify961.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	13
1	15	13
2	25	13
3	32	13
4	43	13
5	54	13
6	74	13
7	110	13
8	164	13
9	225	13
10	468	13
11	1966	13
done	5001	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

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

rewrite31.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)))
12.0ms	(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
12.0ms	(- (exp x) (exp (neg x)))

series26.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(+ (exp x) (exp (neg x)))
16.0ms	(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
6.0ms	(- (exp x) (exp (neg x)))

simplify606.0ms

Counts

82 → 82

Iterations

Useful iterations: done (603.0ms)

Iter	Nodes	Cost
0	117	1385
1	282	1333
2	723	1237
3	2099	1231
done	5001	1230

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

series17.0ms

Counts

1 → 3

Calls

1 calls:

17.0ms

(tanh x)

simplify674.0ms

Counts

13 → 13

Iterations

Useful iterations: 2 (17.0ms)

Iter	Nodes	Cost
0	42	107
1	93	83
2	202	79
3	541	79
4	2344	79
done	5000	79

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

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

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

series19.0ms

Counts

3 → 9

Calls

3 calls:

9.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.5s

Counts

79 → 79

Iterations

Useful iterations: 3 (344.0ms)

Iter	Nodes	Cost
0	121	815
1	296	730
2	987	684
3	4523	675
done	5000	675

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

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

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

series23.0ms

Counts

3 → 9

Calls

3 calls:

14.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.3s

Counts

77 → 77

Iterations

Useful iterations: 3 (304.0ms)

Iter	Nodes	Cost
0	114	746
1	275	647
2	871	607
3	3925	606
done	5000	606

prune114.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.2s

Algorithm

intervals

Results

957.0ms	3327×	body	1280	valid
442.0ms	2369×	body	640	valid
256.0ms	7561×	body	80	overflowed
149.0ms	1213×	body	320	valid
53.0ms	656×	body	160	valid
17.0ms	435×	body	80	valid

Details

sample73.0ms

simplify961.0ms

prune3.0ms

localize8.0ms

rewrite31.0ms

series26.0ms

simplify606.0ms

prune94.0ms

localize2.0ms

rewrite1.0ms

series17.0ms

simplify674.0ms

prune16.0ms

localize9.0ms

rewrite21.0ms

series19.0ms

simplify1.5s

prune120.0ms

localize9.0ms

rewrite19.0ms

series23.0ms

simplify1.3s

prune114.0ms

regimes24.0ms

bsearch0.0ms

simplify0.0ms

end0.0ms

sample2.2s

Profiling