Details

analyze63.0ms (0.1%)

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
25%	74.9%	0.1%	5
40.6%	59.3%	0.1%	6
53.1%	45.3%	1.7%	7
64%	31.2%	4.8%	8
70.2%	21.9%	7.9%	9
75.7%	15.2%	9.1%	10
78.8%	10.5%	10.6%	11
81.6%	7.5%	10.9%	12
83.1%	5.2%	11.7%	13
84.5%	3.7%	11.8%	14

Compiler

Compiled 8 to 6 computations (25% saved)

sample12.0ms (0%)

Algorithm

1×

intervals

Results

6.0ms	256×	body	128	valid
0.0ms	3×	body	128	invalid

Compiler

Compiled 15 to 13 computations (13.3% saved)

simplify101.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	45	10
1	45	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 5 computations (28.6% saved)

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite11.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-log-exp_binary64_3186`
3×	`*-un-lft-identity_binary64_3147` `sum-log_binary64_3238`
1×	`add-exp-log_binary64_3185` `flip-+_binary64_3121` `add-cbrt-cube_binary64_3183` `associate-+l+_binary64_3080` `flip3-+_binary64_3150` `add-sqr-sqrt_binary64_3169` `distribute-lft-out_binary64_3098` `pow1_binary64_3208` `+-commutative_binary64_3077` `add-cube-cbrt_binary64_3182`

Counts

1 → 14

Calls

2 calls:

10.0ms	(+.f64 (+.f64 (*.f64 x y) x) y)
0.0ms	(+.f64 (+.f64 (*.f64 x y) x) y)

series65.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

65.0ms

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

Compiler

Compiled 106 to 84 computations (20.8% saved)

simplify76.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

26 → 26

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4969	300
1	4969	300

prune59.0ms (0.1%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	13	13	26
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	13	14	27

Error

0.0b

Counts

27 → 14

Compiler

Compiled 334 to 124 computations (62.9% saved)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-log-exp_binary64_3186`
3×	`*-un-lft-identity_binary64_3147` `sum-log_binary64_3238`
1×	`add-exp-log_binary64_3185` `flip-+_binary64_3121` `add-cbrt-cube_binary64_3183` `associate-+l+_binary64_3080` `flip3-+_binary64_3150` `add-sqr-sqrt_binary64_3169` `distribute-lft-out_binary64_3098` `pow1_binary64_3208` `+-commutative_binary64_3077` `add-cube-cbrt_binary64_3182`

Counts

1 → 14

Calls

2 calls:

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

series67.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

67.0ms

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

Compiler

Compiled 142 to 120 computations (15.5% saved)

simplify74.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

26 → 26

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4969	300
1	4969	300

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

localize9.0ms (0%)

Local error

Found 6 expressions with local error:

25.9b	(/.f64 (-.f64 (.f64 (+.f64 x (.f64 x y)) (+.f64 x (.f64 x y))) (.f64 y y)) (-.f64 (+.f64 x (*.f64 x y)) y))
3.9b	(-.f64 (.f64 (+.f64 x (.f64 x y)) (+.f64 x (.f64 x y))) (.f64 y y))
0.1b	(.f64 (+.f64 x (.f64 x y)) (+.f64 x (*.f64 x y)))
0.1b	(.f64 (+.f64 x (.f64 x y)) (+.f64 x (*.f64 x y)))
3.9b	(-.f64 (.f64 (+.f64 x (.f64 x y)) (+.f64 x (.f64 x y))) (.f64 y y))
25.9b	(/.f64 (-.f64 (.f64 (+.f64 x (.f64 x y)) (+.f64 x (.f64 x y))) (.f64 y y)) (-.f64 (+.f64 x (*.f64 x y)) y))

rewrite47.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`add-sqr-sqrt_binary64_3169`
28×	`*-un-lft-identity_binary64_3147`
20×	`times-frac_binary64_3153`
18×	`add-cube-cbrt_binary64_3182`
12×	`difference-of-squares_binary64_3116`
10×	`pow1_binary64_3208`
7×	`add-exp-log_binary64_3185` `add-cbrt-cube_binary64_3183`
6×	`flip-+_binary64_3121` `flip3-+_binary64_3150`
5×	`associate-/r*_binary64_3091` `distribute-lft-out--_binary64_3099` `add-log-exp_binary64_3186`
4×	`frac-times_binary64_3157` `associate-/l*_binary64_3092`
3×	`flip--_binary64_3122` `swap-sqr_binary64_3114` `flip3--_binary64_3151` `associate-r_binary64_3087` `associate-l_binary64_3088`
2×	`associate-l/_binary64_3090` `associate--l+_binary64_3084` `associate-/l/_binary64_3094` `distribute-lft-in_binary64_3096` `associate-/r/_binary64_3093` `distribute-rgt-in_binary64_3097` `associate-r/_binary64_3089`
1×	`*-commutative_binary64_3078` `unswap-sqr_binary64_3115` `clear-num_binary64_3146` `cancel-sign-sub-inv_binary64_3113` `pow-prod-down_binary64_3218` `frac-2neg_binary64_3158` `sub-neg_binary64_3140` `prod-exp_binary64_3196` `div-sub_binary64_3152` `pow-plus_binary64_3210` `cbrt-undiv_binary64_3181` `pow2_binary64_3228` `pow-prod-up_binary64_3217` `cbrt-unprod_binary64_3180` `div-exp_binary64_3198` `diff-log_binary64_3239` `pow-sqr_binary64_3120` `div-inv_binary64_3144`

Counts

3 → 96

Calls

6 calls:

15.0ms	(/.f64 (-.f64 (.f64 (+.f64 x (.f64 x y)) (+.f64 x (.f64 x y))) (.f64 y y)) (-.f64 (+.f64 x (*.f64 x y)) y))
11.0ms	(-.f64 (.f64 (+.f64 x (.f64 x y)) (+.f64 x (.f64 x y))) (.f64 y y))
8.0ms	(.f64 (+.f64 x (.f64 x y)) (+.f64 x (*.f64 x y)))
0.0ms	(.f64 (+.f64 x (.f64 x y)) (+.f64 x (*.f64 x y)))
0.0ms	(-.f64 (.f64 (+.f64 x (.f64 x y)) (+.f64 x (.f64 x y))) (.f64 y y))

series646.0ms (1.2%)

Counts

3 → 39

Calls

3 calls:

271.0ms

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

265.0ms

(/.f64 (-.f64 (*.f64 (+.f64 x (*.f64 x y)) (+.f64 x (*.f64 x y))) (*.f64 y y)) (-.f64 (+.f64 x (*.f64 x y)) y))

110.0ms

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

Compiler

Compiled 1655 to 1242 computations (25% saved)

simplify100.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

135 → 135

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4955	3300
1	4955	3300

localize7.0ms (0%)

Local error

Found 4 expressions with local error:

2.7b	(exp.f64 (log.f64 (+.f64 y (+.f64 x (*.f64 x y)))))
0.0b	(+.f64 y (+.f64 x (*.f64 x y)))
0.0b	(+.f64 y (+.f64 x (*.f64 x y)))
2.7b	(exp.f64 (log.f64 (+.f64 y (+.f64 x (*.f64 x y)))))

rewrite13.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`*-un-lft-identity_binary64_3147`
7×	`add-log-exp_binary64_3186`
4×	`exp-sum_binary64_3193` `add-sqr-sqrt_binary64_3169` `exp-prod_binary64_3199` `add-cube-cbrt_binary64_3182` `log-prod_binary64_3233`
3×	`pow1_binary64_3208` `sum-log_binary64_3238`
2×	`add-exp-log_binary64_3185` `flip-+_binary64_3121` `add-cbrt-cube_binary64_3183` `flip3-+_binary64_3150` `distribute-lft-out_binary64_3098` `exp-diff_binary64_3195` `log-div_binary64_3234`
1×	`+-commutative_binary64_3077` `associate-+r+_binary64_3079` `rem-exp-log_binary64_3187` `log-pow_binary64_3236`

Counts

2 → 32

Calls

4 calls:

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

series770.0ms (1.4%)

Counts

2 → 24

Calls

2 calls:

700.0ms	(exp.f64 (log.f64 (+.f64 y (+.f64 x (*.f64 x y)))))
70.0ms	(+.f64 y (+.f64 x (*.f64 x y)))

Compiler

Compiled 498 to 402 computations (19.3% saved)

simplify69.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4949	697
1	4949	697

localize7.0ms (0%)

Local error

Found 6 expressions with local error:

38.4b	(cbrt.f64 (pow.f64 (+.f64 y (+.f64 x (*.f64 x y))) 3))
0.0b	(pow.f64 (+.f64 y (+.f64 x (*.f64 x y))) 3)
0.0b	(+.f64 y (+.f64 x (*.f64 x y)))
0.0b	(+.f64 y (+.f64 x (*.f64 x y)))
0.0b	(pow.f64 (+.f64 y (+.f64 x (*.f64 x y))) 3)
38.4b	(cbrt.f64 (pow.f64 (+.f64 y (+.f64 x (*.f64 x y))) 3))

rewrite21.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`*-un-lft-identity_binary64_3147`
14×	`cbrt-prod_binary64_3178`
9×	`add-sqr-sqrt_binary64_3169` `add-cube-cbrt_binary64_3182`
8×	`unpow-prod-down_binary64_3226` `cube-prod_binary64_3175` `add-log-exp_binary64_3186`
5×	`distribute-lft-out_binary64_3098`
4×	`add-exp-log_binary64_3185` `add-cbrt-cube_binary64_3183` `pow1_binary64_3208` `cube-div_binary64_3176`
3×	`flip-+_binary64_3121` `flip3-+_binary64_3150` `pow-unpow_binary64_3224` `sum-log_binary64_3238`
2×	`cbrt-div_binary64_3179` `sqr-pow_binary64_3119` `cube-mult_binary64_3177` `unpow3_binary64_3213`
1×	`rem-cbrt-cube_binary64_3171` `pow-exp_binary64_3215` `pow1/3_binary64_3229` `rem-cube-cbrt_binary64_3170` `pow-to-exp_binary64_3216` `+-commutative_binary64_3077` `associate-+r+_binary64_3079` `pow-pow_binary64_3219`

Counts

3 → 66

Calls

6 calls:

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

series332.0ms (0.6%)

Counts

3 → 48

Calls

3 calls:

186.0ms	(pow.f64 (+.f64 y (+.f64 x (*.f64 x y))) 3)
73.0ms	(cbrt.f64 (pow.f64 (+.f64 y (+.f64 x (*.f64 x y))) 3))
73.0ms	(+.f64 y (+.f64 x (*.f64 x y)))

Compiler

Compiled 1446 to 1180 computations (18.4% saved)

simplify57.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5793	2596

prune3.1s (5.8%)

Pruning

143 alts after pruning (137 fresh and 6 done)

	Pruned	Kept	Total
New	200	131	331
Fresh	2	6	8
Picked	0	0	0
Done	0	6	6
Total	202	143	345

Error

Counts

345 → 143

Compiler

