Details

analyze259.0ms (0.5%)

Algorithm

1×

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
36.7%	60.8%	2.5%	9
43.3%	49.9%	6.8%	10
49.7%	40.8%	9.5%	11
58.2%	30.4%	11.4%	12
61.3%	24.7%	14%	13
65%	19.9%	15.1%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample17.0ms (0%)

Algorithm

1×

intervals

Results

6.0ms	256×	body	128	valid
1.0ms	20×	body	128	invalid

Compiler

Compiled 15 to 16 computations (-6.7% saved)

simplify100.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	52	10
1	52	10

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

0.0b

Counts

2 → 1

Compiler

Compiled 7 to 6 computations (14.3% saved)

localize5.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite13.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`*-un-lft-identity_binary64_4511` `add-sqr-sqrt_binary64_4533`
4×	`pow1_binary64_4572` `add-cbrt-cube_binary64_4547` `add-exp-log_binary64_4549` `add-log-exp_binary64_4550` `associate-r_binary64_4451` `add-cube-cbrt_binary64_4546`
3×	`associate-l_binary64_4452`
2×	`flip-+_binary64_4485` `flip3-+_binary64_4514` `distribute-lft-in_binary64_4460` `associate-*r/_binary64_4453` `associate-+r+_binary64_4443` `distribute-rgt-in_binary64_4461`
1×	`distribute-lft-out_binary64_4462` `unswap-sqr_binary64_4479` `+-commutative_binary64_4441` `prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `sum-log_binary64_4602` `pow-prod-down_binary64_4582` `*-commutative_binary64_4442`

Counts

2 → 36

Calls

4 calls:

7.0ms	(*.f64 y (+.f64 z x))
4.0ms	(+.f64 x (*.f64 y (+.f64 z x)))
0.0ms	(+.f64 x (*.f64 y (+.f64 z x)))
0.0ms	(*.f64 y (+.f64 z x))

series204.0ms (0.4%)

Counts

2 → 33

Calls

2 calls:

117.0ms	(+.f64 x (*.f64 y (+.f64 z x)))
87.0ms	(*.f64 y (+.f64 z x))

Compiler

Compiled 377 to 318 computations (15.6% saved)

simplify76.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4971	641
1	4971	641

prune138.0ms (0.3%)

Pruning

28 alts after pruning (27 fresh and 1 done)

	Pruned	Kept	Total
New	42	27	69
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	42	28	70

Error

0.0b

Counts

70 → 28

Compiler

Compiled 746 to 331 computations (55.6% saved)

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite13.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-log-exp_binary64_4550`
4×	`sum-log_binary64_4602`
2×	`pow1_binary64_4572` `add-cbrt-cube_binary64_4547` `add-exp-log_binary64_4549` `flip-+_binary64_4485` `flip3-+_binary64_4514` `+-commutative_binary64_4441` `*-un-lft-identity_binary64_4511` `add-sqr-sqrt_binary64_4533` `add-cube-cbrt_binary64_4546`
1×	`associate-+l+_binary64_4444`

Counts

2 → 24

Calls

4 calls:

6.0ms	(+.f64 x (*.f64 y z))
5.0ms	(+.f64 (+.f64 x (.f64 y z)) (.f64 y x))
0.0ms	(+.f64 x (*.f64 y z))
0.0ms	(+.f64 (+.f64 x (.f64 y z)) (.f64 y x))

series189.0ms (0.4%)

Counts

2 → 36

Calls

2 calls:

117.0ms	(+.f64 (+.f64 x (.f64 y z)) (.f64 y x))
72.0ms	(+.f64 x (*.f64 y z))

Compiler

Compiled 414 to 344 computations (16.9% saved)

simplify74.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	5013	576

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(*.f64 y (+.f64 z x))
0.0b	(*.f64 y (+.f64 z x))
0.0b	(*.f64 y (+.f64 z x))
0.0b	(-.f64 x (*.f64 y (+.f64 z x)))
0.0b	(*.f64 y (+.f64 z x))
0.3b	(.f64 (.f64 y (+.f64 z x)) (*.f64 y (+.f64 z x)))
3.9b	(-.f64 (.f64 x x) (.f64 (.f64 y (+.f64 z x)) (.f64 y (+.f64 z x))))
23.3b	(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y (+.f64 z x)) (.f64 y (+.f64 z x)))) (-.f64 x (*.f64 y (+.f64 z x))))

rewrite46.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

