Details

analyze961.0ms (21%)

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
2.3%	97.4%	0.2%	9
4.7%	95.1%	0.2%	10
12.7%	87.1%	0.2%	11
15.9%	83.9%	0.2%	12
24.9%	74.9%	0.2%	13
33.3%	66.5%	0.2%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample23.0ms (0.5%)

Algorithm

1×

intervals

Results

10.0ms	256×	body	128	valid
1.0ms	24×	body	128	invalid

Compiler

Compiled 23 to 26 computations (-13% saved)

simplify278.0ms (6.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (118.0ms)

Iter	Nodes	Cost
0	4896	16
1	4896	16

prune7.0ms (0.2%)

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.4b

Counts

2 → 1

Compiler

Compiled 22 to 20 computations (9.1% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 z t) (-.f64 z a))
2.1b	(*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))

rewrite38.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

75×	`add-sqr-sqrt_binary64_15937`
70×	`*-un-lft-identity_binary64_15916`
51×	`times-frac_binary64_15922`
31×	`associate-r_binary64_15858`
26×	`add-cube-cbrt_binary64_15948`
22×	`distribute-lft-out--_binary64_15870` `difference-of-squares_binary64_15885`
9×	`add-cbrt-cube_binary64_15949` `add-exp-log_binary64_15951`
5×	`associate-/r_binary64_15862` `associate-/l_binary64_15863`
4×	`associate-/r/_binary64_15864` `pow1_binary64_15974`
3×	`flip3--_binary64_15920` `associate-l_binary64_15859` `flip--_binary64_15891`
2×	`div-exp_binary64_15964` `associate-/l/_binary64_15865` `cbrt-undiv_binary64_15947` `add-log-exp_binary64_15952` `prod-exp_binary64_15962` `cbrt-unprod_binary64_15946` `unswap-sqr_binary64_15884` `div-inv_binary64_15913`
1×	`div-sub_binary64_15921` `clear-num_binary64_15915` `pow-prod-down_binary64_15984` `associate-r/_binary64_15860` `frac-2neg_binary64_15927` `-commutative_binary64_15849`

Counts

2 → 102

Calls

2 calls:

17.0ms	(*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))
10.0ms	(/.f64 (-.f64 z t) (-.f64 z a))

series227.0ms (5%)

Counts

2 → 6

Calls

2 calls:

159.0ms	(*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))
68.0ms	(/.f64 (-.f64 z t) (-.f64 z a))

simplify51.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5370	1767

prune97.0ms (2.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	103	5	108
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	103	6	109

Merged error: 0b

Counts

109 → 6

Compiler

Compiled 2069 to 452 computations (78.2% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 y (-.f64 z t))
10.9b	(/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))

