Details

analyze1.3s (14.1%)

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%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
1.8%	98%	0.2%	10
7.7%	92.1%	0.2%	11
10.4%	89.3%	0.2%	12
12.2%	87.5%	0.2%	13
21.9%	77.7%	0.4%	14

Compiler

Compiled 19 to 12 computations (36.8% saved)

sample29.0ms (0.3%)

Algorithm

1×

intervals

Results

8.0ms	212×	body	128	valid
2.0ms	14×	body	1024	valid
1.0ms	35×	body	128	invalid
1.0ms	12×	body	512	valid
1.0ms	17×	body	256	valid
0.0ms	1×	body	2048	valid

Compiler

Compiled 42 to 28 computations (33.3% saved)

simplify79.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

1165×	`unsub-neg_binary64`
859×	`div-sub_binary64`
666×	`neg-mul-1_binary64`
534×	`neg-sub0_binary64`
388×	`distribute-frac-neg_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	19
1	24	19
2	50	19
3	146	19
4	431	19
5	974	19
6	2396	19
7	3621	19
8	4190	19
9	4973	19

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

13.4b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	13.4b	(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))

Compiler

Compiled 36 to 22 computations (38.9% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (-.f64 t x) (-.f64 a z))
3.1b	(*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))
5.0b	(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))

rewrite166.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

11.7b

Rules

78×	`add-sqr-sqrt_binary64`
73×	`*-un-lft-identity_binary64`
51×	`times-frac_binary64`
31×	`associate-r_binary64`
27×	`add-cube-cbrt_binary64`

Counts

3 → 119

Calls

3 calls:

18.0ms	(*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))
14.0ms	(/.f64 (-.f64 t x) (-.f64 a z))
4.0ms	(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))

Compiler

Compiled 2312 to 458 computations (80.2% saved)

series535.0ms (5.8%)

Error

1.9b

Counts

3 → 120

Calls

3 calls:

203.0ms	(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))
157.0ms	(*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))
79.0ms	(/.f64 (-.f64 t x) (-.f64 a z))

Compiler

Compiled 9448 to 5016 computations (46.9% saved)

simplify215.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

318×	`associate--l+_binary64`
293×	`associate--r+_binary64`
256×	`associate-/l*_binary64`
228×	`times-frac_binary64`
196×	`sub-neg_binary64` `+-commutative_binary64`

Counts

239 → 175

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	554	9399
1	1582	9123
2	4969	9123
3	4984	9123

prune128.0ms (1.4%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	161	14	175
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	162	14	176

Error

1.9b

Counts

176 → 14

Alt Table

Status	Error	Program
	38.0b	(*.f64 x (-.f64 (+.f64 (/.f64 z (-.f64 a z)) 1) (/.f64 y (-.f64 a z))))
	13.9b	(+.f64 x (.f64 (.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))) (*.f64 (/.f64 (-.f64 t x) (-.f64 a z)) (cbrt.f64 (-.f64 y z)))))
	26.4b	(+.f64 x (.f64 1 (/.f64 (.f64 (-.f64 t x) (-.f64 y z)) (-.f64 a z))))
	39.6b	(+.f64 x (/.f64 (.f64 (-.f64 t x) (-.f64 (.f64 y y) (.f64 z z))) (.f64 (-.f64 a z) (+.f64 y z))))
▶	12.9b	(+.f64 x (.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 (-.f64 t x) (cbrt.f64 (-.f64 a z)))))
	39.3b	(+.f64 x (.f64 (sqrt.f64 (-.f64 y z)) (.f64 (/.f64 (-.f64 t x) (-.f64 a z)) (sqrt.f64 (-.f64 y z)))))
	29.8b	(neg.f64 (*.f64 t (-.f64 (/.f64 z (-.f64 a z)) (/.f64 y (-.f64 a z)))))
	43.9b	(-.f64 (+.f64 (/.f64 (.f64 y (.f64 a x)) (.f64 z z)) (+.f64 (/.f64 (.f64 t (.f64 a a)) (.f64 z z)) (+.f64 (/.f64 (.f64 t a) z) (+.f64 (/.f64 (.f64 y (.f64 a (.f64 a x))) (pow.f64 z 3)) (+.f64 (/.f64 (.f64 t (pow.f64 a 3)) (pow.f64 z 3)) (+.f64 t (/.f64 (.f64 y x) z))))))) (+.f64 (/.f64 (.f64 a x) z) (+.f64 (/.f64 (.f64 a (.f64 a x)) (.f64 z z)) (+.f64 (/.f64 (.f64 t y) z) (+.f64 (/.f64 (.f64 t (.f64 y (.f64 a a))) (pow.f64 z 3)) (+.f64 (/.f64 (.f64 t (.f64 y a)) (.f64 z z)) (/.f64 (.f64 x (pow.f64 a 3)) (pow.f64 z 3))))))))
	42.6b	(+.f64 x (.f64 (-.f64 y z) (.f64 (sqrt.f64 (-.f64 t x)) (/.f64 (sqrt.f64 (-.f64 t x)) (-.f64 a z)))))
	40.3b	(-.f64 (+.f64 (/.f64 (.f64 y (.f64 a x)) (.f64 z z)) (+.f64 (+.f64 t (+.f64 (/.f64 (.f64 y x) z) (/.f64 (.f64 t a) z))) (/.f64 (.f64 t (.f64 a a)) (.f64 z z)))) (+.f64 (/.f64 (.f64 a x) z) (+.f64 (/.f64 (.f64 t (.f64 y a)) (.f64 z z)) (+.f64 (/.f64 (.f64 t y) z) (/.f64 (.f64 a (.f64 a x)) (.f64 z z))))))
	44.6b	(*.f64 y (/.f64 (-.f64 t x) (-.f64 a z)))
	47.3b	(cbrt.f64 (pow.f64 (+.f64 x (/.f64 (*.f64 (-.f64 t x) (-.f64 y z)) (-.f64 a z))) 3))
	13.4b	(+.f64 x (.f64 (-.f64 y z) (.f64 1 (/.f64 (-.f64 t x) (-.f64 a z)))))
	37.5b	(-.f64 (+.f64 t (+.f64 (/.f64 (.f64 y x) z) (/.f64 (.f64 t a) z))) (+.f64 (/.f64 (.f64 a x) z) (/.f64 (.f64 t y) z)))

Compiler

Compiled 4596 to 1380 computations (70% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (-.f64 a z))
0.6b	(cbrt.f64 (-.f64 a z))
1.0b	(.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 (-.f64 t x) (cbrt.f64 (-.f64 a z))))
8.4b	(+.f64 x (.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 (-.f64 t x) (cbrt.f64 (-.f64 a z)))))

rewrite178.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

1.9b

Rules

75×	`add-sqr-sqrt_binary64`
59×	`*-un-lft-identity_binary64`
52×	`times-frac_binary64`
46×	`associate-r_binary64`
37×	`cbrt-prod_binary64`

Counts

4 → 134

Calls

4 calls:

42.0ms	(.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 (-.f64 t x) (cbrt.f64 (-.f64 a z))))
4.0ms	(+.f64 x (.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 (-.f64 t x) (cbrt.f64 (-.f64 a z)))))
3.0ms	(cbrt.f64 (-.f64 a z))
3.0ms	(cbrt.f64 (-.f64 a z))

Compiler

Compiled 4474 to 626 computations (86% saved)

series589.0ms (6.4%)

Error

1.9b

Counts

4 → 106

Calls

4 calls:

233.0ms	(+.f64 x (.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 (-.f64 t x) (cbrt.f64 (-.f64 a z)))))
175.0ms	(.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 (-.f64 t x) (cbrt.f64 (-.f64 a z))))
37.0ms	(cbrt.f64 (-.f64 a z))
35.0ms	(cbrt.f64 (-.f64 a z))

Compiler

Compiled 10639 to 5976 computations (43.8% saved)

simplify229.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

401×	`associate-/l*_binary64`
389×	`times-frac_binary64`
244×	`associate-/r*_binary64`
242×	`associate-*r/_binary64`
213×	`+-commutative_binary64`

Counts

240 → 185

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	642	10530
1	1948	9717
2	4923	9715
3	4977	9715

prune143.0ms (1.5%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	183	2	185
Fresh	1	12	13
Picked	0	1	1
Done	0	0	0
Total	184	15	199

Error

1.9b

Counts

199 → 15

Alt Table

Status	Error	Program
	38.0b	(*.f64 x (-.f64 (+.f64 (/.f64 z (-.f64 a z)) 1) (/.f64 y (-.f64 a z))))
	13.9b	(+.f64 x (.f64 (.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))) (*.f64 (/.f64 (-.f64 t x) (-.f64 a z)) (cbrt.f64 (-.f64 y z)))))
	26.4b	(+.f64 x (.f64 1 (/.f64 (.f64 (-.f64 t x) (-.f64 y z)) (-.f64 a z))))
	39.6b	(+.f64 x (/.f64 (.f64 (-.f64 t x) (-.f64 (.f64 y y) (.f64 z z))) (.f64 (-.f64 a z) (+.f64 y z))))
✓	12.9b	(+.f64 x (.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 (-.f64 t x) (cbrt.f64 (-.f64 a z)))))
	39.3b	(+.f64 x (.f64 (sqrt.f64 (-.f64 y z)) (.f64 (/.f64 (-.f64 t x) (-.f64 a z)) (sqrt.f64 (-.f64 y z)))))
	13.4b	(+.f64 x (.f64 (/.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (*.f64 (cbrt.f64 (cbrt.f64 (-.f64 a z))) (cbrt.f64 (cbrt.f64 (-.f64 a z))))) (/.f64 (-.f64 t x) (cbrt.f64 (cbrt.f64 (-.f64 a z))))))
	29.8b	(*.f64 t (/.f64 (-.f64 y z) (-.f64 a z)))
	43.9b	(-.f64 (+.f64 (/.f64 (.f64 y (.f64 a x)) (.f64 z z)) (+.f64 (/.f64 (.f64 t (.f64 a a)) (.f64 z z)) (+.f64 (/.f64 (.f64 t a) z) (+.f64 (/.f64 (.f64 y (.f64 a (.f64 a x))) (pow.f64 z 3)) (+.f64 (/.f64 (.f64 t (pow.f64 a 3)) (pow.f64 z 3)) (+.f64 t (/.f64 (.f64 y x) z))))))) (+.f64 (/.f64 (.f64 a x) z) (+.f64 (/.f64 (.f64 a (.f64 a x)) (.f64 z z)) (+.f64 (/.f64 (.f64 t y) z) (+.f64 (/.f64 (.f64 t (.f64 y (.f64 a a))) (pow.f64 z 3)) (+.f64 (/.f64 (.f64 t (.f64 y a)) (.f64 z z)) (/.f64 (.f64 x (pow.f64 a 3)) (pow.f64 z 3))))))))
	42.6b	(+.f64 x (.f64 (-.f64 y z) (.f64 (sqrt.f64 (-.f64 t x)) (/.f64 (sqrt.f64 (-.f64 t x)) (-.f64 a z)))))
	40.3b	(-.f64 (+.f64 (/.f64 (.f64 y (.f64 a x)) (.f64 z z)) (+.f64 (+.f64 t (+.f64 (/.f64 (.f64 y x) z) (/.f64 (.f64 t a) z))) (/.f64 (.f64 t (.f64 a a)) (.f64 z z)))) (+.f64 (/.f64 (.f64 a x) z) (+.f64 (/.f64 (.f64 t (.f64 y a)) (.f64 z z)) (+.f64 (/.f64 (.f64 t y) z) (/.f64 (.f64 a (.f64 a x)) (.f64 z z))))))
	44.6b	(*.f64 y (/.f64 (-.f64 t x) (-.f64 a z)))
	47.3b	(cbrt.f64 (pow.f64 (+.f64 x (/.f64 (*.f64 (-.f64 t x) (-.f64 y z)) (-.f64 a z))) 3))
▶	13.4b	(+.f64 x (.f64 (-.f64 y z) (.f64 1 (/.f64 (-.f64 t x) (-.f64 a z)))))
	37.5b	(-.f64 (+.f64 t (+.f64 (/.f64 (.f64 y x) z) (/.f64 (.f64 t a) z))) (+.f64 (/.f64 (.f64 a x) z) (/.f64 (.f64 t y) z)))

Compiler

Compiled 5966 to 1658 computations (72.2% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (-.f64 t x) (-.f64 a z))
3.1b	(.f64 (-.f64 y z) (.f64 1 (/.f64 (-.f64 t x) (-.f64 a z))))
5.0b	(+.f64 x (.f64 (-.f64 y z) (.f64 1 (/.f64 (-.f64 t x) (-.f64 a z)))))

rewrite128.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

1.9b

Rules

42×	`add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
25×	`times-frac_binary64`
19×	`add-exp-log_binary64`
16×	`add-cube-cbrt_binary64`
14×	`add-cbrt-cube_binary64`