45×	`pow1_binary64_4572`
20×	`add-cbrt-cube_binary64_4547` `add-exp-log_binary64_4549`
18×	`pow-prod-down_binary64_4582`
17×	`*-un-lft-identity_binary64_4511` `add-sqr-sqrt_binary64_4533`
16×	`associate-*r/_binary64_4453`
15×	`add-cube-cbrt_binary64_4546`
12×	`times-frac_binary64_4517`
9×	`distribute-lft-in_binary64_4460` `prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `distribute-rgt-in_binary64_4461`
7×	`flip-+_binary64_4485` `flip3-+_binary64_4514`
6×	`add-log-exp_binary64_4550`
5×	`associate-r_binary64_4451` `difference-of-squares_binary64_4480`
4×	`pow-prod-up_binary64_4581` `associate-/l_binary64_4456` `associate-l*_binary64_4452` `pow-sqr_binary64_4484` `associate--r+_binary64_4447` `frac-times_binary64_4521`
3×	`flip--_binary64_4486` `flip3--_binary64_4515` `associate-/r*_binary64_4455`
2×	`pow-plus_binary64_4574` `associate-/l/_binary64_4458` `associate-/r/_binary64_4457` `-commutative_binary64_4442` `associate-l/_binary64_4454`
1×	`distribute-lft-out_binary64_4462` `unswap-sqr_binary64_4479` `pow2_binary64_4592` `div-exp_binary64_4562` `diff-log_binary64_4603` `frac-2neg_binary64_4522` `cancel-sign-sub-inv_binary64_4477` `sub-neg_binary64_4504` `swap-sqr_binary64_4478` `div-sub_binary64_4516` `clear-num_binary64_4510` `div-inv_binary64_4508` `cbrt-undiv_binary64_4545`

Counts

4 → 122

Calls

8 calls:

13.0ms	(.f64 (.f64 y (+.f64 z x)) (*.f64 y (+.f64 z x)))
9.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y (+.f64 z x)) (.f64 y (+.f64 z x)))) (-.f64 x (*.f64 y (+.f64 z x))))
6.0ms	(*.f64 y (+.f64 z x))
5.0ms	(-.f64 (.f64 x x) (.f64 (.f64 y (+.f64 z x)) (.f64 y (+.f64 z x))))
0.0ms	(-.f64 x (*.f64 y (+.f64 z x)))

series1.4s (3%)

Counts

4 → 79

Calls

4 calls:

582.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y (+.f64 z x)) (.f64 y (+.f64 z x)))) (-.f64 x (*.f64 y (+.f64 z x))))
528.0ms	(-.f64 (.f64 x x) (.f64 (.f64 y (+.f64 z x)) (.f64 y (+.f64 z x))))
225.0ms	(.f64 (.f64 y (+.f64 z x)) (*.f64 y (+.f64 z x)))
89.0ms	(*.f64 y (+.f64 z x))

Compiler

Compiled 3726 to 2553 computations (31.5% saved)

simplify78.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

201 → 201

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5178	4597

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

34.0b	(cbrt.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3))
0.3b	(pow.f64 (*.f64 y (+.f64 z x)) 3)
0.0b	(*.f64 y (+.f64 z x))
0.0b	(+.f64 x (cbrt.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3)))
0.0b	(+.f64 x (cbrt.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3)))
0.0b	(*.f64 y (+.f64 z x))
0.3b	(pow.f64 (*.f64 y (+.f64 z x)) 3)
34.0b	(cbrt.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3))

rewrite25.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`*-un-lft-identity_binary64_4511`
10×	`add-sqr-sqrt_binary64_4533`
9×	`pow1_binary64_4572` `add-cbrt-cube_binary64_4547` `add-exp-log_binary64_4549`
8×	`add-cube-cbrt_binary64_4546` `cbrt-prod_binary64_4542`
6×	`add-log-exp_binary64_4550` `associate-*r/_binary64_4453`
4×	`flip-+_binary64_4485` `flip3-+_binary64_4514` `associate-r_binary64_4451` `cube-div_binary64_4540`
3×	`associate-l_binary64_4452` `pow-unpow_binary64_4588`
2×	`distribute-lft-out_binary64_4462` `unpow3_binary64_4577` `cube-prod_binary64_4539` `pow-exp_binary64_4579` `sqr-pow_binary64_4483` `rem-cube-cbrt_binary64_4534` `unpow-prod-down_binary64_4590` `prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `cbrt-div_binary64_4543` `pow-prod-down_binary64_4582` `cube-mult_binary64_4541` `pow-pow_binary64_4583`
1×	`rem-cbrt-cube_binary64_4535` `pow1/3_binary64_4593` `unswap-sqr_binary64_4479` `distribute-lft-in_binary64_4460` `+-commutative_binary64_4441` `pow-to-exp_binary64_4580` `sum-log_binary64_4602` `distribute-rgt-in_binary64_4461` `*-commutative_binary64_4442`

Counts

4 → 78

Calls

8 calls:

6.0ms	(*.f64 y (+.f64 z x))
6.0ms	(pow.f64 (*.f64 y (+.f64 z x)) 3)
5.0ms	(+.f64 x (cbrt.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3)))
2.0ms	(cbrt.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3))
0.0ms	(+.f64 x (cbrt.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3)))

series493.0ms (1%)

Counts

4 → 75

Calls

4 calls:

172.0ms	(pow.f64 (*.f64 y (+.f64 z x)) 3)
142.0ms	(+.f64 x (cbrt.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3)))
93.0ms	(cbrt.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3))
87.0ms	(*.f64 y (+.f64 z x))

Compiler

Compiled 1379 to 1182 computations (14.3% saved)

simplify48.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

153 → 153

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5557	1880

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

