Details

analyze484.0ms (5.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	74.9%	25.1%	3
0%	74.9%	25.1%	4
0%	74.9%	25.1%	5
0%	62.4%	37.6%	6
0%	31.2%	68.8%	7
0%	31.2%	68.8%	8
0%	31.2%	68.8%	9
0%	28.1%	71.9%	10
6.1%	20.4%	73.5%	11
6.1%	20.4%	73.5%	12
7.7%	18.8%	73.5%	13
9.2%	16.6%	74.3%	14

Compiler

Compiled 22 to 17 computations (22.7% saved)

sample50.0ms (0.5%)

Algorithm

1×

intervals

Results

18.0ms	196×	body	128	valid
9.0ms	15×	body	1024	valid
7.0ms	22×	body	512	valid
4.0ms	23×	body	256	valid
0.0ms	5×	body	128	nan

Compiler

Compiled 47 to 37 computations (21.3% saved)

simplify127.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

753×	`unsub-neg_binary64`
686×	`sub-neg_binary64`
591×	`distribute-rgt-in_binary64`
521×	`neg-sub0_binary64`
433×	`associate--r-_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	30	26
2	56	26
3	110	26
4	245	26
5	621	26
6	1270	26
7	1544	26
8	1489	26
9	1566	26
10	1581	26
11	1591	26
12	2401	26
13	4559	26
14	4855	26
15	4463	26
16	4907	26
17	5003	26

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

6.5b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	6.5b	(-.f64 (+.f64 (.f64 (-.f64 x 1) (log.f64 y)) (.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)

Compiler

Compiled 42 to 32 computations (23.8% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))
0.0b	(+.f64 (.f64 (-.f64 x 1) (log.f64 y)) (.f64 (-.f64 z 1) (log.f64 (-.f64 1 y))))
0.1b	(*.f64 (-.f64 x 1) (log.f64 y))
6.0b	(log.f64 (-.f64 1 y))

rewrite243.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

6.2b

Rules

44×	`add-sqr-sqrt_binary64`
42×	`log-prod_binary64`
38×	`*-un-lft-identity_binary64`
18×	`distribute-lft-in_binary64`
18×	`distribute-rgt-in_binary64`

Counts

4 → 118

Calls

4 calls:

13.0ms	(*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))
9.0ms	(+.f64 (.f64 (-.f64 x 1) (log.f64 y)) (.f64 (-.f64 z 1) (log.f64 (-.f64 1 y))))
6.0ms	(*.f64 (-.f64 x 1) (log.f64 y))
3.0ms	(log.f64 (-.f64 1 y))

Compiler

Compiled 2846 to 1929 computations (32.2% saved)

series170.0ms (1.9%)

Error

0.1b

Counts

4 → 45

Calls

4 calls:

78.0ms	(+.f64 (.f64 (-.f64 x 1) (log.f64 y)) (.f64 (-.f64 z 1) (log.f64 (-.f64 1 y))))
27.0ms	(*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))
24.0ms	(*.f64 (-.f64 x 1) (log.f64 y))
8.0ms	(log.f64 (-.f64 1 y))

Compiler

Compiled 2367 to 1671 computations (29.4% saved)

simplify174.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

482×	`cancel-sign-sub-inv_binary64`
435×	`associate--r+_binary64`
314×	`associate--l+_binary64`
269×	`neg-sub0_binary64`
237×	`neg-mul-1_binary64`

Counts

163 → 137

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	285	3290
1	693	3013
2	2353	2964
3	4524	2964
4	5007	2964

prune112.0ms (1.2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	132	5	137
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	133	5	138

Error

0.0b

Counts

138 → 5

Alt Table

Status	Error	Program
	49.4b	(-.f64 (+.f64 (.f64 (sqrt.f64 (-.f64 x 1)) (.f64 (log.f64 y) (sqrt.f64 (+.f64 -1 x)))) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
	22.3b	(-.f64 (+.f64 (/.f64 (.f64 (log.f64 y) (+.f64 -1 (.f64 x x))) (+.f64 x 1)) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
	6.6b	(-.f64 (+.f64 (+.f64 (.f64 2 (.f64 (+.f64 -1 x) (log.f64 (cbrt.f64 y)))) (.f64 (+.f64 -1 x) (log.f64 (cbrt.f64 y)))) (.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
	7.1b	(-.f64 (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 (log.f64 y) (+.f64 -1 x))) (cbrt.f64 (.f64 (log.f64 y) (+.f64 -1 x)))) (cbrt.f64 (.f64 (log.f64 y) (+.f64 -1 x)))) (.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
▶	0.5b	(-.f64 (+.f64 (.f64 (-.f64 x 1) (log.f64 y)) (.f64 (-.f64 z 1) (-.f64 (neg.f64 y) (.f64 (.f64 y y) (+.f64 1/2 (*.f64 1/3 y)))))) t)

Compiler

Compiled 2800 to 1846 computations (34.1% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 (-.f64 x 1) (log.f64 y)) (.f64 (-.f64 z 1) (-.f64 (neg.f64 y) (.f64 (.f64 y y) (+.f64 1/2 (*.f64 1/3 y))))))
0.0b	(.f64 (.f64 y y) (+.f64 1/2 (*.f64 1/3 y)))
0.1b	(*.f64 (-.f64 x 1) (log.f64 y))
0.3b	(*.f64 1/3 y)

rewrite242.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

22×	`associate-*l/_binary64`
22×	`add-sqr-sqrt_binary64`
21×	`flip--_binary64`
21×	`flip3--_binary64`
16×	`frac-add_binary64`

Counts

4 → 109

Calls

4 calls:

64.0ms	(*.f64 (-.f64 x 1) (log.f64 y))
8.0ms	(+.f64 (.f64 (-.f64 x 1) (log.f64 y)) (.f64 (-.f64 z 1) (-.f64 (neg.f64 y) (.f64 (.f64 y y) (+.f64 1/2 (*.f64 1/3 y))))))
6.0ms	(.f64 (.f64 y y) (+.f64 1/2 (*.f64 1/3 y)))
3.0ms	(*.f64 1/3 y)

Compiler

Compiled 4598 to 2717 computations (40.9% saved)

series170.0ms (1.9%)

Error

0.0b

Counts

4 → 41

Calls

4 calls:

103.0ms	(+.f64 (.f64 (-.f64 x 1) (log.f64 y)) (.f64 (-.f64 z 1) (-.f64 (neg.f64 y) (.f64 (.f64 y y) (+.f64 1/2 (*.f64 1/3 y))))))
26.0ms	(*.f64 (-.f64 x 1) (log.f64 y))
12.0ms	(.f64 (.f64 y y) (+.f64 1/2 (*.f64 1/3 y)))
5.0ms	(*.f64 1/3 y)

Compiler

Compiled 2550 to 1789 computations (29.8% saved)

simplify127.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

523×	`associate-l_binary64`
489×	`associate-r_binary64`
471×	`distribute-rgt-in_binary64`
469×	`distribute-lft-in_binary64`
123×	`*-commutative_binary64`

Counts

150 → 120

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	326	4822
1	993	4531
2	4825	4530
3	4973	4530

prune147.0ms (1.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	116	4	120
Fresh	0	4	4
Picked	1	0	1
Done	0	0	0
Total	117	8	125

Error

0.0b

Counts

125 → 8

Alt Table

Status	Error	Program
	46.3b	(-.f64 (/.f64 (+.f64 (.f64 (.f64 (log.f64 y) (+.f64 (.f64 x x) -1)) (.f64 (+.f64 (.f64 z z) (+.f64 1 z)) (+.f64 (.f64 y y) (.f64 (+.f64 (.f64 1/3 y) 1/2) (+.f64 (.f64 (+.f64 (.f64 1/3 y) 1/2) (pow.f64 y 4)) (pow.f64 (neg.f64 y) 3)))))) (.f64 (+.f64 x 1) (.f64 (+.f64 (pow.f64 z 3) -1) (-.f64 (pow.f64 (neg.f64 y) 3) (pow.f64 (.f64 y (.f64 y (+.f64 (.f64 1/3 y) 1/2))) 3))))) (.f64 (+.f64 (.f64 y y) (.f64 (+.f64 (.f64 1/3 y) 1/2) (+.f64 (.f64 (+.f64 (.f64 1/3 y) 1/2) (pow.f64 y 4)) (pow.f64 (neg.f64 y) 3)))) (.f64 (+.f64 (*.f64 z z) (+.f64 1 z)) (+.f64 x 1)))) t)
	6.6b	(-.f64 (+.f64 (+.f64 (.f64 2 (.f64 (+.f64 -1 x) (log.f64 (cbrt.f64 y)))) (.f64 (+.f64 -1 x) (log.f64 (cbrt.f64 y)))) (.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
	19.0b	(-.f64 (.f64 (sqrt.f64 (+.f64 (.f64 (log.f64 y) (+.f64 x -1)) (.f64 (+.f64 z -1) (-.f64 (neg.f64 y) (.f64 y (.f64 y (+.f64 (.f64 1/3 y) 1/2))))))) (sqrt.f64 (+.f64 (.f64 (log.f64 y) (+.f64 x -1)) (.f64 (+.f64 z -1) (-.f64 (neg.f64 y) (.f64 y (.f64 y (+.f64 (*.f64 1/3 y) 1/2)))))))) t)
	7.1b	(-.f64 (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 (log.f64 y) (+.f64 -1 x))) (cbrt.f64 (.f64 (log.f64 y) (+.f64 -1 x)))) (cbrt.f64 (.f64 (log.f64 y) (+.f64 -1 x)))) (.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
	49.4b	(-.f64 (+.f64 (.f64 (sqrt.f64 (-.f64 x 1)) (.f64 (log.f64 y) (sqrt.f64 (+.f64 -1 x)))) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
	22.3b	(-.f64 (+.f64 (/.f64 (.f64 (log.f64 y) (+.f64 -1 (.f64 x x))) (+.f64 x 1)) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
	0.5b	(-.f64 (+.f64 (-.f64 (.f64 (log.f64 y) (+.f64 x -1)) (.f64 (+.f64 z -1) y)) (.f64 (neg.f64 (.f64 (.f64 y y) (+.f64 1/2 (.f64 1/3 y)))) (-.f64 z 1))) t)
▶	0.5b	(-.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 y)) (-.f64 x 1)) (+.f64 (.f64 (+.f64 x -1) (log.f64 (sqrt.f64 y))) (.f64 (+.f64 z -1) (-.f64 (neg.f64 y) (.f64 y (.f64 y (+.f64 (.f64 1/3 y) 1/2))))))) t)

Compiler

Compiled 4321 to 2726 computations (36.9% saved)

localize28.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 (log.f64 (sqrt.f64 y)) (-.f64 x 1)) (+.f64 (.f64 (+.f64 x -1) (log.f64 (sqrt.f64 y))) (.f64 (+.f64 z -1) (-.f64 (neg.f64 y) (.f64 y (.f64 y (+.f64 (.f64 1/3 y) 1/2)))))))
0.1b	(*.f64 (+.f64 x -1) (log.f64 (sqrt.f64 y)))
0.1b	(*.f64 (log.f64 (sqrt.f64 y)) (-.f64 x 1))
0.3b	(*.f64 1/3 y)

rewrite361.0ms (4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

68×	`frac-add_binary64`
46×	`associate-*r/_binary64`
42×	`associate-*l/_binary64`
32×	`flip-+_binary64`
32×	`flip3-+_binary64`

Counts

4 → 147

Calls

4 calls:

14.0ms	(+.f64 (.f64 (log.f64 (sqrt.f64 y)) (-.f64 x 1)) (+.f64 (.f64 (+.f64 x -1) (log.f64 (sqrt.f64 y))) (.f64 (+.f64 z -1) (-.f64 (neg.f64 y) (.f64 y (.f64 y (+.f64 (.f64 1/3 y) 1/2)))))))
8.0ms	(*.f64 (+.f64 x -1) (log.f64 (sqrt.f64 y)))
6.0ms	(*.f64 (log.f64 (sqrt.f64 y)) (-.f64 x 1))
3.0ms	(*.f64 1/3 y)

Compiler

Compiled 10371 to 6282 computations (39.4% saved)

series220.0ms (2.4%)

Error

0.0b

Counts

4 → 40

Calls

4 calls:

122.0ms	(+.f64 (.f64 (log.f64 (sqrt.f64 y)) (-.f64 x 1)) (+.f64 (.f64 (+.f64 x -1) (log.f64 (sqrt.f64 y))) (.f64 (+.f64 z -1) (-.f64 (neg.f64 y) (.f64 y (.f64 y (+.f64 (.f64 1/3 y) 1/2)))))))
27.0ms	(*.f64 (log.f64 (sqrt.f64 y)) (-.f64 x 1))
26.0ms	(*.f64 (+.f64 x -1) (log.f64 (sqrt.f64 y)))
16.0ms	(*.f64 1/3 y)

Compiler

Compiled 3167 to 2166 computations (31.6% saved)

simplify266.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

318×	`associate--l+_binary64`
297×	`neg-mul-1_binary64`
280×	`+-commutative_binary64`
277×	`cancel-sign-sub-inv_binary64`
252×	`*-commutative_binary64`

Counts

187 → 153

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	490	11016
1	1684	10146
2	2934	9788
3	4680	9782
4	5088	9782

prune231.0ms (2.6%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	149	4	153
Fresh	2	5	7
Picked	1	0	1
Done	0	0	0
Total	152	9	161

Error

Counts

161 → 9

Alt Table

Status	Error	Program
	46.3b	(-.f64 (/.f64 (+.f64 (.f64 (.f64 (log.f64 y) (+.f64 (.f64 x x) -1)) (.f64 (+.f64 (.f64 z z) (+.f64 1 z)) (+.f64 (.f64 y y) (.f64 (+.f64 (.f64 1/3 y) 1/2) (+.f64 (.f64 (+.f64 (.f64 1/3 y) 1/2) (pow.f64 y 4)) (pow.f64 (neg.f64 y) 3)))))) (.f64 (+.f64 x 1) (.f64 (+.f64 (pow.f64 z 3) -1) (-.f64 (pow.f64 (neg.f64 y) 3) (pow.f64 (.f64 y (.f64 y (+.f64 (.f64 1/3 y) 1/2))) 3))))) (.f64 (+.f64 (.f64 y y) (.f64 (+.f64 (.f64 1/3 y) 1/2) (+.f64 (.f64 (+.f64 (.f64 1/3 y) 1/2) (pow.f64 y 4)) (pow.f64 (neg.f64 y) 3)))) (.f64 (+.f64 (*.f64 z z) (+.f64 1 z)) (+.f64 x 1)))) t)
	0.6b	(-.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 y)) (-.f64 x 1)) (+.f64 (+.f64 (.f64 (-.f64 x 1) (log.f64 (fabs.f64 (cbrt.f64 y)))) (.f64 (-.f64 x 1) (log.f64 (sqrt.f64 (cbrt.f64 y))))) (.f64 (+.f64 z -1) (-.f64 (neg.f64 y) (.f64 y (.f64 y (+.f64 (*.f64 1/3 y) 1/2))))))) t)
	0.8b	(-.f64 (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 x 1) (log.f64 (sqrt.f64 y)))) (cbrt.f64 (.f64 (-.f64 x 1) (log.f64 (sqrt.f64 y))))) (cbrt.f64 (.f64 (-.f64 x 1) (log.f64 (sqrt.f64 y))))) (+.f64 (.f64 (+.f64 x -1) (log.f64 (sqrt.f64 y))) (.f64 (+.f64 z -1) (-.f64 (neg.f64 y) (.f64 y (.f64 y (+.f64 (.f64 1/3 y) 1/2))))))) t)
	49.4b	(-.f64 (+.f64 (.f64 (sqrt.f64 (-.f64 x 1)) (.f64 (log.f64 y) (sqrt.f64 (+.f64 -1 x)))) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
	22.3b	(-.f64 (+.f64 (/.f64 (.f64 (log.f64 y) (+.f64 -1 (.f64 x x))) (+.f64 x 1)) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
	7.1b	(-.f64 (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 (log.f64 y) (+.f64 -1 x))) (cbrt.f64 (.f64 (log.f64 y) (+.f64 -1 x)))) (cbrt.f64 (.f64 (log.f64 y) (+.f64 -1 x)))) (.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
	5.3b	(-.f64 (/.f64 (.f64 (+.f64 (.f64 (log.f64 y) (-.f64 x 1)) (.f64 (+.f64 -1 z) (.f64 y (-.f64 -1 (.f64 y (+.f64 (.f64 1/3 y) 1/2)))))) (.f64 (+.f64 -1 z) (+.f64 y (.f64 y (.f64 y (+.f64 (.f64 1/3 y) 1/2)))))) (.f64 (+.f64 -1 z) (+.f64 y (.f64 y (.f64 y (+.f64 (.f64 1/3 y) 1/2)))))) t)
	19.0b	(-.f64 (.f64 (sqrt.f64 (+.f64 (.f64 (log.f64 y) (-.f64 x 1)) (.f64 (+.f64 -1 z) (.f64 y (-.f64 -1 (.f64 y (+.f64 (.f64 1/3 y) 1/2))))))) (sqrt.f64 (+.f64 (.f64 (log.f64 y) (-.f64 x 1)) (.f64 (+.f64 -1 z) (.f64 y (-.f64 -1 (.f64 y (+.f64 (*.f64 1/3 y) 1/2)))))))) t)
▶	0.5b	(-.f64 (+.f64 (-.f64 (.f64 (log.f64 y) (+.f64 x -1)) (.f64 (+.f64 z -1) y)) (.f64 (neg.f64 (.f64 (.f64 y y) (+.f64 1/2 (.f64 1/3 y)))) (-.f64 z 1))) t)

Compiler

Compiled 8062 to 4961 computations (38.5% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 (.f64 y y) (+.f64 1/2 (*.f64 1/3 y)))
0.1b	(*.f64 (log.f64 y) (+.f64 x -1))
0.3b	(*.f64 1/3 y)
7.7b	(.f64 (neg.f64 (.f64 (.f64 y y) (+.f64 1/2 (.f64 1/3 y)))) (-.f64 z 1))

rewrite311.0ms (3.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

25×	`add-sqr-sqrt_binary64`
18×	`associate-r_binary64`
18×	`*-un-lft-identity_binary64`
16×	`pow1_binary64`
15×	`add-cbrt-cube_binary64`

Counts

4 → 108

Calls

4 calls:

7.0ms	(.f64 (neg.f64 (.f64 (.f64 y y) (+.f64 1/2 (.f64 1/3 y)))) (-.f64 z 1))
6.0ms	(.f64 (.f64 y y) (+.f64 1/2 (*.f64 1/3 y)))
5.0ms	(*.f64 (log.f64 y) (+.f64 x -1))
3.0ms	(*.f64 1/3 y)

Compiler

Compiled 3711 to 2411 computations (35% saved)

series124.0ms (1.4%)

Error

Counts

4 → 30

Calls

4 calls:

44.0ms	(.f64 (neg.f64 (.f64 (.f64 y y) (+.f64 1/2 (.f64 1/3 y)))) (-.f64 z 1))
29.0ms	(*.f64 (log.f64 y) (+.f64 x -1))
11.0ms	(.f64 (.f64 y y) (+.f64 1/2 (*.f64 1/3 y)))
7.0ms	(*.f64 1/3 y)

Compiler

Compiled 2182 to 1592 computations (27% saved)

simplify102.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

398×	`associate-l_binary64`
347×	`exp-prod_binary64`
300×	`cancel-sign-sub-inv_binary64`
299×	`associate-r_binary64`
288×	`distribute-rgt-neg-in_binary64`

Counts

138 → 121

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	227	2538
1	608	2138
2	2462	2125
3	4295	2125
4	4963	2125

prune175.0ms (1.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	121	0	121
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	121	9	130

Error

Counts

130 → 9

Alt Table

Status	Error	Program
	46.3b	(-.f64 (/.f64 (+.f64 (.f64 (.f64 (log.f64 y) (+.f64 (.f64 x x) -1)) (.f64 (+.f64 (.f64 z z) (+.f64 1 z)) (+.f64 (.f64 y y) (.f64 (+.f64 (.f64 1/3 y) 1/2) (+.f64 (.f64 (+.f64 (.f64 1/3 y) 1/2) (pow.f64 y 4)) (pow.f64 (neg.f64 y) 3)))))) (.f64 (+.f64 x 1) (.f64 (+.f64 (pow.f64 z 3) -1) (-.f64 (pow.f64 (neg.f64 y) 3) (pow.f64 (.f64 y (.f64 y (+.f64 (.f64 1/3 y) 1/2))) 3))))) (.f64 (+.f64 (.f64 y y) (.f64 (+.f64 (.f64 1/3 y) 1/2) (+.f64 (.f64 (+.f64 (.f64 1/3 y) 1/2) (pow.f64 y 4)) (pow.f64 (neg.f64 y) 3)))) (.f64 (+.f64 (*.f64 z z) (+.f64 1 z)) (+.f64 x 1)))) t)
	0.6b	(-.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 y)) (-.f64 x 1)) (+.f64 (+.f64 (.f64 (-.f64 x 1) (log.f64 (fabs.f64 (cbrt.f64 y)))) (.f64 (-.f64 x 1) (log.f64 (sqrt.f64 (cbrt.f64 y))))) (.f64 (+.f64 z -1) (-.f64 (neg.f64 y) (.f64 y (.f64 y (+.f64 (*.f64 1/3 y) 1/2))))))) t)
	0.8b	(-.f64 (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 x 1) (log.f64 (sqrt.f64 y)))) (cbrt.f64 (.f64 (-.f64 x 1) (log.f64 (sqrt.f64 y))))) (cbrt.f64 (.f64 (-.f64 x 1) (log.f64 (sqrt.f64 y))))) (+.f64 (.f64 (+.f64 x -1) (log.f64 (sqrt.f64 y))) (.f64 (+.f64 z -1) (-.f64 (neg.f64 y) (.f64 y (.f64 y (+.f64 (.f64 1/3 y) 1/2))))))) t)
	49.4b	(-.f64 (+.f64 (.f64 (sqrt.f64 (-.f64 x 1)) (.f64 (log.f64 y) (sqrt.f64 (+.f64 -1 x)))) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
	22.3b	(-.f64 (+.f64 (/.f64 (.f64 (log.f64 y) (+.f64 -1 (.f64 x x))) (+.f64 x 1)) (*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
	7.1b	(-.f64 (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 (log.f64 y) (+.f64 -1 x))) (cbrt.f64 (.f64 (log.f64 y) (+.f64 -1 x)))) (cbrt.f64 (.f64 (log.f64 y) (+.f64 -1 x)))) (.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
	5.3b	(-.f64 (/.f64 (.f64 (+.f64 (.f64 (log.f64 y) (-.f64 x 1)) (.f64 (+.f64 -1 z) (.f64 y (-.f64 -1 (.f64 y (+.f64 (.f64 1/3 y) 1/2)))))) (.f64 (+.f64 -1 z) (+.f64 y (.f64 y (.f64 y (+.f64 (.f64 1/3 y) 1/2)))))) (.f64 (+.f64 -1 z) (+.f64 y (.f64 y (.f64 y (+.f64 (.f64 1/3 y) 1/2)))))) t)
	19.0b	(-.f64 (.f64 (sqrt.f64 (+.f64 (.f64 (log.f64 y) (-.f64 x 1)) (.f64 (+.f64 -1 z) (.f64 y (-.f64 -1 (.f64 y (+.f64 (.f64 1/3 y) 1/2))))))) (sqrt.f64 (+.f64 (.f64 (log.f64 y) (-.f64 x 1)) (.f64 (+.f64 -1 z) (.f64 y (-.f64 -1 (.f64 y (+.f64 (*.f64 1/3 y) 1/2)))))))) t)
	0.5b	(-.f64 (+.f64 (-.f64 (.f64 (log.f64 y) (+.f64 x -1)) (.f64 (+.f64 z -1) y)) (.f64 (neg.f64 (.f64 (.f64 y y) (+.f64 1/2 (.f64 1/3 y)))) (-.f64 z 1))) t)

Compiler

Compiled 3131 to 2053 computations (34.4% saved)

regimes3.2s (35.1%)

Accuracy

Total 0.3b remaining (85.1%)

Threshold costs 0.3b (85.1%)

Compiler

Compiled 77805 to 55091 computations (29.2% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

17×	`+-commutative_binary64`
16×	`*-commutative_binary64`
13×	`sub-neg_binary64`
11×	`neg-sub0_binary64`
11×	`neg-mul-1_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	22	38
1	42	38
2	56	38
3	76	36
4	94	36
5	115	36
6	124	36
7	128	36
8	129	36
9	124	36

end1.0ms (0%)

Compiler: Compiled 28 to 20 computations (28.6% saved)

sample1.9s (21.5%)

Algorithm

1×

intervals

Results

612.0ms	6131×	body	128	valid
303.0ms	761×	body	512	valid
285.0ms	488×	body	1024	valid
122.0ms	620×	body	256	valid
22.0ms	240×	body	128	nan
2.0ms	23×	body	128	invalid

Compiler

Compiled 508 to 365 computations (28.1% saved)

Details

analyze484.0ms (5.4%)

sample50.0ms (0.5%)

simplify127.0ms (1.4%)

prune2.0ms (0%)

localize12.0ms (0.1%)

rewrite243.0ms (2.7%)

series170.0ms (1.9%)

simplify174.0ms (1.9%)

prune112.0ms (1.2%)

localize16.0ms (0.2%)

rewrite242.0ms (2.7%)

series170.0ms (1.9%)

simplify127.0ms (1.4%)

prune147.0ms (1.6%)

localize28.0ms (0.3%)

rewrite361.0ms (4%)

series220.0ms (2.4%)

simplify266.0ms (2.9%)

prune231.0ms (2.6%)

localize18.0ms (0.2%)

rewrite311.0ms (3.4%)

series124.0ms (1.4%)

simplify102.0ms (1.1%)

prune175.0ms (1.9%)

regimes3.2s (35.1%)

simplify6.0ms (0.1%)

end1.0ms (0%)

sample1.9s (21.5%)

Profiling