Details

analyze392.0ms (0.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
26.5%	73.3%	0.1%	8
33.5%	66.3%	0.1%	9
49.1%	50.7%	0.1%	10
56.9%	42.9%	0.1%	11
60.8%	39%	0.1%	12
69%	30.9%	0.1%	13
72.5%	27.3%	0.1%	14

Compiler

Compiled 13 to 10 computations (23.1% saved)

sample35.0ms (0%)

Algorithm

1×

intervals

Results

12.0ms	92×	body	1024	valid
7.0ms	26×	body	2048	valid
3.0ms	35×	body	512	valid
3.0ms	77×	body	128	valid
2.0ms	26×	body	256	valid

Compiler

Compiled 25 to 22 computations (12% saved)

simplify125.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	504	17
1	504	17

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

44.2b

Counts

2 → 1

Compiler

Compiled 12 to 9 computations (25% saved)

localize8.0ms (0%)

Local error

Found 2 expressions with local error:

9.1b	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))
9.1b	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))

rewrite12.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-log-exp_binary64_799`
9×	`*-un-lft-identity_binary64_760`
4×	`cancel-sign-sub-inv_binary64_726` `add-sqr-sqrt_binary64_782`
3×	`diff-log_binary64_852` `sum-log_binary64_851`
2×	`distribute-lft-out_binary64_711` `add-cube-cbrt_binary64_795` `distribute-lft-out--_binary64_712`
1×	`add-exp-log_binary64_798` `difference-of-squares_binary64_729` `add-cbrt-cube_binary64_796` `associate--r+_binary64_696` `pow1_binary64_821` `sub-neg_binary64_753` `flip--_binary64_735` `flip3--_binary64_764`

Counts

1 → 21

Calls

2 calls:

10.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))
0.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))

series121.0ms (0.1%)

Counts

1 → 18

Calls

1 calls:

121.0ms

(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))

Compiler

Compiled 268 to 218 computations (18.7% saved)

simplify64.0ms (0%)

Algorithm

1×	egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4940	675
1	4940	675

prune76.0ms (0%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	25	14	39
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	25	15	40

Error

43.0b

Counts

40 → 15

Compiler

Compiled 588 to 287 computations (51.2% saved)

localize10.0ms (0%)

Local error

Found 2 expressions with local error:

9.1b	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
9.1b	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))

rewrite11.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-log-exp_binary64_799`
9×	`*-un-lft-identity_binary64_760`
4×	`cancel-sign-sub-inv_binary64_726` `add-sqr-sqrt_binary64_782`
3×	`diff-log_binary64_852` `sum-log_binary64_851`
2×	`distribute-lft-out_binary64_711` `add-cube-cbrt_binary64_795` `distribute-lft-out--_binary64_712`
1×	`add-exp-log_binary64_798` `difference-of-squares_binary64_729` `add-cbrt-cube_binary64_796` `associate--r+_binary64_696` `pow1_binary64_821` `sub-neg_binary64_753` `flip--_binary64_735` `flip3--_binary64_764`

Counts

1 → 21

Calls

2 calls:

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

series119.0ms (0.1%)

Counts

1 → 18

Calls

1 calls:

119.0ms

(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))

Compiler

Compiled 349 to 299 computations (14.3% saved)

simplify42.0ms (0%)

Algorithm

1×	egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	4930	675
1	4930	675

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

localize7.0ms (0%)

Local error

Found 2 expressions with local error:

8.0b	(-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y)))
8.0b	(-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y)))

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-log-exp_binary64_799`
4×	`*-un-lft-identity_binary64_760` `add-sqr-sqrt_binary64_782`
3×	`cancel-sign-sub-inv_binary64_726`
2×	`diff-log_binary64_852` `add-cube-cbrt_binary64_795`
1×	`add-exp-log_binary64_798` `difference-of-squares_binary64_729` `add-cbrt-cube_binary64_796` `distribute-lft-out--_binary64_712` `sum-log_binary64_851` `associate--r+_binary64_696` `pow1_binary64_821` `sub-neg_binary64_753` `flip--_binary64_735` `flip3--_binary64_764`

Counts

1 → 18

Calls

2 calls:

6.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y)))
0.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y)))

series93.0ms (0%)

Counts

1 → 15

Calls

1 calls:

93.0ms

(-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y)))

Compiler

Compiled 212 to 180 computations (15.1% saved)

simplify71.0ms (0%)

Algorithm

1×	egg-herbie

Counts

33 → 33

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5285	510

localize9.0ms (0%)

Local error

Found 2 expressions with local error:

9.1b	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))
9.1b	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))

rewrite12.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-log-exp_binary64_799`
9×	`*-un-lft-identity_binary64_760`
4×	`cancel-sign-sub-inv_binary64_726` `add-sqr-sqrt_binary64_782`
3×	`diff-log_binary64_852` `sum-log_binary64_851`
2×	`distribute-lft-out_binary64_711` `add-cube-cbrt_binary64_795` `distribute-lft-out--_binary64_712`
1×	`add-exp-log_binary64_798` `difference-of-squares_binary64_729` `add-cbrt-cube_binary64_796` `associate--r+_binary64_696` `pow1_binary64_821` `sub-neg_binary64_753` `flip--_binary64_735` `flip3--_binary64_764`

