Details

analyze266.0ms (0.3%)

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
31.2%	68.6%	0.1%	7
40.6%	59.3%	0.1%	8
43.7%	56.2%	0.1%	9
56.6%	43.3%	0.1%	10
61%	37.3%	1.7%	11
62.1%	34.8%	3.1%	12
68.6%	25.6%	5.8%	13
70.6%	22.1%	7.4%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample15.0ms (0%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 15 to 16 computations (-6.7% saved)

simplify112.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	357	10
1	357	10

prune1.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

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 (-.f64 y x) z)
0.0b	(+.f64 x (/.f64 (-.f64 y x) z))
0.0b	(+.f64 x (/.f64 (-.f64 y x) z))
0.0b	(/.f64 (-.f64 y x) z)

rewrite23.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`*-un-lft-identity_binary64_760`
20×	`add-sqr-sqrt_binary64_782`
15×	`times-frac_binary64_766`
12×	`add-cube-cbrt_binary64_795`
5×	`associate-/l*_binary64_705`
4×	`add-exp-log_binary64_798` `add-log-exp_binary64_799` `difference-of-squares_binary64_729` `add-cbrt-cube_binary64_796` `distribute-lft-out--_binary64_712`
3×	`associate-/r*_binary64_704`
2×	`associate-/l/_binary64_707` `div-sub_binary64_765` `pow1_binary64_821`
1×	`frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `distribute-lft-out_binary64_711` `flip3-+_binary64_763` `div-inv_binary64_757` `flip-+_binary64_734` `+-commutative_binary64_690` `sum-log_binary64_851` `div-exp_binary64_811` `clear-num_binary64_759` `associate-+r-_binary64_694` `flip--_binary64_735` `flip3--_binary64_764`

Counts

2 → 51

Calls

4 calls:

13.0ms	(+.f64 x (/.f64 (-.f64 y x) z))
7.0ms	(/.f64 (-.f64 y x) z)
0.0ms	(+.f64 x (/.f64 (-.f64 y x) z))
0.0ms	(/.f64 (-.f64 y x) z)

series257.0ms (0.2%)

Counts

2 → 33

Calls

2 calls:

147.0ms	(+.f64 x (/.f64 (-.f64 y x) z))
110.0ms	(/.f64 (-.f64 y x) z)

Compiler

Compiled 389 to 332 computations (14.7% saved)

simplify63.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5014	953

prune239.0ms (0.2%)

Pruning

41 alts after pruning (40 fresh and 1 done)

	Pruned	Kept	Total
New	44	40	84
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	44	41	85

Error

Counts

85 → 41

Compiler

Compiled 1168 to 515 computations (55.9% saved)

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (-.f64 x y) (neg.f64 z))
0.0b	(+.f64 x (/.f64 (-.f64 x y) (neg.f64 z)))
0.0b	(+.f64 x (/.f64 (-.f64 x y) (neg.f64 z)))
0.0b	(/.f64 (-.f64 x y) (neg.f64 z))

rewrite35.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

55×	`*-un-lft-identity_binary64_760`
53×	`add-sqr-sqrt_binary64_782`
50×	`times-frac_binary64_766`
31×	`add-cube-cbrt_binary64_795`
18×	`distribute-lft-neg-in_binary64_717` `distribute-rgt-neg-in_binary64_718`
11×	`difference-of-squares_binary64_729` `distribute-lft-out--_binary64_712`
10×	`associate-/r*_binary64_704`
6×	`neg-mul-1_binary64_756`
5×	`associate-/l*_binary64_705`
4×	`add-exp-log_binary64_798` `add-log-exp_binary64_799` `add-cbrt-cube_binary64_796`
2×	`associate-/l/_binary64_707` `div-sub_binary64_765` `pow1_binary64_821`
1×	`frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `distribute-lft-out_binary64_711` `flip3-+_binary64_763` `div-inv_binary64_757` `flip-+_binary64_734` `+-commutative_binary64_690` `sum-log_binary64_851` `div-exp_binary64_811` `clear-num_binary64_759` `associate-+r-_binary64_694` `flip--_binary64_735` `flip3--_binary64_764`

Counts

2 → 93

Calls

4 calls:

19.0ms	(+.f64 x (/.f64 (-.f64 x y) (neg.f64 z)))
8.0ms	(/.f64 (-.f64 x y) (neg.f64 z))
0.0ms	(+.f64 x (/.f64 (-.f64 x y) (neg.f64 z)))
0.0ms	(/.f64 (-.f64 x y) (neg.f64 z))

series292.0ms (0.3%)

Counts

2 → 33

Calls

2 calls:

153.0ms	(+.f64 x (/.f64 (-.f64 x y) (neg.f64 z)))
139.0ms	(/.f64 (-.f64 x y) (neg.f64 z))

Compiler

Compiled 393 to 336 computations (14.5% saved)