Compiled 7713 to 3109 computations (59.7% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-log-exp_binary64_3186`
3×	`*-un-lft-identity_binary64_3147` `sum-log_binary64_3238`
1×	`add-exp-log_binary64_3185` `flip-+_binary64_3121` `add-cbrt-cube_binary64_3183` `associate-+l+_binary64_3080` `flip3-+_binary64_3150` `add-sqr-sqrt_binary64_3169` `distribute-lft-out_binary64_3098` `pow1_binary64_3208` `+-commutative_binary64_3077` `add-cube-cbrt_binary64_3182`

Counts

1 → 14

Calls

2 calls:

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

series74.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

74.0ms

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

Compiler

Compiled 142 to 120 computations (15.5% saved)

simplify79.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

26 → 26

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4969	300
1	4969	300

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

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(pow.f64 (+.f64 x (*.f64 x y)) 2)
0.1b	(.f64 (-.f64 (+.f64 x (.f64 x y)) y) (+.f64 (pow.f64 (+.f64 x (.f64 x y)) 2) (.f64 y y)))
0.1b	(.f64 (.f64 y y) (*.f64 y y))
0.1b	(.f64 (.f64 (+.f64 x (.f64 x y)) (+.f64 x (.f64 x y))) (.f64 (+.f64 x (.f64 x y)) (+.f64 x (*.f64 x y))))
0.1b	(.f64 (+.f64 x (.f64 x y)) (+.f64 x (*.f64 x y)))
0.1b	(pow.f64 (+.f64 x (*.f64 x y)) 2)
10.9b	(-.f64 (.f64 (.f64 (+.f64 x (.f64 x y)) (+.f64 x (.f64 x y))) (.f64 (+.f64 x (.f64 x y)) (+.f64 x (.f64 x y)))) (.f64 (.f64 y y) (.f64 y y)))
43.0b	(/.f64 (-.f64 (.f64 (.f64 (+.f64 x (.f64 x y)) (+.f64 x (.f64 x y))) (.f64 (+.f64 x (.f64 x y)) (+.f64 x (.f64 x y)))) (.f64 (.f64 y y) (.f64 y y))) (.f64 (-.f64 (+.f64 x (.f64 x y)) y) (+.f64 (pow.f64 (+.f64 x (.f64 x y)) 2) (.f64 y y))))

rewrite106.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_3169`
12×	`*-un-lft-identity_binary64_3147` `add-exp-log_binary64_3185` `pow1_binary64_3208` `add-cube-cbrt_binary64_3182`
11×	`add-cbrt-cube_binary64_3183`
9×	`flip-+_binary64_3121` `flip3-+_binary64_3150`
8×	`frac-times_binary64_3157` `associate-/r/_binary64_3093`
6×	`add-log-exp_binary64_3186`
5×	`flip--_binary64_3122` `flip3--_binary64_3151` `distribute-lft-in_binary64_3096` `distribute-rgt-in_binary64_3097`
4×	`times-frac_binary64_3153` `associate-l/_binary64_3090` `associate--l+_binary64_3084` `associate-/l_binary64_3092` `associate-*r/_binary64_3089`
3×	`unpow-prod-down_binary64_3226` `swap-sqr_binary64_3114` `associate-r_binary64_3087` `difference-of-squares_binary64_3116` `pow-unpow_binary64_3224` `associate-l_binary64_3088`
2×	`associate-/l/_binary64_3094` `prod-exp_binary64_3196` `cbrt-undiv_binary64_3181` `cbrt-unprod_binary64_3180` `div-exp_binary64_3198`
1×	`-commutative_binary64_3078` `pow-exp_binary64_3215` `unswap-sqr_binary64_3115` `clear-num_binary64_3146` `cancel-sign-sub-inv_binary64_3113` `pow-prod-down_binary64_3218` `frac-2neg_binary64_3158` `unpow2_binary64_3212` `associate-/r_binary64_3091` `pow-to-exp_binary64_3216` `sub-neg_binary64_3140` `sqr-pow_binary64_3119` `div-sub_binary64_3152` `pow-plus_binary64_3210` `pow2_binary64_3228` `pow-prod-up_binary64_3217` `diff-log_binary64_3239` `pow-pow_binary64_3219` `pow-sqr_binary64_3120` `div-inv_binary64_3144`

Counts

4 → 104

Calls

8 calls:

48.0ms	(/.f64 (-.f64 (.f64 (.f64 (+.f64 x (.f64 x y)) (+.f64 x (.f64 x y))) (.f64 (+.f64 x (.f64 x y)) (+.f64 x (.f64 x y)))) (.f64 (.f64 y y) (.f64 y y))) (.f64 (-.f64 (+.f64 x (.f64 x y)) y) (+.f64 (pow.f64 (+.f64 x (.f64 x y)) 2) (.f64 y y))))
28.0ms	(-.f64 (.f64 (.f64 (+.f64 x (.f64 x y)) (+.f64 x (.f64 x y))) (.f64 (+.f64 x (.f64 x y)) (+.f64 x (.f64 x y)))) (.f64 (.f64 y y) (.f64 y y)))
8.0ms	(.f64 (+.f64 x (.f64 x y)) (+.f64 x (*.f64 x y)))
4.0ms	(pow.f64 (+.f64 x (*.f64 x y)) 2)
0.0ms	(.f64 (.f64 (+.f64 x (.f64 x y)) (+.f64 x (.f64 x y))) (.f64 (+.f64 x (.f64 x y)) (+.f64 x (*.f64 x y))))

series2.7s (4.9%)

Counts

4 → 48

Calls

4 calls:

1.9s	(/.f64 (-.f64 (.f64 (.f64 (+.f64 x (.f64 x y)) (+.f64 x (.f64 x y))) (.f64 (+.f64 x (.f64 x y)) (+.f64 x (.f64 x y)))) (.f64 (.f64 y y) (.f64 y y))) (.f64 (-.f64 (+.f64 x (.f64 x y)) y) (+.f64 (pow.f64 (+.f64 x (.f64 x y)) 2) (.f64 y y))))
512.0ms	(-.f64 (.f64 (.f64 (+.f64 x (.f64 x y)) (+.f64 x (.f64 x y))) (.f64 (+.f64 x (.f64 x y)) (+.f64 x (.f64 x y)))) (.f64 (.f64 y y) (.f64 y y)))
121.0ms	(pow.f64 (+.f64 x (*.f64 x y)) 2)
112.0ms	(.f64 (+.f64 x (.f64 x y)) (+.f64 x (*.f64 x y)))

Compiler

Compiled 5963 to 3989 computations (33.1% saved)

simplify65.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

152 → 152

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5092	4887

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

17.8b	(cbrt.f64 (exp.f64 (.f64 3 (log.f64 (+.f64 y (+.f64 x (.f64 y x)))))))
1.0b	(exp.f64 (.f64 3 (log.f64 (+.f64 y (+.f64 x (.f64 y x))))))
0.1b	(.f64 3 (log.f64 (+.f64 y (+.f64 x (.f64 y x)))))
0.0b	(+.f64 y (+.f64 x (*.f64 y x)))
0.0b	(+.f64 y (+.f64 x (*.f64 y x)))
0.1b	(.f64 3 (log.f64 (+.f64 y (+.f64 x (.f64 y x)))))
1.0b	(exp.f64 (.f64 3 (log.f64 (+.f64 y (+.f64 x (.f64 y x))))))
17.8b	(cbrt.f64 (exp.f64 (.f64 3 (log.f64 (+.f64 y (+.f64 x (.f64 y x)))))))

rewrite38.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`*-un-lft-identity_binary64_3147`
24×	`log-prod_binary64_3233`
16×	`exp-sum_binary64_3193`
15×	`add-sqr-sqrt_binary64_3169`
13×	`add-cube-cbrt_binary64_3182`
12×	`distribute-lft-in_binary64_3096` `distribute-rgt-in_binary64_3097`
11×	`add-log-exp_binary64_3186` `cbrt-prod_binary64_3178`
7×	`distribute-lft-out_binary64_3098` `pow1_binary64_3208`
6×	`add-exp-log_binary64_3185` `add-cbrt-cube_binary64_3183`
4×	`associate-r_binary64_3087`
3×	`associate-l_binary64_3088` `sum-log_binary64_3238`
1×	`*-commutative_binary64_3078` `unswap-sqr_binary64_3115` `pow1/3_binary64_3229` `flip-+_binary64_3121` `pow-prod-down_binary64_3218` `flip3-+_binary64_3150` `+-commutative_binary64_3077` `prod-exp_binary64_3196` `exp-prod_binary64_3199` `associate-+r+_binary64_3079` `rem-exp-log_binary64_3187` `cbrt-unprod_binary64_3180` `log-pow_binary64_3236` `exp-to-pow_binary64_3209`

Counts

4 → 78

Calls

8 calls:

9.0ms	(exp.f64 (.f64 3 (log.f64 (+.f64 y (+.f64 x (.f64 y x))))))
9.0ms	(.f64 3 (log.f64 (+.f64 y (+.f64 x (.f64 y x)))))
7.0ms	(cbrt.f64 (exp.f64 (.f64 3 (log.f64 (+.f64 y (+.f64 x (.f64 y x)))))))
6.0ms	(+.f64 y (+.f64 x (*.f64 y x)))
0.0ms	(+.f64 y (+.f64 x (*.f64 y x)))

series466.0ms (0.9%)

Counts

4 → 62

Calls

4 calls:

188.0ms	(exp.f64 (.f64 3 (log.f64 (+.f64 y (+.f64 x (.f64 y x))))))
140.0ms	(.f64 3 (log.f64 (+.f64 y (+.f64 x (.f64 y x)))))
72.0ms	(+.f64 y (+.f64 x (*.f64 y x)))
66.0ms	(cbrt.f64 (exp.f64 (.f64 3 (log.f64 (+.f64 y (+.f64 x (.f64 y x)))))))

Compiler

Compiled 2082 to 1733 computations (16.8% saved)

simplify62.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

140 → 140

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5441	3112

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

0.6b	(cbrt.f64 (+.f64 x (*.f64 x y)))
0.6b	(cbrt.f64 (+.f64 x (*.f64 x y)))
0.5b	(.f64 (cbrt.f64 (+.f64 x (.f64 x y))) (cbrt.f64 (+.f64 x (*.f64 x y))))
0.2b	(.f64 (.f64 (cbrt.f64 (+.f64 x (.f64 x y))) (cbrt.f64 (+.f64 x (.f64 x y)))) (pow.f64 (cbrt.f64 (+.f64 x (*.f64 x y))) 4))
0.6b	(cbrt.f64 (+.f64 x (*.f64 x y)))
0.7b	(pow.f64 (cbrt.f64 (+.f64 x (*.f64 x y))) 4)
3.9b	(-.f64 (.f64 (.f64 (cbrt.f64 (+.f64 x (.f64 x y))) (cbrt.f64 (+.f64 x (.f64 x y)))) (pow.f64 (cbrt.f64 (+.f64 x (.f64 x y))) 4)) (.f64 y y))
25.9b	(/.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (+.f64 x (.f64 x y))) (cbrt.f64 (+.f64 x (.f64 x y)))) (pow.f64 (cbrt.f64 (+.f64 x (.f64 x y))) 4)) (.f64 y y)) (-.f64 (+.f64 x (*.f64 x y)) y))