Counts

1 → 21

Calls

2 calls:

9.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))
0.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))

series119.0ms (0.1%)

Counts

1 → 18

Calls

1 calls:

118.0ms

(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))

Compiler

Compiled 322 to 272 computations (15.5% saved)

simplify66.0ms (0%)

Algorithm

1×	egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4940	675
1	4940	675

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

2.9b	(sqrt.f64 (+.f64 1 (+.f64 z (*.f64 x y))))
0.2b	(pow.f64 (sqrt.f64 (+.f64 1 (+.f64 z (*.f64 x y)))) 4)
0.1b	(*.f64 (fma.f64 x y z) (fma.f64 x y z))
0.0b	(+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
0.2b	(pow.f64 (sqrt.f64 (+.f64 1 (+.f64 z (*.f64 x y)))) 4)
2.9b	(sqrt.f64 (+.f64 1 (+.f64 z (*.f64 x y))))
9.8b	(/.f64 (-.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (pow.f64 (sqrt.f64 (+.f64 1 (+.f64 z (.f64 x y)))) 4)) (+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y)))))
20.4b	(-.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (pow.f64 (sqrt.f64 (+.f64 1 (+.f64 z (.f64 x y)))) 4))

rewrite60.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

71×	`*-un-lft-identity_binary64_760`
47×	`add-sqr-sqrt_binary64_782`
35×	`times-frac_binary64_766`
28×	`difference-of-squares_binary64_729` `unpow-prod-down_binary64_839`
27×	`distribute-lft-out_binary64_711`
25×	`add-cube-cbrt_binary64_795`
19×	`sqrt-prod_binary64_776`
11×	`cancel-sign-sub-inv_binary64_726`
9×	`sqr-pow_binary64_732`
7×	`add-exp-log_binary64_798` `associate-/l*_binary64_705` `pow1_binary64_821`
6×	`add-log-exp_binary64_799` `add-cbrt-cube_binary64_796`
5×	`associate-/r*_binary64_704`
3×	`pow-unpow_binary64_837` `pow-pow_binary64_832`
2×	`associate-/r/_binary64_706` `flip3-+_binary64_763` `associate-/l/_binary64_707` `sqrt-pow1_binary64_778` `sqrt-div_binary64_777` `flip-+_binary64_734` `pow1/2_binary64_840` `flip--_binary64_735` `flip3--_binary64_764`
1×	`diff-log_binary64_852` `rem-sqrt-square_binary64_773` `frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `pow-exp_binary64_828` `div-inv_binary64_757` `pow-to-exp_binary64_829` `div-sub_binary64_765` `div-exp_binary64_811` `clear-num_binary64_759` `sub-neg_binary64_753` `sqrt-pow2_binary64_779`

Counts

4 → 130

Calls

8 calls:

20.0ms	(/.f64 (-.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (pow.f64 (sqrt.f64 (+.f64 1 (+.f64 z (.f64 x y)))) 4)) (+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y)))))
11.0ms	(-.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (pow.f64 (sqrt.f64 (+.f64 1 (+.f64 z (.f64 x y)))) 4))
6.0ms	(pow.f64 (sqrt.f64 (+.f64 1 (+.f64 z (*.f64 x y)))) 4)
5.0ms	(sqrt.f64 (+.f64 1 (+.f64 z (*.f64 x y))))
0.0ms	(+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))

series1.9s (0.9%)

Counts

4 → 82

Calls

4 calls:

982.0ms	(/.f64 (-.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (pow.f64 (sqrt.f64 (+.f64 1 (+.f64 z (.f64 x y)))) 4)) (+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y)))))
420.0ms	(pow.f64 (sqrt.f64 (+.f64 1 (+.f64 z (*.f64 x y)))) 4)
346.0ms	(-.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (pow.f64 (sqrt.f64 (+.f64 1 (+.f64 z (.f64 x y)))) 4))
123.0ms	(sqrt.f64 (+.f64 1 (+.f64 z (*.f64 x y))))

Compiler

Compiled 6758 to 4157 computations (38.5% saved)

simplify110.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

212 → 212

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5033	11200

prune2.6s (1.2%)

Pruning

139 alts after pruning (134 fresh and 5 done)

	Pruned	Kept	Total
New	198	125	323
Fresh	0	9	9
Picked	0	0	0
Done	1	5	6
Total	199	139	338

Error

42.7b

Counts

338 → 139

Compiler

Compiled 14120 to 6590 computations (53.3% saved)

localize11.0ms (0%)

Local error

Found 6 expressions with local error:

9.1b	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
9.1b	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
9.1b	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
9.1b	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
9.1b	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
9.1b	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))

rewrite38.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`add-log-exp_binary64_799`
27×	`*-un-lft-identity_binary64_760`
12×	`cancel-sign-sub-inv_binary64_726` `add-sqr-sqrt_binary64_782`
9×	`diff-log_binary64_852` `sum-log_binary64_851`
6×	`distribute-lft-out_binary64_711` `add-cube-cbrt_binary64_795` `distribute-lft-out--_binary64_712`
3×	`add-exp-log_binary64_798` `difference-of-squares_binary64_729` `add-cbrt-cube_binary64_796` `associate--r+_binary64_696` `pow1_binary64_821` `sub-neg_binary64_753` `flip--_binary64_735` `flip3--_binary64_764`

Counts

3 → 63

Calls

6 calls:

11.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
9.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
8.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
0.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
0.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))

series387.0ms (0.2%)

Counts

3 → 54

Calls

3 calls:

133.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
127.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
126.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))

Compiler

Compiled 3153 to 1656 computations (47.5% saved)

simplify56.0ms (0%)

Algorithm

1×	egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	4930	2025
1	4930	2025

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

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

1.2b	(.f64 (.f64 2 x) (+.f64 y (*.f64 y z)))
0.1b	(*.f64 (fma.f64 x y z) (fma.f64 x y z))
0.0b	(+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
0.0b	(*.f64 z (+.f64 z 2))
1.2b	(.f64 (.f64 2 x) (+.f64 y (*.f64 y z)))
2.6b	(+.f64 (.f64 (.f64 2 x) (+.f64 y (.f64 y z))) (+.f64 (.f64 z (+.f64 z 2)) 1))
13.4b	(/.f64 (-.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (+.f64 (.f64 (.f64 2 x) (+.f64 y (.f64 y z))) (+.f64 (.f64 z (+.f64 z 2)) 1))) (+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (.f64 x y)))))
19.9b	(-.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (+.f64 (.f64 (.f64 2 x) (+.f64 y (.f64 y z))) (+.f64 (*.f64 z (+.f64 z 2)) 1)))

rewrite81.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

42×	`*-un-lft-identity_binary64_760`
24×	`add-sqr-sqrt_binary64_782`
20×	`times-frac_binary64_766`
18×	`add-log-exp_binary64_799`
17×	`add-cube-cbrt_binary64_795`
15×	`distribute-lft-out_binary64_711`
11×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
9×	`pow1_binary64_821`
7×	`flip3-+_binary64_763` `difference-of-squares_binary64_729` `flip-+_binary64_734`
6×	`sum-log_binary64_851` `associate-*r/_binary64_702`
5×	`associate-/r*_binary64_704`
4×	`frac-add_binary64_768` `associate-/l*_binary64_705`
3×	`diff-log_binary64_852` `prod-exp_binary64_809` `cancel-sign-sub-inv_binary64_726` `associate-r_binary64_700` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831`
2×	`associate-/r/_binary64_706` `associate-/l/_binary64_707` `distribute-lft-in_binary64_709` `associate-+l+_binary64_693` `distribute-rgt-in_binary64_710` `flip--_binary64_735` `flip3--_binary64_764`
1×	`frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `div-inv_binary64_757` `associate-+r+_binary64_692` `+-commutative_binary64_690` `associate-l_binary64_701` `div-sub_binary64_765` `associate--r+_binary64_696` `div-exp_binary64_811` `clear-num_binary64_759` `sub-neg_binary64_753` `*-commutative_binary64_691`

Counts

4 → 105

Calls

8 calls:

24.0ms	(/.f64 (-.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (+.f64 (.f64 (.f64 2 x) (+.f64 y (.f64 y z))) (+.f64 (.f64 z (+.f64 z 2)) 1))) (+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (.f64 x y)))))
15.0ms	(-.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (+.f64 (.f64 (.f64 2 x) (+.f64 y (.f64 y z))) (+.f64 (*.f64 z (+.f64 z 2)) 1)))
14.0ms	(+.f64 (.f64 (.f64 2 x) (+.f64 y (.f64 y z))) (+.f64 (.f64 z (+.f64 z 2)) 1))
10.0ms	(.f64 (.f64 2 x) (+.f64 y (*.f64 y z)))
0.0ms	(*.f64 z (+.f64 z 2))

series2.0s (0.9%)

Counts

4 → 77

Calls

4 calls:

1.1s	(/.f64 (-.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (+.f64 (.f64 (.f64 2 x) (+.f64 y (.f64 y z))) (+.f64 (.f64 z (+.f64 z 2)) 1))) (+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (.f64 x y)))))
445.0ms	(-.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (+.f64 (.f64 (.f64 2 x) (+.f64 y (.f64 y z))) (+.f64 (*.f64 z (+.f64 z 2)) 1)))
345.0ms	(+.f64 (.f64 (.f64 2 x) (+.f64 y (.f64 y z))) (+.f64 (.f64 z (+.f64 z 2)) 1))
153.0ms	(.f64 (.f64 2 x) (+.f64 y (*.f64 y z)))

Compiler

Compiled 7157 to 4275 computations (40.3% saved)

simplify114.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

182 → 182

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4982	9263
1	4982	9263

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

2.9b	(sqrt.f64 (+.f64 1 (+.f64 z (*.f64 x y))))
0.9b	(exp.f64 (.f64 4 (log.f64 (sqrt.f64 (+.f64 1 (+.f64 z (.f64 x y)))))))
0.1b	(*.f64 (fma.f64 x y z) (fma.f64 x y z))
0.0b	(+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
2.9b	(sqrt.f64 (+.f64 1 (+.f64 z (*.f64 x y))))
2.9b	(log.f64 (sqrt.f64 (+.f64 1 (+.f64 z (*.f64 x y)))))
12.1b	(/.f64 (-.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (exp.f64 (.f64 4 (log.f64 (sqrt.f64 (+.f64 1 (+.f64 z (.f64 x y)))))))) (+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (.f64 x y)))))
22.3b	(-.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (exp.f64 (.f64 4 (log.f64 (sqrt.f64 (+.f64 1 (+.f64 z (*.f64 x y))))))))

rewrite68.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

80×	`*-un-lft-identity_binary64_760`
63×	`add-sqr-sqrt_binary64_782`
49×	`log-prod_binary64_846`
42×	`exp-sum_binary64_806`
40×	`times-frac_binary64_766`
35×	`difference-of-squares_binary64_729`
31×	`distribute-lft-out_binary64_711`
30×	`sqrt-prod_binary64_776`
27×	`add-cube-cbrt_binary64_795`
21×	`distribute-lft-in_binary64_709` `distribute-rgt-in_binary64_710`
17×	`cancel-sign-sub-inv_binary64_726`
8×	`associate-/l*_binary64_705`
7×	`add-exp-log_binary64_798` `pow1_binary64_821`
6×	`add-log-exp_binary64_799` `add-cbrt-cube_binary64_796`
5×	`associate-/r*_binary64_704`
4×	`sqrt-div_binary64_777`
3×	`flip3-+_binary64_763` `flip-+_binary64_734` `log-pow_binary64_849`
2×	`log-div_binary64_847` `associate-/r/_binary64_706` `associate-/l/_binary64_707` `sqrt-pow1_binary64_778` `pow1/2_binary64_840` `flip--_binary64_735` `flip3--_binary64_764`
1×	`diff-log_binary64_852` `rem-sqrt-square_binary64_773` `frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `div-inv_binary64_757` `div-sub_binary64_765` `rem-log-exp_binary64_801` `div-exp_binary64_811` `clear-num_binary64_759` `sub-neg_binary64_753`