Counts

3 → 92

Calls

3 calls:

15.0ms	(.f64 (-.f64 y z) (.f64 1 (/.f64 (-.f64 t x) (-.f64 a z))))
8.0ms	(/.f64 (-.f64 t x) (-.f64 a z))
4.0ms	(+.f64 x (.f64 (-.f64 y z) (.f64 1 (/.f64 (-.f64 t x) (-.f64 a z)))))

Compiler

Compiled 1989 to 628 computations (68.4% saved)

series529.0ms (5.7%)

Error

1.9b

Counts

3 → 120

Calls

3 calls:

200.0ms	(+.f64 x (.f64 (-.f64 y z) (.f64 1 (/.f64 (-.f64 t x) (-.f64 a z)))))
154.0ms	(.f64 (-.f64 y z) (.f64 1 (/.f64 (-.f64 t x) (-.f64 a z))))
82.0ms	(/.f64 (-.f64 t x) (-.f64 a z))

Compiler

Compiled 9556 to 5124 computations (46.4% saved)

simplify159.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

459×	`associate-+l+_binary64`
318×	`associate--l+_binary64`
293×	`associate--r+_binary64`
243×	`associate-/l*_binary64`
226×	`times-frac_binary64`

Counts

212 → 160

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	547	8860
1	1542	8584
2	5262	8584

