Details

analyze5.0s (3.3%)

Algorithm

1×

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
3.1%	21.8%	75%	8
3.1%	21.8%	75%	9
3.1%	21.8%	75%	10
3.1%	21.8%	75%	11
3.1%	21.8%	75%	12
3.1%	21.8%	75%	13
3.1%	21.8%	75%	14

Compiler

Compiled 50 to 40 computations (20% saved)

sample12.8s (8.6%)

Algorithm

1×

intervals

Results

11.4s	478×	body	8192	exit
530.0ms	351×	body	1024	overflowed
399.0ms	2151×	body	128	overflowed
141.0ms	171×	body	512	overflowed
97.0ms	3495×	pre	128	true
55.0ms	2×	body	8192	valid
37.0ms	88×	body	256	overflowed
30.0ms	249×	body	128	valid
5.0ms	1×	body	4096	valid
1.0ms	1×	body	1024	valid
1.0ms	3×	body	256	valid

Compiler

Compiled 93 to 79 computations (15.1% saved)

simplify153.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	5036	68

prune4.0ms (0%)

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

Error

7.3b

Counts

2 → 1

Compiler

Compiled 86 to 70 computations (18.6% saved)

localize20.0ms (0%)

Local error

Found 4 expressions with local error:

0.3b	(-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))
0.5b	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
1.2b	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)
4.2b	(/.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)))

rewrite179.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

1192×	`add-exp-log_binary64_3867`
692×	`pow-exp_binary64_3897`
684×	`prod-exp_binary64_3878`
593×	`div-exp_binary64_3880`
344×	`pow-to-exp_binary64_3898`
116×	`1-exp_binary64_3873` `rec-exp_binary64_3879`
56×	`*-un-lft-identity_binary64_3829`
41×	`times-frac_binary64_3835` `add-sqr-sqrt_binary64_3851`
36×	`unpow-prod-down_binary64_3908`
30×	`add-cube-cbrt_binary64_3864`
18×	`cancel-sign-sub-inv_binary64_3795`
16×	`add-cbrt-cube_binary64_3865`
9×	`distribute-lft-out_binary64_3780`
8×	`pow1_binary64_3890`
6×	`add-log-exp_binary64_3868` `pow-pow_binary64_3901` `associate-/r/_binary64_3775` `difference-of-squares_binary64_3798` `pow-unpow_binary64_3906`
5×	`div-inv_binary64_3826`
4×	`cbrt-undiv_binary64_3863` `cbrt-unprod_binary64_3862`
3×	`flip3-+_binary64_3832` `flip-+_binary64_3803`
2×	`distribute-lft-out--_binary64_3781` `sqr-pow_binary64_3801` `inv-pow_binary64_3914` `pow-flip_binary64_3903`
1×	`flip--_binary64_3804` `flip3--_binary64_3833` `clear-num_binary64_3828` `associate-/l_binary64_3774` `associate-/r_binary64_3773` `frac-2neg_binary64_3840` `sub-neg_binary64_3822` `diff-log_binary64_3921`

Counts

4 → 489

Calls

4 calls:

53.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)))
12.0ms	(-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))
8.0ms	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
8.0ms	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)

series979.0ms (0.7%)

Counts

4 → 12

Calls

4 calls:

828.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)))
62.0ms	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
57.0ms	(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)
31.0ms	(-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))

simplify250.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

501 → 501

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5038	27612

prune1.6s (1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	498	3	501
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	499	3	502

Error

0.5b

Counts

502 → 3

Compiler

Compiled 21730 to 13822 computations (36.4% saved)

localize29.0ms (0%)

Local error

Found 4 expressions with local error:

0.8b	(log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))
1.2b	(log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))
8.8b	(-.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)))))))
8.8b	(-.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) (log.f64 (+.f64 1 (exp.f64 (neg.f64 t)))))

rewrite61.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

44×	`*-un-lft-identity_binary64_3829`
38×	`log-prod_binary64_3915` `add-sqr-sqrt_binary64_3851`
16×	`pow1_binary64_3890`
15×	`associate--r+_binary64_3765` `associate--l+_binary64_3766`
14×	`difference-of-squares_binary64_3798`
12×	`add-cube-cbrt_binary64_3864` `distribute-lft-out--_binary64_3781` `log-div_binary64_3916` `log-pow_binary64_3918`
8×	`cancel-sign-sub-inv_binary64_3795` `times-frac_binary64_3835`
6×	`add-exp-log_binary64_3867`
4×	`flip3-+_binary64_3832` `add-log-exp_binary64_3868` `flip--_binary64_3804` `flip-+_binary64_3803` `add-cbrt-cube_binary64_3865` `flip3--_binary64_3833` `associate--l-_binary64_3767` `distribute-lft-out_binary64_3780` `associate--r-_binary64_3768`
2×	`div-inv_binary64_3826` `rem-log-exp_binary64_3870` `sub-neg_binary64_3822` `diff-log_binary64_3921`

