Details

analyze486.0ms (3.4%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4892	25
1	4892	25
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	50%	0%	4
50%	50%	0%	5
50%	50%	0%	6
50%	50%	0%	7
50%	50%	0%	8
50%	50%	0%	9
50%	50%	0%	10
50%	50%	0%	11
50%	49.9%	0%	12
99.6%	0.3%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 30 to 27 computations (10% saved)

sample25.0ms (0.2%)

Algorithm

1×

intervals

Results

16.0ms

256×

body

128

valid

Compiler

Compiled 59 to 54 computations (8.5% saved)

simplify65.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4892	25
1	4892	25

prune6.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

0.0b

Counts

2 → 2

Compiler

Compiled 63 to 58 computations (7.9% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 1 (+.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))))
0.0b	(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))
3.0b	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
3.0b	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))

rewrite2.3s (16%)

Algorithm

1×	rewrite-expression-head

Error

Rules

467×	`times-frac_binary64_766`
386×	`*-un-lft-identity_binary64_760`
284×	`cancel-sign-sub-inv_binary64_726`
268×	`add-sqr-sqrt_binary64_782`
212×	`add-cube-cbrt_binary64_795`
104×	`distribute-lft-out_binary64_711`
77×	`div-inv_binary64_757`
72×	`distribute-rgt-in_binary64_710` `distribute-lft-in_binary64_709`
18×	`difference-of-squares_binary64_729`
12×	`pow1_binary64_821`
10×	`add-exp-log_binary64_798` `associate-/r/_binary64_706`
9×	`swap-sqr_binary64_727`
8×	`add-log-exp_binary64_799` `add-cbrt-cube_binary64_796` `flip3--_binary64_764` `flip--_binary64_735` `distribute-lft-out--_binary64_712`
7×	`associate-l_binary64_701` `associate-r_binary64_700`
5×	`flip3-+_binary64_763` `flip-+_binary64_734`
4×	`sub-neg_binary64_753` `frac-times_binary64_770`
3×	`associate-/l_binary64_705` `associate-/r_binary64_704`
2×	`diff-log_binary64_852` `associate-l/_binary64_703` `associate-r/_binary64_702` `div-exp_binary64_811`
1×	`pow2_binary64_841` `pow-prod-down_binary64_831` `pow-prod-up_binary64_830` `pow-plus_binary64_823` `prod-exp_binary64_809` `cbrt-unprod_binary64_793` `pow-sqr_binary64_733` `unswap-sqr_binary64_728` `*-commutative_binary64_691` `inv-pow_binary64_845` `pow-flip_binary64_834` `1-exp_binary64_804` `rec-exp_binary64_810` `cbrt-undiv_binary64_794` `frac-2neg_binary64_771` `clear-num_binary64_759`

Counts

4 → 396

Calls

4 calls:

70.0ms	(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))
35.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
31.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
5.0ms	(/.f64 1 (+.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))))

Compiler

Compiled 19394 to 16434 computations (15.3% saved)

series233.0ms (1.6%)

Error

0.0b

Counts

4 → 48

Calls

4 calls:

49.0ms	(/.f64 1 (+.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))))
42.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
42.0ms	(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))
40.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))

Compiler

Compiled 2160 to 1945 computations (10% saved)

simplify162.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

444 → 444

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5444	19438

prune1.8s (12.7%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	442	2	444
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	443	3	446

Error

Counts

446 → 3

Compiler

Compiled 18914 to 15859 computations (16.2% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 1 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6))
0.0b	(/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t))
0.0b	(+.f64 (/.f64 4 (+.f64 1 t)) -8)
0.0b	(/.f64 4 (+.f64 1 t))

rewrite261.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