prune111.0ms (1.2%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	160	0	160
Fresh	0	13	13
Picked	0	1	1
Done	0	1	1
Total	160	15	175

Error

1.9b

Counts

175 → 15

Alt Table

Status	Error	Program
	38.0b	(*.f64 x (-.f64 (+.f64 (/.f64 z (-.f64 a z)) 1) (/.f64 y (-.f64 a z))))
	13.9b	(+.f64 x (.f64 (.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))) (*.f64 (/.f64 (-.f64 t x) (-.f64 a z)) (cbrt.f64 (-.f64 y z)))))
	26.4b	(+.f64 x (.f64 1 (/.f64 (.f64 (-.f64 t x) (-.f64 y z)) (-.f64 a z))))
	39.6b	(+.f64 x (/.f64 (.f64 (-.f64 t x) (-.f64 (.f64 y y) (.f64 z z))) (.f64 (-.f64 a z) (+.f64 y z))))
✓	12.9b	(+.f64 x (.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 (-.f64 t x) (cbrt.f64 (-.f64 a z)))))
	39.3b	(+.f64 x (.f64 (sqrt.f64 (-.f64 y z)) (.f64 (/.f64 (-.f64 t x) (-.f64 a z)) (sqrt.f64 (-.f64 y z)))))
▶	13.4b	(+.f64 x (.f64 (/.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (*.f64 (cbrt.f64 (cbrt.f64 (-.f64 a z))) (cbrt.f64 (cbrt.f64 (-.f64 a z))))) (/.f64 (-.f64 t x) (cbrt.f64 (cbrt.f64 (-.f64 a z))))))
	29.8b	(*.f64 t (/.f64 (-.f64 y z) (-.f64 a z)))
	43.9b	(-.f64 (+.f64 (/.f64 (.f64 y (.f64 a x)) (.f64 z z)) (+.f64 (/.f64 (.f64 t (.f64 a a)) (.f64 z z)) (+.f64 (/.f64 (.f64 t a) z) (+.f64 (/.f64 (.f64 y (.f64 a (.f64 a x))) (pow.f64 z 3)) (+.f64 (/.f64 (.f64 t (pow.f64 a 3)) (pow.f64 z 3)) (+.f64 t (/.f64 (.f64 y x) z))))))) (+.f64 (/.f64 (.f64 a x) z) (+.f64 (/.f64 (.f64 a (.f64 a x)) (.f64 z z)) (+.f64 (/.f64 (.f64 t y) z) (+.f64 (/.f64 (.f64 t (.f64 y (.f64 a a))) (pow.f64 z 3)) (+.f64 (/.f64 (.f64 t (.f64 y a)) (.f64 z z)) (/.f64 (.f64 x (pow.f64 a 3)) (pow.f64 z 3))))))))
	42.6b	(+.f64 x (.f64 (-.f64 y z) (.f64 (sqrt.f64 (-.f64 t x)) (/.f64 (sqrt.f64 (-.f64 t x)) (-.f64 a z)))))
	40.3b	(-.f64 (+.f64 (/.f64 (.f64 y (.f64 a x)) (.f64 z z)) (+.f64 (+.f64 t (+.f64 (/.f64 (.f64 y x) z) (/.f64 (.f64 t a) z))) (/.f64 (.f64 t (.f64 a a)) (.f64 z z)))) (+.f64 (/.f64 (.f64 a x) z) (+.f64 (/.f64 (.f64 t (.f64 y a)) (.f64 z z)) (+.f64 (/.f64 (.f64 t y) z) (/.f64 (.f64 a (.f64 a x)) (.f64 z z))))))
	44.6b	(*.f64 y (/.f64 (-.f64 t x) (-.f64 a z)))
	47.3b	(cbrt.f64 (pow.f64 (+.f64 x (/.f64 (*.f64 (-.f64 t x) (-.f64 y z)) (-.f64 a z))) 3))
