Details

analyze3.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1

Compiler

Compiled 22 to 16 computations (27.3% saved)

sample19.0ms (0.2%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
5.0ms	256×	pre	128	true

Compiler

Compiled 37 to 29 computations (21.6% saved)

simplify241.0ms (2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (145.0ms)

Iter	Nodes	Cost
0	4710	22
1	4710	22

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

62.0b

Counts

2 → 1

Compiler

Compiled 15 to 11 computations (26.7% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

62.0b	(-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (.f64 y y) (-.f64 (.f64 y y) 2)))
62.0b	(-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (.f64 y y) (-.f64 (.f64 y y) 2)))

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`associate--r+_binary64_1037`
7×	`cancel-sign-sub-inv_binary64_1067`
4×	`distribute-lft-in_binary64_1050` `distribute-rgt-in_binary64_1051`
3×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101` `add-log-exp_binary64_1140` `sub-neg_binary64_1094` `add-cube-cbrt_binary64_1136`
1×	`diff-log_binary64_1193` `add-exp-log_binary64_1139` `pow1_binary64_1162` `flip--_binary64_1076` `flip3--_binary64_1105` `add-cbrt-cube_binary64_1137`

Counts

1 → 20

Calls

2 calls:

6.0ms	(-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (.f64 y y) (-.f64 (.f64 y y) 2)))
0.0ms	(-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (.f64 y y) (-.f64 (.f64 y y) 2)))

series86.0ms (0.7%)

Counts

1 → 7

Calls

1 calls:

86.0ms

(-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)))

Compiler

Compiled 123 to 124 computations (-0.8% saved)

simplify58.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

27 → 27

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4947	544
1	4947	544

prune60.0ms (0.5%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	11	16	27
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	11	17	28

Error

52.0b

Counts

28 → 17

Compiler

Compiled 809 to 566 computations (30% saved)

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`cancel-sign-sub-inv_binary64_1067`
3×	`add-sqr-sqrt_binary64_1123` `unpow-prod-down_binary64_1180` `*-un-lft-identity_binary64_1101` `add-log-exp_binary64_1140` `add-cube-cbrt_binary64_1136`
1×	`diff-log_binary64_1193` `add-exp-log_binary64_1139` `pow1_binary64_1162` `sub-neg_binary64_1094` `flip--_binary64_1076` `flip3--_binary64_1105` `add-cbrt-cube_binary64_1137` `sqr-pow_binary64_1073`

Counts

1 → 18

Calls

2 calls:

6.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
0.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

series200.0ms (1.7%)

Counts

1 → 12

Calls

1 calls:

200.0ms

(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

Compiler

Compiled 264 to 234 computations (11.4% saved)

simplify74.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	5269	370

localize3.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

62.0b	(+.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (.f64 (*.f64 y y) 2) (pow.f64 y 4)))
62.0b	(+.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (.f64 (*.f64 y y) 2) (pow.f64 y 4)))

rewrite14.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`associate-+r+_binary64_1033`
7×	`cancel-sign-sub-inv_binary64_1067`
6×	`add-log-exp_binary64_1140`
3×	`add-sqr-sqrt_binary64_1123` `unpow-prod-down_binary64_1180` `*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
2×	`sum-log_binary64_1192`
1×	`diff-log_binary64_1193` `add-exp-log_binary64_1139` `pow1_binary64_1162` `sub-neg_binary64_1094` `associate-+r-_binary64_1035` `flip3-+_binary64_1104` `add-cbrt-cube_binary64_1137` `+-commutative_binary64_1031` `flip-+_binary64_1075` `sqr-pow_binary64_1073`

Counts

1 → 21

Calls

2 calls:

12.0ms	(+.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (.f64 (*.f64 y y) 2) (pow.f64 y 4)))
0.0ms	(+.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (.f64 (*.f64 y y) 2) (pow.f64 y 4)))

series94.0ms (0.8%)

Counts

1 → 7

Calls

1 calls:

94.0ms

(+.f64 (*.f64 9 (pow.f64 x 4)) (-.f64 (*.f64 (*.f64 y y) 2) (pow.f64 y 4)))

Compiler

Compiled 123 to 124 computations (-0.8% saved)

simplify39.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

28 → 28

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5275	582

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