simplify72.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5001	1834

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite19.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`*-un-lft-identity_binary64_760`
20×	`add-sqr-sqrt_binary64_782`
15×	`times-frac_binary64_766`
12×	`add-cube-cbrt_binary64_795`
5×	`associate-/l*_binary64_705`
4×	`add-exp-log_binary64_798` `add-log-exp_binary64_799` `difference-of-squares_binary64_729` `add-cbrt-cube_binary64_796` `distribute-lft-out--_binary64_712`
3×	`associate-/r*_binary64_704`
2×	`associate-/l/_binary64_707` `div-sub_binary64_765` `pow1_binary64_821`
1×	`frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `distribute-lft-out_binary64_711` `flip3-+_binary64_763` `div-inv_binary64_757` `flip-+_binary64_734` `+-commutative_binary64_690` `sum-log_binary64_851` `div-exp_binary64_811` `clear-num_binary64_759` `associate-+r-_binary64_694` `flip--_binary64_735` `flip3--_binary64_764`

Counts

2 → 51

Calls

4 calls:

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

series255.0ms (0.2%)

Counts

2 → 33

Calls

2 calls:

145.0ms	(+.f64 x (/.f64 (-.f64 y x) z))
110.0ms	(/.f64 (-.f64 y x) z)

Compiler

Compiled 491 to 434 computations (11.6% saved)

simplify61.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5014	953

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(*.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (-.f64 y x) (sqrt.f64 z)))
0.2b	(/.f64 1 (sqrt.f64 z))
0.1b	(/.f64 (-.f64 y x) (sqrt.f64 z))
0.0b	(+.f64 x (*.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (-.f64 y x) (sqrt.f64 z))))
0.0b	(+.f64 x (*.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (-.f64 y x) (sqrt.f64 z))))
0.1b	(/.f64 (-.f64 y x) (sqrt.f64 z))
0.2b	(/.f64 1 (sqrt.f64 z))
0.2b	(*.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (-.f64 y x) (sqrt.f64 z)))

rewrite63.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

140×	`add-sqr-sqrt_binary64_782`
118×	`times-frac_binary64_766`
100×	`*-un-lft-identity_binary64_760`
68×	`add-cube-cbrt_binary64_795`
65×	`sqrt-prod_binary64_776`
34×	`associate-r_binary64_700`
32×	`add-exp-log_binary64_798`
22×	`associate-l_binary64_701`
20×	`add-cbrt-cube_binary64_796`
15×	`unswap-sqr_binary64_728`
13×	`difference-of-squares_binary64_729` `distribute-lft-out--_binary64_712`
12×	`associate-/r*_binary64_704`
11×	`div-exp_binary64_811`
8×	`prod-exp_binary64_809` `associate-/l*_binary64_705` `pow1_binary64_821`
6×	`cbrt-undiv_binary64_794` `add-log-exp_binary64_799`
4×	`div-inv_binary64_757` `cbrt-unprod_binary64_793`
3×	`rec-exp_binary64_810` `1-exp_binary64_804` `pow-flip_binary64_834`
2×	`frac-2neg_binary64_771` `associate-/l/_binary64_707` `clear-num_binary64_759`
1×	`associate-l/_binary64_703` `flip3-+_binary64_763` `sqrt-pow1_binary64_778` `inv-pow_binary64_845` `flip-+_binary64_734` `frac-times_binary64_770` `+-commutative_binary64_690` `sum-log_binary64_851` `div-sub_binary64_765` `associate-r/_binary64_702` `pow1/2_binary64_840` `pow-prod-down_binary64_831` `*-commutative_binary64_691` `flip--_binary64_735` `flip3--_binary64_764`

Counts

4 → 207

Calls

8 calls:

27.0ms	(*.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (-.f64 y x) (sqrt.f64 z)))
7.0ms	(/.f64 (-.f64 y x) (sqrt.f64 z))
4.0ms	(/.f64 1 (sqrt.f64 z))
4.0ms	(+.f64 x (*.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (-.f64 y x) (sqrt.f64 z))))
0.0ms	(+.f64 x (*.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (-.f64 y x) (sqrt.f64 z))))

series451.0ms (0.4%)

Counts

4 → 50

Calls

4 calls:

171.0ms	(/.f64 (-.f64 y x) (sqrt.f64 z))
154.0ms	(+.f64 x (*.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (-.f64 y x) (sqrt.f64 z))))
113.0ms	(*.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (-.f64 y x) (sqrt.f64 z)))
13.0ms	(/.f64 1 (sqrt.f64 z))

Compiler

Compiled 970 to 818 computations (15.7% saved)

simplify96.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

257 → 257

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5008	3621

localize9.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite35.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

43×	`cbrt-prod_binary64_791`
37×	`add-sqr-sqrt_binary64_782`
35×	`*-un-lft-identity_binary64_760`
18×	`cbrt-div_binary64_792`
15×	`add-cube-cbrt_binary64_795`
11×	`pow1_binary64_821`
10×	`swap-sqr_binary64_727`
9×	`pow1/3_binary64_842` `distribute-lft-out--_binary64_712` `flip--_binary64_735` `flip3--_binary64_764`
8×	`associate-r_binary64_700` `associate-l_binary64_701`
7×	`difference-of-squares_binary64_729`
6×	`add-exp-log_binary64_798`
4×	`unswap-sqr_binary64_728` `add-log-exp_binary64_799` `add-cbrt-cube_binary64_796` `frac-times_binary64_770`
2×	`associate-l/_binary64_703` `pow-sqr_binary64_733` `associate-r/_binary64_702` `pow-prod-up_binary64_830` `pow-prod-down_binary64_831`
1×	`pow2_binary64_841` `prod-exp_binary64_809` `pow-plus_binary64_823` `cbrt-unprod_binary64_793` `*-commutative_binary64_691`

Counts

4 → 101

Calls

8 calls:

15.0ms	(*.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 y x)))
3.0ms	(cbrt.f64 (-.f64 y x))
3.0ms	(cbrt.f64 (-.f64 y x))
3.0ms	(cbrt.f64 (-.f64 y x))
0.0ms	(+.f64 x (.f64 (.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 y x))) (/.f64 (cbrt.f64 (-.f64 y x)) z)))

series361.0ms (0.3%)

Counts

4 → 36

Calls

4 calls:

131.0ms	(*.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 y x)))
79.0ms	(cbrt.f64 (-.f64 y x))
76.0ms	(cbrt.f64 (-.f64 y x))
74.0ms	(cbrt.f64 (-.f64 y x))

Compiler

Compiled 1692 to 1305 computations (22.9% saved)

simplify86.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4928	1815
1	4928	1815

prune5.2s (5.1%)

Pruning

239 alts after pruning (234 fresh and 5 done)

	Pruned	Kept	Total
New	399	205	604
Fresh	6	29	35
Picked	0	0	0
Done	1	5	6
Total	406	239	645

Error

Counts

645 → 239

Compiler

Compiled 10730 to 4597 computations (57.2% saved)

localize7.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite17.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`*-un-lft-identity_binary64_760` `add-sqr-sqrt_binary64_782`
15×	`times-frac_binary64_766`
12×	`add-cube-cbrt_binary64_795`
5×	`associate-/l*_binary64_705`
4×	`add-exp-log_binary64_798` `add-log-exp_binary64_799` `difference-of-squares_binary64_729` `add-cbrt-cube_binary64_796` `distribute-lft-out--_binary64_712`
3×	`associate-/r*_binary64_704`
2×	`associate-/l/_binary64_707` `pow1_binary64_821`
1×	`frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `flip3-+_binary64_763` `div-inv_binary64_757` `flip-+_binary64_734` `+-commutative_binary64_690` `sum-log_binary64_851` `div-sub_binary64_765` `div-exp_binary64_811` `clear-num_binary64_759` `flip--_binary64_735` `flip3--_binary64_764`