✓	13.4b	(+.f64 x (.f64 (-.f64 y z) (.f64 1 (/.f64 (-.f64 t x) (-.f64 a z)))))
	37.5b	(-.f64 (+.f64 t (+.f64 (/.f64 (.f64 y x) z) (/.f64 (.f64 t a) z))) (+.f64 (/.f64 (.f64 a x) z) (/.f64 (.f64 t y) z)))

Compiler

Compiled 4376 to 1357 computations (69% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (-.f64 a z))
0.6b	(cbrt.f64 (-.f64 a z))
2.3b	(.f64 (/.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (*.f64 (cbrt.f64 (cbrt.f64 (-.f64 a z))) (cbrt.f64 (cbrt.f64 (-.f64 a z))))) (/.f64 (-.f64 t x) (cbrt.f64 (cbrt.f64 (-.f64 a z)))))
8.6b	(+.f64 x (.f64 (/.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (*.f64 (cbrt.f64 (cbrt.f64 (-.f64 a z))) (cbrt.f64 (cbrt.f64 (-.f64 a z))))) (/.f64 (-.f64 t x) (cbrt.f64 (cbrt.f64 (-.f64 a z))))))

rewrite263.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

1.9b

Rules

107×	`add-sqr-sqrt_binary64`
98×	`times-frac_binary64`
84×	`cbrt-prod_binary64`
74×	`*-un-lft-identity_binary64`
69×	`add-exp-log_binary64`

