Details

analyze75.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
25%	74.9%	0.1%	3
62.4%	37.5%	0.1%	4
68.7%	31.2%	0.1%	5
68.7%	18.7%	12.6%	6
68.7%	18.7%	12.6%	7
68.7%	12.5%	18.8%	8
68.7%	12.5%	18.8%	9
68.7%	9.4%	22%	10
68.7%	9.4%	22%	11
68.7%	7.8%	23.5%	12
68.7%	7.8%	23.5%	13
68.7%	7%	24.3%	14

sample17.0ms

Algorithm

intervals

Results

11.0ms	256×	body	80	valid
0.0ms	16×	body	80	overflowed

simplify19.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	8	13
1	8	13

prune1.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: 1.0b

Counts

2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (exp.f64 a) (exp.f64 b))
1.0b	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

21×	`*-un-lft-identity_binary64`
12×	`times-frac_binary64`
11×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
5×	`distribute-lft-out_binary64`
4×	`associate-/r*_binary64` `add-log-exp_binary64` `add-cbrt-cube_binary64`
3×	`add-exp-log_binary64` `associate-/l*_binary64`
2×	`flip3-+_binary64` `pow1_binary64` `associate-/r/_binary64` `insert-posit16` `flip-+_binary64`
1×	`cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `+-commutative_binary64` `sum-log_binary64`

Counts

2 → 47

Calls

2 calls:

5.0ms	(+.f64 (exp.f64 a) (exp.f64 b))
9.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

series165.0ms

Counts

2 → 6

Calls

2 calls:

78.0ms	(+.f64 (exp.f64 a) (exp.f64 b))
87.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	217	9
1	217	9
0	217	9
1	217	9
0	1	3
1	1	3
0	184	9
1	184	9
0	184	9
1	184	9
0	1	3
1	1	3

simplify104.0ms

Counts

53 → 53

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	4980	871
1	4980	871

prune35.0ms

Filtered

38 candidates to 53 candidates (-39.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	51	2	53
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	51	3	54

Merged error: 0.7b

Counts

54 → 3

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 a (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))))
0.0b	(exp.f64 (-.f64 a (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))))
0.0b	(+.f64 (exp.f64 a) (exp.f64 b))
2.5b	(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

19×	`*-un-lft-identity_binary64`
11×	`add-sqr-sqrt_binary64`
9×	`add-log-exp_binary64`
8×	`log-prod_binary64`
7×	`pow1_binary64` `add-cube-cbrt_binary64`
6×	`log-div_binary64` `exp-prod_binary64`
5×	`add-exp-log_binary64`
4×	`flip3-+_binary64` `associate--r+_binary64` `associate--r-_binary64` `add-cbrt-cube_binary64` `distribute-lft-out--_binary64` `insert-posit16` `flip-+_binary64`
3×	`distribute-lft-out_binary64` `log-pow_binary64` `exp-sum_binary64`
2×	`sub-neg_binary64` `diff-log_binary64` `rem-exp-log_binary64` `difference-of-squares_binary64`
1×	`flip3--_binary64` `rem-log-exp_binary64` `exp-diff_binary64` `+-commutative_binary64` `flip--_binary64` `sum-log_binary64`

Counts

4 → 70

Calls

4 calls:

9.0ms	(-.f64 a (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))))
6.0ms	(exp.f64 (-.f64 a (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))))
5.0ms	(+.f64 (exp.f64 a) (exp.f64 b))
8.0ms	(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))

series360.0ms

Counts

4 → 12

Calls

4 calls:

98.0ms	(-.f64 a (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))))
101.0ms	(exp.f64 (-.f64 a (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))))
79.0ms	(+.f64 (exp.f64 a) (exp.f64 b))
81.0ms	(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	190	9
1	190	9
0	190	9
1	190	9
0	1	3
1	1	3
0	184	9
1	184	9
0	184	9
1	184	9
0	1	3
1	1	3
0	279	9
1	279	9
0	279	9
1	279	9
0	1	3
1	1	3
0	274	9
1	274	9
0	274	9
1	274	9
0	1	3
1	1	3

simplify108.0ms

Counts

82 → 82

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	5191	1138

prune45.0ms

Filtered

58 candidates to 82 candidates (-41.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	81	1	82
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	81	4	85

Merged error: 0b

Counts

85 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (exp.f64 a) (exp.f64 b))
1.2b	(/.f64 (exp.f64 a) (+.f64 (pow.f64 (exp.f64 a) 3) (pow.f64 (exp.f64 b) 3)))
1.2b	(.f64 (/.f64 (exp.f64 a) (+.f64 (pow.f64 (exp.f64 a) 3) (pow.f64 (exp.f64 b) 3))) (+.f64 (.f64 (exp.f64 a) (exp.f64 a)) (-.f64 (.f64 (exp.f64 b) (exp.f64 b)) (.f64 (exp.f64 a) (exp.f64 b)))))
3.1b	(-.f64 (.f64 (exp.f64 b) (exp.f64 b)) (.f64 (exp.f64 a) (exp.f64 b)))

rewrite81.0ms

Algorithm

rewrite-expression-head

Rules

106×	`*-un-lft-identity_binary64`
55×	`times-frac_binary64`
41×	`add-sqr-sqrt_binary64`
36×	`associate-l_binary64`
35×	`distribute-lft-out_binary64`
34×	`add-cube-cbrt_binary64`
28×	`unpow-prod-down_binary64` `cube-prod_binary64`
13×	`add-cbrt-cube_binary64`
9×	`associate-/r*_binary64` `add-exp-log_binary64`
8×	`pow1_binary64`
7×	`sum-cubes_binary64`
6×	`add-log-exp_binary64` `associate-r_binary64`
4×	`flip3-+_binary64` `associate-/r/_binary64` `insert-posit16` `flip-+_binary64`
3×	`cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `associate-/l*_binary64`
2×	`pow-prod-down_binary64` `cbrt-undiv_binary64` `associate-r/_binary64` `div-inv_binary64` `div-exp_binary64` `frac-times_binary64` `exp-prod_binary64` `-commutative_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `pow-prod-up_binary64` `distribute-rgt-out--_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `clear-num_binary64` `frac-2neg_binary64` `flip--_binary64` `associate-*l/_binary64`