Counts

2 → 49

Calls

4 calls:

8.0ms	(/.f64 (-.f64 y x) z)
4.0ms	(+.f64 x (*.f64 (/.f64 1 1) (/.f64 (-.f64 y x) z)))
0.0ms	(+.f64 x (*.f64 (/.f64 1 1) (/.f64 (-.f64 y x) z)))
0.0ms	(/.f64 (-.f64 y x) z)

series251.0ms (0.2%)

Counts

2 → 33

Calls

2 calls:

143.0ms	(+.f64 x (*.f64 (/.f64 1 1) (/.f64 (-.f64 y x) z)))
108.0ms	(/.f64 (-.f64 y x) z)

Compiler

Compiled 485 to 428 computations (11.8% saved)

simplify62.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5139	936

localize3.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 x (/.f64 x z))
0.0b	(-.f64 x (/.f64 x z))

rewrite10.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`cancel-sign-sub-inv_binary64_726` `add-sqr-sqrt_binary64_782`
10×	`*-un-lft-identity_binary64_760` `times-frac_binary64_766`
8×	`add-cube-cbrt_binary64_795`
3×	`add-log-exp_binary64_799`
2×	`difference-of-squares_binary64_729`
1×	`diff-log_binary64_852` `add-exp-log_binary64_798` `div-inv_binary64_757` `add-cbrt-cube_binary64_796` `distribute-lft-out--_binary64_712` `pow1_binary64_821` `sub-neg_binary64_753` `flip--_binary64_735` `flip3--_binary64_764`

Counts

1 → 27

Calls

2 calls:

7.0ms	(-.f64 x (/.f64 x z))
0.0ms	(-.f64 x (/.f64 x z))

series57.0ms (0.1%)