Counts

4 → 108

Calls

4 calls:

27.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)))))))
12.0ms	(-.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) (log.f64 (+.f64 1 (exp.f64 (neg.f64 t)))))
4.0ms	(log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))
4.0ms	(log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))

series284.0ms (0.2%)

Counts

4 → 12

Calls

4 calls:

121.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)))))))
72.0ms	(-.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) (log.f64 (+.f64 1 (exp.f64 (neg.f64 t)))))
47.0ms	(log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))
44.0ms	(log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))

simplify77.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5228	3205

prune286.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	118	2	120
Fresh	1	1	2
Picked	1	0	1
Done	0	0	0
Total	120	3	123

Error

0.1b

Counts

123 → 3

Compiler

Compiled 5956 to 3927 computations (34.1% saved)

localize29.0ms (0%)

Local error

Found 4 expressions with local error:

0.3b	(log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))))
0.3b	(-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))
0.5b	(.f64 (neg.f64 c_p) (+.f64 (.f64 t 1/2) (.f64 s (+.f64 (.f64 s 1/8) -1/2))))
8.8b	(-.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)))))))

rewrite81.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

68×	`add-sqr-sqrt_binary64_3851`
62×	`*-un-lft-identity_binary64_3829`
33×	`log-prod_binary64_3915`
28×	`times-frac_binary64_3835`
25×	`difference-of-squares_binary64_3798`
22×	`cancel-sign-sub-inv_binary64_3795`
20×	`add-cube-cbrt_binary64_3864`
12×	`pow1_binary64_3890` `distribute-lft-out--_binary64_3781`
11×	`associate--r+_binary64_3765` `associate--l+_binary64_3766`
10×	`associate-l_binary64_3770`
7×	`add-exp-log_binary64_3867`
6×	`add-log-exp_binary64_3868` `add-cbrt-cube_binary64_3865` `log-div_binary64_3916` `log-pow_binary64_3918`
5×	`div-inv_binary64_3826` `flip--_binary64_3804` `flip3--_binary64_3833`
3×	`distribute-rgt-neg-in_binary64_3787` `distribute-lft-out_binary64_3780` `distribute-lft-neg-in_binary64_3786` `associate-r_binary64_3769`
2×	`flip3-+_binary64_3832` `flip-+_binary64_3803` `associate-/r/_binary64_3775` `associate--l-_binary64_3767` `associate-*r/_binary64_3771` `sub-neg_binary64_3822` `associate--r-_binary64_3768` `diff-log_binary64_3921`
1×	`distribute-lft-neg-out_binary64_3788` `pow-prod-down_binary64_3900` `unswap-sqr_binary64_3797` `rem-log-exp_binary64_3870` `prod-exp_binary64_3878` `distribute-rgt-in_binary64_3779` `*-commutative_binary64_3760` `distribute-lft-in_binary64_3778` `neg-mul-1_binary64_3825` `cbrt-unprod_binary64_3862`

Counts

4 → 135

Calls

4 calls:

27.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)))))))
12.0ms	(-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))
11.0ms	(log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))))
7.0ms	(.f64 (neg.f64 c_p) (+.f64 (.f64 t 1/2) (.f64 s (+.f64 (.f64 s 1/8) -1/2))))

series292.0ms (0.2%)

Counts

4 → 12

Calls

4 calls:

114.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)))))))
81.0ms	(log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))))
69.0ms	(.f64 (neg.f64 c_p) (+.f64 (.f64 t 1/2) (.f64 s (+.f64 (.f64 s 1/8) -1/2))))
27.0ms	(-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))

simplify63.0ms (0%)

Algorithm

1×	egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	4968	4018
1	4968	4018

prune392.0ms (0.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	147	0	147
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	147	3	150

Error

0.1b

Counts

150 → 3

Compiler

Compiled 6961 to 4930 computations (29.2% saved)

localize22.0ms (0%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 c_n (-.f64 (.f64 t 1/2) (.f64 s (+.f64 (.f64 s 1/8) 1/2))))
0.8b	(log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))
1.2b	(log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))
8.8b	(-.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) (log.f64 (+.f64 1 (exp.f64 (neg.f64 t)))))