Counts

4 → 183

Calls

4 calls:

70.0ms	(.f64 (/.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (*.f64 (cbrt.f64 (cbrt.f64 (-.f64 a z))) (cbrt.f64 (cbrt.f64 (-.f64 a z))))) (/.f64 (-.f64 t x) (cbrt.f64 (cbrt.f64 (-.f64 a z)))))
5.0ms	(+.f64 x (.f64 (/.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (*.f64 (cbrt.f64 (cbrt.f64 (-.f64 a z))) (cbrt.f64 (cbrt.f64 (-.f64 a z))))) (/.f64 (-.f64 t x) (cbrt.f64 (cbrt.f64 (-.f64 a z))))))
3.0ms	(cbrt.f64 (-.f64 a z))
3.0ms	(cbrt.f64 (-.f64 a z))

Compiler

Compiled 9117 to 941 computations (89.7% saved)

series603.0ms (6.5%)

Error

1.9b

Counts

4 → 106

Calls

4 calls:

235.0ms	(+.f64 x (.f64 (/.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (*.f64 (cbrt.f64 (cbrt.f64 (-.f64 a z))) (cbrt.f64 (cbrt.f64 (-.f64 a z))))) (/.f64 (-.f64 t x) (cbrt.f64 (cbrt.f64 (-.f64 a z))))))
180.0ms	(.f64 (/.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (*.f64 (cbrt.f64 (cbrt.f64 (-.f64 a z))) (cbrt.f64 (cbrt.f64 (-.f64 a z))))) (/.f64 (-.f64 t x) (cbrt.f64 (cbrt.f64 (-.f64 a z)))))
39.0ms	(cbrt.f64 (-.f64 a z))
37.0ms	(cbrt.f64 (-.f64 a z))