rewrite63.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`*-un-lft-identity_binary64_3147` `add-sqr-sqrt_binary64_3169`
18×	`add-cube-cbrt_binary64_3182`
15×	`times-frac_binary64_3153`
7×	`add-exp-log_binary64_3185`
6×	`unpow-prod-down_binary64_3226` `add-cbrt-cube_binary64_3183` `add-log-exp_binary64_3186` `cbrt-prod_binary64_3178`
5×	`associate-/r*_binary64_3091` `pow1_binary64_3208`
4×	`distribute-lft-out--_binary64_3099` `difference-of-squares_binary64_3116`
3×	`flip--_binary64_3122` `flip3--_binary64_3151` `pow-unpow_binary64_3224` `associate-/l*_binary64_3092`
2×	`cbrt-div_binary64_3179` `pow1/3_binary64_3229` `associate-/l/_binary64_3094` `associate-/r/_binary64_3093` `pow-pow_binary64_3219`
1×	`pow-exp_binary64_3215` `clear-num_binary64_3146` `cancel-sign-sub-inv_binary64_3113` `flip-+_binary64_3121` `frac-2neg_binary64_3158` `flip3-+_binary64_3150` `pow-to-exp_binary64_3216` `sub-neg_binary64_3140` `sqr-pow_binary64_3119` `div-sub_binary64_3152` `cbrt-undiv_binary64_3181` `div-exp_binary64_3198` `diff-log_binary64_3239` `div-inv_binary64_3144`

