Details

sample77.0ms

Algorithm

intervals

Results

29.0ms	99×	body	1280	valid
20.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

simplify738.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	63	13
7	115	13
8	176	13
9	244	13
10	468	13
11	1967	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)))

rewrite30.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)))
17.0ms	(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
5.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)))

simplify880.0ms

Counts

82 → 82

Iterations

Useful iterations: done (878.0ms)

Iter	Nodes	Cost
0	117	1385
1	282	1333
2	740	1239
3	2396	1232
done	5001	1230

prune87.0ms

Filtered

56 candidates to 82 candidates (-46.4%)

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)

series18.0ms

Counts

1 → 3

Calls

1 calls:

18.0ms

(tanh x)

simplify716.0ms

Counts

13 → 13

Iterations

Useful iterations: 3 (50.0ms)

Iter	Nodes	Cost
0	42	107
1	93	94
2	205	90
3	579	79
4	2630	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))

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:

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

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

Counts

79 → 79

Iterations

Useful iterations: 3 (337.0ms)

Iter	Nodes	Cost
0	121	815
1	296	737
2	911	688
3	4230	679
done	5000	679

prune125.0ms

Filtered

52 candidates to 79 candidates (-51.9%)

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

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`
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))

series23.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify1.4s

Counts

77 → 77

Iterations

Useful iterations: done (1.4s)

Iter	Nodes	Cost
0	114	746
1	275	653
2	809	611
3	3782	610
done	5001	606

prune111.0ms

Filtered

49 candidates to 77 candidates (-57.1%)

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

942.0ms	3327×	body	1280	valid
437.0ms	2369×	body	640	valid
258.0ms	7561×	body	80	overflowed
145.0ms	1213×	body	320	valid
52.0ms	656×	body	160	valid
17.0ms	435×	body	80	valid

Details

sample77.0ms

simplify738.0ms

prune3.0ms

localize7.0ms

rewrite30.0ms

series26.0ms

simplify880.0ms

prune87.0ms

localize2.0ms

rewrite1.0ms

series18.0ms

simplify716.0ms

prune16.0ms

localize9.0ms

rewrite20.0ms

series16.0ms

simplify1.5s

prune125.0ms

localize9.0ms

rewrite20.0ms

series23.0ms

simplify1.4s

prune111.0ms

regimes24.0ms

bsearch0.0ms

simplify0.0ms

end0.0ms

sample2.2s

Profiling