Counts

4 → 139

Calls

8 calls:

21.0ms	(/.f64 (-.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (exp.f64 (.f64 4 (log.f64 (sqrt.f64 (+.f64 1 (+.f64 z (.f64 x y)))))))) (+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (.f64 x y)))))
13.0ms	(-.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (exp.f64 (.f64 4 (log.f64 (sqrt.f64 (+.f64 1 (+.f64 z (*.f64 x y))))))))
6.0ms	(log.f64 (sqrt.f64 (+.f64 1 (+.f64 z (*.f64 x y)))))
5.0ms	(sqrt.f64 (+.f64 1 (+.f64 z (*.f64 x y))))
0.0ms	(+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))

series1.6s (0.8%)

Counts

4 → 83

Calls

4 calls:

998.0ms	(/.f64 (-.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (exp.f64 (.f64 4 (log.f64 (sqrt.f64 (+.f64 1 (+.f64 z (.f64 x y)))))))) (+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (.f64 x y)))))
354.0ms	(-.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (exp.f64 (.f64 4 (log.f64 (sqrt.f64 (+.f64 1 (+.f64 z (*.f64 x y))))))))
143.0ms	(log.f64 (sqrt.f64 (+.f64 1 (+.f64 z (*.f64 x y)))))
123.0ms	(sqrt.f64 (+.f64 1 (+.f64 z (*.f64 x y))))

