Details

analyze1.1s (13.5%)

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
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0.4%	99.4%	0.2%	10
5.6%	94.2%	0.2%	11
7.1%	92.7%	0.2%	12
8.8%	91%	0.2%	13
15.6%	84.2%	0.2%	14

Compiler

Compiled 14 to 13 computations (7.1% saved)

sample23.0ms (0.3%)

Algorithm

1×

intervals

Results

11.0ms	256×	body	128	valid
1.0ms	15×	body	128	invalid

Compiler

Compiled 27 to 30 computations (-11.1% saved)

simplify333.0ms (4.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (163.0ms)

Iter	Nodes	Cost
0	4920	19
1	4920	19

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

Counts

2 → 1

Compiler

Compiled 26 to 24 computations (7.7% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (-.f64 t z) 1)
0.0b	(-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a)))
0.0b	(/.f64 (+.f64 (-.f64 t z) 1) a)
8.9b	(/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a))

rewrite135.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Rules

424×	`*-un-lft-identity_binary64_18655`
373×	`times-frac_binary64_18661`
241×	`add-sqr-sqrt_binary64_18677`
154×	`add-cube-cbrt_binary64_18690`
103×	`cancel-sign-sub-inv_binary64_18621`
78×	`distribute-lft-out--_binary64_18607`
76×	`distribute-lft-out_binary64_18606`
42×	`difference-of-squares_binary64_18624`
22×	`associate-/r*_binary64_18599`
14×	`div-inv_binary64_18652`
11×	`add-cbrt-cube_binary64_18691` `add-exp-log_binary64_18693` `add-log-exp_binary64_18694`
10×	`associate-/l*_binary64_18600`
4×	`associate-+l+_binary64_18588` `div-exp_binary64_18706` `associate-/l/_binary64_18602` `pow1_binary64_18716` `cbrt-undiv_binary64_18689`
3×	`div-sub_binary64_18660`
2×	`sum-log_binary64_18746` `associate-/r/_binary64_18601` `flip--_binary64_18630` `frac-2neg_binary64_18666` `flip-+_binary64_18629` `clear-num_binary64_18654` `flip3-+_binary64_18658` `diff-log_binary64_18747` `flip3--_binary64_18659` `associate-+l-_binary64_18590` `sub-neg_binary64_18648`
1×	`associate--r-_binary64_18594` `+-commutative_binary64_18585`

Counts

4 → 310

Calls

4 calls:

46.0ms	(-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a)))
21.0ms	(/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a))
11.0ms	(/.f64 (+.f64 (-.f64 t z) 1) a)
8.0ms	(+.f64 (-.f64 t z) 1)

series642.0ms (8.1%)

Counts

4 → 12

Calls

4 calls:

296.0ms	(/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a))
278.0ms	(-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a)))
47.0ms	(/.f64 (+.f64 (-.f64 t z) 1) a)
20.0ms	(+.f64 (-.f64 t z) 1)

simplify118.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

322 → 322

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5794	8718

prune854.0ms (10.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	316	6	322
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	317	6	323

Merged error: 0b

Counts

323 → 6

Compiler

Compiled 18850 to 10712 computations (43.2% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (-.f64 t z) 1)
0.0b	(-.f64 x (*.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) a))
0.0b	(/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1))
0.1b	(*.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) a)

rewrite58.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

111×	`*-un-lft-identity_binary64_18655`
56×	`add-sqr-sqrt_binary64_18677`
51×	`times-frac_binary64_18661`
31×	`associate-l_binary64_18596`
29×	`add-cube-cbrt_binary64_18690`
24×	`distribute-lft-out_binary64_18606`
23×	`distribute-lft-out--_binary64_18607`
11×	`difference-of-squares_binary64_18624` `add-cbrt-cube_binary64_18691` `add-exp-log_binary64_18693` `add-log-exp_binary64_18694`
6×	`pow1_binary64_18716`
5×	`associate-/l_binary64_18600` `associate-/r_binary64_18599`
4×	`associate-+l+_binary64_18588` `associate-/r/_binary64_18601` `cancel-sign-sub-inv_binary64_18621`
3×	`flip-+_binary64_18629` `associate-r_binary64_18595` `flip3-+_binary64_18658`
2×	`sum-log_binary64_18746` `div-exp_binary64_18706` `flip--_binary64_18630` `cbrt-unprod_binary64_18688` `unswap-sqr_binary64_18623` `div-inv_binary64_18652` `diff-log_binary64_18747` `prod-exp_binary64_18704` `flip3--_binary64_18659` `associate-/l/_binary64_18602` `cbrt-undiv_binary64_18689` `sub-neg_binary64_18648`
1×	`div-sub_binary64_18660` `frac-2neg_binary64_18666` `clear-num_binary64_18654` `-commutative_binary64_18586` `associate-l/_binary64_18598` `associate-+l-_binary64_18590` `+-commutative_binary64_18585` `pow-prod-down_binary64_18726`