Counts

4 → 146

Calls

4 calls:

8.0ms	(*.f64 (exp.f64 a) (exp.f64 b))
17.0ms	(/.f64 (exp.f64 a) (+.f64 (pow.f64 (exp.f64 a) 3) (pow.f64 (exp.f64 b) 3)))
39.0ms	(.f64 (/.f64 (exp.f64 a) (+.f64 (pow.f64 (exp.f64 a) 3) (pow.f64 (exp.f64 b) 3))) (+.f64 (.f64 (exp.f64 a) (exp.f64 a)) (-.f64 (.f64 (exp.f64 b) (exp.f64 b)) (.f64 (exp.f64 a) (exp.f64 b)))))
8.0ms	(-.f64 (.f64 (exp.f64 b) (exp.f64 b)) (.f64 (exp.f64 a) (exp.f64 b)))

series1.7s

Counts

4 → 12

Calls

4 calls:

81.0ms	(*.f64 (exp.f64 a) (exp.f64 b))
102.0ms	(/.f64 (exp.f64 a) (+.f64 (pow.f64 (exp.f64 a) 3) (pow.f64 (exp.f64 b) 3)))
736.0ms	(.f64 (/.f64 (exp.f64 a) (+.f64 (pow.f64 (exp.f64 a) 3) (pow.f64 (exp.f64 b) 3))) (+.f64 (.f64 (exp.f64 a) (exp.f64 a)) (-.f64 (.f64 (exp.f64 b) (exp.f64 b)) (.f64 (exp.f64 a) (exp.f64 b)))))
733.0ms	(-.f64 (.f64 (exp.f64 b) (exp.f64 b)) (.f64 (exp.f64 a) (exp.f64 b)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	26702	9
0	26702	9
0	1	3
1	1	3
0	26906	9
0	26906	9
0	1	3
1	1	3
0	291	9
1	291	9
0	291	9
1	291	9
0	1	3
1	1	3
0	187	9
1	187	9
0	187	9
1	187	9
0	1	3
1	1	3

simplify132.0ms

Counts

158 → 158

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	5002	4564

prune155.0ms

Filtered

103 candidates to 158 candidates (-53.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	158	0	158
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	158	4	162

Merged error: 0b

Counts

162 → 4

localize1.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify21.0ms

Counts

0 → 0

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	0	0

prune0.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	3	3
Total	4	4

Merged error: 0b

Counts

4 → 4

regimes64.0ms

Accuracy

0% (0.5b remaining)

Error of 0.6b against oracle of 0.1b and baseline of 0.6b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	20	15
1	20	15

end0.0ms

sample367.0ms

Algorithm

intervals

Results

219.0ms	8000×	body	80	valid
16.0ms	696×	body	80	overflowed

Iter	Nodes	Cost
0	190	9
1	190	9
0	190	9
1	190	9
0	1	3
1	1	3
0	184	9
1	184	9
0	184	9
1	184	9
0	1	3
1	1	3
0	279	9
1	279	9
0	279	9
1	279	9
0	1	3
1	1	3
0	274	9
1	274	9
0	274	9
1	274	9
0	1	3
1	1	3

Iter	Nodes	Cost
0	190	9
1	190	9
0	190	9
1	190	9
0	1	3
1	1	3
0	184	9
1	184	9
0	184	9
1	184	9
0	1	3
1	1	3
0	279	9
1	279	9
0	279	9
1	279	9
0	1	3
1	1	3
0	274	9
1	274	9
0	274	9
1	274	9
0	1	3
1	1	3

Details

analyze75.0ms

sample17.0ms

simplify19.0ms

prune1.0ms

localize5.0ms

rewrite16.0ms

series165.0ms

simplify104.0ms

prune35.0ms

localize8.0ms

rewrite30.0ms

series360.0ms

simplify108.0ms

prune45.0ms

localize14.0ms

rewrite81.0ms

series1.7s

simplify132.0ms

prune155.0ms

localize1.0ms

rewrite0.0ms

series0.0ms

simplify21.0ms

prune0.0ms

regimes64.0ms

bsearch0.0ms

simplify6.0ms

end0.0ms

sample367.0ms

Profiling

Iter	Nodes	Cost
0	190	9
1	190	9
0	190	9
1	190	9
0	1	3
1	1	3
0	184	9
1	184	9
0	184	9
1	184	9
0	1	3
1	1	3
0	279	9
1	279	9
0	279	9
1	279	9
0	1	3
1	1	3
0	274	9
1	274	9
0	274	9
1	274	9
0	1	3
1	1	3