Compiler

Compiled 6774 to 4179 computations (38.3% saved)

simplify124.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

222 → 222

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	4997	12375
1	4997	12375

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

1.1b	(pow.f64 (pow.f64 (sqrt.f64 (+.f64 1 (+.f64 z (.f64 x y)))) (.f64 (cbrt.f64 4) (cbrt.f64 4))) (cbrt.f64 4))
1.0b	(*.f64 (cbrt.f64 4) (cbrt.f64 4))
0.1b	(*.f64 (fma.f64 x y z) (fma.f64 x y z))
0.0b	(+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
1.3b	(pow.f64 (sqrt.f64 (+.f64 1 (+.f64 z (.f64 x y)))) (.f64 (cbrt.f64 4) (cbrt.f64 4)))
2.9b	(sqrt.f64 (+.f64 1 (+.f64 z (*.f64 x y))))
12.2b	(/.f64 (-.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (pow.f64 (pow.f64 (sqrt.f64 (+.f64 1 (+.f64 z (.f64 x y)))) (.f64 (cbrt.f64 4) (cbrt.f64 4))) (cbrt.f64 4))) (+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (.f64 x y)))))
23.5b	(-.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (pow.f64 (pow.f64 (sqrt.f64 (+.f64 1 (+.f64 z (.f64 x y)))) (*.f64 (cbrt.f64 4) (cbrt.f64 4))) (cbrt.f64 4)))