Counts

4 → 86

Calls

8 calls:

27.0ms	(/.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (+.f64 x (.f64 x y))) (cbrt.f64 (+.f64 x (.f64 x y)))) (pow.f64 (cbrt.f64 (+.f64 x (.f64 x y))) 4)) (.f64 y y)) (-.f64 (+.f64 x (*.f64 x y)) y))
17.0ms	(-.f64 (.f64 (.f64 (cbrt.f64 (+.f64 x (.f64 x y))) (cbrt.f64 (+.f64 x (.f64 x y)))) (pow.f64 (cbrt.f64 (+.f64 x (.f64 x y))) 4)) (.f64 y y))
4.0ms	(pow.f64 (cbrt.f64 (+.f64 x (*.f64 x y))) 4)
3.0ms	(cbrt.f64 (+.f64 x (*.f64 x y)))
0.0ms	(.f64 (.f64 (cbrt.f64 (+.f64 x (.f64 x y))) (cbrt.f64 (+.f64 x (.f64 x y)))) (pow.f64 (cbrt.f64 (+.f64 x (*.f64 x y))) 4))

series1.2s (2.3%)

Counts

4 → 44

Calls

4 calls:

404.0ms	(-.f64 (.f64 (.f64 (cbrt.f64 (+.f64 x (.f64 x y))) (cbrt.f64 (+.f64 x (.f64 x y)))) (pow.f64 (cbrt.f64 (+.f64 x (.f64 x y))) 4)) (.f64 y y))
386.0ms	(/.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (+.f64 x (.f64 x y))) (cbrt.f64 (+.f64 x (.f64 x y)))) (pow.f64 (cbrt.f64 (+.f64 x (.f64 x y))) 4)) (.f64 y y)) (-.f64 (+.f64 x (*.f64 x y)) y))
303.0ms	(pow.f64 (cbrt.f64 (+.f64 x (*.f64 x y))) 4)
156.0ms	(cbrt.f64 (+.f64 x (*.f64 x y)))

Compiler

Compiled 2648 to 1830 computations (30.9% saved)

simplify70.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5143	3520

prune10.9s (20.1%)

Pruning

343 alts after pruning (333 fresh and 10 done)

	Pruned	Kept	Total
New	236	212	448
Fresh	11	121	132
Picked	0	0	0
Done	1	10	11
Total	248	343	591

Error

Counts

591 → 343

Compiler

Compiled 22729 to 9162 computations (59.7% saved)

