Details

analyze663.0ms (7.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
7.8%	92%	0.2%	8
16.4%	83.4%	0.2%	9
23.8%	76%	0.2%	10
25.1%	74.7%	0.2%	11
38.1%	59.4%	2.5%	12
41.8%	55.3%	2.9%	13
46.5%	50.3%	3.1%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample26.0ms (0.3%)

Algorithm

1×

intervals

Results

10.0ms	256×	body	128	valid
2.0ms	60×	body	128	invalid

Compiler

Compiled 23 to 25 computations (-8.7% saved)

simplify413.0ms (4.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (253.0ms)

Iter	Nodes	Cost
0	1430	16
1	1430	16

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

Merged error: 3.1b

Counts

2 → 1

Compiler

Compiled 22 to 20 computations (9.1% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 t (-.f64 1 z))
0.0b	(-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))
2.9b	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))

rewrite86.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

111×	`add-sqr-sqrt_binary64_9648`
107×	`*-un-lft-identity_binary64_9626`
88×	`times-frac_binary64_9632`
72×	`cancel-sign-sub-inv_binary64_9592`
46×	`add-cube-cbrt_binary64_9661`
34×	`difference-of-squares_binary64_9595`
25×	`distribute-rgt-in_binary64_9576` `distribute-lft-in_binary64_9575`
21×	`distribute-lft-out--_binary64_9578`
10×	`associate-r_binary64_9566`
8×	`associate-/r/_binary64_9572`
7×	`add-exp-log_binary64_9664` `add-cbrt-cube_binary64_9662`
6×	`flip3--_binary64_9630` `flip--_binary64_9601` `associate-/r*_binary64_9570`
5×	`add-log-exp_binary64_9665` `pow1_binary64_9687`
4×	`div-inv_binary64_9623`
3×	`associate-l_binary64_9567` `sub-neg_binary64_9619` `associate-/l_binary64_9571` `associate-r/_binary64_9568`
2×	`frac-sub_binary64_9635`
1×	`diff-log_binary64_9718` `div-exp_binary64_9677` `prod-exp_binary64_9675` `pow-prod-down_binary64_9697` `*-commutative_binary64_9557` `cbrt-undiv_binary64_9660` `unswap-sqr_binary64_9594` `frac-2neg_binary64_9637` `clear-num_binary64_9625` `cbrt-unprod_binary64_9659`

Counts

3 → 162

Calls

3 calls:

35.0ms	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
26.0ms	(-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))
6.0ms	(/.f64 t (-.f64 1 z))

series263.0ms (3.1%)

Counts

3 → 9

Calls

3 calls:

147.0ms	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
64.0ms	(-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))
51.0ms	(/.f64 t (-.f64 1 z))

simplify91.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4948	3246
1	4948	3246