rewrite78.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

83×	`*-un-lft-identity_binary64_760`
67×	`unpow-prod-down_binary64_839`
56×	`add-sqr-sqrt_binary64_782`
45×	`times-frac_binary64_766`
42×	`difference-of-squares_binary64_729`
33×	`distribute-lft-out_binary64_711`
27×	`add-cube-cbrt_binary64_795`
19×	`sqrt-prod_binary64_776`
17×	`sqr-pow_binary64_732`
15×	`cancel-sign-sub-inv_binary64_726`
9×	`associate-/l*_binary64_705`
7×	`add-exp-log_binary64_798` `pow1_binary64_821`
6×	`add-log-exp_binary64_799` `add-cbrt-cube_binary64_796`
5×	`associate-/r*_binary64_704`
3×	`pow-pow_binary64_832`
2×	`associate-/r/_binary64_706` `flip3-+_binary64_763` `associate-/l/_binary64_707` `sqrt-pow1_binary64_778` `sqrt-div_binary64_777` `flip-+_binary64_734` `pow1/2_binary64_840` `flip--_binary64_735` `flip3--_binary64_764`
1×	`diff-log_binary64_852` `rem-sqrt-square_binary64_773` `frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `pow-exp_binary64_828` `div-inv_binary64_757` `pow-to-exp_binary64_829` `div-sub_binary64_765` `div-exp_binary64_811` `clear-num_binary64_759` `sub-neg_binary64_753` `pow-unpow_binary64_837` `sqrt-pow2_binary64_779`

Counts

4 → 146

Calls

8 calls:

23.0ms	(/.f64 (-.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (pow.f64 (pow.f64 (sqrt.f64 (+.f64 1 (+.f64 z (.f64 x y)))) (.f64 (cbrt.f64 4) (cbrt.f64 4))) (cbrt.f64 4))) (+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (.f64 x y)))))
13.0ms	(-.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (pow.f64 (pow.f64 (sqrt.f64 (+.f64 1 (+.f64 z (.f64 x y)))) (*.f64 (cbrt.f64 4) (cbrt.f64 4))) (cbrt.f64 4)))
11.0ms	(pow.f64 (sqrt.f64 (+.f64 1 (+.f64 z (.f64 x y)))) (.f64 (cbrt.f64 4) (cbrt.f64 4)))
5.0ms	(sqrt.f64 (+.f64 1 (+.f64 z (*.f64 x y))))
0.0ms	(+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))

series3.3s (1.5%)

Counts

4 → 62

Calls

4 calls:

1.8s	(/.f64 (-.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (pow.f64 (pow.f64 (sqrt.f64 (+.f64 1 (+.f64 z (.f64 x y)))) (.f64 (cbrt.f64 4) (cbrt.f64 4))) (cbrt.f64 4))) (+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (.f64 x y)))))
870.0ms	(-.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (pow.f64 (pow.f64 (sqrt.f64 (+.f64 1 (+.f64 z (.f64 x y)))) (*.f64 (cbrt.f64 4) (cbrt.f64 4))) (cbrt.f64 4)))
448.0ms	(pow.f64 (sqrt.f64 (+.f64 1 (+.f64 z (.f64 x y)))) (.f64 (cbrt.f64 4) (cbrt.f64 4)))
138.0ms	(sqrt.f64 (+.f64 1 (+.f64 z (*.f64 x y))))

Compiler

Compiled 10100 to 7403 computations (26.7% saved)

simplify150.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

208 → 208

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4955	13302
1	4955	13302

prune17.4s (8.1%)

Pruning

385 alts after pruning (375 fresh and 10 done)

	Pruned	Kept	Total
New	480	249	729
Fresh	3	126	129
Picked	0	0	0
Done	0	10	10
Total	483	385	868

Error

32.8b

Counts

868 → 385

Compiler

Compiled 45387 to 23235 computations (48.8% saved)

localize14.0ms (0%)

Local error

Found 2 expressions with local error:

9.1b	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
9.1b	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))

rewrite12.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-log-exp_binary64_799`
9×	`*-un-lft-identity_binary64_760`
4×	`cancel-sign-sub-inv_binary64_726` `add-sqr-sqrt_binary64_782`
3×	`diff-log_binary64_852` `sum-log_binary64_851`
2×	`distribute-lft-out_binary64_711` `add-cube-cbrt_binary64_795` `distribute-lft-out--_binary64_712`
1×	`add-exp-log_binary64_798` `difference-of-squares_binary64_729` `add-cbrt-cube_binary64_796` `associate--r+_binary64_696` `pow1_binary64_821` `sub-neg_binary64_753` `flip--_binary64_735` `flip3--_binary64_764`

Counts

1 → 21

Calls

2 calls:

10.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
0.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))

series119.0ms (0.1%)