Counts

1 → 9

Calls

1 calls:

57.0ms

(-.f64 x (/.f64 x z))

Compiler

Compiled 83 to 94 computations (-13.3% saved)

simplify75.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

36 → 36

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4903	325
1	4903	325

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite15.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_791`
23×	`add-sqr-sqrt_binary64_782`
15×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
11×	`pow1_binary64_821`
9×	`pow1/3_binary64_842`
6×	`add-exp-log_binary64_798` `swap-sqr_binary64_727` `associate-r_binary64_700` `associate-l_binary64_701`
4×	`unswap-sqr_binary64_728` `add-log-exp_binary64_799` `add-cbrt-cube_binary64_796`
2×	`pow-sqr_binary64_733` `pow-prod-up_binary64_830` `pow-prod-down_binary64_831`
1×	`pow2_binary64_841` `prod-exp_binary64_809` `pow-plus_binary64_823` `cbrt-unprod_binary64_793` `*-commutative_binary64_691`

Counts

4 → 73

Calls

8 calls:

6.0ms	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)
0.0ms	(+.f64 x (/.f64 (/.f64 (-.f64 y x) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (cbrt.f64 z)))

series314.0ms (0.3%)

Counts

4 → 12

Calls

4 calls:

93.0ms	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
76.0ms	(cbrt.f64 z)
73.0ms	(cbrt.f64 z)
72.0ms	(cbrt.f64 z)

Compiler

Compiled 394 to 310 computations (21.3% saved)

simplify76.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4873	548
1	4873	548

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)) (.f64 (sqrt.f64 z) (+.f64 (.f64 y y) (.f64 x (+.f64 y x))))))
0.2b	(/.f64 1 (sqrt.f64 z))
0.0b	(+.f64 x (.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)) (.f64 (sqrt.f64 z) (+.f64 (.f64 y y) (.f64 x (+.f64 y x)))))))
0.0b	(*.f64 x (+.f64 y x))
0.6b	(.f64 (sqrt.f64 z) (+.f64 (.f64 y y) (*.f64 x (+.f64 y x))))
1.1b	(-.f64 (pow.f64 y 3) (pow.f64 x 3))
1.4b	(+.f64 (.f64 y y) (.f64 x (+.f64 y x)))
18.1b	(/.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)) (.f64 (sqrt.f64 z) (+.f64 (.f64 y y) (*.f64 x (+.f64 y x)))))

rewrite72.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

88×	`add-sqr-sqrt_binary64_782`
48×	`difference-of-squares_binary64_729`
42×	`*-un-lft-identity_binary64_760`
39×	`cube-prod_binary64_788` `unpow-prod-down_binary64_839`
25×	`associate-/l*_binary64_705` `sqr-pow_binary64_732` `times-frac_binary64_766`
15×	`distribute-lft-out--_binary64_712`
12×	`cancel-sign-sub-inv_binary64_726` `add-cube-cbrt_binary64_795`
11×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
8×	`add-log-exp_binary64_799`
6×	`associate-l_binary64_701` `pow1_binary64_821`
4×	`sqrt-prod_binary64_776` `associate-*r/_binary64_702`
3×	`flip3-+_binary64_763` `flip-+_binary64_734` `difference-cubes_binary64_762` `associate-r_binary64_700`
2×	`unswap-sqr_binary64_728` `cbrt-undiv_binary64_794` `prod-exp_binary64_809` `associate-/r/_binary64_706` `associate-/l/_binary64_707` `distribute-lft-in_binary64_709` `distribute-rgt-in_binary64_710` `associate-+r+_binary64_692` `cbrt-unprod_binary64_793` `div-exp_binary64_811` `flip--_binary64_735` `flip3--_binary64_764`
1×	`cube-mult_binary64_790` `diff-log_binary64_852` `frac-2neg_binary64_771` `unpow3_binary64_826` `associate-/r_binary64_704` `div-inv_binary64_757` `+-commutative_binary64_690` `sum-log_binary64_851` `div-sub_binary64_765` `clear-num_binary64_759` `sub-neg_binary64_753` `pow-prod-down_binary64_831` `-commutative_binary64_691`

Counts

4 → 154

Calls

8 calls:

23.0ms	(/.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)) (.f64 (sqrt.f64 z) (+.f64 (.f64 y y) (*.f64 x (+.f64 y x)))))
13.0ms	(-.f64 (pow.f64 y 3) (pow.f64 x 3))
8.0ms	(.f64 (sqrt.f64 z) (+.f64 (.f64 y y) (*.f64 x (+.f64 y x))))
7.0ms	(+.f64 (.f64 y y) (.f64 x (+.f64 y x)))
0.0ms	(*.f64 x (+.f64 y x))

series1.0s (1%)

Counts

4 → 66

Calls

4 calls:

448.0ms	(/.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)) (.f64 (sqrt.f64 z) (+.f64 (.f64 y y) (*.f64 x (+.f64 y x)))))
268.0ms	(.f64 (sqrt.f64 z) (+.f64 (.f64 y y) (*.f64 x (+.f64 y x))))
154.0ms	(-.f64 (pow.f64 y 3) (pow.f64 x 3))
141.0ms	(+.f64 (.f64 y y) (.f64 x (+.f64 y x)))

Compiler

Compiled 3062 to 2226 computations (27.3% saved)

simplify113.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

220 → 220

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	5035	4739

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)))) (cbrt.f64 (+.f64 (.f64 y y) (+.f64 (.f64 x x) (*.f64 y x))))) (/.f64 (cbrt.f64 (-.f64 y x)) z))
0.3b	(/.f64 (cbrt.f64 (-.f64 y x)) z)
0.2b	(*.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3))))
0.0b	(+.f64 x (.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)))) (cbrt.f64 (+.f64 (.f64 y y) (+.f64 (.f64 x x) (*.f64 y x))))) (/.f64 (cbrt.f64 (-.f64 y x)) z)))
1.6b	(+.f64 (.f64 x x) (.f64 y x))
12.3b	(/.f64 (.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)))) (cbrt.f64 (+.f64 (.f64 y y) (+.f64 (.f64 x x) (.f64 y x)))))
26.1b	(cbrt.f64 (+.f64 (.f64 y y) (+.f64 (.f64 x x) (*.f64 y x))))
35.0b	(cbrt.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)))

rewrite68.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

34×	`cbrt-prod_binary64_791` `add-sqr-sqrt_binary64_782`
20×	`*-un-lft-identity_binary64_760`
18×	`cbrt-div_binary64_792`
16×	`difference-of-squares_binary64_729`
12×	`cube-prod_binary64_788` `unpow-prod-down_binary64_839`
10×	`add-cube-cbrt_binary64_795`
9×	`add-exp-log_binary64_798`
8×	`associate-/l/_binary64_707` `sqr-pow_binary64_732`
7×	`flip--_binary64_735` `flip3--_binary64_764`
6×	`associate-/r*_binary64_704` `add-log-exp_binary64_799` `times-frac_binary64_766`
5×	`add-cbrt-cube_binary64_796` `distribute-lft-out--_binary64_712`
4×	`frac-times_binary64_770` `pow1_binary64_821`
3×	`flip3-+_binary64_763` `flip-+_binary64_734`
2×	`pow1/3_binary64_842` `cbrt-undiv_binary64_794` `associate-l/_binary64_703` `associate-/r/_binary64_706` `associate-r/_binary64_702` `div-exp_binary64_811`
1×	`frac-2neg_binary64_771` `prod-exp_binary64_809` `div-inv_binary64_757` `associate-/l*_binary64_705` `difference-cubes_binary64_762` `+-commutative_binary64_690` `sum-log_binary64_851` `distribute-rgt-out_binary64_713` `cbrt-unprod_binary64_793` `clear-num_binary64_759`

Counts

4 → 97

Calls

8 calls:

27.0ms	(/.f64 (.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)))) (cbrt.f64 (+.f64 (.f64 y y) (+.f64 (.f64 x x) (.f64 y x)))))
15.0ms	(cbrt.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)))
6.0ms	(cbrt.f64 (+.f64 (.f64 y y) (+.f64 (.f64 x x) (*.f64 y x))))
5.0ms	(+.f64 (.f64 x x) (.f64 y x))
0.0ms	(+.f64 x (.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)))) (cbrt.f64 (+.f64 (.f64 y y) (+.f64 (.f64 x x) (*.f64 y x))))) (/.f64 (cbrt.f64 (-.f64 y x)) z)))

series642.0ms (0.6%)

Counts

4 → 52

Calls

4 calls:

197.0ms	(cbrt.f64 (+.f64 (.f64 y y) (+.f64 (.f64 x x) (*.f64 y x))))
197.0ms	(cbrt.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)))
165.0ms	(/.f64 (.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)))) (cbrt.f64 (+.f64 (.f64 y y) (+.f64 (.f64 x x) (.f64 y x)))))
82.0ms	(+.f64 (.f64 x x) (.f64 y x))

Compiler

Compiled 2853 to 2089 computations (26.8% saved)

simplify98.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4952	3497
1	4952	3497

prune11.1s (10.8%)

Pruning

429 alts after pruning (420 fresh and 9 done)

	Pruned	Kept	Total
New	371	201	572
Fresh	10	219	229
Picked	0	0	0
Done	1	9	10
Total	382	429	811

Error

Counts

811 → 429

Compiler

Compiled 20323 to 10533 computations (48.2% saved)

localize8.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (-.f64 x y) (neg.f64 z))
0.0b	(+.f64 x (/.f64 (-.f64 x y) (neg.f64 z)))
0.0b	(+.f64 x (/.f64 (-.f64 x y) (neg.f64 z)))
0.0b	(/.f64 (-.f64 x y) (neg.f64 z))

rewrite34.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

55×	`*-un-lft-identity_binary64_760`
53×	`add-sqr-sqrt_binary64_782`
50×	`times-frac_binary64_766`
31×	`add-cube-cbrt_binary64_795`
18×	`distribute-lft-neg-in_binary64_717` `distribute-rgt-neg-in_binary64_718`
11×	`difference-of-squares_binary64_729` `distribute-lft-out--_binary64_712`
10×	`associate-/r*_binary64_704`
6×	`neg-mul-1_binary64_756`
5×	`associate-/l*_binary64_705`
4×	`add-exp-log_binary64_798` `add-log-exp_binary64_799` `add-cbrt-cube_binary64_796`
2×	`associate-/l/_binary64_707` `div-sub_binary64_765` `pow1_binary64_821`
1×	`frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `distribute-lft-out_binary64_711` `flip3-+_binary64_763` `div-inv_binary64_757` `flip-+_binary64_734` `+-commutative_binary64_690` `sum-log_binary64_851` `div-exp_binary64_811` `clear-num_binary64_759` `associate-+r-_binary64_694` `flip--_binary64_735` `flip3--_binary64_764`