2.5b	(+.f64 (pow.f64 z 3) (pow.f64 x 3))
1.8b	(-.f64 (.f64 x x) (.f64 z x))
1.0b	(+.f64 (.f64 z z) (-.f64 (.f64 x x) (*.f64 z x)))
0.0b	(+.f64 x (/.f64 (.f64 y (+.f64 (pow.f64 z 3) (pow.f64 x 3))) (+.f64 (.f64 z z) (-.f64 (.f64 x x) (.f64 z x)))))
1.8b	(-.f64 (.f64 x x) (.f64 z x))
2.5b	(+.f64 (pow.f64 z 3) (pow.f64 x 3))
6.2b	(*.f64 y (+.f64 (pow.f64 z 3) (pow.f64 x 3)))
32.6b	(/.f64 (.f64 y (+.f64 (pow.f64 z 3) (pow.f64 x 3))) (+.f64 (.f64 z z) (-.f64 (.f64 x x) (.f64 z x))))

rewrite62.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`*-un-lft-identity_binary64_4511`
11×	`add-cbrt-cube_binary64_4547` `add-exp-log_binary64_4549`
10×	`distribute-lft-out_binary64_4462` `add-sqr-sqrt_binary64_4533`
9×	`associate-r_binary64_4451`
8×	`cube-prod_binary64_4539` `add-log-exp_binary64_4550` `unpow-prod-down_binary64_4590` `add-cube-cbrt_binary64_4546`
6×	`pow1_binary64_4572`
4×	`flip-+_binary64_4485` `flip3-+_binary64_4514` `associate-*r/_binary64_4453`
3×	`associate-l_binary64_4452` `associate-/r*_binary64_4455` `times-frac_binary64_4517`
2×	`associate-/l/_binary64_4458` `prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `div-exp_binary64_4562` `associate-/r/_binary64_4457` `sum-cubes_binary64_4512` `cbrt-undiv_binary64_4545`
1×	`flip--_binary64_4486` `associate-/l_binary64_4456` `distribute-rgt-out--_binary64_4465` `unswap-sqr_binary64_4479` `distribute-lft-in_binary64_4460` `flip3--_binary64_4515` `+-commutative_binary64_4441` `diff-log_binary64_4603` `sum-log_binary64_4602` `distribute-rgt-in_binary64_4461` `frac-2neg_binary64_4522` `pow-prod-down_binary64_4582` `cancel-sign-sub-inv_binary64_4477` `sub-neg_binary64_4504` `-commutative_binary64_4442` `clear-num_binary64_4510` `div-inv_binary64_4508`

Counts

4 → 83

Calls

8 calls:

23.0ms	(/.f64 (.f64 y (+.f64 (pow.f64 z 3) (pow.f64 x 3))) (+.f64 (.f64 z z) (-.f64 (.f64 x x) (.f64 z x))))
15.0ms	(*.f64 y (+.f64 (pow.f64 z 3) (pow.f64 x 3)))
12.0ms	(+.f64 (pow.f64 z 3) (pow.f64 x 3))
4.0ms	(-.f64 (.f64 x x) (.f64 z x))
0.0ms	(+.f64 x (/.f64 (.f64 y (+.f64 (pow.f64 z 3) (pow.f64 x 3))) (+.f64 (.f64 z z) (-.f64 (.f64 x x) (.f64 z x)))))

series899.0ms (1.9%)

Counts

4 → 54

Calls

4 calls:

420.0ms	(/.f64 (.f64 y (+.f64 (pow.f64 z 3) (pow.f64 x 3))) (+.f64 (.f64 z z) (-.f64 (.f64 x x) (.f64 z x))))
255.0ms	(*.f64 y (+.f64 (pow.f64 z 3) (pow.f64 x 3)))
139.0ms	(+.f64 (pow.f64 z 3) (pow.f64 x 3))
85.0ms	(-.f64 (.f64 x x) (.f64 z x))

Compiler

Compiled 1614 to 1167 computations (27.7% saved)

simplify71.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5194	2037

prune4.9s (10.3%)

Pruning

209 alts after pruning (205 fresh and 4 done)

	Pruned	Kept	Total
New	364	187	551
Fresh	4	18	22
Picked	0	0	0
Done	2	4	6
Total	370	209	579

Error

Counts

579 → 209

Compiler

Compiled 12201 to 5541 computations (54.6% saved)

localize7.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite10.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-log-exp_binary64_4550`
4×	`sum-log_binary64_4602`
2×	`pow1_binary64_4572` `add-cbrt-cube_binary64_4547` `add-exp-log_binary64_4549` `flip-+_binary64_4485` `flip3-+_binary64_4514` `+-commutative_binary64_4441` `*-un-lft-identity_binary64_4511` `add-sqr-sqrt_binary64_4533` `add-cube-cbrt_binary64_4546`
1×	`associate-+l+_binary64_4444`

Counts

2 → 24

Calls

4 calls:

5.0ms	(+.f64 (+.f64 x (.f64 y z)) (.f64 y x))
3.0ms	(+.f64 x (*.f64 y z))
0.0ms	(+.f64 x (*.f64 y z))
0.0ms	(+.f64 (+.f64 x (.f64 y z)) (.f64 y x))