62.0b	(-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (.f64 y y) (-.f64 (.f64 y y) 2)))
62.0b	(-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (.f64 y y) (-.f64 (.f64 y y) 2)))

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`associate--r+_binary64_1037`
7×	`cancel-sign-sub-inv_binary64_1067`
4×	`distribute-lft-in_binary64_1050` `distribute-rgt-in_binary64_1051`
3×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101` `add-log-exp_binary64_1140` `sub-neg_binary64_1094` `add-cube-cbrt_binary64_1136`
1×	`diff-log_binary64_1193` `add-exp-log_binary64_1139` `pow1_binary64_1162` `flip--_binary64_1076` `flip3--_binary64_1105` `add-cbrt-cube_binary64_1137`

Counts

1 → 20

Calls

2 calls:

6.0ms	(-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (.f64 y y) (-.f64 (.f64 y y) 2)))
0.0ms	(-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (.f64 y y) (-.f64 (.f64 y y) 2)))

series85.0ms (0.7%)

Counts

1 → 7

Calls

1 calls:

85.0ms

(-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)))

Compiler

Compiled 162 to 163 computations (-0.6% saved)

simplify59.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

27 → 27

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4947	544
1	4947	544

localize14.0ms (0.1%)

Local error

Found 8 expressions with local error:

23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
1.0b	(cbrt.f64 2)
1.0b	(cbrt.f64 2)
1.0b	(cbrt.f64 2)
1.0b	(cbrt.f64 2)
1.0b	(cbrt.f64 2)
1.0b	(cbrt.f64 2)
23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

rewrite14.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136` `cbrt-prod_binary64_1132`
7×	`cancel-sign-sub-inv_binary64_1067`
6×	`add-log-exp_binary64_1140`
4×	`add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cbrt-cube_binary64_1137`
3×	`pow1/3_binary64_1183` `unpow-prod-down_binary64_1180`
1×	`diff-log_binary64_1193` `sub-neg_binary64_1094` `flip--_binary64_1076` `flip3--_binary64_1105` `sqr-pow_binary64_1073`

Counts

4 → 51

Calls

8 calls:

6.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
1.0ms	(cbrt.f64 2)
1.0ms	(cbrt.f64 2)
1.0ms	(cbrt.f64 2)
0.0ms	(cbrt.f64 2)

series211.0ms (1.8%)

Counts

4 → 12

Calls

4 calls:

211.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
0.0ms	(cbrt.f64 2)
0.0ms	(cbrt.f64 2)
0.0ms	(cbrt.f64 2)

Compiler

Compiled 390 to 360 computations (7.7% saved)

simplify76.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

63 → 63

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	5280	577

prune388.0ms (3.2%)

Pruning

57 alts after pruning (52 fresh and 5 done)

	Pruned	Kept	Total
New	106	42	148
Fresh	1	10	11
Picked	0	0	0
Done	1	5	6
Total	108	57	165

Error

52.0b

Counts

165 → 57

Compiler

Compiled 3871 to 3009 computations (22.3% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
1.0b	(cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))
1.0b	(cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))
23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

rewrite18.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`cbrt-prod_binary64_1132`
7×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136` `cancel-sign-sub-inv_binary64_1067`
6×	`unpow-prod-down_binary64_1180`
4×	`add-log-exp_binary64_1140`
3×	`cube-prod_binary64_1129`
2×	`add-exp-log_binary64_1139` `pow1_binary64_1162` `flip--_binary64_1076` `flip3--_binary64_1105` `cube-div_binary64_1130` `add-cbrt-cube_binary64_1137` `sqr-pow_binary64_1073` `cbrt-div_binary64_1133`
1×	`diff-log_binary64_1193` `cube-mult_binary64_1131` `pow1/3_binary64_1183` `sub-neg_binary64_1094` `unpow3_binary64_1167` `rem-cbrt-cube_binary64_1125`

Counts

2 → 41

Calls

4 calls:

7.0ms	(cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))
6.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
0.0ms	(cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))
0.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

series399.0ms (3.3%)

Counts

2 → 24

Calls

2 calls:

200.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
199.0ms	(cbrt.f64 (pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))

Compiler

Compiled 582 to 522 computations (10.3% saved)

simplify53.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5079	1024

localize4.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize12.0ms (0.1%)

Local error

Found 2 expressions with local error:

62.0b	(-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (.f64 y y) (-.f64 (.f64 y y) 2)))
62.0b	(-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (.f64 y y) (-.f64 (.f64 y y) 2)))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`associate--r+_binary64_1037`
7×	`cancel-sign-sub-inv_binary64_1067`
4×	`distribute-lft-in_binary64_1050` `distribute-rgt-in_binary64_1051`
3×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101` `add-log-exp_binary64_1140` `sub-neg_binary64_1094` `add-cube-cbrt_binary64_1136`
1×	`diff-log_binary64_1193` `add-exp-log_binary64_1139` `pow1_binary64_1162` `flip--_binary64_1076` `flip3--_binary64_1105` `add-cbrt-cube_binary64_1137`