localize7.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-log-exp_binary64_3186`
3×	`*-un-lft-identity_binary64_3147` `sum-log_binary64_3238`
1×	`add-exp-log_binary64_3185` `flip-+_binary64_3121` `add-cbrt-cube_binary64_3183` `associate-+l+_binary64_3080` `flip3-+_binary64_3150` `add-sqr-sqrt_binary64_3169` `distribute-lft-out_binary64_3098` `pow1_binary64_3208` `+-commutative_binary64_3077` `add-cube-cbrt_binary64_3182`

Counts

1 → 14

Calls

2 calls:

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

series73.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

73.0ms

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

Compiler

Compiled 178 to 156 computations (12.4% saved)

simplify77.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

26 → 26

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4969	300
1	4969	300

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

3.2b	(.f64 (+.f64 y 1) (.f64 y (pow.f64 x 3)))
0.2b	(.f64 6 (.f64 y y))
0.2b	(.f64 3 (+.f64 (.f64 (.f64 y x) (+.f64 y x)) (.f64 (+.f64 y 1) (*.f64 y (pow.f64 x 3)))))
0.1b	(.f64 (.f64 y x) (+.f64 y x))
4.7b	(*.f64 y (pow.f64 x 3))
6.9b	(+.f64 (.f64 3 (+.f64 (.f64 (.f64 y x) (+.f64 y x)) (.f64 (+.f64 y 1) (.f64 y (pow.f64 x 3))))) (.f64 (.f64 x x) (+.f64 x (.f64 6 (*.f64 y y)))))
8.3b	(.f64 (.f64 x x) (+.f64 x (.f64 6 (.f64 y y))))
32.3b	(cbrt.f64 (+.f64 (.f64 3 (+.f64 (.f64 (.f64 y x) (+.f64 y x)) (.f64 (+.f64 y 1) (.f64 y (pow.f64 x 3))))) (.f64 (.f64 x x) (+.f64 x (.f64 6 (*.f64 y y))))))

rewrite70.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

66×	`associate-*r/_binary64_3089`
40×	`frac-add_binary64_3155`
35×	`flip-+_binary64_3121` `flip3-+_binary64_3150`
18×	`add-sqr-sqrt_binary64_3169`
16×	`associate-*l/_binary64_3090`
15×	`associate-r_binary64_3087`
14×	`cbrt-div_binary64_3179` `add-exp-log_binary64_3185`
11×	`add-cbrt-cube_binary64_3183`
10×	`*-un-lft-identity_binary64_3147` `add-cube-cbrt_binary64_3182`
9×	`pow1_binary64_3208`
6×	`prod-exp_binary64_3196` `add-log-exp_binary64_3186`
5×	`unswap-sqr_binary64_3115`
4×	`unpow-prod-down_binary64_3226` `cube-prod_binary64_3175` `cbrt-unprod_binary64_3180` `associate-l_binary64_3088`
3×	`pow-prod-down_binary64_3218` `distribute-lft-in_binary64_3096` `distribute-rgt-in_binary64_3097` `cbrt-prod_binary64_3178`
2×	`*-commutative_binary64_3078` `associate-+l+_binary64_3080` `sqr-pow_binary64_3119` `associate-+r+_binary64_3079`
1×	`pow-exp_binary64_3215` `pow1/3_binary64_3229` `pow-to-exp_binary64_3216` `+-commutative_binary64_3077` `cube-mult_binary64_3177` `unpow3_binary64_3213` `sum-log_binary64_3238`

Counts

4 → 106

Calls

8 calls:

17.0ms	(+.f64 (.f64 3 (+.f64 (.f64 (.f64 y x) (+.f64 y x)) (.f64 (+.f64 y 1) (.f64 y (pow.f64 x 3))))) (.f64 (.f64 x x) (+.f64 x (.f64 6 (*.f64 y y)))))
14.0ms	(cbrt.f64 (+.f64 (.f64 3 (+.f64 (.f64 (.f64 y x) (+.f64 y x)) (.f64 (+.f64 y 1) (.f64 y (pow.f64 x 3))))) (.f64 (.f64 x x) (+.f64 x (.f64 6 (*.f64 y y))))))
8.0ms	(.f64 (.f64 x x) (+.f64 x (.f64 6 (.f64 y y))))
7.0ms	(*.f64 y (pow.f64 x 3))
0.0ms	(.f64 (.f64 y x) (+.f64 y x))

series1.6s (2.9%)

Counts

4 → 46

Calls

4 calls:

700.0ms	(cbrt.f64 (+.f64 (.f64 3 (+.f64 (.f64 (.f64 y x) (+.f64 y x)) (.f64 (+.f64 y 1) (.f64 y (pow.f64 x 3))))) (.f64 (.f64 x x) (+.f64 x (.f64 6 (*.f64 y y))))))
693.0ms	(+.f64 (.f64 3 (+.f64 (.f64 (.f64 y x) (+.f64 y x)) (.f64 (+.f64 y 1) (.f64 y (pow.f64 x 3))))) (.f64 (.f64 x x) (+.f64 x (.f64 6 (*.f64 y y)))))
106.0ms	(.f64 (.f64 x x) (+.f64 x (.f64 6 (.f64 y y))))
81.0ms	(*.f64 y (pow.f64 x 3))

Compiler

Compiled 3816 to 3106 computations (18.6% saved)

simplify96.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

152 → 152

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	4992	8764
1	4992	8764

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(sqrt.f64 (+.f64 y (+.f64 x (*.f64 y x))))
0.0b	(sqrt.f64 (+.f64 y (+.f64 x (*.f64 y x))))
0.0b	(+.f64 y (+.f64 x (*.f64 y x)))
0.0b	(+.f64 y (+.f64 x (*.f64 y x)))
0.0b	(sqrt.f64 (+.f64 y (+.f64 x (*.f64 y x))))
0.0b	(sqrt.f64 (+.f64 y (+.f64 x (*.f64 y x))))
0.3b	(.f64 (sqrt.f64 (+.f64 y (+.f64 x (.f64 y x)))) (sqrt.f64 (+.f64 y (+.f64 x (*.f64 y x)))))
2.7b	(exp.f64 (log.f64 (.f64 (sqrt.f64 (+.f64 y (+.f64 x (.f64 y x)))) (sqrt.f64 (+.f64 y (+.f64 x (*.f64 y x)))))))

rewrite63.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

37×	`pow1_binary64_3208`
34×	`sqrt-prod_binary64_3163`
33×	`*-un-lft-identity_binary64_3147`
31×	`add-sqr-sqrt_binary64_3169`
28×	`sqrt-div_binary64_3164`
18×	`sqrt-pow1_binary64_3165` `pow1/2_binary64_3227`
17×	`exp-prod_binary64_3199`
15×	`add-cube-cbrt_binary64_3182`
14×	`flip-+_binary64_3121` `flip3-+_binary64_3150` `log-pow_binary64_3236`
11×	`swap-sqr_binary64_3114`
10×	`pow-prod-up_binary64_3217`
8×	`frac-times_binary64_3157` `distribute-lft-out_binary64_3098` `exp-diff_binary64_3195` `log-div_binary64_3234`
7×	`associate-r_binary64_3087` `associate-l_binary64_3088`
6×	`add-exp-log_binary64_3185` `pow-prod-down_binary64_3218` `add-cbrt-cube_binary64_3183` `pow-sqr_binary64_3120`
4×	`unswap-sqr_binary64_3115` `associate-l/_binary64_3090` `rem-sqrt-square_binary64_3160` `add-log-exp_binary64_3186` `associate-r/_binary64_3089`
2×	`pow-plus_binary64_3210` `pow2_binary64_3228`
1×	`*-commutative_binary64_3078` `sqrt-unprod_binary64_3167` `exp-sum_binary64_3193` `prod-exp_binary64_3196` `sqr-abs_binary64_3162` `rem-exp-log_binary64_3187` `cbrt-unprod_binary64_3180` `log-prod_binary64_3233` `rem-square-sqrt_binary64_3159`

Counts

4 → 129

Calls

8 calls:

17.0ms	(.f64 (sqrt.f64 (+.f64 y (+.f64 x (.f64 y x)))) (sqrt.f64 (+.f64 y (+.f64 x (*.f64 y x)))))
17.0ms	(exp.f64 (log.f64 (.f64 (sqrt.f64 (+.f64 y (+.f64 x (.f64 y x)))) (sqrt.f64 (+.f64 y (+.f64 x (*.f64 y x)))))))
5.0ms	(sqrt.f64 (+.f64 y (+.f64 x (*.f64 y x))))
5.0ms	(sqrt.f64 (+.f64 y (+.f64 x (*.f64 y x))))
0.0ms	(+.f64 y (+.f64 x (*.f64 y x)))

series949.0ms (1.7%)

Counts

4 → 42

Calls

4 calls:

703.0ms	(exp.f64 (log.f64 (.f64 (sqrt.f64 (+.f64 y (+.f64 x (.f64 y x)))) (sqrt.f64 (+.f64 y (+.f64 x (*.f64 y x)))))))
86.0ms	(sqrt.f64 (+.f64 y (+.f64 x (*.f64 y x))))
81.0ms	(sqrt.f64 (+.f64 y (+.f64 x (*.f64 y x))))
79.0ms	(.f64 (sqrt.f64 (+.f64 y (+.f64 x (.f64 y x)))) (sqrt.f64 (+.f64 y (+.f64 x (*.f64 y x)))))

Compiler

Compiled 1642 to 1242 computations (24.4% saved)

simplify84.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4976	2877
1	4976	2877

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (+.f64 x (.f64 x y)) (+.f64 x (*.f64 x y)))
0.1b	(.f64 (-.f64 (+.f64 x (.f64 x y)) y) (+.f64 (pow.f64 (+.f64 x (.f64 x y)) 2) (.f64 y y)))
0.1b	(.f64 (.f64 y y) (*.f64 y y))
0.1b	(.f64 (.f64 (+.f64 x (.f64 x y)) (+.f64 x (.f64 x y))) (.f64 (.f64 (cbrt.f64 (+.f64 x (.f64 x y))) (cbrt.f64 (+.f64 x (.f64 x y)))) (pow.f64 (cbrt.f64 (+.f64 x (*.f64 x y))) 4)))
0.6b	(cbrt.f64 (+.f64 x (*.f64 x y)))
0.7b	(pow.f64 (cbrt.f64 (+.f64 x (*.f64 x y))) 4)
10.9b	(-.f64 (.f64 (.f64 (+.f64 x (.f64 x y)) (+.f64 x (.f64 x y))) (.f64 (.f64 (cbrt.f64 (+.f64 x (.f64 x y))) (cbrt.f64 (+.f64 x (.f64 x y)))) (pow.f64 (cbrt.f64 (+.f64 x (.f64 x y))) 4))) (.f64 (.f64 y y) (.f64 y y)))
43.0b	(/.f64 (-.f64 (.f64 (.f64 (+.f64 x (.f64 x y)) (+.f64 x (.f64 x y))) (.f64 (.f64 (cbrt.f64 (+.f64 x (.f64 x y))) (cbrt.f64 (+.f64 x (.f64 x y)))) (pow.f64 (cbrt.f64 (+.f64 x (.f64 x y))) 4))) (.f64 (.f64 y y) (.f64 y y))) (.f64 (-.f64 (+.f64 x (.f64 x y)) y) (+.f64 (pow.f64 (+.f64 x (.f64 x y)) 2) (.f64 y y))))

rewrite113.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`*-un-lft-identity_binary64_3147` `add-exp-log_binary64_3185` `add-sqr-sqrt_binary64_3169` `add-cube-cbrt_binary64_3182`
9×	`add-cbrt-cube_binary64_3183`
8×	`associate-/r/_binary64_3093`
6×	`unpow-prod-down_binary64_3226` `add-log-exp_binary64_3186` `cbrt-prod_binary64_3178`
5×	`flip--_binary64_3122` `flip3--_binary64_3151` `pow1_binary64_3208`
4×	`frac-times_binary64_3157` `flip-+_binary64_3121` `flip3-+_binary64_3150`
3×	`times-frac_binary64_3153` `pow-unpow_binary64_3224` `associate-/l*_binary64_3092`
2×	`cbrt-div_binary64_3179` `pow1/3_binary64_3229` `associate-l/_binary64_3090` `associate-/l/_binary64_3094` `cbrt-undiv_binary64_3181` `div-exp_binary64_3198` `pow-pow_binary64_3219` `associate-r/_binary64_3089`
1×	`pow-exp_binary64_3215` `clear-num_binary64_3146` `cancel-sign-sub-inv_binary64_3113` `frac-2neg_binary64_3158` `associate-/r*_binary64_3091` `pow-to-exp_binary64_3216` `sub-neg_binary64_3140` `sqr-pow_binary64_3119` `prod-exp_binary64_3196` `div-sub_binary64_3152` `cbrt-unprod_binary64_3180` `diff-log_binary64_3239` `div-inv_binary64_3144`

Counts

4 → 78

Calls

8 calls:

53.0ms	(/.f64 (-.f64 (.f64 (.f64 (+.f64 x (.f64 x y)) (+.f64 x (.f64 x y))) (.f64 (.f64 (cbrt.f64 (+.f64 x (.f64 x y))) (cbrt.f64 (+.f64 x (.f64 x y)))) (pow.f64 (cbrt.f64 (+.f64 x (.f64 x y))) 4))) (.f64 (.f64 y y) (.f64 y y))) (.f64 (-.f64 (+.f64 x (.f64 x y)) y) (+.f64 (pow.f64 (+.f64 x (.f64 x y)) 2) (.f64 y y))))
37.0ms	(-.f64 (.f64 (.f64 (+.f64 x (.f64 x y)) (+.f64 x (.f64 x y))) (.f64 (.f64 (cbrt.f64 (+.f64 x (.f64 x y))) (cbrt.f64 (+.f64 x (.f64 x y)))) (pow.f64 (cbrt.f64 (+.f64 x (.f64 x y))) 4))) (.f64 (.f64 y y) (.f64 y y)))
4.0ms	(pow.f64 (cbrt.f64 (+.f64 x (*.f64 x y))) 4)
3.0ms	(cbrt.f64 (+.f64 x (*.f64 x y)))
0.0ms	(.f64 (.f64 (+.f64 x (.f64 x y)) (+.f64 x (.f64 x y))) (.f64 (.f64 (cbrt.f64 (+.f64 x (.f64 x y))) (cbrt.f64 (+.f64 x (.f64 x y)))) (pow.f64 (cbrt.f64 (+.f64 x (*.f64 x y))) 4)))

series3.8s (6.9%)

Counts

4 → 40

Calls

4 calls:

2.4s	(/.f64 (-.f64 (.f64 (.f64 (+.f64 x (.f64 x y)) (+.f64 x (.f64 x y))) (.f64 (.f64 (cbrt.f64 (+.f64 x (.f64 x y))) (cbrt.f64 (+.f64 x (.f64 x y)))) (pow.f64 (cbrt.f64 (+.f64 x (.f64 x y))) 4))) (.f64 (.f64 y y) (.f64 y y))) (.f64 (-.f64 (+.f64 x (.f64 x y)) y) (+.f64 (pow.f64 (+.f64 x (.f64 x y)) 2) (.f64 y y))))
826.0ms	(-.f64 (.f64 (.f64 (+.f64 x (.f64 x y)) (+.f64 x (.f64 x y))) (.f64 (.f64 (cbrt.f64 (+.f64 x (.f64 x y))) (cbrt.f64 (+.f64 x (.f64 x y)))) (pow.f64 (cbrt.f64 (+.f64 x (.f64 x y))) 4))) (.f64 (.f64 y y) (.f64 y y)))
329.0ms	(pow.f64 (cbrt.f64 (+.f64 x (*.f64 x y))) 4)
167.0ms	(cbrt.f64 (+.f64 x (*.f64 x y)))

Compiler

Compiled 6319 to 4368 computations (30.9% saved)

simplify70.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5103	4564

prune20.1s (37%)

Pruning

512 alts after pruning (497 fresh and 15 done)

	Pruned	Kept	Total
New	287	180	467
Fresh	11	317	328
Picked	0	0	0
Done	0	15	15
Total	298	512	810

Error

Counts

810 → 512

Compiler

Compiled 15246 to 6136 computations (59.8% saved)

simplify751.0ms (1.4%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5040	42166

regimes3.6s (6.7%)

Compiler: Compiled 46412 to 23768 computations (48.8% saved)

bsearch0.0ms (0%)

regimes59.0ms (0.1%)

Compiler: Compiled 54 to 70 computations (-29.6% saved)

bsearch15.0ms (0%)

Steps

Iters	Range		Point
5	7.572297801062299e-13	2.391225614111452e-12	1.2847169968971026e-12
6	-1.824954946928564e-49	-2.132735282812009e-50	-1.706181835159425e-49

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes57.0ms (0.1%)

Compiler: Compiled 24 to 42 computations (-75% saved)

bsearch15.0ms (0%)

Steps

Iters	Range		Point
5	7.572297801062299e-13	2.391225614111452e-12	7.689496445623949e-13
6	-1.824954946928564e-49	-2.132735282812009e-50	-9.261641250575342e-50

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes43.0ms (0.1%)

Compiler: Compiled 14 to 34 computations (-142.9% saved)

bsearch17.0ms (0%)

Steps

Iters	Range		Point
5	7.572297801062299e-13	2.391225614111452e-12	1.378475912546423e-12
6	-1.824954946928564e-49	-2.132735282812009e-50	-9.261641250575342e-50

Compiler

Compiled 62 to 38 computations (38.7% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	37	76
1	37	76

end0.0ms (0%)

sample892.0ms (1.6%)

Algorithm

1×

intervals

Results

172.0ms	7999×	body	128	valid
2.0ms	86×	body	128	invalid
0.0ms	1×	body	512	valid

Compiler

Compiled 23318 to 11964 computations (48.7% saved)