prune165.0ms (1.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	161	10	171
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	162	10	172

Merged error: 0.9b

Counts

172 → 10

Compiler

Compiled 3275 to 1614 computations (50.7% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (-.f64 1 z) t)
0.0b	(-.f64 (/.f64 y z) (/.f64 1 (/.f64 (-.f64 1 z) t)))
0.2b	(/.f64 1 (/.f64 (-.f64 1 z) t))
2.9b	(*.f64 x (-.f64 (/.f64 y z) (/.f64 1 (/.f64 (-.f64 1 z) t))))

rewrite223.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Rules

554×	`times-frac_binary64_9632`
436×	`add-sqr-sqrt_binary64_9648`
390×	`*-un-lft-identity_binary64_9626`
239×	`add-cube-cbrt_binary64_9661`
213×	`cancel-sign-sub-inv_binary64_9592`
106×	`difference-of-squares_binary64_9595`
72×	`distribute-rgt-in_binary64_9576` `distribute-lft-in_binary64_9575`
49×	`distribute-lft-out--_binary64_9578`
25×	`associate-/r*_binary64_9570`
20×	`div-inv_binary64_9623`
19×	`add-exp-log_binary64_9664`
16×	`associate-r_binary64_9566`
13×	`add-cbrt-cube_binary64_9662`
9×	`associate-/l*_binary64_9571`
8×	`div-exp_binary64_9677`
7×	`pow1_binary64_9687`
6×	`add-log-exp_binary64_9665`
4×	`cbrt-undiv_binary64_9660` `associate-/r/_binary64_9572`
3×	`associate-l_binary64_9567` `flip3--_binary64_9630` `sub-neg_binary64_9619` `flip--_binary64_9601` `associate-*r/_binary64_9568`
2×	`1-exp_binary64_9670` `rec-exp_binary64_9676` `frac-sub_binary64_9635` `associate-/l/_binary64_9573` `frac-2neg_binary64_9637` `clear-num_binary64_9625`
1×	`diff-log_binary64_9718` `inv-pow_binary64_9711` `prod-exp_binary64_9675` `pow-prod-down_binary64_9697` `pow-flip_binary64_9700` `*-commutative_binary64_9557` `unswap-sqr_binary64_9594` `cbrt-unprod_binary64_9659` `div-sub_binary64_9631`

Counts

4 → 428

Calls

4 calls:

72.0ms	(*.f64 x (-.f64 (/.f64 y z) (/.f64 1 (/.f64 (-.f64 1 z) t))))
63.0ms	(-.f64 (/.f64 y z) (/.f64 1 (/.f64 (-.f64 1 z) t)))
10.0ms	(/.f64 1 (/.f64 (-.f64 1 z) t))
7.0ms	(/.f64 (-.f64 1 z) t)

series283.0ms (3.3%)

Counts

4 → 12

Calls

4 calls:

143.0ms	(*.f64 x (-.f64 (/.f64 y z) (/.f64 1 (/.f64 (-.f64 1 z) t))))
69.0ms	(-.f64 (/.f64 y z) (/.f64 1 (/.f64 (-.f64 1 z) t)))
35.0ms	(/.f64 (-.f64 1 z) t)
35.0ms	(/.f64 1 (/.f64 (-.f64 1 z) t))

simplify152.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

440 → 440

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4973	9950
1	4973	9950

prune489.0ms (5.7%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	438	2	440
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	438	12	450

Merged error: 0.9b

Counts

450 → 12

Compiler

Compiled 9221 to 4743 computations (48.6% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
5.7b	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
5.7b	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
5.7b	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))

rewrite163.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Rules

116×	`*-un-lft-identity_binary64_9626`
107×	`add-sqr-sqrt_binary64_9648`
82×	`cbrt-prod_binary64_9657`
64×	`times-frac_binary64_9632`
36×	`distribute-lft-out--_binary64_9578`
33×	`cbrt-div_binary64_9658`
28×	`difference-of-squares_binary64_9595`
17×	`swap-sqr_binary64_9593`
15×	`add-cube-cbrt_binary64_9661`
13×	`associate-l_binary64_9567` `associate-r_binary64_9566`
11×	`flip3--_binary64_9630` `frac-sub_binary64_9635` `flip--_binary64_9601` `pow1_binary64_9687`
9×	`frac-times_binary64_9636` `pow1/3_binary64_9708`
6×	`add-exp-log_binary64_9664`
4×	`add-log-exp_binary64_9665` `unswap-sqr_binary64_9594` `add-cbrt-cube_binary64_9662`
3×	`associate-l/_binary64_9569` `associate-r/_binary64_9568`
2×	`pow-prod-up_binary64_9696` `pow-prod-down_binary64_9697` `pow-sqr_binary64_9599`
1×	`pow2_binary64_9707` `pow-plus_binary64_9689` `prod-exp_binary64_9675` `*-commutative_binary64_9557` `cbrt-unprod_binary64_9659`

Counts

4 → 143

Calls

4 calls:

63.0ms	(*.f64 (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
26.0ms	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
25.0ms	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
24.0ms	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))

series1.3s (14.9%)

Counts

4 → 12

Calls

4 calls:

393.0ms	(*.f64 (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))) (cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
298.0ms	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
296.0ms	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
291.0ms	(cbrt.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))