series192.0ms (0.4%)

Counts

2 → 36

Calls

2 calls:

118.0ms	(+.f64 (+.f64 x (.f64 y z)) (.f64 y x))
73.0ms	(+.f64 x (*.f64 y z))

Compiler

Compiled 522 to 452 computations (13.4% saved)

simplify72.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	5013	576

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite4.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`add-log-exp_binary64_4550`
1×	`pow1_binary64_4572` `add-cbrt-cube_binary64_4547` `add-exp-log_binary64_4549` `flip-+_binary64_4485` `flip3-+_binary64_4514` `+-commutative_binary64_4441` `*-un-lft-identity_binary64_4511` `sum-log_binary64_4602` `add-sqr-sqrt_binary64_4533` `add-cube-cbrt_binary64_4546`

Counts

1 → 11

Calls

2 calls:

3.0ms	(+.f64 x (*.f64 y z))
0.0ms	(+.f64 x (*.f64 y z))

series72.0ms (0.2%)

Counts

1 → 18

Calls

1 calls:

72.0ms

(+.f64 x (*.f64 y z))

Compiler

Compiled 109 to 122 computations (-11.9% saved)

simplify67.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

29 → 29

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5078	226

localize8.0ms (0%)

Local error

Found 6 expressions with local error:

2.4b	(exp.f64 (log.f64 (*.f64 y (+.f64 z x))))
2.1b	(log.f64 (*.f64 y (+.f64 z x)))
0.0b	(*.f64 y (+.f64 z x))
0.0b	(*.f64 y (+.f64 z x))
2.1b	(log.f64 (*.f64 y (+.f64 z x)))
2.4b	(exp.f64 (log.f64 (*.f64 y (+.f64 z x))))

rewrite20.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`pow1_binary64_4572`
8×	`add-exp-log_binary64_4549` `*-un-lft-identity_binary64_4511` `add-sqr-sqrt_binary64_4533`
6×	`associate-*r/_binary64_4453` `add-cube-cbrt_binary64_4546`
5×	`add-cbrt-cube_binary64_4547` `exp-prod_binary64_4563`
4×	`log-pow_binary64_4600` `associate-r_binary64_4451` `log-div_binary64_4598`
3×	`flip-+_binary64_4485` `flip3-+_binary64_4514` `add-log-exp_binary64_4550` `associate-l_binary64_4452` `pow-prod-down_binary64_4582`
2×	`exp-diff_binary64_4559` `prod-exp_binary64_4560` `log-prod_binary64_4597` `rem-log-exp_binary64_4552`
1×	`distribute-lft-out_binary64_4462` `unswap-sqr_binary64_4479` `distribute-lft-in_binary64_4460` `rem-exp-log_binary64_4551` `cbrt-unprod_binary64_4544` `distribute-rgt-in_binary64_4461` `*-commutative_binary64_4442` `exp-sum_binary64_4557`

Counts

3 → 53

Calls

6 calls:

6.0ms	(*.f64 y (+.f64 z x))
6.0ms	(exp.f64 (log.f64 (*.f64 y (+.f64 z x))))
5.0ms	(log.f64 (*.f64 y (+.f64 z x)))
0.0ms	(*.f64 y (+.f64 z x))
0.0ms	(exp.f64 (log.f64 (*.f64 y (+.f64 z x))))

series654.0ms (1.4%)

Counts

3 → 44

Calls

3 calls:

444.0ms	(exp.f64 (log.f64 (*.f64 y (+.f64 z x))))
131.0ms	(log.f64 (*.f64 y (+.f64 z x)))
80.0ms	(*.f64 y (+.f64 z x))

Compiler

Compiled 954 to 816 computations (14.5% saved)

simplify73.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4946	848
1	4946	848

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

0.5b	(*.f64 (cbrt.f64 (+.f64 z x)) (cbrt.f64 (+.f64 z x)))
0.3b	(.f64 (.f64 y (*.f64 (cbrt.f64 (+.f64 z x)) (cbrt.f64 (+.f64 z x)))) (cbrt.f64 (+.f64 z x)))
0.3b	(.f64 y (.f64 (cbrt.f64 (+.f64 z x)) (cbrt.f64 (+.f64 z x))))
0.0b	(+.f64 x (.f64 (.f64 y (*.f64 (cbrt.f64 (+.f64 z x)) (cbrt.f64 (+.f64 z x)))) (cbrt.f64 (+.f64 z x))))
0.5b	(*.f64 (cbrt.f64 (+.f64 z x)) (cbrt.f64 (+.f64 z x)))
0.6b	(cbrt.f64 (+.f64 z x))
0.6b	(cbrt.f64 (+.f64 z x))
0.6b	(cbrt.f64 (+.f64 z x))

rewrite28.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