Compiler

Compiled 11263 to 6129 computations (45.6% saved)

simplify257.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

487×	`associate-/l*_binary64`
468×	`times-frac_binary64`
357×	`associate-/r*_binary64`
213×	`+-commutative_binary64`
195×	`sub-neg_binary64`

Counts

289 → 227

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	745	15664
1	2199	14386
2	5111	14386

prune157.0ms (1.7%)

Pruning

15 alts after pruning (12 fresh and 3 done)

	Pruned	Kept	Total
New	227	0	227
Fresh	0	12	12
Picked	0	1	1
Done	0	2	2
Total	227	15	242

Error

1.9b

Counts

242 → 15

Alt Table

Status	Error	Program
	38.0b	(*.f64 x (-.f64 (+.f64 (/.f64 z (-.f64 a z)) 1) (/.f64 y (-.f64 a z))))
	13.9b	(+.f64 x (.f64 (.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z))) (*.f64 (/.f64 (-.f64 t x) (-.f64 a z)) (cbrt.f64 (-.f64 y z)))))
	26.4b	(+.f64 x (.f64 1 (/.f64 (.f64 (-.f64 t x) (-.f64 y z)) (-.f64 a z))))
	39.6b	(+.f64 x (/.f64 (.f64 (-.f64 t x) (-.f64 (.f64 y y) (.f64 z z))) (.f64 (-.f64 a z) (+.f64 y z))))
	12.9b	(+.f64 x (.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 (-.f64 t x) (cbrt.f64 (-.f64 a z)))))
	39.3b	(+.f64 x (.f64 (sqrt.f64 (-.f64 y z)) (.f64 (/.f64 (-.f64 t x) (-.f64 a z)) (sqrt.f64 (-.f64 y z)))))
	13.4b	(+.f64 x (.f64 (/.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (*.f64 (cbrt.f64 (cbrt.f64 (-.f64 a z))) (cbrt.f64 (cbrt.f64 (-.f64 a z))))) (/.f64 (-.f64 t x) (cbrt.f64 (cbrt.f64 (-.f64 a z))))))
	29.8b	(*.f64 t (/.f64 (-.f64 y z) (-.f64 a z)))
	43.9b	(-.f64 (+.f64 (/.f64 (.f64 y (.f64 a x)) (.f64 z z)) (+.f64 (/.f64 (.f64 t (.f64 a a)) (.f64 z z)) (+.f64 (/.f64 (.f64 t a) z) (+.f64 (/.f64 (.f64 y (.f64 a (.f64 a x))) (pow.f64 z 3)) (+.f64 (/.f64 (.f64 t (pow.f64 a 3)) (pow.f64 z 3)) (+.f64 t (/.f64 (.f64 y x) z))))))) (+.f64 (/.f64 (.f64 a x) z) (+.f64 (/.f64 (.f64 a (.f64 a x)) (.f64 z z)) (+.f64 (/.f64 (.f64 t y) z) (+.f64 (/.f64 (.f64 t (.f64 y (.f64 a a))) (pow.f64 z 3)) (+.f64 (/.f64 (.f64 t (.f64 y a)) (.f64 z z)) (/.f64 (.f64 x (pow.f64 a 3)) (pow.f64 z 3))))))))
	42.6b	(+.f64 x (.f64 (-.f64 y z) (.f64 (sqrt.f64 (-.f64 t x)) (/.f64 (sqrt.f64 (-.f64 t x)) (-.f64 a z)))))
	40.3b	(-.f64 (+.f64 (/.f64 (.f64 y (.f64 a x)) (.f64 z z)) (+.f64 (+.f64 t (+.f64 (/.f64 (.f64 y x) z) (/.f64 (.f64 t a) z))) (/.f64 (.f64 t (.f64 a a)) (.f64 z z)))) (+.f64 (/.f64 (.f64 a x) z) (+.f64 (/.f64 (.f64 t (.f64 y a)) (.f64 z z)) (+.f64 (/.f64 (.f64 t y) z) (/.f64 (.f64 a (.f64 a x)) (.f64 z z))))))
	44.6b	(*.f64 y (/.f64 (-.f64 t x) (-.f64 a z)))
	47.3b	(cbrt.f64 (pow.f64 (+.f64 x (/.f64 (*.f64 (-.f64 t x) (-.f64 y z)) (-.f64 a z))) 3))
	13.4b	(+.f64 x (.f64 (-.f64 y z) (.f64 1 (/.f64 (-.f64 t x) (-.f64 a z)))))
	37.5b	(-.f64 (+.f64 t (+.f64 (/.f64 (.f64 y x) z) (/.f64 (.f64 t a) z))) (+.f64 (/.f64 (.f64 a x) z) (/.f64 (.f64 t y) z)))