Counts

2 → 93

Calls

4 calls:

16.0ms	(+.f64 x (/.f64 (-.f64 x y) (neg.f64 z)))
10.0ms	(/.f64 (-.f64 x y) (neg.f64 z))
0.0ms	(+.f64 x (/.f64 (-.f64 x y) (neg.f64 z)))
0.0ms	(/.f64 (-.f64 x y) (neg.f64 z))

series273.0ms (0.3%)

Counts

2 → 33

Calls

2 calls:

144.0ms	(+.f64 x (/.f64 (-.f64 x y) (neg.f64 z)))
129.0ms	(/.f64 (-.f64 x y) (neg.f64 z))

Compiler

Compiled 495 to 438 computations (11.5% saved)

simplify75.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5001	1834

localize3.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

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite32.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

43×	`cbrt-prod_binary64_791`
37×	`add-sqr-sqrt_binary64_782`
35×	`*-un-lft-identity_binary64_760`
18×	`cbrt-div_binary64_792`
15×	`add-cube-cbrt_binary64_795`
11×	`pow1_binary64_821`
10×	`swap-sqr_binary64_727`
9×	`pow1/3_binary64_842` `distribute-lft-out--_binary64_712` `flip--_binary64_735` `flip3--_binary64_764`
8×	`associate-r_binary64_700` `associate-l_binary64_701`
7×	`difference-of-squares_binary64_729`
6×	`add-exp-log_binary64_798`
4×	`unswap-sqr_binary64_728` `add-log-exp_binary64_799` `add-cbrt-cube_binary64_796` `frac-times_binary64_770`
2×	`associate-l/_binary64_703` `pow-sqr_binary64_733` `associate-r/_binary64_702` `pow-prod-up_binary64_830` `pow-prod-down_binary64_831`
1×	`pow2_binary64_841` `prod-exp_binary64_809` `pow-plus_binary64_823` `cbrt-unprod_binary64_793` `*-commutative_binary64_691`