Counts

1 → 18

Calls

1 calls:

118.0ms

(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))

Compiler

Compiled 403 to 353 computations (12.4% saved)

simplify42.0ms (0%)

Algorithm

1×	egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	4930	675
1	4930	675

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

6.4b	(/.f64 (.f64 -2 (+.f64 x (.f64 x z))) x)
0.0b	(+.f64 x (*.f64 x z))
0.0b	(+.f64 x (*.f64 x z))
6.4b	(/.f64 (.f64 -2 (+.f64 x (.f64 x z))) x)

rewrite11.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
4×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `add-log-exp_binary64_799` `add-sqr-sqrt_binary64_782`
3×	`associate-/r*_binary64_704` `times-frac_binary64_766`
2×	`cbrt-undiv_binary64_794` `flip3-+_binary64_763` `associate-/l/_binary64_707` `flip-+_binary64_734` `associate-*r/_binary64_702` `div-exp_binary64_811` `pow1_binary64_821`
1×	`frac-2neg_binary64_771` `prod-exp_binary64_809` `div-inv_binary64_757` `associate-/l*_binary64_705` `+-commutative_binary64_690` `sum-log_binary64_851` `cbrt-unprod_binary64_793` `clear-num_binary64_759`

Counts

2 → 34

Calls

4 calls:

6.0ms	(/.f64 (.f64 -2 (+.f64 x (.f64 x z))) x)
3.0ms	(+.f64 x (*.f64 x z))
0.0ms	(+.f64 x (*.f64 x z))
0.0ms	(/.f64 (.f64 -2 (+.f64 x (.f64 x z))) x)

series133.0ms (0.1%)

Counts

2 → 16

Calls

2 calls:

87.0ms	(/.f64 (.f64 -2 (+.f64 x (.f64 x z))) x)
46.0ms	(+.f64 x (*.f64 x z))

Compiler

Compiled 193 to 218 computations (-13% saved)

simplify84.0ms (0%)

Algorithm

1×	egg-herbie

Counts

50 → 50

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4920	485
1	4920	485

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

5.4b	(.f64 (+.f64 (fma.f64 x y z) (fabs.f64 (+.f64 1 (+.f64 z (.f64 x y))))) (-.f64 (fma.f64 x y z) (fabs.f64 (+.f64 1 (+.f64 z (*.f64 x y))))))
5.4b	(-.f64 (fma.f64 x y z) (fabs.f64 (+.f64 1 (+.f64 z (*.f64 x y)))))
3.7b	(+.f64 (fma.f64 x y z) (fabs.f64 (+.f64 1 (+.f64 z (*.f64 x y)))))
0.0b	(+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
0.0b	(+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
3.7b	(+.f64 (fma.f64 x y z) (fabs.f64 (+.f64 1 (+.f64 z (*.f64 x y)))))
5.4b	(-.f64 (fma.f64 x y z) (fabs.f64 (+.f64 1 (+.f64 z (*.f64 x y)))))
5.4b	(.f64 (+.f64 (fma.f64 x y z) (fabs.f64 (+.f64 1 (+.f64 z (.f64 x y))))) (-.f64 (fma.f64 x y z) (fabs.f64 (+.f64 1 (+.f64 z (*.f64 x y))))))

rewrite39.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`*-un-lft-identity_binary64_760`
17×	`add-log-exp_binary64_799`
15×	`add-sqr-sqrt_binary64_782`
9×	`cancel-sign-sub-inv_binary64_726` `add-cube-cbrt_binary64_795`
7×	`sum-log_binary64_851`
6×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `pow1_binary64_821`
5×	`distribute-lft-out_binary64_711` `flip3-+_binary64_763` `flip-+_binary64_734` `associate-r_binary64_700`
4×	`distribute-lft-in_binary64_709` `distribute-rgt-in_binary64_710` `frac-times_binary64_770` `associate-l_binary64_701` `flip--_binary64_735` `flip3--_binary64_764`
3×	`sub-neg_binary64_753`
2×	`associate-l/_binary64_703` `difference-of-squares_binary64_729` `distribute-lft-out--_binary64_712` `+-commutative_binary64_690` `associate-r/_binary64_702`
1×	`diff-log_binary64_852` `unswap-sqr_binary64_728` `prod-exp_binary64_809` `associate-+r+_binary64_692` `cbrt-unprod_binary64_793` `pow-prod-down_binary64_831` `*-commutative_binary64_691`

Counts

4 → 81

Calls

8 calls:

10.0ms	(.f64 (+.f64 (fma.f64 x y z) (fabs.f64 (+.f64 1 (+.f64 z (.f64 x y))))) (-.f64 (fma.f64 x y z) (fabs.f64 (+.f64 1 (+.f64 z (*.f64 x y))))))
7.0ms	(+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
4.0ms	(-.f64 (fma.f64 x y z) (fabs.f64 (+.f64 1 (+.f64 z (*.f64 x y)))))
3.0ms	(+.f64 (fma.f64 x y z) (fabs.f64 (+.f64 1 (+.f64 z (*.f64 x y)))))
0.0ms	(+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))

series452.0ms (0.2%)

Counts

4 → 45

Calls

4 calls:

192.0ms	(.f64 (+.f64 (fma.f64 x y z) (fabs.f64 (+.f64 1 (+.f64 z (.f64 x y))))) (-.f64 (fma.f64 x y z) (fabs.f64 (+.f64 1 (+.f64 z (*.f64 x y))))))
121.0ms	(+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
75.0ms	(-.f64 (fma.f64 x y z) (fabs.f64 (+.f64 1 (+.f64 z (*.f64 x y)))))
64.0ms	(+.f64 (fma.f64 x y z) (fabs.f64 (+.f64 1 (+.f64 z (*.f64 x y)))))

Compiler

Compiled 3172 to 1611 computations (49.2% saved)

simplify92.0ms (0%)

Algorithm

1×	egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4949	3919
1	4949	3919

localize26.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
0.0b	(+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
0.0b	(+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
0.0b	(*.f64 z (+.f64 z 2))
5.6b	(cbrt.f64 (+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y)))))
5.6b	(cbrt.f64 (+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y)))))
5.6b	(/.f64 (-.f64 (pow.f64 (fma.f64 x y z) 2) (+.f64 (.f64 (.f64 x 2) (+.f64 y (.f64 y z))) (+.f64 (.f64 z (+.f64 z 2)) 1))) (.f64 (cbrt.f64 (+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (.f64 x y))))) (cbrt.f64 (+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y)))))))
19.9b	(-.f64 (pow.f64 (fma.f64 x y z) 2) (+.f64 (.f64 (.f64 x 2) (+.f64 y (.f64 y z))) (+.f64 (.f64 z (+.f64 z 2)) 1)))

