Details

analyze304.0ms (2.6%)

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%	74.9%	25.1%	6
6.2%	68.6%	25.1%	7
10.1%	64.7%	25.1%	8
17.2%	32.8%	50.1%	9
23%	26.9%	50.1%	10
26.8%	23.1%	50.1%	11
31.6%	18.3%	50.1%	12
35.2%	14.7%	50.1%	13
37.5%	12.4%	50.1%	14

Compiler

Compiled 16 to 11 computations (31.3% saved)

sample143.0ms (1.2%)

Algorithm

1×

intervals

Results

18.0ms	256×	body	128	valid
0.0ms	2×	body	128	invalid

Compiler

Compiled 34 to 24 computations (29.4% saved)

simplify134.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

782×	`fma-neg_binary64`
610×	`unsub-neg_binary64`
567×	`distribute-rgt-in_binary64`
442×	`sub-neg_binary64`
412×	`fma-def_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	25	18
2	75	16
3	253	16
4	654	16
5	1767	16
6	2167	16
7	2284	16
8	2375	16
9	2374	16
10	2391	16
11	2701	16
12	3417	16
13	4877	16
14	4713	16
15	4967	16

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.1b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 54 to 33 computations (38.9% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z) x)
✓	0.1b	(-.f64 y (-.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z) x))
✓	0.1b	(fma.f64 (+.f64 y 1/2) (log.f64 y) z)

series205.0ms (1.7%)

Counts

3 → 96

Calls

3 calls:

78.0ms	(-.f64 y (-.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z) x))
78.0ms	(-.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z) x)
48.0ms	(fma.f64 (+.f64 y 1/2) (log.f64 y) z)

rewrite16.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

43×	`*-un-lft-identity_binary64`
40×	`add-sqr-sqrt_binary64`
33×	`prod-diff_binary64`
28×	`add-cube-cbrt_binary64`
14×	`associate--r+_binary64`

Counts

3 → 96

Calls

3 calls:

6.0ms	(-.f64 y (-.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z) x))
3.0ms	(-.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z) x)
0.0ms	(fma.f64 (+.f64 y 1/2) (log.f64 y) z)

simplify112.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

395×	`associate-+l+_binary64`
315×	`exp-sum_binary64`
303×	`associate-+r+_binary64`
250×	`associate--r+_binary64`
246×	`associate--l+_binary64`

Counts

192 → 180

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	202	3702
1	445	3255
2	1627	2853
3	4463	2853
4	4980	2853

prune126.0ms (1.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	175	5	180
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	175	6	181

Error

0.0b

Counts

181 → 6

Alt Table

Status	Error	Program
✓	0.1b	(-.f64 y (-.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z) x))
	47.3b	(cbrt.f64 (pow.f64 (-.f64 (+.f64 y x) (fma.f64 (log.f64 y) (+.f64 1/2 y) z)) 3))
▶	0.9b	(-.f64 y (-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) x))
	27.9b	(*.f64 (+.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z) x))) (-.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z) x))))
	44.0b	(*.f64 (+.f64 1 (log.f64 (/.f64 1 y))) y)
	28.1b	(-.f64 y (-.f64 (*.f64 (sqrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)) (sqrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) x))

Compiler

Compiled 4378 to 2169 computations (50.5% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(fma.f64 (+.f64 y 1/2) (log.f64 y) z)
✓	0.3b	(.f64 (.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)))
✓	0.5b	(*.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)))
✓	0.5b	(cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))

series913.0ms (7.7%)

Counts

3 → 72

Calls

3 calls:

770.0ms

(*.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)))

100.0ms

(cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))

42.0ms

(*.f64 (*.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)))

rewrite24.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`pow1_binary64`
24×	`add-sqr-sqrt_binary64`
23×	`cbrt-prod_binary64`
16×	`pow1/3_binary64`
14×	`*-un-lft-identity_binary64`

Counts

3 → 93

Calls

3 calls:

6.0ms

(*.f64 (*.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)))

4.0ms

(*.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)))

1.0ms

(cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))

simplify267.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

984×	`fma-def_binary64`
387×	`*-commutative_binary64`
219×	`+-commutative_binary64`
168×	`associate-+r+_binary64`
151×	`associate-r_binary64`

Counts

165 → 233

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	949	15740
1	3466	14963
2	4988	14963
3	5006	14963

prune863.0ms (7.3%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	463	4	467
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	464	9	473

Error

Counts

473 → 9

Alt Table

Status	Error	Program
	28.4b	(-.f64 y (-.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)))) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) x))
	27.9b	(*.f64 (+.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z) x))) (-.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z) x))))
✓	0.1b	(-.f64 y (-.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z) x))
	47.3b	(cbrt.f64 (pow.f64 (-.f64 (+.f64 y x) (fma.f64 (log.f64 y) (+.f64 1/2 y) z)) 3))
✓	0.9b	(-.f64 y (-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) x))
▶	1.1b	(-.f64 y (-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))))) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) (cbrt.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))))) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) x))
	28.5b	(-.f64 y (-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (+.f64 1/2 y) (log.f64 y) z)) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (+.f64 1/2 y) (log.f64 y) z))) 3)) (sqrt.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)))) x))
	44.0b	(*.f64 (+.f64 1 (log.f64 (/.f64 1 y))) y)
	1.1b	(-.f64 y (-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) (cbrt.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)))) (cbrt.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))))) x))

Compiler

Compiled 40965 to 29132 computations (28.9% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) (cbrt.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))))
	0.5b	(*.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)))
✓	0.5b	(cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))))
	0.5b	(cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))

series1.3s (11.1%)

Counts

2 → 48

Calls

2 calls:

714.0ms

(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) (cbrt.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))))

596.0ms

(cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))))

rewrite17.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

55×	`cbrt-prod_binary64`
32×	`add-sqr-sqrt_binary64`
14×	`*-un-lft-identity_binary64`
14×	`add-cube-cbrt_binary64`
9×	`associate-r_binary64`

Counts

2 → 67

Calls

2 calls:

7.0ms

(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) (cbrt.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))))

3.0ms

(cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))))

simplify316.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

741×	`associate-/r*_binary64`
680×	`associate-/l*_binary64`
618×	`fma-def_binary64`
273×	`*-commutative_binary64`
142×	`+-commutative_binary64`

Counts

115 → 139

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	663	21242
1	2378	19730
2	5568	19730

prune3.2s (26.7%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	885	0	885
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	885	9	894

Error

Counts

894 → 9

Alt Table

Status	Error	Program
	28.4b	(-.f64 y (-.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)))) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) x))
	27.9b	(*.f64 (+.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z) x))) (-.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z) x))))
✓	0.1b	(-.f64 y (-.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z) x))
	47.3b	(cbrt.f64 (pow.f64 (-.f64 (+.f64 y x) (fma.f64 (log.f64 y) (+.f64 1/2 y) z)) 3))
✓	0.9b	(-.f64 y (-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) x))
✓	1.1b	(-.f64 y (-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))))) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) (cbrt.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))))) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) x))
	28.5b	(-.f64 y (-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (+.f64 1/2 y) (log.f64 y) z)) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (+.f64 1/2 y) (log.f64 y) z))) 3)) (sqrt.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)))) x))
	44.0b	(*.f64 (+.f64 1 (log.f64 (/.f64 1 y))) y)
▶	1.1b	(-.f64 y (-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) (cbrt.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)))) (cbrt.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))))) x))

Compiler

Compiled 142105 to 100068 computations (29.6% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(cbrt.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)))
	0.5b	(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) (cbrt.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))))
	0.5b	(*.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)))
	0.5b	(cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))

series106.0ms (0.9%)

Counts

1 → 24

Calls

1 calls:

106.0ms

(cbrt.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)))

rewrite2.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`cbrt-prod_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-sqr-sqrt_binary64`
3×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`

