Details

analyze941.0ms (0.2%)

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%	99.8%	0.2%	10
13.2%	86.5%	0.2%	11
16.8%	83%	0.2%	12
22.7%	77.1%	0.2%	13
24.1%	74.7%	1.3%	14

Compiler

Compiled 10 to 10 computations (0% saved)

sample28.0ms (0%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
3.0ms	92×	body	128	invalid

Compiler

Compiled 19 to 24 computations (-26.3% saved)

simplify155.0ms (0%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	719	13
1	719	13

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

Error

4.6b

Counts

2 → 1

Compiler

Compiled 9 to 9 computations (0% saved)

localize8.0ms (0%)

Local error

Found 6 expressions with local error:

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

rewrite30.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`*-un-lft-identity_binary64_12354` `add-sqr-sqrt_binary64_12376`
10×	`add-cbrt-cube_binary64_12390` `add-exp-log_binary64_12392`
9×	`add-cube-cbrt_binary64_12389`
6×	`cancel-sign-sub-inv_binary64_12320`
5×	`add-log-exp_binary64_12393` `pow1_binary64_12415` `associate-r_binary64_12294`
4×	`distribute-lft-in_binary64_12303` `associate-*r/_binary64_12296` `distribute-rgt-in_binary64_12304`
3×	`associate-/r_binary64_12298` `associate-l*_binary64_12295` `times-frac_binary64_12360`
2×	`flip--_binary64_12329` `cbrt-unprod_binary64_12387` `associate-/l/_binary64_12301` `cbrt-undiv_binary64_12388` `prod-exp_binary64_12403` `flip3--_binary64_12358` `div-exp_binary64_12405` `sub-neg_binary64_12347`
1×	`pow-prod-down_binary64_12425` `clear-num_binary64_12353` `distribute-lft-out_binary64_12305` `associate-/l_binary64_12299` `div-inv_binary64_12351` `frac-2neg_binary64_12365` `distribute-lft-out--_binary64_12306` `difference-of-squares_binary64_12323` `sum-log_binary64_12445` `flip-+_binary64_12328` `unswap-sqr_binary64_12322` `+-commutative_binary64_12284` `flip3-+_binary64_12357` `-commutative_binary64_12285`

Counts

3 → 65

Calls

6 calls:

14.0ms	(/.f64 (*.f64 y (-.f64 z t)) a)
7.0ms	(*.f64 y (-.f64 z t))
5.0ms	(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
0.0ms	(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
0.0ms	(*.f64 y (-.f64 z t))

series671.0ms (0.2%)

Counts

3 → 63

Calls

3 calls:

365.0ms	(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
205.0ms	(/.f64 (*.f64 y (-.f64 z t)) a)
101.0ms	(*.f64 y (-.f64 z t))

Compiler

Compiled 1031 to 972 computations (5.7% saved)

simplify78.0ms (0%)

Algorithm

1×	egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5038	1370

prune288.0ms (0.1%)

Pruning

47 alts after pruning (46 fresh and 1 done)

	Pruned	Kept	Total
New	82	46	128
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	82	47	129

Error

Counts

129 → 47

Compiler

Compiled 1425 to 728 computations (48.9% saved)

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.5b	(cbrt.f64 a)
0.5b	(*.f64 (cbrt.f64 a) (cbrt.f64 a))
0.2b	(/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
0.0b	(+.f64 x (/.f64 (.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (-.f64 z t)) (cbrt.f64 a)))
0.5b	(cbrt.f64 a)
0.5b	(cbrt.f64 a)
1.7b	(/.f64 (.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (-.f64 z t)) (cbrt.f64 a))
4.0b	(.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (-.f64 z t))

rewrite37.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`add-exp-log_binary64_12392`
21×	`add-sqr-sqrt_binary64_12376`
19×	`add-cbrt-cube_binary64_12390`
17×	`*-un-lft-identity_binary64_12354`
15×	`add-cube-cbrt_binary64_12389`
12×	`cbrt-prod_binary64_12385`
10×	`times-frac_binary64_12360`
8×	`cbrt-unprod_binary64_12387` `cbrt-undiv_binary64_12388` `prod-exp_binary64_12403` `div-exp_binary64_12405`
7×	`associate-l_binary64_12295`
6×	`associate-/r*_binary64_12298` `pow1_binary64_12415` `cancel-sign-sub-inv_binary64_12320`
5×	`associate-/l/_binary64_12301` `associate-r_binary64_12294`
4×	`flip--_binary64_12329` `frac-times_binary64_12364` `add-log-exp_binary64_12393` `distribute-lft-in_binary64_12303` `associate-*r/_binary64_12296` `flip3--_binary64_12358` `distribute-rgt-in_binary64_12304`
2×	`div-inv_binary64_12351` `pow1/3_binary64_12436` `associate-*l/_binary64_12297` `unswap-sqr_binary64_12322` `sub-neg_binary64_12347`
1×	`pow-prod-down_binary64_12425` `clear-num_binary64_12353` `associate-/l_binary64_12299` `frac-2neg_binary64_12365` `distribute-lft-out--_binary64_12306` `difference-of-squares_binary64_12323` `-commutative_binary64_12285`

Counts

4 → 100

Calls

8 calls:

13.0ms	(/.f64 (.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (-.f64 z t)) (cbrt.f64 a))
13.0ms	(.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (-.f64 z t))
1.0ms	(cbrt.f64 a)
1.0ms	(cbrt.f64 a)
0.0ms	(+.f64 x (/.f64 (.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (-.f64 z t)) (cbrt.f64 a)))

series1.2s (0.3%)

Counts

4 → 42

Calls

4 calls:

776.0ms	(.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (-.f64 z t))
249.0ms	(/.f64 (.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (-.f64 z t)) (cbrt.f64 a))
82.0ms	(cbrt.f64 a)
76.0ms	(cbrt.f64 a)

Compiler

Compiled 1238 to 1130 computations (8.7% saved)

simplify91.0ms (0%)

Algorithm

1×	egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4958	1942
1	4958	1942

localize9.0ms (0%)

Local error

Found 2 expressions with local error:

5.4b	(/.f64 (*.f64 y z) a)
5.4b	(/.f64 (*.f64 y z) a)

rewrite10.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-cbrt-cube_binary64_12390` `add-exp-log_binary64_12392`
3×	`associate-/r_binary64_12298` `-un-lft-identity_binary64_12354` `times-frac_binary64_12360` `add-sqr-sqrt_binary64_12376` `add-cube-cbrt_binary64_12389`
2×	`cbrt-undiv_binary64_12388` `div-exp_binary64_12405`
1×	`clear-num_binary64_12353` `cbrt-unprod_binary64_12387` `associate-/l*_binary64_12299` `div-inv_binary64_12351` `frac-2neg_binary64_12365` `add-log-exp_binary64_12393` `pow1_binary64_12415` `prod-exp_binary64_12403`

Counts

1 → 21

Calls

2 calls:

8.0ms	(/.f64 (*.f64 y z) a)
0.0ms	(/.f64 (*.f64 y z) a)

series108.0ms (0%)

Counts

1 → 9

Calls

1 calls:

108.0ms

(/.f64 (*.f64 y z) a)

Compiler

Compiled 90 to 126 computations (-40% saved)

simplify137.0ms (0%)

Algorithm

1×	egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 0 (128.0ms)

Iter	Nodes	Cost
0	4699	261
1	4699	261

localize11.0ms (0%)

Local error

Found 6 expressions with local error:

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

rewrite26.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`*-un-lft-identity_binary64_12354` `add-sqr-sqrt_binary64_12376`
10×	`add-cbrt-cube_binary64_12390` `add-exp-log_binary64_12392`
9×	`add-cube-cbrt_binary64_12389`
6×	`cancel-sign-sub-inv_binary64_12320`
5×	`add-log-exp_binary64_12393` `pow1_binary64_12415` `associate-r_binary64_12294`
4×	`distribute-lft-in_binary64_12303` `associate-*r/_binary64_12296` `distribute-rgt-in_binary64_12304`
3×	`associate-/r_binary64_12298` `associate-l*_binary64_12295` `times-frac_binary64_12360`
2×	`flip--_binary64_12329` `cbrt-unprod_binary64_12387` `associate-/l/_binary64_12301` `cbrt-undiv_binary64_12388` `prod-exp_binary64_12403` `flip3--_binary64_12358` `div-exp_binary64_12405` `sub-neg_binary64_12347`
1×	`pow-prod-down_binary64_12425` `clear-num_binary64_12353` `distribute-lft-out_binary64_12305` `associate-/l_binary64_12299` `div-inv_binary64_12351` `frac-2neg_binary64_12365` `distribute-lft-out--_binary64_12306` `difference-of-squares_binary64_12323` `sum-log_binary64_12445` `flip-+_binary64_12328` `unswap-sqr_binary64_12322` `+-commutative_binary64_12284` `flip3-+_binary64_12357` `-commutative_binary64_12285`

Counts

3 → 65

Calls

6 calls:

8.0ms	(/.f64 (*.f64 y (-.f64 z t)) a)
8.0ms	(*.f64 y (-.f64 z t))
5.0ms	(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
0.0ms	(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
0.0ms	(*.f64 y (-.f64 z t))

series706.0ms (0.2%)

Counts

3 → 63

Calls

3 calls:

380.0ms	(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
219.0ms	(/.f64 (*.f64 y (-.f64 z t)) a)
107.0ms	(*.f64 y (-.f64 z t))

Compiler

Compiled 1229 to 1170 computations (4.8% saved)

simplify84.0ms (0%)

Algorithm

1×	egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	5038	1370

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

2.8b	(/.f64 (exp.f64 (log.f64 (*.f64 y (-.f64 z t)))) a)
2.6b	(exp.f64 (log.f64 (*.f64 y (-.f64 z t))))
0.0b	(*.f64 y (-.f64 z t))
0.0b	(+.f64 x (/.f64 (exp.f64 (log.f64 (*.f64 y (-.f64 z t)))) a))
0.0b	(+.f64 x (/.f64 (exp.f64 (log.f64 (*.f64 y (-.f64 z t)))) a))
2.6b	(exp.f64 (log.f64 (*.f64 y (-.f64 z t))))
2.8b	(/.f64 (exp.f64 (log.f64 (*.f64 y (-.f64 z t)))) a)
3.7b	(log.f64 (*.f64 y (-.f64 z t)))

rewrite40.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`*-un-lft-identity_binary64_12354`
14×	`add-sqr-sqrt_binary64_12376` `add-cube-cbrt_binary64_12389`
12×	`times-frac_binary64_12360`
10×	`pow1_binary64_12415`
8×	`add-exp-log_binary64_12392`
6×	`add-log-exp_binary64_12393` `log-div_binary64_12441` `associate-*r/_binary64_12296` `log-prod_binary64_12440` `add-cbrt-cube_binary64_12390`
5×	`exp-sum_binary64_12400` `exp-prod_binary64_12406`
4×	`associate-/l*_binary64_12299` `log-pow_binary64_12443` `exp-diff_binary64_12402`
3×	`flip--_binary64_12329` `associate-/r*_binary64_12298` `flip3--_binary64_12358`
2×	`pow-prod-down_binary64_12425` `associate-/l/_binary64_12301` `rem-log-exp_binary64_12395`
1×	`clear-num_binary64_12353` `distribute-lft-out_binary64_12305` `div-inv_binary64_12351` `frac-2neg_binary64_12365` `rem-exp-log_binary64_12394` `cbrt-undiv_binary64_12388` `prod-exp_binary64_12403` `sum-log_binary64_12445` `flip-+_binary64_12328` `div-exp_binary64_12405` `+-commutative_binary64_12284` `flip3-+_binary64_12357`

Counts

4 → 75

Calls

8 calls:

10.0ms	(+.f64 x (/.f64 (exp.f64 (log.f64 (*.f64 y (-.f64 z t)))) a))
9.0ms	(/.f64 (exp.f64 (log.f64 (*.f64 y (-.f64 z t)))) a)
6.0ms	(exp.f64 (log.f64 (*.f64 y (-.f64 z t))))
5.0ms	(log.f64 (*.f64 y (-.f64 z t)))
0.0ms	(+.f64 x (/.f64 (exp.f64 (log.f64 (*.f64 y (-.f64 z t)))) a))

series2.2s (0.6%)

Counts

4 → 79

Calls

4 calls:

861.0ms	(+.f64 x (/.f64 (exp.f64 (log.f64 (*.f64 y (-.f64 z t)))) a))
722.0ms	(/.f64 (exp.f64 (log.f64 (*.f64 y (-.f64 z t)))) a)
488.0ms	(exp.f64 (log.f64 (*.f64 y (-.f64 z t))))
169.0ms	(log.f64 (*.f64 y (-.f64 z t)))

Compiler

Compiled 2117 to 1957 computations (7.6% saved)

simplify97.0ms (0%)

Algorithm

1×	egg-herbie

Counts

154 → 154

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4964	2123
1	4964	2123

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

1.3b	(-.f64 (pow.f64 z 3) (pow.f64 t 3))
0.6b	(+.f64 (.f64 z z) (.f64 t (+.f64 z t)))
0.0b	(*.f64 t (+.f64 z t))
0.0b	(+.f64 x (/.f64 (.f64 y (-.f64 (pow.f64 z 3) (pow.f64 t 3))) (.f64 a (+.f64 (.f64 z z) (.f64 t (+.f64 z t))))))
1.3b	(-.f64 (pow.f64 z 3) (pow.f64 t 3))
4.6b	(.f64 a (+.f64 (.f64 z z) (*.f64 t (+.f64 z t))))
5.6b	(*.f64 y (-.f64 (pow.f64 z 3) (pow.f64 t 3)))
35.4b	(/.f64 (.f64 y (-.f64 (pow.f64 z 3) (pow.f64 t 3))) (.f64 a (+.f64 (.f64 z z) (.f64 t (+.f64 z t)))))

rewrite85.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

69×	`add-sqr-sqrt_binary64_12376`
37×	`*-un-lft-identity_binary64_12354`
36×	`cancel-sign-sub-inv_binary64_12320`
33×	`unpow-prod-down_binary64_12433` `cube-prod_binary64_12382`
32×	`difference-of-squares_binary64_12323`
28×	`associate-r_binary64_12294`
20×	`add-cbrt-cube_binary64_12390` `add-exp-log_binary64_12392`
19×	`sqr-pow_binary64_12326`
17×	`add-cube-cbrt_binary64_12389`
14×	`distribute-lft-in_binary64_12303` `distribute-rgt-in_binary64_12304`
10×	`distribute-lft-out--_binary64_12306`
8×	`pow1_binary64_12415` `associate-*r/_binary64_12296`
6×	`cbrt-unprod_binary64_12387` `add-log-exp_binary64_12393` `associate-l_binary64_12295` `prod-exp_binary64_12403`
4×	`cbrt-undiv_binary64_12388` `div-exp_binary64_12405`
3×	`flip--_binary64_12329` `unpow3_binary64_12420` `flip3--_binary64_12358` `cube-mult_binary64_12384` `sub-neg_binary64_12347`
2×	`pow-prod-down_binary64_12425` `associate-/l/_binary64_12301` `associate-/r/_binary64_12300` `flip-+_binary64_12328` `unswap-sqr_binary64_12322` `difference-cubes_binary64_12356` `flip3-+_binary64_12357` `*-commutative_binary64_12285`
1×	`clear-num_binary64_12353` `associate-/r_binary64_12298` `diff-log_binary64_12446` `associate-/l_binary64_12299` `div-inv_binary64_12351` `frac-2neg_binary64_12365` `times-frac_binary64_12360`

Counts

4 → 160

Calls

8 calls:

24.0ms	(*.f64 y (-.f64 (pow.f64 z 3) (pow.f64 t 3)))
23.0ms	(/.f64 (.f64 y (-.f64 (pow.f64 z 3) (pow.f64 t 3))) (.f64 a (+.f64 (.f64 z z) (.f64 t (+.f64 z t)))))
13.0ms	(-.f64 (pow.f64 z 3) (pow.f64 t 3))
6.0ms	(.f64 a (+.f64 (.f64 z z) (*.f64 t (+.f64 z t))))
0.0ms	(+.f64 x (/.f64 (.f64 y (-.f64 (pow.f64 z 3) (pow.f64 t 3))) (.f64 a (+.f64 (.f64 z z) (.f64 t (+.f64 z t))))))

series1.4s (0.3%)

Counts

4 → 66

Calls

4 calls:

690.0ms	(/.f64 (.f64 y (-.f64 (pow.f64 z 3) (pow.f64 t 3))) (.f64 a (+.f64 (.f64 z z) (.f64 t (+.f64 z t)))))
282.0ms	(*.f64 y (-.f64 (pow.f64 z 3) (pow.f64 t 3)))
250.0ms	(.f64 a (+.f64 (.f64 z z) (*.f64 t (+.f64 z t))))
161.0ms	(-.f64 (pow.f64 z 3) (pow.f64 t 3))

Compiler

Compiled 2240 to 1818 computations (18.8% saved)

simplify79.0ms (0%)

Algorithm

1×	egg-herbie

Counts

226 → 226

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5097	3832

prune5.6s (1.4%)

Pruning

258 alts after pruning (253 fresh and 5 done)

	Pruned	Kept	Total
New	463	217	680
Fresh	5	36	41
Picked	0	0	0
Done	1	5	6
Total	469	258	727

Error

Counts

727 → 258

Compiler

Compiled 12047 to 6331 computations (47.4% saved)

localize11.0ms (0%)

Local error

Found 6 expressions with local error:

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

rewrite154.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

772×	`times-frac_binary64_12360`
462×	`*-un-lft-identity_binary64_12354`
459×	`add-sqr-sqrt_binary64_12376`
327×	`add-cube-cbrt_binary64_12389`
76×	`associate-/r*_binary64_12298`
66×	`distribute-lft-out--_binary64_12306` `difference-of-squares_binary64_12323`
33×	`div-inv_binary64_12351`
29×	`add-exp-log_binary64_12392`
18×	`div-exp_binary64_12405`
17×	`add-cbrt-cube_binary64_12390`
16×	`associate-/l*_binary64_12299`
11×	`associate-/r/_binary64_12300`
9×	`cbrt-undiv_binary64_12388`
5×	`flip--_binary64_12329` `add-log-exp_binary64_12393` `flip3--_binary64_12358`
4×	`pow1_binary64_12415`
3×	`rec-exp_binary64_12404` `1-exp_binary64_12398`
2×	`clear-num_binary64_12353` `distribute-lft-out_binary64_12305` `frac-2neg_binary64_12365`
1×	`inv-pow_binary64_12439` `associate-/l/_binary64_12301` `pow-flip_binary64_12428` `sum-log_binary64_12445` `flip-+_binary64_12328` `+-commutative_binary64_12284` `flip3-+_binary64_12357`

Counts

3 → 425

Calls

6 calls:

61.0ms	(+.f64 x (/.f64 1 (/.f64 (/.f64 a y) (-.f64 z t))))
20.0ms	(/.f64 1 (/.f64 (/.f64 a y) (-.f64 z t)))
9.0ms	(/.f64 (/.f64 a y) (-.f64 z t))
0.0ms	(+.f64 x (/.f64 1 (/.f64 (/.f64 a y) (-.f64 z t))))
0.0ms	(/.f64 1 (/.f64 (/.f64 a y) (-.f64 z t)))

series827.0ms (0.2%)

Counts

3 → 75

Calls

3 calls:

372.0ms	(+.f64 x (/.f64 1 (/.f64 (/.f64 a y) (-.f64 z t))))
240.0ms	(/.f64 (/.f64 a y) (-.f64 z t))
214.0ms	(/.f64 1 (/.f64 (/.f64 a y) (-.f64 z t)))

Compiler

Compiled 1564 to 1387 computations (11.3% saved)

simplify215.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

500 → 500

Iterations

Useful iterations: 0 (99.0ms)

Iter	Nodes	Cost
0	4955	11939
1	4955	11939

localize3.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	0	0

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

4.9b	(/.f64 (*.f64 y (-.f64 z t)) a)
3.0b	(exp.f64 (log.f64 (+.f64 (/.f64 (*.f64 y (-.f64 z t)) a) x)))
0.0b	(*.f64 y (-.f64 z t))
0.0b	(+.f64 (/.f64 (*.f64 y (-.f64 z t)) a) x)
0.0b	(*.f64 y (-.f64 z t))
0.0b	(+.f64 (/.f64 (*.f64 y (-.f64 z t)) a) x)
3.0b	(exp.f64 (log.f64 (+.f64 (/.f64 (*.f64 y (-.f64 z t)) a) x)))
4.9b	(/.f64 (*.f64 y (-.f64 z t)) a)

rewrite47.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`*-un-lft-identity_binary64_12354`
16×	`add-sqr-sqrt_binary64_12376`
12×	`add-cube-cbrt_binary64_12389`
11×	`add-cbrt-cube_binary64_12390` `add-exp-log_binary64_12392`
7×	`pow1_binary64_12415`
6×	`add-log-exp_binary64_12393` `cancel-sign-sub-inv_binary64_12320`
5×	`associate-r_binary64_12294`
4×	`exp-sum_binary64_12400` `distribute-lft-in_binary64_12303` `associate-*r/_binary64_12296` `distribute-rgt-in_binary64_12304` `log-prod_binary64_12440` `exp-prod_binary64_12406`
3×	`associate-/r_binary64_12298` `associate-l*_binary64_12295` `times-frac_binary64_12360`
2×	`flip--_binary64_12329` `cbrt-unprod_binary64_12387` `distribute-lft-out_binary64_12305` `associate-/l/_binary64_12301` `cbrt-undiv_binary64_12388` `log-div_binary64_12441` `prod-exp_binary64_12403` `flip3--_binary64_12358` `flip-+_binary64_12328` `div-exp_binary64_12405` `sub-neg_binary64_12347` `exp-diff_binary64_12402` `flip3-+_binary64_12357`
1×	`pow-prod-down_binary64_12425` `clear-num_binary64_12353` `associate-/l_binary64_12299` `div-inv_binary64_12351` `frac-2neg_binary64_12365` `rem-exp-log_binary64_12394` `log-pow_binary64_12443` `distribute-lft-out--_binary64_12306` `difference-of-squares_binary64_12323` `sum-log_binary64_12445` `unswap-sqr_binary64_12322` `+-commutative_binary64_12284` `-commutative_binary64_12285`

Counts

4 → 83

Calls

8 calls:

15.0ms	(exp.f64 (log.f64 (+.f64 (/.f64 (*.f64 y (-.f64 z t)) a) x)))
9.0ms	(+.f64 (/.f64 (*.f64 y (-.f64 z t)) a) x)
8.0ms	(/.f64 (*.f64 y (-.f64 z t)) a)
8.0ms	(*.f64 y (-.f64 z t))
0.0ms	(+.f64 (/.f64 (*.f64 y (-.f64 z t)) a) x)

series4.0s (1%)

Counts

4 → 92

Calls

4 calls:

3.3s	(exp.f64 (log.f64 (+.f64 (/.f64 (*.f64 y (-.f64 z t)) a) x)))
363.0ms	(+.f64 (/.f64 (*.f64 y (-.f64 z t)) a) x)
207.0ms	(/.f64 (*.f64 y (-.f64 z t)) a)
99.0ms	(*.f64 y (-.f64 z t))

Compiler

Compiled 2845 to 2335 computations (17.9% saved)

simplify98.0ms (0%)

Algorithm

1×	egg-herbie

Counts

175 → 175

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	5191	2180

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

0.5b	(cbrt.f64 a)
0.3b	(pow.f64 (*.f64 y (-.f64 z t)) 3)
0.0b	(+.f64 x (/.f64 (cbrt.f64 (/.f64 (pow.f64 (.f64 y (-.f64 z t)) 3) (.f64 a a))) (cbrt.f64 a)))
0.0b	(*.f64 y (-.f64 z t))
0.5b	(cbrt.f64 a)
1.7b	(/.f64 (cbrt.f64 (/.f64 (pow.f64 (.f64 y (-.f64 z t)) 3) (.f64 a a))) (cbrt.f64 a))
18.3b	(/.f64 (pow.f64 (.f64 y (-.f64 z t)) 3) (.f64 a a))
32.3b	(cbrt.f64 (/.f64 (pow.f64 (.f64 y (-.f64 z t)) 3) (.f64 a a)))

rewrite44.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

162×	`times-frac_binary64_12360`
147×	`cbrt-prod_binary64_12385`
62×	`*-un-lft-identity_binary64_12354` `add-sqr-sqrt_binary64_12376` `add-cube-cbrt_binary64_12389`
26×	`add-exp-log_binary64_12392`
23×	`associate-/l*_binary64_12299`
10×	`unpow-prod-down_binary64_12433` `div-inv_binary64_12351` `unpow3_binary64_12420` `sqr-pow_binary64_12326` `cube-mult_binary64_12384` `cube-prod_binary64_12382`
9×	`div-exp_binary64_12405` `add-cbrt-cube_binary64_12390`
7×	`associate-/r*_binary64_12298`
6×	`prod-exp_binary64_12403`
4×	`add-log-exp_binary64_12393` `pow1_binary64_12415` `pow-exp_binary64_12422`
3×	`associate-/l/_binary64_12301` `cbrt-undiv_binary64_12388`
2×	`clear-num_binary64_12353` `cbrt-div_binary64_12386` `frac-2neg_binary64_12365` `pow1/3_binary64_12436` `cube-div_binary64_12383` `associate-*r/_binary64_12296` `pow-to-exp_binary64_12423`
1×	`flip--_binary64_12329` `cbrt-unprod_binary64_12387` `flip3--_binary64_12358`

Counts

4 → 195

Calls

8 calls:

9.0ms	(/.f64 (cbrt.f64 (/.f64 (pow.f64 (.f64 y (-.f64 z t)) 3) (.f64 a a))) (cbrt.f64 a))
7.0ms	(/.f64 (pow.f64 (.f64 y (-.f64 z t)) 3) (.f64 a a))
5.0ms	(cbrt.f64 (/.f64 (pow.f64 (.f64 y (-.f64 z t)) 3) (.f64 a a)))
1.0ms	(cbrt.f64 a)
0.0ms	(*.f64 y (-.f64 z t))

series1.4s (0.4%)

Counts

4 → 63

Calls

4 calls:

690.0ms	(cbrt.f64 (/.f64 (pow.f64 (.f64 y (-.f64 z t)) 3) (.f64 a a)))
380.0ms	(/.f64 (pow.f64 (.f64 y (-.f64 z t)) 3) (.f64 a a))
239.0ms	(/.f64 (cbrt.f64 (/.f64 (pow.f64 (.f64 y (-.f64 z t)) 3) (.f64 a a))) (cbrt.f64 a))
85.0ms	(cbrt.f64 a)

Compiler

Compiled 2183 to 1982 computations (9.2% saved)

simplify115.0ms (0%)

Algorithm

1×	egg-herbie

Counts

258 → 258

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5270	7486

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.5b	(cbrt.f64 a)
0.5b	(*.f64 (cbrt.f64 a) (cbrt.f64 a))
0.2b	(/.f64 y (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
0.1b	(exp.f64 (cbrt.f64 a))
0.5b	(cbrt.f64 a)
1.5b	(/.f64 (.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (-.f64 z t)) (log.f64 (exp.f64 (cbrt.f64 a))))
4.0b	(.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (-.f64 z t))
9.9b	(log.f64 (exp.f64 (cbrt.f64 a)))

rewrite43.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`add-exp-log_binary64_12392`
25×	`add-sqr-sqrt_binary64_12376`
23×	`add-cbrt-cube_binary64_12390`
21×	`log-pow_binary64_12443` `*-un-lft-identity_binary64_12354`
19×	`add-cube-cbrt_binary64_12389`
18×	`exp-prod_binary64_12406`
14×	`times-frac_binary64_12360`
12×	`cbrt-prod_binary64_12385`
10×	`associate-/r*_binary64_12298`
9×	`pow1_binary64_12415`
8×	`cbrt-unprod_binary64_12387` `cbrt-undiv_binary64_12388` `prod-exp_binary64_12403` `div-exp_binary64_12405`
7×	`associate-l_binary64_12295`
6×	`cancel-sign-sub-inv_binary64_12320`
5×	`associate-/l/_binary64_12301` `associate-r_binary64_12294`
4×	`flip--_binary64_12329` `frac-times_binary64_12364` `add-log-exp_binary64_12393` `distribute-lft-in_binary64_12303` `associate-*r/_binary64_12296` `flip3--_binary64_12358` `distribute-rgt-in_binary64_12304`
3×	`log-prod_binary64_12440`
2×	`div-inv_binary64_12351` `associate-*l/_binary64_12297` `unswap-sqr_binary64_12322` `sub-neg_binary64_12347`
1×	`pow-prod-down_binary64_12425` `clear-num_binary64_12353` `associate-/l_binary64_12299` `frac-2neg_binary64_12365` `pow1/3_binary64_12436` `distribute-lft-out--_binary64_12306` `difference-of-squares_binary64_12323` `rem-log-exp_binary64_12395` `-commutative_binary64_12285`

Counts

4 → 115

Calls

8 calls:

15.0ms	(/.f64 (.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (-.f64 z t)) (log.f64 (exp.f64 (cbrt.f64 a))))
13.0ms	(.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (-.f64 z t))
3.0ms	(log.f64 (exp.f64 (cbrt.f64 a)))
1.0ms	(cbrt.f64 a)
0.0ms	(exp.f64 (cbrt.f64 a))

series2.5s (0.6%)

Counts

4 → 42

Calls

4 calls:

1.5s	(/.f64 (.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (-.f64 z t)) (log.f64 (exp.f64 (cbrt.f64 a))))
733.0ms	(.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (-.f64 z t))
161.0ms	(log.f64 (exp.f64 (cbrt.f64 a)))
79.0ms	(cbrt.f64 a)

Compiler

Compiled 1832 to 1686 computations (8% saved)

simplify73.0ms (0%)

Algorithm

1×	egg-herbie

Counts

157 → 157

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5161	2377

prune26.4s (6.7%)

Pruning

671 alts after pruning (663 fresh and 8 done)

	Pruned	Kept	Total
New	640	450	1090
Fresh	35	213	248
Picked	0	0	0
Done	2	8	10
Total	677	671	1348

Error

Counts

1348 → 671

Compiler

Compiled 30769 to 16234 computations (47.2% saved)

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(/.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (cbrt.f64 y) (cbrt.f64 y)))
0.3b	(/.f64 (cbrt.f64 a) (cbrt.f64 y))
0.3b	(/.f64 (/.f64 (cbrt.f64 a) (cbrt.f64 y)) (-.f64 z t))
0.0b	(+.f64 x (/.f64 (/.f64 1 (/.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (/.f64 (/.f64 (cbrt.f64 a) (cbrt.f64 y)) (-.f64 z t))))
0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
0.7b	(/.f64 1 (/.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (cbrt.f64 y) (cbrt.f64 y))))
0.7b	(/.f64 (/.f64 1 (/.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (/.f64 (/.f64 (cbrt.f64 a) (cbrt.f64 y)) (-.f64 z t)))

rewrite1.7s (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

15845×	`times-frac_binary64_12360`
7045×	`*-un-lft-identity_binary64_12354` `add-sqr-sqrt_binary64_12376`
5365×	`add-cube-cbrt_binary64_12389`
3786×	`cbrt-prod_binary64_12385`
960×	`div-inv_binary64_12351`
840×	`distribute-lft-out--_binary64_12306` `difference-of-squares_binary64_12323`
279×	`add-exp-log_binary64_12392`
251×	`associate-/r/_binary64_12300`
211×	`associate-/r*_binary64_12298`
184×	`div-exp_binary64_12405`
72×	`cbrt-undiv_binary64_12388`
71×	`add-cbrt-cube_binary64_12390`
48×	`prod-exp_binary64_12403`
23×	`associate-/l*_binary64_12299`
21×	`flip--_binary64_12329` `flip3--_binary64_12358`
20×	`rec-exp_binary64_12404` `1-exp_binary64_12398`
16×	`cbrt-unprod_binary64_12387`
5×	`pow1_binary64_12415`
4×	`add-log-exp_binary64_12393`
2×	`clear-num_binary64_12353` `frac-2neg_binary64_12365` `pow1/3_binary64_12436`
1×	`inv-pow_binary64_12439` `associate-/l/_binary64_12301` `pow-flip_binary64_12428`

Counts

4 → 1000

Calls

8 calls:

148.0ms	(/.f64 (/.f64 1 (/.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (/.f64 (/.f64 (cbrt.f64 a) (cbrt.f64 y)) (-.f64 z t)))
12.0ms	(/.f64 1 (/.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (cbrt.f64 y) (cbrt.f64 y))))
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)
0.0ms	(+.f64 x (/.f64 (/.f64 1 (/.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (/.f64 (/.f64 (cbrt.f64 a) (cbrt.f64 y)) (-.f64 z t))))

series747.0ms (0.2%)

Counts

4 → 30

Calls

4 calls:

299.0ms	(/.f64 1 (/.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (cbrt.f64 y) (cbrt.f64 y))))
279.0ms	(/.f64 (/.f64 1 (/.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (/.f64 (/.f64 (cbrt.f64 a) (cbrt.f64 y)) (-.f64 z t)))
88.0ms	(cbrt.f64 y)
81.0ms	(cbrt.f64 y)

Compiler

Compiled 1016 to 886 computations (12.8% saved)

simplify751.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1030 → 1030

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	5421	92726

localize12.0ms (0%)

Local error

Found 2 expressions with local error:

7.4b	(/.f64 y (/.f64 a z))
7.4b	(/.f64 y (/.f64 a z))

rewrite12.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

75×	`times-frac_binary64_12360`
43×	`*-un-lft-identity_binary64_12354` `add-sqr-sqrt_binary64_12376` `add-cube-cbrt_binary64_12389`
13×	`associate-/r*_binary64_12298`
6×	`add-cbrt-cube_binary64_12390` `add-exp-log_binary64_12392`
5×	`div-inv_binary64_12351`
3×	`associate-/l*_binary64_12299` `cbrt-undiv_binary64_12388` `div-exp_binary64_12405`
1×	`clear-num_binary64_12353` `frac-2neg_binary64_12365` `add-log-exp_binary64_12393` `associate-/r/_binary64_12300` `pow1_binary64_12415`

Counts

1 → 70

Calls

2 calls:

6.0ms	(/.f64 y (/.f64 a z))
0.0ms	(/.f64 y (/.f64 a z))

series104.0ms (0%)

Counts

1 → 9

Calls

1 calls:

104.0ms

(/.f64 y (/.f64 a z))

Compiler

Compiled 90 to 126 computations (-40% saved)

simplify158.0ms (0%)

Algorithm

1×	egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 0 (135.0ms)

Iter	Nodes	Cost
0	4830	1244
1	4830	1244

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 x (/.f64 (cbrt.f64 (.f64 (/.f64 (.f64 (.f64 y (-.f64 z t)) (.f64 y (-.f64 z t))) a) (/.f64 (*.f64 y (-.f64 z t)) a))) (cbrt.f64 a)))
0.0b	(*.f64 y (-.f64 z t))
0.0b	(*.f64 y (-.f64 z t))
0.0b	(*.f64 y (-.f64 z t))
1.7b	(/.f64 (cbrt.f64 (.f64 (/.f64 (.f64 (.f64 y (-.f64 z t)) (.f64 y (-.f64 z t))) a) (/.f64 (*.f64 y (-.f64 z t)) a))) (cbrt.f64 a))
4.9b	(/.f64 (*.f64 y (-.f64 z t)) a)
6.5b	(/.f64 (.f64 (.f64 y (-.f64 z t)) (*.f64 y (-.f64 z t))) a)
32.3b	(cbrt.f64 (.f64 (/.f64 (.f64 (.f64 y (-.f64 z t)) (.f64 y (-.f64 z t))) a) (/.f64 (*.f64 y (-.f64 z t)) a)))

rewrite63.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`times-frac_binary64_12360`
29×	`add-exp-log_binary64_12392`
27×	`add-cbrt-cube_binary64_12390`
25×	`*-un-lft-identity_binary64_12354` `add-sqr-sqrt_binary64_12376` `add-cube-cbrt_binary64_12389`
23×	`cbrt-prod_binary64_12385`
18×	`associate-*r/_binary64_12296`
13×	`associate-/l/_binary64_12301`
12×	`associate-/r*_binary64_12298`
9×	`cbrt-unprod_binary64_12387` `prod-exp_binary64_12403`
8×	`cbrt-undiv_binary64_12388` `div-exp_binary64_12405`
7×	`flip--_binary64_12329` `flip3--_binary64_12358`
6×	`frac-times_binary64_12364` `associate-/l*_binary64_12299` `cbrt-div_binary64_12386`
4×	`add-log-exp_binary64_12393` `associate-*l/_binary64_12297` `pow1_binary64_12415`
3×	`clear-num_binary64_12353` `div-inv_binary64_12351` `frac-2neg_binary64_12365`
1×	`pow1/3_binary64_12436`

Counts

4 → 119

Calls

8 calls:

18.0ms	(/.f64 (.f64 (.f64 y (-.f64 z t)) (*.f64 y (-.f64 z t))) a)
16.0ms	(cbrt.f64 (.f64 (/.f64 (.f64 (.f64 y (-.f64 z t)) (.f64 y (-.f64 z t))) a) (/.f64 (*.f64 y (-.f64 z t)) a)))
8.0ms	(/.f64 (*.f64 y (-.f64 z t)) a)
6.0ms	(/.f64 (cbrt.f64 (.f64 (/.f64 (.f64 (.f64 y (-.f64 z t)) (.f64 y (-.f64 z t))) a) (/.f64 (*.f64 y (-.f64 z t)) a))) (cbrt.f64 a))
0.0ms	(*.f64 y (-.f64 z t))

series1.7s (0.4%)

Counts

4 → 78

Calls

4 calls:

756.0ms	(cbrt.f64 (.f64 (/.f64 (.f64 (.f64 y (-.f64 z t)) (.f64 y (-.f64 z t))) a) (/.f64 (*.f64 y (-.f64 z t)) a)))
452.0ms	(/.f64 (.f64 (.f64 y (-.f64 z t)) (*.f64 y (-.f64 z t))) a)
251.0ms	(/.f64 (cbrt.f64 (.f64 (/.f64 (.f64 (.f64 y (-.f64 z t)) (.f64 y (-.f64 z t))) a) (/.f64 (*.f64 y (-.f64 z t)) a))) (cbrt.f64 a))
216.0ms	(/.f64 (*.f64 y (-.f64 z t)) a)

Compiler

Compiled 3174 to 2484 computations (21.7% saved)

simplify92.0ms (0%)

Algorithm

1×	egg-herbie

Counts

197 → 197

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5323	4258

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 t (sqrt.f64 t))
0.1b	(*.f64 t (sqrt.f64 t))
0.1b	(.f64 (+.f64 (.f64 t (sqrt.f64 t)) (pow.f64 z 3/2)) (-.f64 (pow.f64 z 3/2) (*.f64 t (sqrt.f64 t))))
0.0b	(*.f64 t (+.f64 z t))
0.6b	(+.f64 (.f64 z z) (.f64 t (+.f64 z t)))
1.7b	(.f64 y (.f64 (+.f64 (.f64 t (sqrt.f64 t)) (pow.f64 z 3/2)) (-.f64 (pow.f64 z 3/2) (.f64 t (sqrt.f64 t)))))
4.6b	(.f64 a (+.f64 (.f64 z z) (*.f64 t (+.f64 z t))))
9.1b	(/.f64 (.f64 y (.f64 (+.f64 (.f64 t (sqrt.f64 t)) (pow.f64 z 3/2)) (-.f64 (pow.f64 z 3/2) (.f64 t (sqrt.f64 t))))) (.f64 a (+.f64 (.f64 z z) (*.f64 t (+.f64 z t)))))

rewrite72.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`add-cbrt-cube_binary64_12390` `add-exp-log_binary64_12392`
24×	`associate-*r/_binary64_12296`
13×	`cbrt-unprod_binary64_12387` `prod-exp_binary64_12403`
11×	`pow1_binary64_12415`
10×	`distribute-lft-in_binary64_12303` `distribute-rgt-in_binary64_12304`
9×	`flip-+_binary64_12328` `add-sqr-sqrt_binary64_12376` `flip3-+_binary64_12357`
8×	`frac-times_binary64_12364` `associate-/l/_binary64_12301`
7×	`*-un-lft-identity_binary64_12354` `add-cube-cbrt_binary64_12389`
6×	`flip--_binary64_12329` `cbrt-undiv_binary64_12388` `add-log-exp_binary64_12393` `associate-l_binary64_12295` `flip3--_binary64_12358` `div-exp_binary64_12405`
4×	`pow-prod-down_binary64_12425` `associate-l/_binary64_12297` `associate-r*_binary64_12294` `cancel-sign-sub-inv_binary64_12320` `sub-neg_binary64_12347`
2×	`associate-+r+_binary64_12286` `associate-/r/_binary64_12300` `*-commutative_binary64_12285`
1×	`clear-num_binary64_12353` `associate-/r_binary64_12298` `associate-/l_binary64_12299` `div-inv_binary64_12351` `frac-2neg_binary64_12365` `sum-log_binary64_12445` `times-frac_binary64_12360` `unswap-sqr_binary64_12322` `+-commutative_binary64_12284`

Counts

4 → 104

Calls

8 calls:

23.0ms	(/.f64 (.f64 y (.f64 (+.f64 (.f64 t (sqrt.f64 t)) (pow.f64 z 3/2)) (-.f64 (pow.f64 z 3/2) (.f64 t (sqrt.f64 t))))) (.f64 a (+.f64 (.f64 z z) (*.f64 t (+.f64 z t)))))
16.0ms	(.f64 y (.f64 (+.f64 (.f64 t (sqrt.f64 t)) (pow.f64 z 3/2)) (-.f64 (pow.f64 z 3/2) (.f64 t (sqrt.f64 t)))))
7.0ms	(.f64 a (+.f64 (.f64 z z) (*.f64 t (+.f64 z t))))
5.0ms	(+.f64 (.f64 z z) (.f64 t (+.f64 z t)))
0.0ms	(*.f64 t (+.f64 z t))

series2.0s (0.5%)

Counts

4 → 64

Calls

4 calls:

1.0s	(/.f64 (.f64 y (.f64 (+.f64 (.f64 t (sqrt.f64 t)) (pow.f64 z 3/2)) (-.f64 (pow.f64 z 3/2) (.f64 t (sqrt.f64 t))))) (.f64 a (+.f64 (.f64 z z) (*.f64 t (+.f64 z t)))))
577.0ms	(.f64 y (.f64 (+.f64 (.f64 t (sqrt.f64 t)) (pow.f64 z 3/2)) (-.f64 (pow.f64 z 3/2) (.f64 t (sqrt.f64 t)))))
260.0ms	(.f64 a (+.f64 (.f64 z z) (*.f64 t (+.f64 z t))))
153.0ms	(+.f64 (.f64 z z) (.f64 t (+.f64 z t)))

Compiler

Compiled 3273 to 2468 computations (24.6% saved)

simplify93.0ms (0%)

Algorithm

1×	egg-herbie

Counts

168 → 168

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4989	4085
1	4989	4085

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (cbrt.f64 a) y)))
0.1b	(/.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 t)) (*.f64 (cbrt.f64 a) (cbrt.f64 a)))
0.0b	(+.f64 (sqrt.f64 z) (sqrt.f64 t))
0.0b	(-.f64 (sqrt.f64 z) (sqrt.f64 t))
0.5b	(cbrt.f64 a)
0.5b	(cbrt.f64 a)
0.5b	(cbrt.f64 a)
0.5b	(/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (cbrt.f64 a) y))

rewrite74.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

378×	`times-frac_binary64_12360`
344×	`add-sqr-sqrt_binary64_12376`
252×	`*-un-lft-identity_binary64_12354`
160×	`add-cube-cbrt_binary64_12389`
138×	`sqrt-prod_binary64_12370`
99×	`cbrt-prod_binary64_12385`
92×	`difference-of-squares_binary64_12323`
46×	`distribute-lft-out--_binary64_12306`
22×	`associate-/r*_binary64_12298`
11×	`div-inv_binary64_12351`
9×	`associate-/l*_binary64_12299` `add-exp-log_binary64_12392`
8×	`add-cbrt-cube_binary64_12390`
4×	`add-log-exp_binary64_12393` `pow1_binary64_12415`
3×	`pow1/3_binary64_12436` `cbrt-undiv_binary64_12388` `div-exp_binary64_12405`
2×	`associate-/l/_binary64_12301`
1×	`flip--_binary64_12329` `clear-num_binary64_12353` `frac-2neg_binary64_12365` `div-sub_binary64_12359` `associate-/r/_binary64_12300` `flip3--_binary64_12358`

Counts

4 → 280

Calls

8 calls:

16.0ms	(/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (cbrt.f64 a) y))
1.0ms	(cbrt.f64 a)
1.0ms	(cbrt.f64 a)
1.0ms	(cbrt.f64 a)
0.0ms	(-.f64 (sqrt.f64 z) (sqrt.f64 t))

series668.0ms (0.2%)

Counts

4 → 21

Calls

4 calls:

418.0ms	(/.f64 (-.f64 (sqrt.f64 z) (sqrt.f64 t)) (/.f64 (cbrt.f64 a) y))
85.0ms	(cbrt.f64 a)
84.0ms	(cbrt.f64 a)
80.0ms	(cbrt.f64 a)

Compiler

Compiled 1272 to 962 computations (24.4% saved)

simplify146.0ms (0%)

Algorithm

1×	egg-herbie

Counts

301 → 301

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5196	9361

prune2.4min (35.7%)

Pruning

1603 alts after pruning (1592 fresh and 11 done)

	Pruned	Kept	Total
New	833	942	1775
Fresh	8	650	658
Picked	0	0	0
Done	2	11	13
Total	843	1603	2446

Error

Counts

2446 → 1603

Compiler

Compiled 59164 to 14041 computations (76.3% saved)

simplify2.3s (0.6%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	7663	127393

regimes1.0min (15.3%)

Compiler: Compiled 713906 to 417516 computations (41.5% saved)

bsearch0.0ms (0%)

regimes28.6s (7.2%)

Compiler: Compiled 266278 to 193223 computations (27.4% saved)

bsearch0.0ms (0%)

regimes18.4s (4.6%)

Compiler: Compiled 159194 to 121487 computations (23.7% saved)

bsearch0.0ms (0%)

regimes23.4s (5.9%)

Compiler: Compiled 157594 to 120295 computations (23.7% saved)

bsearch33.0ms (0%)

Compiler: Compiled 5 to 7 computations (-40% saved)

regimes708.0ms (0.2%)

Compiler: Compiled 2813 to 3600 computations (-28% saved)

bsearch1.0ms (0%)

Compiler: Compiled 5 to 7 computations (-40% saved)

regimes469.0ms (0.1%)

Compiler: Compiled 2004 to 2694 computations (-34.4% saved)

bsearch0.0ms (0%)

regimes449.0ms (0.1%)

Compiler: Compiled 1860 to 2534 computations (-36.2% saved)

bsearch0.0ms (0%)

regimes1.0s (0.3%)

Compiler: Compiled 1815 to 2520 computations (-38.8% saved)

bsearch33.0ms (0%)

Steps

Iters	Range		Point
8	3.5308686269500563e-43	3.612855578046663e-39	3.3737087326612843e-41
5	-3.293517071075922e+17	-1.2218145887453485e+17	-1.5564204691164272e+17

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes981.0ms (0.2%)

Compiler: Compiled 1751 to 2448 computations (-39.8% saved)

bsearch33.0ms (0%)

Steps

Iters	Range		Point
8	3.5308686269500563e-43	3.612855578046663e-39	3.3845146637980385e-39
5	-3.293517071075922e+17	-1.2218145887453485e+17	-1.5564204691164272e+17

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes445.0ms (0.1%)

Compiler: Compiled 636 to 1006 computations (-58.2% saved)

bsearch37.0ms (0%)

Steps

Iters	Range		Point
8	3.5308686269500563e-43	3.612855578046663e-39	1.5265949137561266e-41
5	-3.293517071075922e+17	-1.2218145887453485e+17	-1.4912506841300403e+17

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes341.0ms (0.1%)

Compiler: Compiled 440 to 715 computations (-62.5% saved)

bsearch47.0ms (0%)

Steps

Iters	Range		Point
8	3.5308686269500563e-43	3.612855578046663e-39	1.7644500327651093e-41
9	-0.06479333692777808	-1.0349217939972216e-09	-0.002345680633920969

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes195.0ms (0%)

Compiler: Compiled 300 to 540 computations (-80% saved)

bsearch85.0ms (0%)

Steps

Iters	Range		Point
6	1.6307296785647106e+151	8.804897885603681e+151	3.881785513702398e+151
4	3.4406927866684307e+100	5.888208809291207e+100	4.869973898575796e+100
9	-3.2416807804046205e+30	-2.2148886719276465e+22	-9.875110794919842e+29
4	-4.255196575447579e+45	-2.3553015628087936e+45	-2.3927873258594486e+45
8	-1.0451615307075633e+90	-4.953690031991226e+86	-9.769650233455533e+89

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes306.0ms (0.1%)

Compiler: Compiled 265 to 500 computations (-88.7% saved)

bsearch72.0ms (0%)

Steps

Iters	Range		Point
11	5.808171878571724e-62	4.741413048582061e-41	6.930706779240972e-62
6	1.718093421906391e-269	9.201684279249903e-269	7.28337174311298e-269
10	-2.1175844818011946e-62	-3.4192237536949604e-75	-1.0619953600607391e-72

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes232.0ms (0.1%)

Compiler: Compiled 200 to 415 computations (-107.5% saved)

bsearch95.0ms (0%)

Steps

Iters	Range		Point
11	5.808171878571724e-62	4.741413048582061e-41	1.7737819446138153e-61
9	-1.9256052734448774e-308	9.55393690710565e-301	2.0403172204709538e-303
9	-7.534455079066683e-224	-2.589649069760424e-230	-3.7335213432510176e-227
7	-3.4192237536949604e-75	-1.692403095987196e-76	-1.2661162990789266e-75

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes164.0ms (0%)

Compiler: Compiled 170 to 375 computations (-120.6% saved)

bsearch46.0ms (0%)

Steps

Iters	Range		Point
11	5.808171878571724e-62	4.741413048582061e-41	5.874203343316973e-62
7	-3.4192237536949604e-75	-1.692403095987196e-76	-1.7157302820236517e-76

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes139.0ms (0%)

Compiler: Compiled 95 to 270 computations (-184.2% saved)

bsearch49.0ms (0%)

Steps

Iters	Range		Point
11	5.808171878571724e-62	4.741413048582061e-41	2.7246350369454143e-61
7	-3.4192237536949604e-75	-1.692403095987196e-76	-1.7157302820236517e-76

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes131.0ms (0%)

Compiler: Compiled 70 to 235 computations (-235.7% saved)

bsearch49.0ms (0%)

Steps

Iters	Range		Point
11	5.808171878571724e-62	4.741413048582061e-41	1.110103578179451e-61
7	-3.4192237536949604e-75	-1.692403095987196e-76	-7.378909651655628e-76

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes53.0ms (0%)

Accuracy

Total 0.4b remaining (99.9%)

Threshold costs 0.4b (99.9%)

Compiler

Compiled 45 to 200 computations (-344.4% saved)

bsearch18.0ms (0%)

Compiler: Compiled 472 to 303 computations (35.8% saved)

simplify12.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	250	644
1	250	644

end0.0ms (0%)

sample56.6s (14.3%)

Algorithm

1×

intervals

Results

303.0ms	8000×	body	128	valid
91.0ms	2485×	body	128	invalid

Compiler

Compiled 79660 to 46606 computations (41.5% saved)

Pareto

0.6181303803681613