rewrite23.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_15937`
12×	`*-un-lft-identity_binary64_15916`
9×	`add-cbrt-cube_binary64_15949` `add-exp-log_binary64_15951`
6×	`add-cube-cbrt_binary64_15948`
5×	`associate-/r_binary64_15862` `times-frac_binary64_15922` `associate-r*_binary64_15858`
4×	`associate-*r/_binary64_15860` `pow1_binary64_15974`
3×	`flip3--_binary64_15920` `associate-l_binary64_15859` `distribute-lft-out--_binary64_15870` `flip--_binary64_15891` `difference-of-squares_binary64_15885`
2×	`associate-/r/_binary64_15864` `div-exp_binary64_15964` `associate-/l/_binary64_15865` `cbrt-undiv_binary64_15947` `add-log-exp_binary64_15952` `prod-exp_binary64_15962` `cbrt-unprod_binary64_15946` `sub-neg_binary64_15909`
1×	`clear-num_binary64_15915` `pow-prod-down_binary64_15984` `distribute-rgt-in_binary64_15868` `frac-2neg_binary64_15927` `associate-/l_binary64_15863` `-commutative_binary64_15849` `unswap-sqr_binary64_15884` `distribute-lft-in_binary64_15867` `div-inv_binary64_15913`

Counts

2 → 53

Calls

2 calls:

12.0ms	(/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))
7.0ms	(*.f64 y (-.f64 z t))

series222.0ms (4.9%)

Counts

2 → 6

Calls

2 calls:

159.0ms	(/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))
63.0ms	(*.f64 y (-.f64 z t))

simplify43.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

59 → 59

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	4988	716
1	4988	716

prune45.0ms (1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	58	1	59
Fresh	2	2	4
Picked	0	1	1
Done	0	1	1
Total	60	5	65

Merged error: 0b

Counts

65 → 5

Compiler

Compiled 956 to 267 computations (72.1% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 z a) (-.f64 z t))
1.9b	(/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))

rewrite48.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

218×	`times-frac_binary64_15922`
194×	`add-sqr-sqrt_binary64_15937` `*-un-lft-identity_binary64_15916`
90×	`add-cube-cbrt_binary64_15948`
52×	`distribute-lft-out--_binary64_15870` `difference-of-squares_binary64_15885`
36×	`associate-/r*_binary64_15862`
11×	`associate-/r/_binary64_15864`
9×	`add-cbrt-cube_binary64_15949` `add-exp-log_binary64_15951`
8×	`associate-/l*_binary64_15863`
6×	`flip3--_binary64_15920` `flip--_binary64_15891` `div-inv_binary64_15913`
4×	`div-exp_binary64_15964` `cbrt-undiv_binary64_15947`
2×	`clear-num_binary64_15915` `associate-/l/_binary64_15865` `frac-2neg_binary64_15927` `pow1_binary64_15974` `add-log-exp_binary64_15952`
1×	`div-sub_binary64_15921`

Counts

2 → 194

Calls

2 calls:

14.0ms	(/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))
9.0ms	(/.f64 (-.f64 z a) (-.f64 z t))

series329.0ms (7.2%)

Counts

2 → 6

Calls

2 calls:

264.0ms	(/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))
65.0ms	(/.f64 (-.f64 z a) (-.f64 z t))

simplify87.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

200 → 200

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5023	4875

prune150.0ms (3.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	199	1	200
Fresh	1	1	2
Picked	0	1	1
Done	1	1	2
Total	201	4	205

Merged error: 0b

Counts

205 → 4

Compiler

Compiled 4261 to 700 computations (83.6% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 y (-.f64 z a))
11.9b	(*.f64 (/.f64 y (-.f64 z a)) (-.f64 z t))

rewrite31.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

43×	`add-sqr-sqrt_binary64_15937`
38×	`*-un-lft-identity_binary64_15916`
31×	`times-frac_binary64_15922`
22×	`add-cube-cbrt_binary64_15948`
21×	`associate-l_binary64_15859`
9×	`add-cbrt-cube_binary64_15949` `add-exp-log_binary64_15951`
8×	`distribute-lft-out--_binary64_15870` `difference-of-squares_binary64_15885`
5×	`associate-/r_binary64_15862` `associate-r*_binary64_15858`
4×	`associate-/r/_binary64_15864` `flip3--_binary64_15920` `pow1_binary64_15974` `flip--_binary64_15891`
3×	`associate-/l*_binary64_15863`
2×	`div-exp_binary64_15964` `associate-*r/_binary64_15860` `frac-times_binary64_15926` `cbrt-undiv_binary64_15947` `add-log-exp_binary64_15952` `prod-exp_binary64_15962` `cbrt-unprod_binary64_15946` `unswap-sqr_binary64_15884` `sub-neg_binary64_15909` `div-inv_binary64_15913`
1×	`clear-num_binary64_15915` `pow-prod-down_binary64_15984` `distribute-rgt-in_binary64_15868` `frac-2neg_binary64_15927` `associate-l/_binary64_15861` `-commutative_binary64_15849` `distribute-lft-in_binary64_15867`

Counts

2 → 85

Calls

2 calls:

16.0ms	(*.f64 (/.f64 y (-.f64 z a)) (-.f64 z t))
6.0ms	(/.f64 y (-.f64 z a))

series322.0ms (7%)

Counts

2 → 6

Calls

2 calls:

257.0ms	(*.f64 (/.f64 y (-.f64 z a)) (-.f64 z t))
65.0ms	(/.f64 y (-.f64 z a))

simplify63.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5269	1326

prune62.0ms (1.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	91	0	91
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	91	4	95

Merged error: 0b

Counts

95 → 4

Compiler

Compiled 1583 to 377 computations (76.2% saved)

regimes357.0ms (7.8%)

Compiler: Compiled 3372 to 2245 computations (33.4% saved)

bsearch39.0ms (0.9%)

Steps

Iters	Range		Point
8	3.0418432882933766e-173	2.0493655512255693e-170	4.588785361859496e-172
6	-2.240530015801356e-98	-1.7760924566551567e-99	-3.2104700123273477e-99

Compiler

Compiled 1 to 5 computations (-400% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	47	60
1	47	60

end0.0ms (0%)

sample1.0s (22.5%)

Algorithm

1×

intervals

Results

319.0ms	7997×	body	128	valid
31.0ms	738×	body	128	invalid
0.0ms	3×	body	1024	valid

Compiler

Compiled 444 to 293 computations (34% saved)

Details

analyze961.0ms (21%)

sample23.0ms (0.5%)

simplify278.0ms (6.1%)

prune7.0ms (0.2%)

localize8.0ms (0.2%)

rewrite38.0ms (0.8%)

series227.0ms (5%)

simplify51.0ms (1.1%)

prune97.0ms (2.1%)

localize9.0ms (0.2%)

rewrite23.0ms (0.5%)

series222.0ms (4.9%)

simplify43.0ms (0.9%)

prune45.0ms (1%)

localize8.0ms (0.2%)

rewrite48.0ms (1.1%)

series329.0ms (7.2%)

simplify87.0ms (1.9%)

prune150.0ms (3.3%)

localize8.0ms (0.2%)

rewrite31.0ms (0.7%)

series322.0ms (7%)

simplify63.0ms (1.4%)

prune62.0ms (1.4%)

regimes357.0ms (7.8%)

bsearch39.0ms (0.9%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.0s (22.5%)

Profiling