Counts

4 → 133

Calls

4 calls:

18.0ms	(*.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) a)
15.0ms	(/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1))
8.0ms	(+.f64 (-.f64 t z) 1)
4.0ms	(-.f64 x (*.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) a))

series705.0ms (8.9%)

Counts

4 → 12

Calls

4 calls:

302.0ms	(*.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) a)
279.0ms	(-.f64 x (*.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) a))
105.0ms	(/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1))
20.0ms	(+.f64 (-.f64 t z) 1)

simplify70.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5445	2642

prune152.0ms (1.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	144	1	145
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	145	6	151

Merged error: 0b

Counts

151 → 6

Compiler

Compiled 3415 to 1657 computations (51.5% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 x (*.f64 (/.f64 1 (/.f64 (+.f64 (-.f64 t z) 1) (-.f64 y z))) a))
0.0b	(/.f64 (+.f64 (-.f64 t z) 1) (-.f64 y z))
0.1b	(*.f64 (/.f64 1 (/.f64 (+.f64 (-.f64 t z) 1) (-.f64 y z))) a)
0.2b	(/.f64 1 (/.f64 (+.f64 (-.f64 t z) 1) (-.f64 y z)))

rewrite118.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Rules

447×	`*-un-lft-identity_binary64_18655`
392×	`times-frac_binary64_18661`
254×	`add-sqr-sqrt_binary64_18677`
158×	`add-cube-cbrt_binary64_18690`
98×	`associate-l_binary64_18596`
82×	`distribute-lft-out_binary64_18606` `distribute-lft-out--_binary64_18607`
41×	`difference-of-squares_binary64_18624`
36×	`associate-/r*_binary64_18599` `add-exp-log_binary64_18693`
20×	`add-cbrt-cube_binary64_18691`
18×	`associate-/r/_binary64_18601`
15×	`div-exp_binary64_18706`
10×	`div-inv_binary64_18652`
9×	`flip--_binary64_18630` `flip3--_binary64_18659`
8×	`associate-/l*_binary64_18600`
7×	`prod-exp_binary64_18704` `pow1_binary64_18716` `cbrt-undiv_binary64_18689`
6×	`add-log-exp_binary64_18694`
5×	`unswap-sqr_binary64_18623`
4×	`1-exp_binary64_18699` `rec-exp_binary64_18705`
3×	`cbrt-unprod_binary64_18688` `associate-r_binary64_18595`
2×	`frac-2neg_binary64_18666` `clear-num_binary64_18654` `associate-/l/_binary64_18602`
1×	`div-sub_binary64_18660` `pow-flip_binary64_18729` `inv-pow_binary64_18740` `flip-+_binary64_18629` `cancel-sign-sub-inv_binary64_18621` `flip3-+_binary64_18658` `diff-log_binary64_18747` `-commutative_binary64_18586` `associate-l/_binary64_18598` `associate-+l-_binary64_18590` `pow-prod-down_binary64_18726` `sub-neg_binary64_18648`

Counts

4 → 338

Calls

4 calls:

37.0ms	(*.f64 (/.f64 1 (/.f64 (+.f64 (-.f64 t z) 1) (-.f64 y z))) a)
17.0ms	(/.f64 1 (/.f64 (+.f64 (-.f64 t z) 1) (-.f64 y z)))
12.0ms	(/.f64 (+.f64 (-.f64 t z) 1) (-.f64 y z))
4.0ms	(-.f64 x (*.f64 (/.f64 1 (/.f64 (+.f64 (-.f64 t z) 1) (-.f64 y z))) a))

series763.0ms (9.6%)

Counts

4 → 12

Calls

4 calls:

305.0ms	(-.f64 x (*.f64 (/.f64 1 (/.f64 (+.f64 (-.f64 t z) 1) (-.f64 y z))) a))
231.0ms	(*.f64 (/.f64 1 (/.f64 (+.f64 (-.f64 t z) 1) (-.f64 y z))) a)
140.0ms	(/.f64 1 (/.f64 (+.f64 (-.f64 t z) 1) (-.f64 y z)))
86.0ms	(/.f64 (+.f64 (-.f64 t z) 1) (-.f64 y z))

simplify124.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

350 → 350

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5701	7905

prune452.0ms (5.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	349	1	350
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	350	6	356

Merged error: 0b

Counts

356 → 6

Compiler

Compiled 8921 to 4347 computations (51.3% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (-.f64 t z) 1)
0.0b	(-.f64 x (/.f64 a (/.f64 (+.f64 (-.f64 t z) 1) (-.f64 y z))))
0.0b	(/.f64 (+.f64 (-.f64 t z) 1) (-.f64 y z))
0.2b	(/.f64 a (/.f64 (+.f64 (-.f64 t z) 1) (-.f64 y z)))

rewrite132.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Rules

452×	`*-un-lft-identity_binary64_18655`
389×	`times-frac_binary64_18661`
249×	`add-sqr-sqrt_binary64_18677`
158×	`add-cube-cbrt_binary64_18690`
101×	`cancel-sign-sub-inv_binary64_18621`
84×	`distribute-lft-out_binary64_18606` `distribute-lft-out--_binary64_18607`
44×	`difference-of-squares_binary64_18624`
36×	`associate-/r*_binary64_18599`
18×	`associate-/r/_binary64_18601`
11×	`add-cbrt-cube_binary64_18691` `add-exp-log_binary64_18693` `add-log-exp_binary64_18694`
10×	`div-inv_binary64_18652`
9×	`flip--_binary64_18630` `flip3--_binary64_18659`
8×	`associate-/l*_binary64_18600`
4×	`associate-+l+_binary64_18588` `div-exp_binary64_18706` `pow1_binary64_18716` `cbrt-undiv_binary64_18689`
2×	`sum-log_binary64_18746` `frac-2neg_binary64_18666` `flip-+_binary64_18629` `clear-num_binary64_18654` `flip3-+_binary64_18658` `diff-log_binary64_18747` `associate-/l/_binary64_18602` `associate-+l-_binary64_18590` `sub-neg_binary64_18648`
1×	`div-sub_binary64_18660` `+-commutative_binary64_18585`

Counts

4 → 326

Calls

4 calls:

50.0ms	(-.f64 x (/.f64 a (/.f64 (+.f64 (-.f64 t z) 1) (-.f64 y z))))
17.0ms	(/.f64 a (/.f64 (+.f64 (-.f64 t z) 1) (-.f64 y z)))
12.0ms	(/.f64 (+.f64 (-.f64 t z) 1) (-.f64 y z))
8.0ms	(+.f64 (-.f64 t z) 1)

series766.0ms (9.6%)

Counts

4 → 12

Calls

4 calls:

388.0ms	(-.f64 x (/.f64 a (/.f64 (+.f64 (-.f64 t z) 1) (-.f64 y z))))
257.0ms	(/.f64 a (/.f64 (+.f64 (-.f64 t z) 1) (-.f64 y z)))
102.0ms	(/.f64 (+.f64 (-.f64 t z) 1) (-.f64 y z))
19.0ms	(+.f64 (-.f64 t z) 1)

simplify120.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

338 → 338

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5465	9146

prune349.0ms (4.4%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	338	0	338
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	338	6	344

Merged error: 0b

Counts

344 → 6

Compiler

Compiled 7834 to 3140 computations (59.9% saved)

regimes93.0ms (1.2%)

Compiler: Compiled 728 to 624 computations (14.3% saved)

bsearch0.0ms (0%)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	134	19
1	134	19

end0.0ms (0%)

sample813.0ms (10.2%)

Algorithm

1×

intervals

Results

359.0ms	8000×	body	128	valid
20.0ms	477×	body	128	invalid

Compiler

Compiled 156 to 134 computations (14.1% saved)

Details

analyze1.1s (13.5%)

sample23.0ms (0.3%)

simplify333.0ms (4.2%)

prune2.0ms (0%)

localize10.0ms (0.1%)

rewrite135.0ms (1.7%)

series642.0ms (8.1%)

simplify118.0ms (1.5%)

prune854.0ms (10.8%)

localize10.0ms (0.1%)

rewrite58.0ms (0.7%)

series705.0ms (8.9%)

simplify70.0ms (0.9%)

prune152.0ms (1.9%)

localize12.0ms (0.1%)

rewrite118.0ms (1.5%)

series763.0ms (9.6%)

simplify124.0ms (1.6%)

prune452.0ms (5.7%)

localize11.0ms (0.1%)

rewrite132.0ms (1.7%)

series766.0ms (9.6%)

simplify120.0ms (1.5%)

prune349.0ms (4.4%)

regimes93.0ms (1.2%)

bsearch0.0ms (0%)

simplify5.0ms (0.1%)

end0.0ms (0%)

sample813.0ms (10.2%)

Profiling