Details

analyze4.4s

Algorithm

Search

True	Other	False	Iter
0%	25%	75%	0
0%	25%	75%	1
0%	25%	75%	2
0%	25%	75%	3
0%	25%	75%	4
0%	25%	75%	5
0%	25%	75%	6
0%	25%	75%	7
0%	25%	75%	8
1.6%	23.4%	75%	9
1.6%	23.4%	75%	10
1.6%	23.4%	75%	11
1.6%	23.4%	75%	12
1.6%	23.4%	75%	13
1.6%	23.4%	75%	14

sample4.6s

Algorithm

intervals

Results

2.9s	403×	body	5120	exit
657.0ms	254×	body	1280	overflowed
389.0ms	1952×	body	80	overflowed
299.0ms	218×	body	640	overflowed
73.0ms	93×	body	320	overflowed
72.0ms	3228×	pre	80	true
31.0ms	242×	body	80	valid
21.0ms	50×	body	160	overflowed
17.0ms	3×	body	2560	valid
3.0ms	2×	body	640	valid
2.0ms	6×	body	160	valid
2.0ms	1×	body	1280	invalid
2.0ms	1×	body	1280	valid
1.0ms	2×	body	320	valid
0.0ms	1×	body	80	invalid

simplify136.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (121.0ms)

Iter	Nodes	Cost
0	4956	68
1	4956	68

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: 8.0b

Counts

2 → 1

localize25.0ms

Local error

Found 4 expressions with local error:

0.2b	(-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))
1.0b	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
1.8b	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)
3.9b	(/.f64 (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n)))

rewrite158.0ms

Algorithm

rewrite-expression-head

Rules

1192×	`add-exp-log_binary64`
692×	`pow-exp_binary64`
684×	`prod-exp_binary64`
593×	`div-exp_binary64`
344×	`pow-to-exp_binary64`
116×	`1-exp_binary64` `rec-exp_binary64`
42×	`*-un-lft-identity_binary64`
36×	`unpow-prod-down_binary64`
33×	`add-sqr-sqrt_binary64`
29×	`times-frac_binary64`
22×	`add-cube-cbrt_binary64`
16×	`add-cbrt-cube_binary64`
8×	`pow1_binary64`
6×	`pow-unpow_binary64` `add-log-exp_binary64` `distribute-lft-out_binary64` `pow-pow_binary64` `difference-of-squares_binary64`
4×	`cbrt-unprod_binary64` `cbrt-undiv_binary64` `associate-/r/_binary64` `div-inv_binary64` `insert-posit16`
2×	`flip3-+_binary64` `sqr-pow_binary64` `inv-pow_binary64` `distribute-lft-out--_binary64` `pow-flip_binary64` `flip-+_binary64`
1×	`associate-/r_binary64` `sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `flip--_binary64`

Counts

4 → 475

Calls

4 calls:

13.0ms	(-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))
15.0ms	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
10.0ms	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)
60.0ms	(/.f64 (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n)))

series809.0ms

Counts

4 → 12

Calls

4 calls:

636.0ms	(-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))
54.0ms	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
54.0ms	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)
65.0ms	(/.f64 (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	128	9
1	128	9
0	128	9
1	128	9
0	1	3
1	1	3
0	177	9
1	177	9
0	177	9
1	177	9
0	1	3
1	1	3
0	177	9
1	177	9
0	177	9
1	177	9
0	1	3
1	1	3
0	8365	9
1	8365	9
0	8365	9
1	8365	9
0	1	3
1	1	3

simplify271.0ms

Counts

487 → 487

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	5139	27601

prune199.0ms

Filtered

73 candidates to 487 candidates (-567.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	483	4	487
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	484	4	488

Merged error: 2.4b

Counts

488 → 4

localize29.0ms

Local error

Found 4 expressions with local error:

1.3b	(log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))
1.9b	(log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))
5.4b	(-.f64 (+.f64 (.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))) (.f64 c_n (-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))))))) (*.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))))
10.2b	(-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

38×	`*-un-lft-identity_binary64` `log-prod_binary64`
34×	`add-sqr-sqrt_binary64`
19×	`associate--r+_binary64`
13×	`difference-of-squares_binary64`
12×	`associate--l+_binary64`
10×	`pow1_binary64` `add-cube-cbrt_binary64`
9×	`add-log-exp_binary64`
8×	`distribute-lft-out--_binary64` `times-frac_binary64` `log-div_binary64`
6×	`log-pow_binary64` `add-exp-log_binary64`
4×	`flip3--_binary64` `distribute-lft-out_binary64` `add-cbrt-cube_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `insert-posit16` `flip--_binary64`
3×	`diff-log_binary64`
2×	`flip3-+_binary64` `sub-neg_binary64` `associate--l-_binary64` `associate--r-_binary64` `rem-log-exp_binary64` `div-inv_binary64` `flip-+_binary64`
1×	`sum-log_binary64`

Counts

4 → 97

Calls

4 calls:

5.0ms	(log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))
5.0ms	(log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))
13.0ms	(-.f64 (+.f64 (.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))) (.f64 c_n (-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))))))) (*.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))))
33.0ms	(-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))))

series373.0ms

Counts

4 → 12

Calls

4 calls:

