Details

analyze392.0ms (11.1%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	779	40
1	779	40
0	3	3
1	3	3

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
31.2%	68.6%	0.1%	9
43.3%	49.9%	6.8%	10
49.7%	40.8%	9.5%	11
55.7%	34%	10.3%	12
61.3%	24.4%	14.3%	13
65%	19.8%	15.3%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample16.0ms (0.5%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
1.0ms	23×	body	128	invalid

Compiler

Compiled 15 to 16 computations (-6.7% saved)

simplify19.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (14.0ms)

Iter	Nodes	Cost
0	301	10
1	301	10

prune2.0ms (0.1%)

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 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 (-.f64 y x) z)
0.0b	(+.f64 x (*.f64 (-.f64 y x) z))

rewrite15.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64_3510`
6×	`*-un-lft-identity_binary64_3488`
5×	`associate-l_binary64_3429`
4×	`add-cbrt-cube_binary64_3524` `add-exp-log_binary64_3526` `add-cube-cbrt_binary64_3523` `add-log-exp_binary64_3527` `pow1_binary64_3549`
3×	`associate-r_binary64_3428`
2×	`associate-*l/_binary64_3431`
1×	`difference-of-squares_binary64_3457` `distribute-lft-out--_binary64_3440` `unswap-sqr_binary64_3456` `flip3--_binary64_3492` `flip-+_binary64_3462` `flip3-+_binary64_3491` `cbrt-unprod_binary64_3521` `+-commutative_binary64_3418` `pow-prod-down_binary64_3559` `flip--_binary64_3463` `*-commutative_binary64_3419` `sum-log_binary64_3579` `prod-exp_binary64_3537`

Counts

2 → 33

Calls

2 calls:

10.0ms	(*.f64 (-.f64 y x) z)
4.0ms	(+.f64 x (*.f64 (-.f64 y x) z))

series57.0ms (1.6%)

Counts

2 → 6

Calls

2 calls:

29.0ms	(+.f64 x (*.f64 (-.f64 y x) z))
29.0ms	(*.f64 (-.f64 y x) z)

simplify54.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4993	448
1	4993	448

prune29.0ms (0.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	36	3	39
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	36	4	40

Error

0.0b

Counts

40 → 4

Compiler

Compiled 522 to 150 computations (71.3% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 y x)))
0.5b	(cbrt.f64 (-.f64 y x))
0.5b	(cbrt.f64 (-.f64 y x))
0.5b	(cbrt.f64 (-.f64 y x))

rewrite33.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

43×	`cbrt-prod_binary64_3519`
37×	`add-sqr-sqrt_binary64_3510`
35×	`*-un-lft-identity_binary64_3488`
18×	`cbrt-div_binary64_3520`
15×	`add-cube-cbrt_binary64_3523`
11×	`pow1_binary64_3549`
10×	`swap-sqr_binary64_3455`
9×	`distribute-lft-out--_binary64_3440` `flip3--_binary64_3492` `flip--_binary64_3463` `pow1/3_binary64_3570`
8×	`associate-l_binary64_3429` `associate-r_binary64_3428`
7×	`difference-of-squares_binary64_3457`
6×	`add-exp-log_binary64_3526`
4×	`unswap-sqr_binary64_3456` `add-cbrt-cube_binary64_3524` `frac-times_binary64_3498` `add-log-exp_binary64_3527`
2×	`associate-l/_binary64_3431` `pow-prod-up_binary64_3558` `associate-r/_binary64_3430` `pow-prod-down_binary64_3559` `pow-sqr_binary64_3461`
1×	`cbrt-unprod_binary64_3521` `pow2_binary64_3569` `pow-plus_binary64_3551` `*-commutative_binary64_3419` `prod-exp_binary64_3537`

Counts

4 → 101

Calls

4 calls:

13.0ms	(*.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 y x)))
4.0ms	(cbrt.f64 (-.f64 y x))
3.0ms	(cbrt.f64 (-.f64 y x))
3.0ms	(cbrt.f64 (-.f64 y x))

series450.0ms (12.7%)

Counts

4 → 12

Calls

4 calls:

118.0ms	(cbrt.f64 (-.f64 y x))
117.0ms	(*.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 y x)))
112.0ms	(cbrt.f64 (-.f64 y x))
103.0ms	(cbrt.f64 (-.f64 y x))

simplify106.0ms (3%)

Algorithm

1×	egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	4931	1626
1	4931	1626

prune98.0ms (2.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	112	1	113
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	112	5	117

Error

0.0b

Counts

117 → 5

Compiler

Compiled 2707 to 699 computations (74.2% saved)

localize13.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (-.f64 y x))
0.5b	(cbrt.f64 (cbrt.f64 (-.f64 y x)))
0.5b	(cbrt.f64 (cbrt.f64 (-.f64 y x)))
0.5b	(pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 y x))) 2)

rewrite28.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

44×	`cbrt-prod_binary64_3519`
21×	`add-sqr-sqrt_binary64_3510` `*-un-lft-identity_binary64_3488`
13×	`add-cube-cbrt_binary64_3523`
11×	`unpow-prod-down_binary64_3567`
10×	`cbrt-div_binary64_3520`
5×	`add-exp-log_binary64_3526` `pow1_binary64_3549`
4×	`difference-of-squares_binary64_3457` `distribute-lft-out--_binary64_3440` `add-cbrt-cube_binary64_3524` `add-log-exp_binary64_3527` `pow1/3_binary64_3570`
3×	`flip3--_binary64_3492` `pow-unpow_binary64_3565` `flip--_binary64_3463`
2×	`pow-pow_binary64_3560`
1×	`pow-exp_binary64_3556` `unpow2_binary64_3553` `pow-to-exp_binary64_3557` `sqr-pow_binary64_3460`

Counts

4 → 78

Calls

4 calls:

7.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 y x))) 2)
5.0ms	(cbrt.f64 (cbrt.f64 (-.f64 y x)))
4.0ms	(cbrt.f64 (cbrt.f64 (-.f64 y x)))
3.0ms	(cbrt.f64 (-.f64 y x))

series517.0ms (14.6%)

Counts

4 → 12

Calls

4 calls:

177.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (-.f64 y x))) 2)
118.0ms	(cbrt.f64 (cbrt.f64 (-.f64 y x)))
113.0ms	(cbrt.f64 (-.f64 y x))
109.0ms	(cbrt.f64 (cbrt.f64 (-.f64 y x)))

simplify47.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5214	1338

prune95.0ms (2.7%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	89	1	90
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	89	6	95

Error

Counts

95 → 6

Compiler

Compiled 3023 to 897 computations (70.3% saved)

localize17.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.5b	(pow.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 y x)))) 2) (cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 y x))))) 2)
0.5b	(cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 y x))))
0.5b	(cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 y x))))
0.6b	(pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 y x)))) 2)

rewrite53.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Rules

72×	`cbrt-prod_binary64_3519`
22×	`add-sqr-sqrt_binary64_3510` `*-un-lft-identity_binary64_3488`
16×	`add-cube-cbrt_binary64_3523`
15×	`unpow-prod-down_binary64_3567`
12×	`cbrt-div_binary64_3520`
11×	`add-exp-log_binary64_3526`
7×	`pow1_binary64_3549`
6×	`pow-exp_binary64_3556` `pow-unpow_binary64_3565` `pow-pow_binary64_3560`
4×	`add-cbrt-cube_binary64_3524` `add-log-exp_binary64_3527`
3×	`difference-of-squares_binary64_3457` `distribute-lft-out--_binary64_3440` `unpow2_binary64_3553` `pow-to-exp_binary64_3557` `pow1/3_binary64_3570` `prod-exp_binary64_3537`
2×	`flip3--_binary64_3492` `flip--_binary64_3463` `sqr-pow_binary64_3460`
1×	`pow-prod-up_binary64_3558` `pow-plus_binary64_3551` `pow3_binary64_3571`

Counts

4 → 94

Calls

4 calls:

18.0ms	(pow.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 y x)))) 2) (cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 y x))))) 2)
8.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 y x)))) 2)
5.0ms	(cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 y x))))
5.0ms	(cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 y x))))

series587.0ms (16.6%)

Counts

4 → 12

Calls

4 calls:

185.0ms	(pow.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 y x)))) 2) (cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 y x))))) 2)
180.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 y x)))) 2)
120.0ms	(cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 y x))))
101.0ms	(cbrt.f64 (cbrt.f64 (cbrt.f64 (-.f64 y x))))

simplify60.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	4921	1783
1	4921	1783

prune141.0ms (4%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	106	0	106
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	106	6	112

Error

Counts

112 → 6

Compiler

Compiled 4320 to 1249 computations (71.1% saved)

regimes86.0ms (2.4%)

Accuracy

Total 0.0b remaining (61.1%)

Threshold costs 0.0b (61.1%)

Compiler

Compiled 812 to 454 computations (44.1% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	10
1	19	10

end0.0ms (0%)

sample611.0ms (17.2%)

Algorithm

1×

intervals

Results

214.0ms	8000×	body	128	valid
15.0ms	602×	body	128	invalid

Compiler

Compiled 213 to 122 computations (42.7% saved)

Details

analyze392.0ms (11.1%)

sample16.0ms (0.5%)

simplify19.0ms (0.5%)

prune2.0ms (0.1%)

localize5.0ms (0.1%)

rewrite15.0ms (0.4%)

series57.0ms (1.6%)

simplify54.0ms (1.5%)

prune29.0ms (0.8%)

localize8.0ms (0.2%)

rewrite33.0ms (0.9%)

series450.0ms (12.7%)

simplify106.0ms (3%)

prune98.0ms (2.8%)

localize13.0ms (0.4%)

rewrite28.0ms (0.8%)

series517.0ms (14.6%)

simplify47.0ms (1.3%)

prune95.0ms (2.7%)

localize17.0ms (0.5%)

rewrite53.0ms (1.5%)

series587.0ms (16.6%)

simplify60.0ms (1.7%)

prune141.0ms (4%)

regimes86.0ms (2.4%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample611.0ms (17.2%)

Profiling