Counts

1 → 16

Calls

1 calls:

1.0ms

(cbrt.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)))

simplify78.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

571×	`times-frac_binary64`
376×	`associate-r_binary64`
354×	`associate-/r*_binary64`
311×	`associate-/l*_binary64`
281×	`fma-def_binary64`

Counts

40 → 73

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	362	4393
1	1227	4229
2	5003	4229

prune2.0s (16.7%)

Pruning

9 alts after pruning (5 fresh and 4 done)

	Pruned	Kept	Total
New	746	0	746
Fresh	0	5	5
Picked	0	1	1
Done	0	3	3
Total	746	9	755

Error

Counts

755 → 9

Alt Table

Status	Error	Program
	28.4b	(-.f64 y (-.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)))) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) x))
	27.9b	(*.f64 (+.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z) x))) (-.f64 (sqrt.f64 y) (sqrt.f64 (-.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z) x))))
✓	0.1b	(-.f64 y (-.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z) x))
	47.3b	(cbrt.f64 (pow.f64 (-.f64 (+.f64 y x) (fma.f64 (log.f64 y) (+.f64 1/2 y) z)) 3))
✓	0.9b	(-.f64 y (-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) x))
✓	1.1b	(-.f64 y (-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))))) (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) (cbrt.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))))) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) x))
	28.5b	(-.f64 y (-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (+.f64 1/2 y) (log.f64 y) z)) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (+.f64 1/2 y) (log.f64 y) z))) 3)) (sqrt.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)))) x))
	44.0b	(*.f64 (+.f64 1 (log.f64 (/.f64 1 y))) y)