Counts

1 → 20

Calls

2 calls:

6.0ms	(-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (.f64 y y) (-.f64 (.f64 y y) 2)))
0.0ms	(-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (.f64 y y) (-.f64 (.f64 y y) 2)))

series92.0ms (0.8%)

Counts

1 → 7

Calls

1 calls:

92.0ms

(-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) 2)))

Compiler

Compiled 188 to 189 computations (-0.5% saved)

simplify60.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

27 → 27

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4947	544
1	4947	544

localize13.0ms (0.1%)

Local error

Found 6 expressions with local error:

62.0b	(+.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (.f64 (.f64 y y) 2)) (.f64 (neg.f64 (pow.f64 (sqrt.f64 y) 4)) (pow.f64 (sqrt.f64 y) 4)))
1.0b	(pow.f64 (sqrt.f64 y) 4)
1.0b	(pow.f64 (sqrt.f64 y) 4)
1.0b	(pow.f64 (sqrt.f64 y) 4)
1.0b	(pow.f64 (sqrt.f64 y) 4)
62.0b	(+.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (.f64 (.f64 y y) 2)) (.f64 (neg.f64 (pow.f64 (sqrt.f64 y) 4)) (pow.f64 (sqrt.f64 y) 4)))

rewrite20.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`unpow-prod-down_binary64_1180`
9×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
8×	`add-log-exp_binary64_1140`
7×	`pow1_binary64_1162`
6×	`pow-pow_binary64_1173` `pow-unpow_binary64_1178` `sqrt-prod_binary64_1117`
5×	`add-exp-log_binary64_1139`
3×	`sum-log_binary64_1192` `add-cbrt-cube_binary64_1137`
2×	`pow-exp_binary64_1169` `sqrt-pow1_binary64_1119` `sqrt-pow2_binary64_1120` `sqr-pow_binary64_1073` `pow-to-exp_binary64_1170` `pow1/2_binary64_1181`
1×	`unsub-neg_binary64_1095` `flip3-+_binary64_1104` `+-commutative_binary64_1031` `flip-+_binary64_1075` `distribute-lft-neg-out_binary64_1060` `associate-+l+_binary64_1034`

Counts

3 → 60

Calls

6 calls:

9.0ms	(+.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (.f64 (.f64 y y) 2)) (.f64 (neg.f64 (pow.f64 (sqrt.f64 y) 4)) (pow.f64 (sqrt.f64 y) 4)))
3.0ms	(pow.f64 (sqrt.f64 y) 4)
3.0ms	(pow.f64 (sqrt.f64 y) 4)
0.0ms	(pow.f64 (sqrt.f64 y) 4)
0.0ms	(+.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (.f64 (.f64 y y) 2)) (.f64 (neg.f64 (pow.f64 (sqrt.f64 y) 4)) (pow.f64 (sqrt.f64 y) 4)))

series136.0ms (1.1%)

Counts

3 → 13

Calls

3 calls:

94.0ms	(+.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (.f64 (.f64 y y) 2)) (.f64 (neg.f64 (pow.f64 (sqrt.f64 y) 4)) (pow.f64 (sqrt.f64 y) 4)))
21.0ms	(pow.f64 (sqrt.f64 y) 4)
21.0ms	(pow.f64 (sqrt.f64 y) 4)

Compiler

Compiled 449 to 410 computations (8.7% saved)

simplify64.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5429	746

localize17.0ms (0.1%)

Local error

Found 8 expressions with local error:

23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
1.0b	(cbrt.f64 2)
1.0b	(cbrt.f64 2)
1.0b	(cbrt.f64 2)
1.0b	(cbrt.f64 2)
1.0b	(cbrt.f64 2)
1.0b	(cbrt.f64 2)
23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