Counts

4 → 101

Calls

8 calls:

12.0ms	(*.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 y x)))
4.0ms	(cbrt.f64 (-.f64 y x))
3.0ms	(cbrt.f64 (-.f64 y x))
3.0ms	(cbrt.f64 (-.f64 y x))
0.0ms	(+.f64 x (.f64 (.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 y x))) (/.f64 (*.f64 1 (cbrt.f64 (-.f64 y x))) z)))

series349.0ms (0.3%)

Counts

4 → 36

Calls

4 calls:

128.0ms	(*.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 y x)))
75.0ms	(cbrt.f64 (-.f64 y x))
73.0ms	(cbrt.f64 (-.f64 y x))
73.0ms	(cbrt.f64 (-.f64 y x))

Compiler

Compiled 1812 to 1425 computations (21.4% saved)

simplify84.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4928	1815
1	4928	1815

localize22.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(/.f64 1 (sqrt.f64 z))
0.2b	(/.f64 (sqrt.f64 z) (/.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)) (+.f64 (.f64 y y) (.f64 x (+.f64 y x)))))
0.0b	(+.f64 x (.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (pow.f64 1 3) (/.f64 (sqrt.f64 z) (/.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)) (+.f64 (.f64 y y) (*.f64 x (+.f64 y x))))))))
0.0b	(*.f64 x (+.f64 y x))
0.3b	(/.f64 (pow.f64 1 3) (/.f64 (sqrt.f64 z) (/.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)) (+.f64 (.f64 y y) (.f64 x (+.f64 y x))))))
1.1b	(-.f64 (pow.f64 y 3) (pow.f64 x 3))
1.4b	(+.f64 (.f64 y y) (.f64 x (+.f64 y x)))
35.9b	(/.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)) (+.f64 (.f64 y y) (.f64 x (+.f64 y x))))