✓	1.1b	(-.f64 y (-.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)) (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))) (cbrt.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z)))) (cbrt.f64 (cbrt.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z))))) x))

Compiler

Compiled 90312 to 63128 computations (30.1% saved)

regimes794.0ms (6.7%)

Accuracy

Total 0.1b remaining (76.6%)

Threshold costs 0.1b (76.6%)

Counts

107 → 1

Compiler

Compiled 20272 to 12718 computations (37.3% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative_binary64`
6×	`cancel-sign-sub-inv_binary64`
6×	`sub-neg_binary64`
4×	`distribute-neg-in_binary64`
4×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	16
1	15	16
2	26	16
3	39	16
4	51	16
5	54	16
6	50	16

end1.0ms (0%)

Compiler: Compiled 14 to 9 computations (35.7% saved)

sample916.0ms (7.7%)

Algorithm

1×

intervals

Results

468.0ms	7997×	body	128	valid
2.0ms	43×	body	128	invalid
0.0ms	2×	body	1024	valid
0.0ms	1×	body	512	valid

Compiler

Compiled 346 to 219 computations (36.7% saved)

Details

analyze304.0ms (2.6%)

sample143.0ms (1.2%)

simplify134.0ms (1.1%)

prune4.0ms (0%)

localize8.0ms (0.1%)

series205.0ms (1.7%)

rewrite16.0ms (0.1%)

simplify112.0ms (0.9%)

prune126.0ms (1.1%)

localize12.0ms (0.1%)

series913.0ms (7.7%)

rewrite24.0ms (0.2%)

simplify267.0ms (2.3%)

prune863.0ms (7.3%)

localize18.0ms (0.2%)

series1.3s (11.1%)

rewrite17.0ms (0.1%)

simplify316.0ms (2.7%)

prune3.2s (26.7%)

localize16.0ms (0.1%)

series106.0ms (0.9%)

rewrite2.0ms (0%)

simplify78.0ms (0.7%)

prune2.0s (16.7%)

regimes794.0ms (6.7%)

simplify3.0ms (0%)

end1.0ms (0%)

sample916.0ms (7.7%)

Profiling