Compiler

Compiled 7567 to 1593 computations (78.9% saved)

regimes2.2s (23.4%)

Accuracy

Total 6.1b remaining (85.7%)

Threshold costs 0b (0%)

Compiler

Compiled 24998 to 13696 computations (45.2% saved)

bsearch7.0ms (0.1%)

Compiler: Compiled 18 to 11 computations (38.9% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

20×	`+-commutative_binary64`
18×	`*-commutative_binary64`
14×	`sub-neg_binary64`
10×	`neg-mul-1_binary64` `neg-sub0_binary64`
4×	`distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	41	141
1	59	141
2	74	141
3	90	141
4	112	141
5	124	141
6	132	141
7	135	141
8	134	141

end1.0ms (0%)

Compiler: Compiled 99 to 35 computations (64.6% saved)

sample1.2s (13%)

Algorithm

1×

intervals

Results

277.0ms	6682×	body	128	valid
58.0ms	1284×	body	128	invalid
55.0ms	357×	body	1024	valid
52.0ms	486×	body	512	valid
36.0ms	428×	body	256	valid
9.0ms	47×	body	2048	valid

Compiler

Compiled 620 to 314 computations (49.4% saved)

Details

analyze1.3s (14.1%)

sample29.0ms (0.3%)

simplify79.0ms (0.9%)

prune2.0ms (0%)

localize10.0ms (0.1%)

rewrite166.0ms (1.8%)

series535.0ms (5.8%)

simplify215.0ms (2.3%)

prune128.0ms (1.4%)

localize14.0ms (0.1%)

rewrite178.0ms (1.9%)

series589.0ms (6.4%)

simplify229.0ms (2.5%)

prune143.0ms (1.5%)

localize11.0ms (0.1%)

rewrite128.0ms (1.4%)

series529.0ms (5.7%)

simplify159.0ms (1.7%)

prune111.0ms (1.2%)

localize19.0ms (0.2%)

rewrite263.0ms (2.9%)

series603.0ms (6.5%)

simplify257.0ms (2.8%)

prune157.0ms (1.7%)

regimes2.2s (23.4%)

bsearch7.0ms (0.1%)

simplify10.0ms (0.1%)

end1.0ms (0%)

sample1.2s (13%)

Profiling