70×	`*-un-lft-identity_binary64_760`
40×	`times-frac_binary64_766`
32×	`add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
19×	`distribute-lft-out_binary64_711`
12×	`add-exp-log_binary64_798` `associate-/r*_binary64_704`
10×	`add-cbrt-cube_binary64_796` `associate-/l*_binary64_705`
6×	`add-log-exp_binary64_799` `associate-/r/_binary64_706`
5×	`pow1_binary64_821` `flip3-+_binary64_763` `flip-+_binary64_734`
4×	`div-exp_binary64_811`
3×	`cbrt-undiv_binary64_794` `frac-2neg_binary64_771` `clear-num_binary64_759` `div-inv_binary64_757`
2×	`associate-/l/_binary64_707`
1×	`sum-log_binary64_851` `+-commutative_binary64_690` `inv-pow_binary64_845` `pow-flip_binary64_834` `1-exp_binary64_804` `rec-exp_binary64_810`

Counts

4 → 122

Calls

4 calls:

22.0ms	(/.f64 1 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6))
15.0ms	(/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t))
13.0ms	(+.f64 (/.f64 4 (+.f64 1 t)) -8)
5.0ms	(/.f64 4 (+.f64 1 t))

Compiler

Compiled 3345 to 2963 computations (11.4% saved)

series194.0ms (1.4%)

Error

Counts

4 → 48

Calls

4 calls:

42.0ms	(/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t))
39.0ms	(/.f64 1 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6))
34.0ms	(/.f64 4 (+.f64 1 t))
31.0ms	(+.f64 (/.f64 4 (+.f64 1 t)) -8)

Compiler

Compiled 1898 to 1723 computations (9.2% saved)

simplify88.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

170 → 170

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4857	3272
1	4857	3272

prune238.0ms (1.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	170	0	170
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	170	3	173

Error

Counts

173 → 3

Compiler

Compiled 3940 to 3412 computations (13.4% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))
0.5b	(exp.f64 (neg.f64 (log.f64 (+.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))))))
3.0b	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
3.0b	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))

rewrite2.5s (17.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

458×	`times-frac_binary64_766`
382×	`*-un-lft-identity_binary64_760`
284×	`cancel-sign-sub-inv_binary64_726`
264×	`add-sqr-sqrt_binary64_782`
208×	`add-cube-cbrt_binary64_795`
104×	`distribute-lft-out_binary64_711`
76×	`div-inv_binary64_757`
72×	`distribute-rgt-in_binary64_710` `distribute-lft-in_binary64_709`
18×	`difference-of-squares_binary64_729`
13×	`pow1_binary64_821`
12×	`exp-prod_binary64_812`
9×	`add-log-exp_binary64_799` `swap-sqr_binary64_727`
8×	`flip3--_binary64_764` `flip--_binary64_735` `associate-/r/_binary64_706` `distribute-lft-out--_binary64_712`
7×	`associate-l_binary64_701` `associate-r_binary64_700`
6×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
4×	`sub-neg_binary64_753` `flip3-+_binary64_763` `flip-+_binary64_734` `distribute-rgt-neg-in_binary64_718` `distribute-lft-neg-in_binary64_717` `frac-times_binary64_770`
3×	`log-prod_binary64_846` `distribute-neg-in_binary64_721` `exp-sum_binary64_806`
2×	`diff-log_binary64_852` `log-pow_binary64_849` `rem-exp-log_binary64_800` `associate-l/_binary64_703` `associate-r/_binary64_702`
1×	`neg-mul-1_binary64_756` `neg-sub0_binary64_755` `exp-diff_binary64_808` `exp-neg_binary64_807` `neg-log_binary64_853` `pow2_binary64_841` `pow-prod-down_binary64_831` `pow-prod-up_binary64_830` `pow-plus_binary64_823` `prod-exp_binary64_809` `cbrt-unprod_binary64_793` `pow-sqr_binary64_733` `unswap-sqr_binary64_728` `*-commutative_binary64_691`

Counts

4 → 389

Calls

4 calls:

70.0ms	(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))
33.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
31.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
5.0ms	(exp.f64 (neg.f64 (log.f64 (+.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))))))

Compiler

Compiled 19357 to 16453 computations (15% saved)

series287.0ms (2%)

Error

Counts

4 → 48

Calls

4 calls:

91.0ms	(exp.f64 (neg.f64 (log.f64 (+.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))))))
45.0ms	(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))
43.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
42.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))

Compiler

Compiled 2452 to 2237 computations (8.8% saved)

simplify179.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

437 → 437

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5868	16843

prune1.8s (12.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	437	0	437
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	437	3	440

Error

Counts

440 → 3

Compiler

Compiled 17785 to 15028 computations (15.5% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(exp.f64 (/.f64 1 (+.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))))))
1.0b	(log.f64 (exp.f64 (/.f64 1 (+.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))))))
3.0b	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
3.0b	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))

rewrite908.0ms (6.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

244×	`times-frac_binary64_766`
199×	`*-un-lft-identity_binary64_760`
142×	`cancel-sign-sub-inv_binary64_726`
135×	`add-sqr-sqrt_binary64_782`
117×	`add-cube-cbrt_binary64_795`
52×	`distribute-lft-out_binary64_711`
40×	`div-inv_binary64_757`
30×	`exp-prod_binary64_812`
16×	`log-pow_binary64_849`
9×	`add-log-exp_binary64_799`
8×	`associate-/r/_binary64_706`
6×	`difference-of-squares_binary64_729`
5×	`pow1_binary64_821`
4×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `flip3-+_binary64_763` `flip-+_binary64_734`
3×	`log-prod_binary64_846`
2×	`diff-log_binary64_852` `flip3--_binary64_764` `sub-neg_binary64_753` `flip--_binary64_735` `distribute-lft-out--_binary64_712`
1×	`rem-log-exp_binary64_801` `rem-exp-log_binary64_800`

Counts

4 → 222

Calls

4 calls:

37.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
32.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
7.0ms	(log.f64 (exp.f64 (/.f64 1 (+.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))))))
5.0ms	(exp.f64 (/.f64 1 (+.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))))))

Compiler

Compiled 10772 to 9244 computations (14.2% saved)

series279.0ms (2%)

Error

Counts

4 → 48

Calls

4 calls:

74.0ms	(log.f64 (exp.f64 (/.f64 1 (+.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))))))
63.0ms	(exp.f64 (/.f64 1 (+.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))))))
42.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
42.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))

Compiler

Compiled 2272 to 2065 computations (9.1% saved)

simplify110.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

270 → 270

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5226	7284

prune816.0ms (5.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	270	0	270
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	270	3	273

Error

Counts

273 → 3

Compiler

Compiled 10388 to 8837 computations (14.9% saved)

regimes262.0ms (1.8%)

Accuracy

Total 0.0b remaining (91.5%)

Threshold costs 0.0b (91.5%)

Compiler

Compiled 2980 to 2791 computations (6.3% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	68	43
1	68	43

end0.0ms (0%)

sample1.2s (8.2%)

Algorithm

1×

intervals

Results

533.0ms

8000×

body

128

valid

Compiler

Compiled 449 to 421 computations (6.2% saved)

Details

analyze486.0ms (3.4%)

sample25.0ms (0.2%)

simplify65.0ms (0.5%)

prune6.0ms (0%)

localize11.0ms (0.1%)

rewrite2.3s (16%)

series233.0ms (1.6%)

simplify162.0ms (1.1%)

prune1.8s (12.7%)

localize9.0ms (0.1%)

rewrite261.0ms (1.8%)

series194.0ms (1.4%)

simplify88.0ms (0.6%)

prune238.0ms (1.7%)

localize14.0ms (0.1%)

rewrite2.5s (17.8%)

series287.0ms (2%)

simplify179.0ms (1.3%)

prune1.8s (12.6%)

localize14.0ms (0.1%)

rewrite908.0ms (6.4%)

series279.0ms (2%)

simplify110.0ms (0.8%)

prune816.0ms (5.7%)

regimes262.0ms (1.8%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.2s (8.2%)

Profiling