Details

analyze500.0ms (6.9%)

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%	74.9%	25.1%	4
0%	74.9%	25.1%	5
0%	62.4%	37.6%	6
12.5%	43.7%	43.8%	7
12.5%	43.7%	43.8%	8
25%	28.1%	47%	9
28.1%	20.3%	51.6%	10
28.1%	20.3%	51.6%	11
34.3%	13.3%	52.4%	12
35.9%	9.8%	54.4%	13
35.9%	9.8%	54.4%	14

Compiler

Compiled 16 to 12 computations (25% saved)

sample31.0ms (0.4%)

Algorithm

1×

intervals

Results

20.0ms	256×	body	128	valid
1.0ms	12×	body	128	invalid
0.0ms	2×	body	128	nan

Compiler

Compiled 34 to 26 computations (23.5% saved)

simplify305.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

990×	`fma-def_binary64`
806×	`fma-neg_binary64`
746×	`unsub-neg_binary64`
520×	`distribute-rgt-in_binary64`
485×	`distribute-neg-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	12	16
1	29	16
2	59	16
3	115	16
4	270	14
5	514	14
6	792	14
7	1191	14
8	1435	14
9	1716	14
10	2343	14
11	2639	14
12	2704	14
13	3251	14
14	3766	14
15	3977	14
16	4124	14
17	4234	14
18	4260	14
19	4085	14
20	4111	14
21	4149	14
22	4189	14
23	4189	14
24	4189	14
25	4871	14
26	4999	14
27	4907	14

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.1b	(fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))

Compiler

Compiled 39 to 24 computations (38.5% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (log.f64 z) z)
0.0b	(fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))
0.1b	(fma.f64 y (-.f64 (log.f64 z) z) y)

rewrite84.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

22×	`add-cube-cbrt_binary64`
18×	`pow1_binary64`
14×	`add-sqr-sqrt_binary64`
11×	`fma-udef_binary64`
9×	`add-cbrt-cube_binary64`

Counts

3 → 114

Calls

3 calls:

15.0ms	(-.f64 (log.f64 z) z)
9.0ms	(fma.f64 y (-.f64 (log.f64 z) z) y)
8.0ms	(fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))

Compiler

Compiled 1882 to 556 computations (70.5% saved)

series78.0ms (1.1%)

Error

0.1b

Counts

3 → 30

Calls

3 calls:

38.0ms	(fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))
22.0ms	(fma.f64 y (-.f64 (log.f64 z) z) y)
8.0ms	(-.f64 (log.f64 z) z)

Compiler

Compiled 896 to 571 computations (36.3% saved)

simplify93.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

562×	`fma-neg_binary64`
550×	`fma-def_binary64`
452×	`associate-l_binary64`
451×	`distribute-rgt-in_binary64`
376×	`associate-r_binary64`

Counts

144 → 64

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	155	1676
1	395	1579
2	1129	1550
3	4270	1550
4	4868	1550

prune36.0ms (0.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	58	6	64
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	58	7	65

Error

0.0b

Counts

65 → 7

Alt Table

Status	Error	Program
✓	0.1b	(fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))
	34.0b	(fma.f64 x 1/2 (*.f64 (sqrt.f64 (fma.f64 y (-.f64 (log.f64 z) z) y)) (sqrt.f64 (fma.f64 y (-.f64 (log.f64 z) z) y))))
	11.7b	(fma.f64 x 1/2 (fma.f64 y (/.f64 (-.f64 (.f64 (log.f64 z) (log.f64 z)) (.f64 z z)) (+.f64 z (log.f64 z))) y))
	16.2b	(fma.f64 x 1/2 (fma.f64 y (.f64 (-.f64 (pow.f64 (log.f64 z) 3) (pow.f64 z 3)) (/.f64 1 (fma.f64 z z (.f64 (log.f64 z) (+.f64 z (log.f64 z)))))) y))
	16.3b	(fma.f64 x 1/2 (fma.f64 y (cbrt.f64 (pow.f64 (-.f64 (log.f64 z) z) 3)) y))
▶	1.2b	(.f64 (.f64 (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y)))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y))))
	29.7b	(fma.f64 x 1/2 (/.f64 (.f64 y (-.f64 (.f64 y (.f64 (-.f64 (log.f64 z) z) (-.f64 (log.f64 z) z))) y)) (-.f64 (.f64 y (-.f64 (log.f64 z) z)) y)))

Compiler

Compiled 1107 to 440 computations (60.3% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y)))
0.5b	(cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y)))
0.5b	(cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y)))
0.5b	(*.f64 (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y))))

rewrite116.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

28×	`add-cube-cbrt_binary64`
27×	`pow1/3_binary64`
17×	`add-sqr-sqrt_binary64`
12×	`add-exp-log_binary64`
12×	`log1p-expm1-u_binary64`

Counts

4 → 132

Calls

4 calls:

14.0ms	(*.f64 (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y))))
9.0ms	(cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y)))
9.0ms	(cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y)))
9.0ms	(cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y)))

Compiler

Compiled 4004 to 1431 computations (64.3% saved)

series616.0ms (8.6%)

Error

0.0b

Counts

4 → 64

Calls

4 calls:

287.0ms	(*.f64 (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y))))
98.0ms	(cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y)))
87.0ms	(cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y)))
77.0ms	(cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y)))

Compiler

Compiled 14759 to 9958 computations (32.5% saved)

simplify415.0ms (5.8%)

Algorithm

1×	egg-herbie

Rules

293×	`associate-r_binary64`
227×	`times-frac_binary64`
226×	`fma-neg_binary64`
225×	`*-commutative_binary64`
218×	`associate-/l*_binary64`

Counts

196 → 135

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	360	6040
1	1151	5275
2	4147	5051
3	4953	5051
4	4972	5051

prune131.0ms (1.8%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	134	1	135
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	134	8	142

Error

0.0b

Counts

142 → 8

Alt Table

Status	Error	Program
✓	0.1b	(fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))
	34.0b	(fma.f64 x 1/2 (*.f64 (sqrt.f64 (fma.f64 y (-.f64 (log.f64 z) z) y)) (sqrt.f64 (fma.f64 y (-.f64 (log.f64 z) z) y))))
	11.7b	(fma.f64 x 1/2 (fma.f64 y (/.f64 (-.f64 (.f64 (log.f64 z) (log.f64 z)) (.f64 z z)) (+.f64 z (log.f64 z))) y))
	16.2b	(fma.f64 x 1/2 (fma.f64 y (.f64 (-.f64 (pow.f64 (log.f64 z) 3) (pow.f64 z 3)) (/.f64 1 (fma.f64 z z (.f64 (log.f64 z) (+.f64 z (log.f64 z)))))) y))
	16.3b	(fma.f64 x 1/2 (fma.f64 y (cbrt.f64 (pow.f64 (-.f64 (log.f64 z) z) 3)) y))
✓	1.2b	(.f64 (.f64 (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y)))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y))))
	29.7b	(fma.f64 x 1/2 (/.f64 (.f64 y (-.f64 (.f64 y (.f64 (-.f64 (log.f64 z) z) (-.f64 (log.f64 z) z))) y)) (-.f64 (.f64 y (-.f64 (log.f64 z) z)) y)))
▶	1.6b	(.f64 (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y)))) (cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))) (cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y)))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y))))

Compiler

Compiled 5891 to 2472 computations (58% saved)

localize24.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))
0.5b	(cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))
0.5b	(cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))
0.6b	(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y)))) (cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y)))))

rewrite158.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

28×	`add-cube-cbrt_binary64`
27×	`pow1/3_binary64`
17×	`add-sqr-sqrt_binary64`
12×	`add-exp-log_binary64`
12×	`log1p-expm1-u_binary64`

Counts

4 → 132

Calls

4 calls:

15.0ms	(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y)))) (cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y)))))
11.0ms	(cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))
11.0ms	(cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))
10.0ms	(cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))

Compiler

Compiled 6438 to 2457 computations (61.8% saved)

series787.0ms (10.9%)

Error

0.0b

Counts

4 → 61

Calls

4 calls:

336.0ms	(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y)))) (cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y)))))
146.0ms	(cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))
135.0ms	(cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))
88.0ms	(cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))

Compiler

Compiled 18172 to 11027 computations (39.3% saved)

simplify151.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

295×	`unswap-sqr_binary64`
263×	`associate-r_binary64`
250×	`times-frac_binary64`
222×	`associate-/l*_binary64`
209×	`*-commutative_binary64`

Counts

193 → 100

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	351	6122
1	1093	5255
2	3950	5126
3	5143	5126

prune98.0ms (1.4%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	98	2	100
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	98	10	108

Error

0.0b

Counts

108 → 10

Alt Table

Status	Error	Program
✓	0.1b	(fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))
	34.0b	(fma.f64 x 1/2 (*.f64 (sqrt.f64 (fma.f64 y (-.f64 (log.f64 z) z) y)) (sqrt.f64 (fma.f64 y (-.f64 (log.f64 z) z) y))))
	2.3b	(.f64 (.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))) 4) (*.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))) (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))))) (cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y)))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y))))
▶	1.5b	(.f64 (.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y)))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y))))
	11.7b	(fma.f64 x 1/2 (fma.f64 y (/.f64 (-.f64 (.f64 (log.f64 z) (log.f64 z)) (.f64 z z)) (+.f64 z (log.f64 z))) y))
	16.2b	(fma.f64 x 1/2 (fma.f64 y (.f64 (-.f64 (pow.f64 (log.f64 z) 3) (pow.f64 z 3)) (/.f64 1 (fma.f64 z z (.f64 (log.f64 z) (+.f64 z (log.f64 z)))))) y))
	16.3b	(fma.f64 x 1/2 (fma.f64 y (cbrt.f64 (pow.f64 (-.f64 (log.f64 z) z) 3)) y))
✓	1.2b	(.f64 (.f64 (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y)))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y))))
	29.7b	(fma.f64 x 1/2 (/.f64 (.f64 y (-.f64 (.f64 y (.f64 (-.f64 (log.f64 z) z) (-.f64 (log.f64 z) z))) y)) (-.f64 (.f64 y (-.f64 (log.f64 z) z)) y)))
✓	1.6b	(.f64 (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y)))) (cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))) (cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y)))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y))))

Compiler

Compiled 6906 to 2989 computations (56.7% saved)

localize25.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.5b	(pow.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))) 2)
0.5b	(.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y))))
0.5b	(cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))
0.6b	(cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))) 2))

rewrite163.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

27×	`pow1/3_binary64`
26×	`add-cube-cbrt_binary64`
19×	`add-sqr-sqrt_binary64`
15×	`add-exp-log_binary64`
12×	`log1p-expm1-u_binary64`

Counts

4 → 138

Calls

4 calls:

14.0ms	(.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y))))
13.0ms	(pow.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))) 2)
10.0ms	(cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))
10.0ms	(cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))) 2))

Compiler

Compiled 6343 to 2546 computations (59.9% saved)

series954.0ms (13.3%)

Error

0.0b

Counts

4 → 65

Calls

4 calls:

336.0ms	(cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))) 2))
298.0ms	(.f64 (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y))))
141.0ms	(pow.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))) 2)
92.0ms	(cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))

Compiler

Compiled 20149 to 13611 computations (32.4% saved)

simplify153.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

450×	`times-frac_binary64`
413×	`associate-/l*_binary64`
307×	`associate-/r*_binary64`
303×	`fma-def_binary64`
224×	`*-commutative_binary64`

Counts

203 → 128

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	617	8631
1	1980	7593
2	5139	7593

prune134.0ms (1.9%)

Pruning

11 alts after pruning (7 fresh and 4 done)

	Pruned	Kept	Total
New	127	1	128
Fresh	0	6	6
Picked	0	1	1
Done	0	3	3
Total	127	11	138

Error

0.0b

Counts

138 → 11

Alt Table

Status	Error	Program
	45.0b	(.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 y (-.f64 (+.f64 (log.f64 z) 1) z)) 2))) (cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y)))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y))))
	11.7b	(fma.f64 x 1/2 (fma.f64 y (/.f64 (-.f64 (.f64 (log.f64 z) (log.f64 z)) (.f64 z z)) (+.f64 z (log.f64 z))) y))
	0.1b	(fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))
	34.0b	(fma.f64 x 1/2 (*.f64 (sqrt.f64 (fma.f64 y (-.f64 (log.f64 z) z) y)) (sqrt.f64 (fma.f64 y (-.f64 (log.f64 z) z) y))))
	2.3b	(.f64 (.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))) 4) (*.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))) (cbrt.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))))) (cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y)))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y))))
	1.5b	(.f64 (.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y)))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y))))
	16.2b	(fma.f64 x 1/2 (fma.f64 y (.f64 (-.f64 (pow.f64 (log.f64 z) 3) (pow.f64 z 3)) (/.f64 1 (fma.f64 z z (.f64 (log.f64 z) (+.f64 z (log.f64 z)))))) y))
	16.3b	(fma.f64 x 1/2 (fma.f64 y (cbrt.f64 (pow.f64 (-.f64 (log.f64 z) z) 3)) y))
	1.2b	(.f64 (.f64 (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y)))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y))))
	29.7b	(fma.f64 x 1/2 (/.f64 (.f64 y (-.f64 (.f64 y (.f64 (-.f64 (log.f64 z) z) (-.f64 (log.f64 z) z))) y)) (-.f64 (.f64 y (-.f64 (log.f64 z) z)) y)))
	1.6b	(.f64 (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y)))) (cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))) (cbrt.f64 (cbrt.f64 (fma.f64 x 1/2 (fma.f64 y (-.f64 (log.f64 z) z) y))))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y)))) (cbrt.f64 (fma.f64 1/2 x (fma.f64 y (-.f64 (log.f64 z) z) y))))

Compiler

Compiled 8418 to 3981 computations (52.7% saved)

regimes1.1s (15.1%)

Accuracy

Total 0.1b remaining (58.4%)

Threshold costs 0.1b (58.4%)

Compiler

Compiled 36651 to 17212 computations (53% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`*-commutative_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	11	14
2	16	14
3	18	14
4	19	14
5	19	14