rewrite39.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`*-un-lft-identity_binary64_3829`
16×	`log-prod_binary64_3915`
15×	`add-sqr-sqrt_binary64_3851`
13×	`pow1_binary64_3890`
11×	`add-cube-cbrt_binary64_3864`
8×	`add-exp-log_binary64_3867` `log-div_binary64_3916`
7×	`log-pow_binary64_3918`
6×	`cancel-sign-sub-inv_binary64_3795` `add-cbrt-cube_binary64_3865`
4×	`flip3-+_binary64_3832` `add-log-exp_binary64_3868` `flip-+_binary64_3803` `distribute-lft-out--_binary64_3781` `distribute-lft-out_binary64_3780` `associate--r+_binary64_3765` `associate--l+_binary64_3766`
3×	`associate-r_binary64_3769` `associate-l_binary64_3770` `sub-neg_binary64_3822`
2×	`flip--_binary64_3804` `rem-log-exp_binary64_3870` `flip3--_binary64_3833` `distribute-rgt-in_binary64_3779` `associate--l-_binary64_3767` `associate-*r/_binary64_3771` `distribute-lft-in_binary64_3778` `associate--r-_binary64_3768`
1×	`pow-prod-down_binary64_3900` `unswap-sqr_binary64_3797` `prod-exp_binary64_3878` `difference-of-squares_binary64_3798` `*-commutative_binary64_3760` `cbrt-unprod_binary64_3862` `diff-log_binary64_3921`

Counts

4 → 86

Calls

4 calls:

12.0ms	(-.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) (log.f64 (+.f64 1 (exp.f64 (neg.f64 t)))))
7.0ms	(.f64 c_n (-.f64 (.f64 t 1/2) (.f64 s (+.f64 (.f64 s 1/8) 1/2))))
4.0ms	(log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))
4.0ms	(log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))

series217.0ms (0.1%)

Counts

4 → 12

Calls

4 calls:

67.0ms	(-.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) (log.f64 (+.f64 1 (exp.f64 (neg.f64 t)))))
61.0ms	(.f64 c_n (-.f64 (.f64 t 1/2) (.f64 s (+.f64 (.f64 s 1/8) 1/2))))
45.0ms	(log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))
44.0ms	(log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))

simplify71.0ms (0%)

Algorithm

1×	egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4932	2002
1	4932	2002

prune162.0ms (0.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	97	1	98
Fresh	1	0	1
Picked	1	0	1
Done	0	1	1
Total	99	2	101

Error

0.1b

Counts

101 → 2

Compiler

Compiled 3671 to 2337 computations (36.3% saved)

regimes453.0ms (0.3%)

Compiler: Compiled 6069 to 5458 computations (10.1% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	151	42
1	151	42

end0.0ms (0%)

sample2.1min (84.3%)

Algorithm

1×

intervals

Results

1.9min	5021×	body	8192	exit
5.5s	3845×	body	1024	overflowed
4.0s	23095×	body	128	overflowed
1.5s	1975×	body	512	overflowed
899.0ms	37608×	pre	128	true
393.0ms	988×	body	256	overflowed
289.0ms	2611×	body	128	valid
266.0ms	11×	body	8192	valid
45.0ms	30×	body	1024	valid
25.0ms	3×	body	4096	valid
10.0ms	16×	body	512	valid
3.0ms	9×	body	256	valid
3.0ms	1×	body	2048	valid
0.0ms	2×	body	128	invalid

Compiler

Compiled 50 to 44 computations (12% saved)

Details

analyze5.0s (3.3%)

sample12.8s (8.6%)

simplify153.0ms (0.1%)

prune4.0ms (0%)

localize20.0ms (0%)

rewrite179.0ms (0.1%)

series979.0ms (0.7%)

simplify250.0ms (0.2%)

prune1.6s (1%)

localize29.0ms (0%)

rewrite61.0ms (0%)

series284.0ms (0.2%)

simplify77.0ms (0.1%)

prune286.0ms (0.2%)

localize29.0ms (0%)

rewrite81.0ms (0.1%)

series292.0ms (0.2%)

simplify63.0ms (0%)

prune392.0ms (0.3%)

localize22.0ms (0%)

rewrite39.0ms (0%)

series217.0ms (0.1%)

simplify71.0ms (0%)

prune162.0ms (0.1%)

regimes453.0ms (0.3%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample2.1min (84.3%)

Profiling