rewrite2.4s (2.3%)

Algorithm

1×	rewrite-expression-head

Rules

18135×	`times-frac_binary64_766`
11630×	`add-sqr-sqrt_binary64_782`
8284×	`*-un-lft-identity_binary64_760`
5894×	`add-cube-cbrt_binary64_795`
4347×	`cube-prod_binary64_788` `unpow-prod-down_binary64_839`
3824×	`difference-of-squares_binary64_729`
3159×	`sqrt-prod_binary64_776`
2405×	`sqr-pow_binary64_732`
1195×	`distribute-lft-out--_binary64_712`
494×	`associate-/r*_binary64_704`
493×	`cube-mult_binary64_790` `unpow3_binary64_826`
239×	`difference-cubes_binary64_762`
172×	`associate-/r/_binary64_706`
93×	`div-inv_binary64_757`
80×	`flip3-+_binary64_763` `flip-+_binary64_734`
37×	`associate-/l*_binary64_705`
36×	`add-exp-log_binary64_798`
25×	`div-exp_binary64_811`
15×	`add-cbrt-cube_binary64_796`
12×	`cancel-sign-sub-inv_binary64_726`
8×	`add-log-exp_binary64_799`
7×	`cbrt-undiv_binary64_794`
6×	`pow-exp_binary64_828`
4×	`pow1_binary64_821`
3×	`pow-to-exp_binary64_829` `1-exp_binary64_804`
2×	`frac-2neg_binary64_771` `associate-/l/_binary64_707` `associate-+r+_binary64_692` `clear-num_binary64_759` `flip--_binary64_735` `flip3--_binary64_764`
1×	`diff-log_binary64_852` `distribute-lft-in_binary64_709` `distribute-rgt-in_binary64_710` `+-commutative_binary64_690` `sum-log_binary64_851` `div-sub_binary64_765` `sub-neg_binary64_753`

Counts

4 → 1000

Calls

8 calls:

238.0ms	(/.f64 (pow.f64 1 3) (/.f64 (sqrt.f64 z) (/.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)) (+.f64 (.f64 y y) (.f64 x (+.f64 y x))))))
22.0ms	(/.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)) (+.f64 (.f64 y y) (.f64 x (+.f64 y x))))
14.0ms	(-.f64 (pow.f64 y 3) (pow.f64 x 3))
5.0ms	(+.f64 (.f64 y y) (.f64 x (+.f64 y x)))
0.0ms	(*.f64 x (+.f64 y x))

series936.0ms (0.9%)

Counts

4 → 57

Calls

4 calls:

444.0ms	(/.f64 (pow.f64 1 3) (/.f64 (sqrt.f64 z) (/.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)) (+.f64 (.f64 y y) (.f64 x (+.f64 y x))))))
213.0ms	(/.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)) (+.f64 (.f64 y y) (.f64 x (+.f64 y x))))
148.0ms	(-.f64 (pow.f64 y 3) (pow.f64 x 3))
132.0ms	(+.f64 (.f64 y y) (.f64 x (+.f64 y x)))

Compiler

Compiled 2520 to 1916 computations (24% saved)

simplify546.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

1057 → 1057

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5204	66901

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 x (.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)) (.f64 (.f64 (sqrt.f64 z) (.f64 (cbrt.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 y x)))) (cbrt.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 y x)))))) (cbrt.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 y x))))))))
0.0b	(*.f64 x (+.f64 y x))
0.0b	(*.f64 x (+.f64 y x))
0.0b	(*.f64 x (+.f64 y x))
18.1b	(/.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)) (.f64 (.f64 (sqrt.f64 z) (.f64 (cbrt.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 y x)))) (cbrt.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 y x)))))) (cbrt.f64 (+.f64 (.f64 y y) (*.f64 x (+.f64 y x))))))
26.1b	(cbrt.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 y x))))
26.1b	(cbrt.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 y x))))
26.1b	(cbrt.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 y x))))

rewrite83.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