36×	`cbrt-prod_binary64_4542`
35×	`*-un-lft-identity_binary64_4511`
23×	`add-sqr-sqrt_binary64_4533`
18×	`cbrt-div_binary64_4543`
15×	`add-cube-cbrt_binary64_4546`
11×	`pow1_binary64_4572`
9×	`pow1/3_binary64_4593` `flip-+_binary64_4485` `distribute-lft-out_binary64_4462` `flip3-+_binary64_4514` `swap-sqr_binary64_4478`
7×	`associate-l_binary64_4452` `associate-r_binary64_4451`
6×	`add-exp-log_binary64_4549`
4×	`add-cbrt-cube_binary64_4547` `unswap-sqr_binary64_4479` `add-log-exp_binary64_4550` `frac-times_binary64_4521`
2×	`pow-prod-up_binary64_4581` `associate-r/_binary64_4453` `pow-sqr_binary64_4484` `pow-prod-down_binary64_4582` `associate-l/_binary64_4454`
1×	`pow-plus_binary64_4574` `pow2_binary64_4592` `prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `*-commutative_binary64_4442`

Counts

4 → 95

Calls

8 calls:

11.0ms	(*.f64 (cbrt.f64 (+.f64 z x)) (cbrt.f64 (+.f64 z x)))
3.0ms	(cbrt.f64 (+.f64 z x))
3.0ms	(cbrt.f64 (+.f64 z x))
3.0ms	(cbrt.f64 (+.f64 z x))
0.0ms	(+.f64 x (.f64 (.f64 y (*.f64 (cbrt.f64 (+.f64 z x)) (cbrt.f64 (+.f64 z x)))) (cbrt.f64 (+.f64 z x))))

series373.0ms (0.8%)

Counts

4 → 42

Calls

4 calls:

118.0ms	(*.f64 (cbrt.f64 (+.f64 z x)) (cbrt.f64 (+.f64 z x)))
88.0ms	(cbrt.f64 (+.f64 z x))
86.0ms	(cbrt.f64 (+.f64 z x))
82.0ms	(cbrt.f64 (+.f64 z x))

Compiler

Compiled 1914 to 1464 computations (23.5% saved)

simplify66.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4929	1740
1	4929	1740

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

1.8b	(-.f64 (.f64 x x) (.f64 z x))
1.5b	(.f64 (sqrt.f64 y) (.f64 (+.f64 (pow.f64 z 3) (pow.f64 x 3)) (sqrt.f64 y)))
1.4b	(*.f64 (+.f64 (pow.f64 z 3) (pow.f64 x 3)) (sqrt.f64 y))
1.0b	(+.f64 (.f64 z z) (-.f64 (.f64 x x) (*.f64 z x)))
1.5b	(.f64 (sqrt.f64 y) (.f64 (+.f64 (pow.f64 z 3) (pow.f64 x 3)) (sqrt.f64 y)))
1.8b	(-.f64 (.f64 x x) (.f64 z x))
2.5b	(+.f64 (pow.f64 z 3) (pow.f64 x 3))
14.0b	(/.f64 (.f64 (sqrt.f64 y) (.f64 (+.f64 (pow.f64 z 3) (pow.f64 x 3)) (sqrt.f64 y))) (+.f64 (.f64 z z) (-.f64 (.f64 x x) (*.f64 z x))))

rewrite71.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-cbrt-cube_binary64_4547` `add-exp-log_binary64_4549` `*-un-lft-identity_binary64_4511`
9×	`pow1_binary64_4572`
8×	`add-log-exp_binary64_4550` `add-sqr-sqrt_binary64_4533` `add-cube-cbrt_binary64_4546`
6×	`associate-l_binary64_4452` `prod-exp_binary64_4560` `cbrt-unprod_binary64_4544`
5×	`distribute-lft-out_binary64_4462`
4×	`flip-+_binary64_4485` `flip3-+_binary64_4514` `cube-prod_binary64_4539` `associate-r/_binary64_4453` `unpow-prod-down_binary64_4590` `associate-l/_binary64_4454`
3×	`div-exp_binary64_4562` `pow-prod-down_binary64_4582` `associate-/r*_binary64_4455` `times-frac_binary64_4517` `sqrt-prod_binary64_4527` `cbrt-undiv_binary64_4545`
2×	`associate-/l/_binary64_4458` `associate-/r/_binary64_4457`
1×	`flip--_binary64_4486` `associate-/l_binary64_4456` `distribute-rgt-out--_binary64_4465` `flip3--_binary64_4515` `+-commutative_binary64_4441` `associate-r_binary64_4451` `diff-log_binary64_4603` `sum-log_binary64_4602` `frac-2neg_binary64_4522` `cancel-sign-sub-inv_binary64_4477` `sub-neg_binary64_4504` `sum-cubes_binary64_4512` `-commutative_binary64_4442` `clear-num_binary64_4510` `div-inv_binary64_4508`

Counts

4 → 80

Calls

8 calls:

24.0ms	(/.f64 (.f64 (sqrt.f64 y) (.f64 (+.f64 (pow.f64 z 3) (pow.f64 x 3)) (sqrt.f64 y))) (+.f64 (.f64 z z) (-.f64 (.f64 x x) (*.f64 z x))))
22.0ms	(.f64 (sqrt.f64 y) (.f64 (+.f64 (pow.f64 z 3) (pow.f64 x 3)) (sqrt.f64 y)))
12.0ms	(+.f64 (pow.f64 z 3) (pow.f64 x 3))
4.0ms	(-.f64 (.f64 x x) (.f64 z x))
0.0ms	(+.f64 (.f64 z z) (-.f64 (.f64 x x) (*.f64 z x)))

series870.0ms (1.8%)

Counts

4 → 54

Calls

4 calls:

381.0ms	(/.f64 (.f64 (sqrt.f64 y) (.f64 (+.f64 (pow.f64 z 3) (pow.f64 x 3)) (sqrt.f64 y))) (+.f64 (.f64 z z) (-.f64 (.f64 x x) (*.f64 z x))))
239.0ms	(.f64 (sqrt.f64 y) (.f64 (+.f64 (pow.f64 z 3) (pow.f64 x 3)) (sqrt.f64 y)))
159.0ms	(+.f64 (pow.f64 z 3) (pow.f64 x 3))
89.0ms	(-.f64 (.f64 x x) (.f64 z x))

Compiler

Compiled 1858 to 1314 computations (29.3% saved)

simplify51.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	5255	2134

prune7.9s (16.5%)

Pruning

335 alts after pruning (326 fresh and 9 done)

	Pruned	Kept	Total
New	329	128	457
Fresh	2	198	200
Picked	0	0	0
Done	0	9	9
Total	331	335	666

Error

Counts

666 → 335

Compiler

Compiled 13569 to 6906 computations (49.1% saved)

localize7.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (pow.f64 (+.f64 x (.f64 y z)) 1) (.f64 y x))
0.0b	(+.f64 x (*.f64 y z))
0.0b	(+.f64 x (*.f64 y z))
0.0b	(+.f64 (pow.f64 (+.f64 x (.f64 y z)) 1) (.f64 y x))