58.0ms	(log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))
56.0ms	(log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))
57.0ms	(-.f64 (+.f64 (.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))) (.f64 c_n (-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))))))) (*.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))))
203.0ms	(-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	1797	9
1	1797	9
0	1797	9
1	1797	9
0	1	3
1	1	3
0	158	9
1	158	9
0	158	9
1	158	9
0	1	3
1	1	3
0	338	9
1	338	9
0	338	9
1	338	9
0	1	3
1	1	3
0	338	9
1	338	9
0	338	9
1	338	9
0	1	3
1	1	3

simplify127.0ms

Counts

109 → 109

Iterations

Useful iterations: 0 (87.0ms)

Iter	Nodes	Cost
0	4928	3901
1	4928	3901

prune232.0ms

Filtered

80 candidates to 109 candidates (-36.3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	104	5	109
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	106	7	113

Merged error: 0.2b

Counts

113 → 7

localize1.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify18.0ms

Counts

0 → 0

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	0	0

prune21.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	6	6
Picked	1	1
Done	0	0
Total	7	7

Merged error: 0.2b

Counts

7 → 7

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b	(*.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 t)))))
1.3b	(log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))
1.9b	(log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))
9.2b	(-.f64 (+.f64 (.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))) (.f64 c_n 0)) (*.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

24×	`*-un-lft-identity_binary64` `log-prod_binary64`
14×	`add-sqr-sqrt_binary64`
12×	`add-cube-cbrt_binary64`
9×	`add-log-exp_binary64` `pow1_binary64`
8×	`associate--r+_binary64` `add-exp-log_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64`
6×	`distribute-lft-out_binary64` `add-cbrt-cube_binary64`
4×	`associate-r_binary64` `log-div_binary64` `insert-posit16`
3×	`log-pow_binary64` `associate-l_binary64`
2×	`flip3-+_binary64` `diff-log_binary64` `rem-log-exp_binary64` `flip-+_binary64`
1×	`pow-prod-down_binary64` `sub-neg_binary64` `flip3--_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `flip--_binary64` `associate--l+_binary64` `sum-log_binary64` `*-commutative_binary64`

Counts

4 → 82

Calls

4 calls:

9.0ms	(*.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 t)))))
5.0ms	(log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))
5.0ms	(log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))
13.0ms	(-.f64 (+.f64 (.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))) (.f64 c_n 0)) (*.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))))

series221.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(*.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 t)))))
57.0ms	(log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))
55.0ms	(log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))
57.0ms	(-.f64 (+.f64 (.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))) (.f64 c_n 0)) (*.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	80	9
1	80	9
0	80	9
1	80	9
0	1	3
1	1	3
0	338	9
1	338	9
0	338	9
1	338	9
0	1	3
1	1	3
0	338	9
1	338	9
0	338	9
1	338	9
0	1	3
1	1	3
0	116	9
1	116	9
0	116	9
1	116	9
0	1	3
1	1	3

simplify127.0ms

Counts

94 → 94

Iterations

Useful iterations: 0 (98.0ms)

Iter	Nodes	Cost
0	5169	1688

prune86.0ms

Filtered

62 candidates to 94 candidates (-51.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	94	0	94
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	94	7	101

Merged error: 0.2b

Counts

101 → 7

regimes460.0ms

bsearch1.2s

Steps

Iters	Range		Point
5	5.875579729703033e-14	1.357912774905506e-13	5.978678573935927e-14

simplify9.0ms

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	142	102
1	142	102

end0.0ms

sample26.7s

Algorithm

intervals

Results

17.6s	2524×	body	5120	exit
3.5s	1388×	body	1280	overflowed
2.1s	11023×	body	80	overflowed
1.7s	1258×	body	640	overflowed
474.0ms	615×	body	320	overflowed
395.0ms	18460×	pre	80	true
164.0ms	1301×	body	80	valid
129.0ms	305×	body	160	overflowed
21.0ms	9×	body	1280	valid
16.0ms	3×	body	2560	valid
9.0ms	8×	body	640	valid
7.0ms	21×	body	160	valid
2.0ms	1×	body	1280	invalid
1.0ms	2×	body	320	valid
0.0ms	2×	body	80	invalid

Iter	Nodes	Cost
0	80	9
1	80	9
0	80	9
1	80	9
0	1	3
1	1	3
0	338	9
1	338	9
0	338	9
1	338	9
0	1	3
1	1	3
0	338	9
1	338	9
0	338	9
1	338	9
0	1	3
1	1	3
0	116	9
1	116	9
0	116	9
1	116	9
0	1	3
1	1	3

Iter	Nodes	Cost
0	80	9
1	80	9
0	80	9
1	80	9
0	1	3
1	1	3
0	338	9
1	338	9
0	338	9
1	338	9
0	1	3
1	1	3
0	338	9
1	338	9
0	338	9
1	338	9
0	1	3
1	1	3
0	116	9
1	116	9
0	116	9
1	116	9
0	1	3
1	1	3

Details

analyze4.4s

sample4.6s

simplify136.0ms

prune3.0ms

localize25.0ms

rewrite158.0ms

series809.0ms

simplify271.0ms

prune199.0ms

localize29.0ms

rewrite61.0ms

series373.0ms

simplify127.0ms

prune232.0ms

localize1.0ms

rewrite0.0ms

series0.0ms

simplify18.0ms

prune21.0ms

localize18.0ms

rewrite35.0ms

series221.0ms

simplify127.0ms

prune86.0ms

regimes460.0ms

bsearch1.2s

simplify9.0ms

end0.0ms

sample26.7s

Profiling

Iter	Nodes	Cost
0	80	9
1	80	9
0	80	9
1	80	9
0	1	3
1	1	3
0	338	9
1	338	9
0	338	9
1	338	9
0	1	3
1	1	3
0	338	9
1	338	9
0	338	9
1	338	9
0	1	3
1	1	3
0	116	9
1	116	9
0	116	9
1	116	9
0	1	3
1	1	3