rewrite87.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`add-sqr-sqrt_binary64_782`
25×	`*-un-lft-identity_binary64_760`
16×	`cbrt-div_binary64_792`
13×	`add-log-exp_binary64_799`
12×	`difference-of-squares_binary64_729`
10×	`cbrt-prod_binary64_791`
9×	`add-exp-log_binary64_798` `add-cube-cbrt_binary64_795`
8×	`associate-/r/_binary64_706` `flip3-+_binary64_763` `flip-+_binary64_734` `associate-/l*_binary64_705` `times-frac_binary64_766`
7×	`add-cbrt-cube_binary64_796`
6×	`distribute-lft-out_binary64_711`
4×	`frac-times_binary64_770` `pow1_binary64_821`
3×	`diff-log_binary64_852` `unpow2_binary64_825` `cancel-sign-sub-inv_binary64_726` `distribute-lft-out--_binary64_712` `sum-log_binary64_851` `sqr-pow_binary64_732` `unpow-prod-down_binary64_839`
2×	`pow1/3_binary64_842` `cbrt-undiv_binary64_794` `associate-l/_binary64_703` `associate-/l/_binary64_707` `associate-r/_binary64_702` `div-exp_binary64_811` `flip--_binary64_735` `flip3--_binary64_764`
1×	`frac-2neg_binary64_771` `prod-exp_binary64_809` `associate-/r*_binary64_704` `div-inv_binary64_757` `div-sub_binary64_765` `associate--r+_binary64_696` `cbrt-unprod_binary64_793` `clear-num_binary64_759` `sub-neg_binary64_753`

Counts

4 → 94

Calls

8 calls:

35.0ms	(/.f64 (-.f64 (pow.f64 (fma.f64 x y z) 2) (+.f64 (.f64 (.f64 x 2) (+.f64 y (.f64 y z))) (+.f64 (.f64 z (+.f64 z 2)) 1))) (.f64 (cbrt.f64 (+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (.f64 x y))))) (cbrt.f64 (+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y)))))))
19.0ms	(-.f64 (pow.f64 (fma.f64 x y z) 2) (+.f64 (.f64 (.f64 x 2) (+.f64 y (.f64 y z))) (+.f64 (.f64 z (+.f64 z 2)) 1)))
7.0ms	(cbrt.f64 (+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y)))))
6.0ms	(cbrt.f64 (+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y)))))
0.0ms	(*.f64 z (+.f64 z 2))

series1.8min (51.4%)

Counts

4 → 88

Calls

4 calls:

1.8min	(/.f64 (-.f64 (pow.f64 (fma.f64 x y z) 2) (+.f64 (.f64 (.f64 x 2) (+.f64 y (.f64 y z))) (+.f64 (.f64 z (+.f64 z 2)) 1))) (.f64 (cbrt.f64 (+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (.f64 x y))))) (cbrt.f64 (+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y)))))))
1.2s	(cbrt.f64 (+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y)))))
1.1s	(cbrt.f64 (+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y)))))
480.0ms	(-.f64 (pow.f64 (fma.f64 x y z) 2) (+.f64 (.f64 (.f64 x 2) (+.f64 y (.f64 y z))) (+.f64 (.f64 z (+.f64 z 2)) 1)))

Compiler

Compiled 40077 to 25606 computations (36.1% saved)