60×	`cbrt-div_binary64_792`
57×	`add-sqr-sqrt_binary64_782`
32×	`difference-of-squares_binary64_729` `associate-*r/_binary64_702`
30×	`flip3-+_binary64_763` `flip-+_binary64_734`
29×	`*-un-lft-identity_binary64_760`
28×	`frac-times_binary64_770`
26×	`associate-/r/_binary64_706`
25×	`associate-/l*_binary64_705` `times-frac_binary64_766`
24×	`cube-prod_binary64_788` `unpow-prod-down_binary64_839`
18×	`add-exp-log_binary64_798`
16×	`sqr-pow_binary64_732`
14×	`associate-*l/_binary64_703`
13×	`add-cbrt-cube_binary64_796`
10×	`distribute-lft-out--_binary64_712`
9×	`add-cube-cbrt_binary64_795` `cbrt-prod_binary64_791`
6×	`prod-exp_binary64_809` `cbrt-unprod_binary64_793`
4×	`cbrt-undiv_binary64_794` `add-log-exp_binary64_799` `div-exp_binary64_811` `pow1_binary64_821`
3×	`pow1/3_binary64_842`
2×	`associate-/l/_binary64_707` `difference-cubes_binary64_762`
1×	`frac-2neg_binary64_771` `associate-/r*_binary64_704` `div-inv_binary64_757` `div-sub_binary64_765` `clear-num_binary64_759` `flip--_binary64_735` `flip3--_binary64_764`

Counts

4 → 137

Calls

8 calls:

39.0ms	(/.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)) (.f64 (.f64 (sqrt.f64 z) (.f64 (cbrt.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 y x)))) (cbrt.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 y x)))))) (cbrt.f64 (+.f64 (.f64 y y) (*.f64 x (+.f64 y x))))))
4.0ms	(cbrt.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 y x))))
4.0ms	(cbrt.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 y x))))
4.0ms	(cbrt.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 y x))))
0.0ms	(*.f64 x (+.f64 y x))

series982.0ms (1%)

Counts

4 → 60

Calls

4 calls:

483.0ms	(/.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)) (.f64 (.f64 (sqrt.f64 z) (.f64 (cbrt.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 y x)))) (cbrt.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 y x)))))) (cbrt.f64 (+.f64 (.f64 y y) (*.f64 x (+.f64 y x))))))
168.0ms	(cbrt.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 y x))))
167.0ms	(cbrt.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 y x))))
163.0ms	(cbrt.f64 (+.f64 (.f64 y y) (.f64 x (+.f64 y x))))

Compiler

Compiled 4749 to 3116 computations (34.4% saved)

simplify113.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

197 → 197

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5011	7411

prune41.4s (40.1%)

Pruning

803 alts after pruning (789 fresh and 14 done)

	Pruned	Kept	Total
New	1129	388	1517
Fresh	14	401	415
Picked	0	0	0
Done	0	14	14
Total	1143	803	1946

Error

Counts

1946 → 803

Compiler

Compiled 24872 to 8981 computations (63.9% saved)

simplify824.0ms (0.8%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5776	60005

regimes10.9s (10.6%)

Compiler: Compiled 120212 to 70858 computations (41.1% saved)

bsearch0.0ms (0%)

regimes99.0ms (0.1%)

Compiler: Compiled 102 to 153 computations (-50% saved)

bsearch26.0ms (0%)

Steps

Iters	Range		Point
6	0.00019492414822200012	0.0008319452906496316	0.0008239077031671187
9	-563523360.280821	-20.5672357869754	-20.954176284113203

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes100.0ms (0.1%)

Compiler: Compiled 69 to 120 computations (-73.9% saved)

bsearch20.0ms (0%)

Steps

Iters	Range		Point
6	1.1554938844340353e+31	1.6111875413130953e+32	1.1859692905493093e+31
7	-1.0542570576563444e+94	-6.090581906761483e+91	-6.18472905606535e+91

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes116.0ms (0.1%)

Compiler: Compiled 39 to 90 computations (-130.8% saved)

bsearch92.0ms (0.1%)

Steps

Iters	Range		Point
10	0.0008319452906496316	754301602.1872205	0.9987192219560581
10	4.6854309327775836e-132	7.938775759925458e-116	7.170117062469673e-121
9	2.3565184310374524e-254	7.973758693088675e-249	3.5448107319994485e-252
8	-4.961661504469069e-29	-1.9463934549200902e-32	-2.6377701579202143e-31
7	-1.0542570576563444e+94	-6.090581906761483e+91	-6.604120182291285e+91

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes82.0ms (0.1%)

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

bsearch20.0ms (0%)

Steps

Iters	Range		Point
6	1.1554938844340353e+31	1.6111875413130953e+32	1.429772539471502e+31
7	-1.0542570576563444e+94	-6.090581906761483e+91	-2.2766525948970015e+92

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes28.0ms (0%)

Accuracy

Total 0.0b remaining (98.3%)

Threshold costs 0.0b (98.3%)

Compiler

Compiled 18 to 63 computations (-250% saved)

bsearch5.0ms (0%)

Compiler: Compiled 95 to 64 computations (32.6% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	72	130
1	72	130

end0.0ms (0%)

sample21.4s (20.8%)

Algorithm

1×

intervals

Results

210.0ms	8000×	body	128	valid
34.0ms	1362×	body	128	invalid

Compiler

Compiled 30329 to 17912 computations (40.9% saved)

Pareto

0.10580952302162404