end1.0ms (0%)

Compiler: Compiled 13 to 8 computations (38.5% saved)

sample1.0s (14.3%)

Algorithm

1×

intervals

Results

522.0ms	8000×	body	128	valid
23.0ms	301×	body	128	invalid
3.0ms	61×	body	128	nan

Compiler

Compiled 459 to 231 computations (49.7% saved)

Details

analyze500.0ms (6.9%)

sample31.0ms (0.4%)

simplify305.0ms (4.2%)

prune3.0ms (0%)

localize8.0ms (0.1%)

rewrite84.0ms (1.2%)

series78.0ms (1.1%)

simplify93.0ms (1.3%)

prune36.0ms (0.5%)

localize15.0ms (0.2%)

rewrite116.0ms (1.6%)

series616.0ms (8.6%)

simplify415.0ms (5.8%)

prune131.0ms (1.8%)

localize24.0ms (0.3%)

rewrite158.0ms (2.2%)

series787.0ms (10.9%)

simplify151.0ms (2.1%)

prune98.0ms (1.4%)

localize25.0ms (0.3%)

rewrite163.0ms (2.3%)

series954.0ms (13.3%)

simplify153.0ms (2.1%)

prune134.0ms (1.9%)

regimes1.1s (15.1%)

simplify3.0ms (0%)

end1.0ms (0%)

sample1.0s (14.3%)

Profiling