rewrite11.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-log-exp_binary64_4550`
2×	`pow1_binary64_4572` `add-cbrt-cube_binary64_4547` `add-exp-log_binary64_4549` `flip-+_binary64_4485` `flip3-+_binary64_4514` `+-commutative_binary64_4441` `*-un-lft-identity_binary64_4511` `sum-log_binary64_4602` `add-sqr-sqrt_binary64_4533` `add-cube-cbrt_binary64_4546`

Counts

2 → 22

Calls

4 calls:

6.0ms	(+.f64 (pow.f64 (+.f64 x (.f64 y z)) 1) (.f64 y x))
3.0ms	(+.f64 x (*.f64 y z))
0.0ms	(+.f64 x (*.f64 y z))
0.0ms	(+.f64 (pow.f64 (+.f64 x (.f64 y z)) 1) (.f64 y x))

series193.0ms (0.4%)

Counts

2 → 36

Calls

2 calls:

117.0ms	(+.f64 (pow.f64 (+.f64 x (.f64 y z)) 1) (.f64 y x))
76.0ms	(+.f64 x (*.f64 y z))

Compiler

Compiled 468 to 398 computations (15% saved)

simplify59.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5064	554

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

6.7b	(.f64 z (.f64 z (pow.f64 y 3)))
3.8b	(.f64 (.f64 z (.f64 z (pow.f64 y 3))) (+.f64 (.f64 x 3) z))
0.0b	(+.f64 (*.f64 x 3) z)
0.0b	(+.f64 x (cbrt.f64 (.f64 (.f64 z (.f64 z (pow.f64 y 3))) (+.f64 (.f64 x 3) z))))
3.8b	(.f64 (.f64 z (.f64 z (pow.f64 y 3))) (+.f64 (.f64 x 3) z))
6.7b	(.f64 z (.f64 z (pow.f64 y 3)))
7.5b	(*.f64 z (pow.f64 y 3))
29.8b	(cbrt.f64 (.f64 (.f64 z (.f64 z (pow.f64 y 3))) (+.f64 (.f64 x 3) z)))

rewrite40.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

35×	`add-exp-log_binary64_4549`
22×	`prod-exp_binary64_4560`
20×	`add-cbrt-cube_binary64_4547`
17×	`add-sqr-sqrt_binary64_4533`
16×	`associate-r_binary64_4451`
11×	`pow1_binary64_4572`
10×	`cbrt-unprod_binary64_4544` `*-un-lft-identity_binary64_4511` `add-cube-cbrt_binary64_4546`
7×	`associate-l_binary64_4452`
4×	`unswap-sqr_binary64_4479` `cube-prod_binary64_4539` `add-log-exp_binary64_4550` `associate-*r/_binary64_4453` `unpow-prod-down_binary64_4590` `pow-prod-down_binary64_4582`
3×	`pow-exp_binary64_4579` `pow-to-exp_binary64_4580` `*-commutative_binary64_4442`
2×	`flip-+_binary64_4485` `flip3-+_binary64_4514` `sqr-pow_binary64_4483` `cbrt-div_binary64_4543`
1×	`pow1/3_binary64_4593` `unpow3_binary64_4577` `distribute-lft-in_binary64_4460` `distribute-rgt-in_binary64_4461` `cube-mult_binary64_4541` `cbrt-prod_binary64_4542`

Counts

4 → 87

Calls

8 calls:

11.0ms	(.f64 (.f64 z (.f64 z (pow.f64 y 3))) (+.f64 (.f64 x 3) z))
9.0ms	(cbrt.f64 (.f64 (.f64 z (.f64 z (pow.f64 y 3))) (+.f64 (.f64 x 3) z)))
6.0ms	(*.f64 z (pow.f64 y 3))
6.0ms	(.f64 z (.f64 z (pow.f64 y 3)))
0.0ms	(+.f64 x (cbrt.f64 (.f64 (.f64 z (.f64 z (pow.f64 y 3))) (+.f64 (.f64 x 3) z))))

series722.0ms (1.5%)

Counts

4 → 39

Calls

4 calls:

280.0ms	(cbrt.f64 (.f64 (.f64 z (.f64 z (pow.f64 y 3))) (+.f64 (.f64 x 3) z)))
280.0ms	(.f64 (.f64 z (.f64 z (pow.f64 y 3))) (+.f64 (.f64 x 3) z))
88.0ms	(.f64 z (.f64 z (pow.f64 y 3)))
74.0ms	(*.f64 z (pow.f64 y 3))

Compiler

Compiled 1268 to 1094 computations (13.7% saved)

simplify72.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4995	1899
1	4995	1899

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite30.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_4542`
23×	`add-sqr-sqrt_binary64_4533`
18×	`cbrt-div_binary64_4543`
15×	`*-un-lft-identity_binary64_4511` `add-cube-cbrt_binary64_4546`
11×	`pow1_binary64_4572`
9×	`flip--_binary64_4486` `pow1/3_binary64_4593` `flip3--_binary64_4515`
6×	`add-exp-log_binary64_4549` `associate-l_binary64_4452` `associate-r_binary64_4451` `swap-sqr_binary64_4478`
4×	`add-cbrt-cube_binary64_4547` `unswap-sqr_binary64_4479` `add-log-exp_binary64_4550` `frac-times_binary64_4521`
2×	`pow-prod-up_binary64_4581` `associate-r/_binary64_4453` `pow-sqr_binary64_4484` `pow-prod-down_binary64_4582` `associate-l/_binary64_4454`
1×	`pow-plus_binary64_4574` `pow2_binary64_4592` `prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `*-commutative_binary64_4442`

Counts

4 → 87

Calls

8 calls:

10.0ms	(.f64 (cbrt.f64 (-.f64 x (.f64 y (+.f64 x z)))) (cbrt.f64 (-.f64 x (*.f64 y (+.f64 x z)))))
3.0ms	(cbrt.f64 (-.f64 x (*.f64 y (+.f64 x z))))
2.0ms	(cbrt.f64 (-.f64 x (*.f64 y (+.f64 x z))))
2.0ms	(cbrt.f64 (-.f64 x (*.f64 y (+.f64 x z))))
0.0ms	(-.f64 x (*.f64 y (+.f64 x z)))

series2.1s (4.3%)

Counts

4 → 86

Calls

4 calls:

934.0ms	(.f64 (cbrt.f64 (-.f64 x (.f64 y (+.f64 x z)))) (cbrt.f64 (-.f64 x (*.f64 y (+.f64 x z)))))
380.0ms	(cbrt.f64 (-.f64 x (*.f64 y (+.f64 x z))))
379.0ms	(cbrt.f64 (-.f64 x (*.f64 y (+.f64 x z))))
366.0ms	(cbrt.f64 (-.f64 x (*.f64 y (+.f64 x z))))

Compiler

Compiled 10929 to 6826 computations (37.5% saved)

simplify88.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

173 → 173

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	4997	7594
1	4997	7594

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

1.0b	(+.f64 (.f64 z z) (-.f64 (.f64 x x) (*.f64 z x)))
1.0b	(pow.f64 (exp.f64 (+.f64 (pow.f64 z 3) (pow.f64 x 3))) y)
0.0b	(log.f64 (pow.f64 (exp.f64 (+.f64 (pow.f64 z 3) (pow.f64 x 3))) y))
0.0b	(exp.f64 (+.f64 (pow.f64 z 3) (pow.f64 x 3)))
1.0b	(+.f64 (.f64 z z) (-.f64 (.f64 x x) (*.f64 z x)))
1.8b	(-.f64 (.f64 x x) (.f64 z x))
2.5b	(+.f64 (pow.f64 z 3) (pow.f64 x 3))
22.5b	(/.f64 (log.f64 (pow.f64 (exp.f64 (+.f64 (pow.f64 z 3) (pow.f64 x 3))) y)) (+.f64 (.f64 z z) (-.f64 (.f64 x x) (*.f64 z x))))

rewrite56.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`*-un-lft-identity_binary64_4511`
13×	`add-log-exp_binary64_4550` `add-sqr-sqrt_binary64_4533` `add-cube-cbrt_binary64_4546`
12×	`times-frac_binary64_4517`
6×	`add-cbrt-cube_binary64_4547` `add-exp-log_binary64_4549`
5×	`distribute-lft-out_binary64_4462`
4×	`pow1_binary64_4572` `associate-/l*_binary64_4456` `cube-prod_binary64_4539` `unpow-prod-down_binary64_4590` `log-pow_binary64_4600`
3×	`flip-+_binary64_4485` `flip3-+_binary64_4514` `sum-log_binary64_4602` `associate-/r*_binary64_4455`
2×	`+-commutative_binary64_4441` `associate-+r+_binary64_4443` `associate-/r/_binary64_4457` `diff-log_binary64_4603` `cancel-sign-sub-inv_binary64_4477` `sub-neg_binary64_4504`
1×	`flip--_binary64_4486` `distribute-rgt-out--_binary64_4465` `flip3--_binary64_4515` `div-exp_binary64_4562` `associate-+r-_binary64_4445` `frac-2neg_binary64_4522` `sum-cubes_binary64_4512` `clear-num_binary64_4510` `div-inv_binary64_4508` `cbrt-undiv_binary64_4545`

Counts

4 → 78

Calls

8 calls:

24.0ms	(/.f64 (log.f64 (pow.f64 (exp.f64 (+.f64 (pow.f64 z 3) (pow.f64 x 3))) y)) (+.f64 (.f64 z z) (-.f64 (.f64 x x) (*.f64 z x))))
12.0ms	(+.f64 (pow.f64 z 3) (pow.f64 x 3))
6.0ms	(+.f64 (.f64 z z) (-.f64 (.f64 x x) (*.f64 z x)))
4.0ms	(-.f64 (.f64 x x) (.f64 z x))
0.0ms	(exp.f64 (+.f64 (pow.f64 z 3) (pow.f64 x 3)))

series776.0ms (1.6%)

Counts

4 → 45

Calls

4 calls:

471.0ms	(/.f64 (log.f64 (pow.f64 (exp.f64 (+.f64 (pow.f64 z 3) (pow.f64 x 3))) y)) (+.f64 (.f64 z z) (-.f64 (.f64 x x) (*.f64 z x))))
155.0ms	(+.f64 (.f64 z z) (-.f64 (.f64 x x) (*.f64 z x)))
89.0ms	(+.f64 (pow.f64 z 3) (pow.f64 x 3))
60.0ms	(-.f64 (.f64 x x) (.f64 z x))

Compiler

Compiled 1680 to 1326 computations (21.1% saved)

simplify72.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5290	2440

prune17.9s (37.2%)

Pruning

515 alts after pruning (501 fresh and 14 done)

	Pruned	Kept	Total
New	278	202	480
Fresh	22	299	321
Picked	0	0	0
Done	0	14	14
Total	300	515	815

Error

Counts

815 → 515

Compiler

Compiled 13905 to 4531 computations (67.4% saved)

simplify451.0ms (0.9%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5009	36598

regimes3.9s (8.1%)

Compiler: Compiled 54549 to 30687 computations (43.7% saved)

bsearch0.0ms (0%)

regimes47.0ms (0.1%)

Compiler: Compiled 114 to 156 computations (-36.8% saved)

bsearch0.0ms (0%)

regimes318.0ms (0.7%)

Compiler: Compiled 72 to 120 computations (-66.7% saved)

bsearch29.0ms (0.1%)

Steps

Iters	Range		Point
8	0.0040699540410467725	11.93538935469354	0.9904418900705835
11	-1468.7281140598477	-1.1704165985460666e-18	-1.013965942235674

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes97.0ms (0.2%)

Compiler: Compiled 57 to 105 computations (-84.2% saved)

bsearch28.0ms (0.1%)

Steps

Iters	Range		Point
9	3.5957561600705366e-86	9.744392315978822e-80	5.977761113741552e-82
7	-2.292643035085187e-132	-6.287369856302335e-134	-3.320538930979582e-133

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes90.0ms (0.2%)

Compiler: Compiled 42 to 90 computations (-114.3% saved)

bsearch23.0ms (0%)

Steps

Iters	Range		Point
9	9.684407916547077e-158	5.612162842460298e-151	4.87354262245467e-151
5	-5.978259485739614e-160	-2.5212440276343513e-160	-5.095514799684492e-160

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes63.0ms (0.1%)

Compiler: Compiled 27 to 75 computations (-177.8% saved)

bsearch16.0ms (0%)

Steps

Iters	Range		Point
5	2.011993759428205e-17	6.390202457568913e-17	6.24263280653598e-17
6	-6.746821585006019e-46	-1.5945660780064445e-46	-3.0219923869476414e-46

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes27.0ms (0.1%)

Compiler: Compiled 18 to 63 computations (-250% saved)

bsearch5.0ms (0%)

Compiler: Compiled 99 to 64 computations (35.4% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	57	124
1	57	124

end0.0ms (0%)

sample1.0s (2.2%)

Algorithm

1×

intervals

Results

196.0ms	8000×	body	128	valid
13.0ms	583×	body	128	invalid

Compiler

Compiled 18359 to 10369 computations (43.5% saved)