rewrite15.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136` `cbrt-prod_binary64_1132`
7×	`cancel-sign-sub-inv_binary64_1067`
6×	`add-log-exp_binary64_1140`
4×	`add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cbrt-cube_binary64_1137`
3×	`pow1/3_binary64_1183` `unpow-prod-down_binary64_1180`
1×	`diff-log_binary64_1193` `sub-neg_binary64_1094` `flip--_binary64_1076` `flip3--_binary64_1105` `sqr-pow_binary64_1073`

Counts

4 → 51

Calls

8 calls:

6.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
1.0ms	(cbrt.f64 2)
1.0ms	(cbrt.f64 2)
1.0ms	(cbrt.f64 2)
0.0ms	(cbrt.f64 2)

series210.0ms (1.8%)

Counts

4 → 12

Calls

4 calls:

210.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
0.0ms	(cbrt.f64 2)
0.0ms	(cbrt.f64 2)
0.0ms	(cbrt.f64 2)

Compiler

Compiled 426 to 396 computations (7% saved)

simplify78.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

63 → 63

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	5280	577

prune771.0ms (6.5%)

Pruning

97 alts after pruning (89 fresh and 8 done)

	Pruned	Kept	Total
New	176	52	228
Fresh	10	37	47
Picked	0	0	0
Done	2	8	10
Total	188	97	285

Error

52.0b

Counts

285 → 97

Compiler

Compiled 6156 to 4764 computations (22.6% saved)

localize21.0ms (0.2%)

Local error

Found 8 expressions with local error:

23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
1.0b	(pow.f64 (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)
1.0b	(cbrt.f64 (pow.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) 3))
1.0b	(pow.f64 (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)
1.0b	(cbrt.f64 (pow.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) 3))
23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

rewrite37.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`cancel-sign-sub-inv_binary64_1067`
13×	`unpow-prod-down_binary64_1180`
12×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
11×	`cbrt-prod_binary64_1132`
8×	`add-log-exp_binary64_1140`
5×	`add-exp-log_binary64_1139` `pow1_binary64_1162`
4×	`add-cbrt-cube_binary64_1137` `sqr-pow_binary64_1073` `cbrt-div_binary64_1133`
3×	`flip--_binary64_1076` `flip3--_binary64_1105` `pow-unpow_binary64_1178`
2×	`diff-log_binary64_1193` `pow1/3_binary64_1183` `pow-pow_binary64_1173` `sub-neg_binary64_1094` `associate-*r/_binary64_1043` `cube-div_binary64_1130`
1×	`pow-exp_binary64_1169` `cube-prod_binary64_1129` `cube-mult_binary64_1131` `unpow3_binary64_1167` `pow-to-exp_binary64_1170` `rem-cbrt-cube_binary64_1125`

Counts

4 → 76

Calls

8 calls:

9.0ms	(pow.f64 (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)
7.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
7.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
5.0ms	(cbrt.f64 (pow.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) 3))
0.0ms	(cbrt.f64 (pow.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) 3))

series1.3s (11%)

Counts

4 → 45

Calls

4 calls:

677.0ms	(pow.f64 (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)
214.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
212.0ms	(cbrt.f64 (pow.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)) (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) 3))
209.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

Compiler

Compiled 2140 to 1905 computations (11% saved)

simplify91.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	5021	1843

localize3.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize18.0ms (0.1%)

Local error

Found 6 expressions with local error:

62.1b	(+.f64 (.f64 81 (pow.f64 x 8)) (.f64 (-.f64 (.f64 y y) 2) (.f64 (pow.f64 y 4) (-.f64 2 (*.f64 y y)))))
1.0b	(*.f64 81 (pow.f64 x 8))
1.0b	(.f64 (-.f64 (.f64 y y) 2) (.f64 (pow.f64 y 4) (-.f64 2 (.f64 y y))))
1.0b	(*.f64 81 (pow.f64 x 8))
1.0b	(.f64 (-.f64 (.f64 y y) 2) (.f64 (pow.f64 y 4) (-.f64 2 (.f64 y y))))
62.1b	(+.f64 (.f64 81 (pow.f64 x 8)) (.f64 (-.f64 (.f64 y y) 2) (.f64 (pow.f64 y 4) (-.f64 2 (*.f64 y y)))))

rewrite36.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-exp-log_binary64_1139`
16×	`distribute-lft-in_binary64_1050` `distribute-rgt-in_binary64_1051`
13×	`add-sqr-sqrt_binary64_1123`
10×	`prod-exp_binary64_1150` `add-cbrt-cube_binary64_1137`
8×	`sub-neg_binary64_1094` `associate-+r+_binary64_1033` `associate-r/_binary64_1043` `associate-r*_binary64_1041` `cancel-sign-sub-inv_binary64_1067`
7×	`-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136` `associate-l*_binary64_1042`
6×	`flip--_binary64_1076` `flip3--_binary64_1105`
5×	`add-log-exp_binary64_1140` `pow1_binary64_1162`
4×	`cbrt-unprod_binary64_1134` `unpow-prod-down_binary64_1180` `frac-times_binary64_1111`
3×	`unswap-sqr_binary64_1069`
2×	`-commutative_binary64_1032` `pow-exp_binary64_1169` `associate-l/_binary64_1044` `sqr-pow_binary64_1073` `pow-to-exp_binary64_1170`
1×	`difference-of-squares_binary64_1070` `sum-log_binary64_1192` `flip3-+_binary64_1104` `+-commutative_binary64_1031` `pow-prod-down_binary64_1172` `flip-+_binary64_1075`