simplify111.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

155 → 155

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4882	4729
1	4882	4729

prune286.0ms (3.3%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	154	1	155
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	154	13	167

Merged error: 0.9b

Counts

167 → 13

Compiler

Compiled 6882 to 3769 computations (45.2% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.9b	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
7.6b	(cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
7.6b	(cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
7.6b	(cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))

rewrite136.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Rules

58×	`add-sqr-sqrt_binary64_9648`
55×	`*-un-lft-identity_binary64_9626`
48×	`cancel-sign-sub-inv_binary64_9592`
44×	`times-frac_binary64_9632`
26×	`add-cube-cbrt_binary64_9661`
25×	`distribute-rgt-in_binary64_9576` `distribute-lft-in_binary64_9575`
16×	`difference-of-squares_binary64_9595`
12×	`associate-*r/_binary64_9568`
10×	`distribute-lft-out--_binary64_9578` `associate-r_binary64_9566`
9×	`cbrt-div_binary64_9658`
6×	`flip3--_binary64_9630` `flip--_binary64_9601` `pow1_binary64_9687` `add-exp-log_binary64_9664` `add-cbrt-cube_binary64_9662`
4×	`add-log-exp_binary64_9665` `frac-sub_binary64_9635` `associate-/r/_binary64_9572`
3×	`associate-l_binary64_9567` `pow1/3_binary64_9708` `cbrt-prod_binary64_9657`
2×	`sub-neg_binary64_9619` `div-inv_binary64_9623`
1×	`prod-exp_binary64_9675` `pow-prod-down_binary64_9697` `*-commutative_binary64_9557` `unswap-sqr_binary64_9594` `cbrt-unprod_binary64_9659`

Counts

4 → 114

Calls

4 calls:

35.0ms	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
29.0ms	(cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
26.0ms	(cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
25.0ms	(cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))

series1.6s (18.5%)

Counts

4 → 12

Calls

4 calls:

493.0ms	(cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
488.0ms	(cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
477.0ms	(cbrt.f64 (*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))))
133.0ms	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))

simplify78.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5038	2923

prune232.0ms (2.7%)

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	126	0	126
Fresh	0	10	10
Picked	0	1	1
Done	0	2	2
Total	126	13	139

Merged error: 0.9b

Counts

139 → 13

Compiler

Compiled 5708 to 3018 computations (47.1% saved)

regimes467.0ms (5.4%)

Compiler: Compiled 5107 to 3915 computations (23.3% saved)

bsearch2.0ms (0%)

Compiler: Compiled 11 to 10 computations (9.1% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	86	65
1	86	65

end0.0ms (0%)

sample1.3s (15.6%)

Algorithm

1×

intervals

Results

314.0ms	8000×	body	128	valid
75.0ms	1868×	body	128	invalid

Compiler

Compiled 897 to 674 computations (24.9% saved)

Details

analyze663.0ms (7.7%)

sample26.0ms (0.3%)

simplify413.0ms (4.8%)

prune2.0ms (0%)

localize8.0ms (0.1%)

rewrite86.0ms (1%)

series263.0ms (3.1%)

simplify91.0ms (1.1%)

prune165.0ms (1.9%)

localize9.0ms (0.1%)

rewrite223.0ms (2.6%)

series283.0ms (3.3%)

simplify152.0ms (1.8%)

prune489.0ms (5.7%)

localize13.0ms (0.1%)

rewrite163.0ms (1.9%)

series1.3s (14.9%)

simplify111.0ms (1.3%)

prune286.0ms (3.3%)

localize14.0ms (0.2%)

rewrite136.0ms (1.6%)

series1.6s (18.5%)

simplify78.0ms (0.9%)

prune232.0ms (2.7%)

regimes467.0ms (5.4%)

bsearch2.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.3s (15.6%)

Profiling