simplify276.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

182 → 182

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	5907	37291

localize25.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(+.f64 (pow.f64 (cbrt.f64 (+.f64 1 (+.f64 z (.f64 x y)))) 6) (.f64 (fma.f64 x y z) (+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))))
0.0b	(+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
0.0b	(/.f64 (-.f64 (pow.f64 (fma.f64 x y z) 3) (pow.f64 (+.f64 1 (+.f64 z (.f64 x y))) 3)) (+.f64 (pow.f64 (cbrt.f64 (+.f64 1 (+.f64 z (.f64 x y)))) 6) (.f64 (fma.f64 x y z) (+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (.f64 x y)))))))
0.0b	(cbrt.f64 (/.f64 (-.f64 (pow.f64 (fma.f64 x y z) 3) (pow.f64 (+.f64 1 (+.f64 z (.f64 x y))) 3)) (+.f64 (pow.f64 (cbrt.f64 (+.f64 1 (+.f64 z (.f64 x y)))) 6) (.f64 (fma.f64 x y z) (+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (.f64 x y))))))))
5.6b	(cbrt.f64 (+.f64 1 (+.f64 z (*.f64 x y))))
9.1b	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
9.1b	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
38.2b	(-.f64 (pow.f64 (fma.f64 x y z) 3) (pow.f64 (+.f64 1 (+.f64 z (*.f64 x y))) 3))

rewrite67.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

52×	`*-un-lft-identity_binary64_760`
38×	`add-sqr-sqrt_binary64_782`
24×	`add-log-exp_binary64_799`
22×	`cancel-sign-sub-inv_binary64_726`
20×	`cube-prod_binary64_788` `unpow-prod-down_binary64_839`
18×	`difference-of-squares_binary64_729`
13×	`distribute-lft-out--_binary64_712`
11×	`distribute-lft-out_binary64_711`
10×	`add-cube-cbrt_binary64_795`
9×	`sqr-pow_binary64_732`
7×	`diff-log_binary64_852`
6×	`sum-log_binary64_851`
4×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `cbrt-prod_binary64_791` `pow1_binary64_821`
3×	`sub-neg_binary64_753` `flip--_binary64_735` `flip3--_binary64_764`
2×	`cbrt-div_binary64_792` `associate--r+_binary64_696`
1×	`pow1/3_binary64_842` `cube-mult_binary64_790` `flip3-+_binary64_763` `unpow3_binary64_826` `flip-+_binary64_734` `difference-cubes_binary64_762`

Counts

4 → 107

Calls

8 calls:

18.0ms	(-.f64 (pow.f64 (fma.f64 x y z) 3) (pow.f64 (+.f64 1 (+.f64 z (*.f64 x y))) 3))
8.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
8.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
5.0ms	(cbrt.f64 (+.f64 1 (+.f64 z (*.f64 x y))))
0.0ms	(cbrt.f64 (/.f64 (-.f64 (pow.f64 (fma.f64 x y z) 3) (pow.f64 (+.f64 1 (+.f64 z (.f64 x y))) 3)) (+.f64 (pow.f64 (cbrt.f64 (+.f64 1 (+.f64 z (.f64 x y)))) 6) (.f64 (fma.f64 x y z) (+.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (.f64 x y))))))))

series1.2s (0.6%)

Counts

4 → 93

Calls

4 calls:

550.0ms	(-.f64 (pow.f64 (fma.f64 x y z) 3) (pow.f64 (+.f64 1 (+.f64 z (*.f64 x y))) 3))
370.0ms	(cbrt.f64 (+.f64 1 (+.f64 z (*.f64 x y))))
161.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
157.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))

Compiler

Compiled 10755 to 5912 computations (45% saved)

simplify101.0ms (0%)

Algorithm

1×	egg-herbie

Counts

200 → 200

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5096	6178

prune33.3s (15.5%)

Pruning

633 alts after pruning (619 fresh and 14 done)

	Pruned	Kept	Total
New	345	252	597
Fresh	3	367	370
Picked	0	0	0
Done	1	14	15
Total	349	633	982

Error

28.7b

Counts

982 → 633

Compiler

Compiled 42074 to 19856 computations (52.8% saved)

simplify1.3s (0.6%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (14.0ms)

Iter	Nodes	Cost
0	5426	103137

regimes33.1s (15.4%)

Compiler: Compiled 275150 to 151260 computations (45% saved)

bsearch0.0ms (0%)

regimes26.0ms (0%)

Compiler: Compiled 15 to 54 computations (-260% saved)

bsearch1.0ms (0%)

Compiler: Compiled 2 to 8 computations (-300% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	2	2
1	2	2

end0.0ms (0%)

sample2.1s (1%)

Algorithm

1×

intervals

Results

350.0ms	2705×	body	1024	valid
188.0ms	1190×	body	2048	valid
121.0ms	1202×	body	512	valid
82.0ms	2318×	body	128	valid
39.0ms	585×	body	256	valid

Compiler

Compiled 68798 to 37839 computations (45% saved)