Counts

3 → 80

Calls

6 calls:

13.0ms	(.f64 (-.f64 (.f64 y y) 2) (.f64 (pow.f64 y 4) (-.f64 2 (.f64 y y))))
7.0ms	(+.f64 (.f64 81 (pow.f64 x 8)) (.f64 (-.f64 (.f64 y y) 2) (.f64 (pow.f64 y 4) (-.f64 2 (*.f64 y y)))))
5.0ms	(*.f64 81 (pow.f64 x 8))
0.0ms	(.f64 (-.f64 (.f64 y y) 2) (.f64 (pow.f64 y 4) (-.f64 2 (.f64 y y))))
0.0ms	(+.f64 (.f64 81 (pow.f64 x 8)) (.f64 (-.f64 (.f64 y y) 2) (.f64 (pow.f64 y 4) (-.f64 2 (*.f64 y y)))))

series199.0ms (1.7%)

Counts

3 → 14

Calls

3 calls:

105.0ms

(+.f64 (*.f64 81 (pow.f64 x 8)) (*.f64 (-.f64 (*.f64 y y) 2) (*.f64 (pow.f64 y 4) (-.f64 2 (*.f64 y y)))))

49.0ms

(*.f64 (-.f64 (*.f64 y y) 2) (*.f64 (pow.f64 y 4) (-.f64 2 (*.f64 y y))))

45.0ms

(*.f64 81 (pow.f64 x 8))

Compiler

Compiled 758 to 564 computations (25.6% saved)

simplify68.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5053	1996

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
1.0b	(*.f64 (neg.f64 (sqrt.f64 2)) (sqrt.f64 2))
1.0b	(*.f64 (neg.f64 (sqrt.f64 2)) (sqrt.f64 2))
23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

rewrite23.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`associate-l_binary64_1042`
15×	`add-sqr-sqrt_binary64_1123`
11×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
10×	`sqrt-prod_binary64_1117`
7×	`cancel-sign-sub-inv_binary64_1067`
6×	`distribute-rgt-neg-in_binary64_1059` `distribute-lft-neg-in_binary64_1058` `associate-r_binary64_1041`
4×	`add-log-exp_binary64_1140` `add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cbrt-cube_binary64_1137`
3×	`unpow-prod-down_binary64_1180`
2×	`unswap-sqr_binary64_1069`
1×	`diff-log_binary64_1193` `*-commutative_binary64_1032` `cbrt-unprod_binary64_1134` `neg-mul-1_binary64_1097` `prod-exp_binary64_1150` `sub-neg_binary64_1094` `flip--_binary64_1076` `flip3--_binary64_1105` `pow-prod-down_binary64_1172` `sqr-pow_binary64_1073` `distribute-lft-neg-out_binary64_1060`

Counts

2 → 54

Calls

4 calls:

11.0ms	(*.f64 (neg.f64 (sqrt.f64 2)) (sqrt.f64 2))
7.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
0.0ms	(*.f64 (neg.f64 (sqrt.f64 2)) (sqrt.f64 2))
0.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

series212.0ms (1.8%)

Counts

2 → 12

Calls

2 calls:

211.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
0.0ms	(*.f64 (neg.f64 (sqrt.f64 2)) (sqrt.f64 2))

Compiler

Compiled 390 to 360 computations (7.7% saved)

simplify60.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4993	645
1	4993	645

localize16.0ms (0.1%)

Local error

Found 6 expressions with local error:

23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
1.0b	(pow.f64 (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)
1.0b	(pow.f64 (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)
23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

rewrite30.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`cancel-sign-sub-inv_binary64_1067`
12×	`unpow-prod-down_binary64_1180`
10×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
7×	`add-log-exp_binary64_1140`
4×	`add-exp-log_binary64_1139` `pow1_binary64_1162`
3×	`pow-unpow_binary64_1178` `add-cbrt-cube_binary64_1137` `sqr-pow_binary64_1073` `cbrt-prod_binary64_1132`
2×	`diff-log_binary64_1193` `pow-pow_binary64_1173` `sub-neg_binary64_1094` `flip--_binary64_1076` `flip3--_binary64_1105`
1×	`pow-exp_binary64_1169` `pow1/3_binary64_1183` `pow-to-exp_binary64_1170`

Counts

3 → 57

Calls

6 calls:

9.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
8.0ms	(pow.f64 (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)
7.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
0.0ms	(pow.f64 (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)
0.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

series1.1s (9.3%)

Counts

3 → 33

Calls

3 calls:

695.0ms	(pow.f64 (cbrt.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) 6)
208.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
208.0ms	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

Compiler

Compiled 1723 to 1518 computations (11.9% saved)

simplify53.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	4893	1258
1	4893	1258

prune1.6s (13.1%)

Pruning

164 alts after pruning (152 fresh and 12 done)

	Pruned	Kept	Total
New	293	78	371
Fresh	10	74	84
Picked	0	0	0
Done	1	12	13
Total	304	164	468

Error

52.0b

Counts

468 → 164

Compiler

Compiled 7494 to 5460 computations (27.1% saved)

simplify259.0ms (2.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	5168	15869

regimes2.1s (17.6%)

Compiler: Compiled 35691 to 29284 computations (18% saved)

bsearch0.0ms (0%)

Compiler: Compiled 1 to 3 computations (-200% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	3	1
1	3	1

end0.0ms (0%)

sample888.0ms (7.4%)

Algorithm

1×

intervals

Results

496.0ms	8000×	body	128	valid
151.0ms	8000×	pre	128	true

Compiler

Compiled 7157 to 5874 computations (17.9% saved)

Details

analyze3.0ms (0%)

sample19.0ms (0.2%)

simplify241.0ms (2%)

prune2.0ms (0%)

localize8.0ms (0.1%)

rewrite13.0ms (0.1%)

series86.0ms (0.7%)

simplify58.0ms (0.5%)

prune60.0ms (0.5%)

localize10.0ms (0.1%)

rewrite8.0ms (0.1%)

series200.0ms (1.7%)

simplify74.0ms (0.6%)

localize3.0ms (0%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify7.0ms (0.1%)

localize10.0ms (0.1%)

rewrite14.0ms (0.1%)

series94.0ms (0.8%)

simplify39.0ms (0.3%)

localize10.0ms (0.1%)

rewrite8.0ms (0.1%)

series85.0ms (0.7%)

simplify59.0ms (0.5%)

localize14.0ms (0.1%)

rewrite14.0ms (0.1%)

series211.0ms (1.8%)

simplify76.0ms (0.6%)

prune388.0ms (3.2%)

localize13.0ms (0.1%)

rewrite18.0ms (0.2%)

series399.0ms (3.3%)

simplify53.0ms (0.4%)

localize4.0ms (0%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify7.0ms (0.1%)

localize12.0ms (0.1%)

rewrite9.0ms (0.1%)

series92.0ms (0.8%)

simplify60.0ms (0.5%)

localize13.0ms (0.1%)

rewrite20.0ms (0.2%)

series136.0ms (1.1%)

simplify64.0ms (0.5%)

localize17.0ms (0.1%)

rewrite15.0ms (0.1%)

series210.0ms (1.8%)

simplify78.0ms (0.7%)

prune771.0ms (6.5%)

localize21.0ms (0.2%)

rewrite37.0ms (0.3%)

series1.3s (11%)

simplify91.0ms (0.8%)

localize3.0ms (0%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify7.0ms (0.1%)

localize18.0ms (0.1%)

rewrite36.0ms (0.3%)

series199.0ms (1.7%)

simplify68.0ms (0.6%)

localize15.0ms (0.1%)

rewrite23.0ms (0.2%)

series212.0ms (1.8%)

simplify60.0ms (0.5%)

localize16.0ms (0.1%)

rewrite30.0ms (0.3%)

series1.1s (9.3%)

simplify53.0ms (0.4%)

prune1.6s (13.1%)

simplify259.0ms (2.2%)

regimes2.1s (17.6%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample888.0ms (7.4%)

Profiling