Details

analyze947.0ms (11.8%)

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
6.2%	93.6%	0.2%	9
9.4%	90.4%	0.2%	10
14%	83.4%	2.5%	11
18.7%	78.2%	3.1%	12
28.1%	65.5%	6.4%	13
30.7%	59.4%	9.9%	14

Compiler

Compiled 20 to 12 computations (40% saved)

sample39.0ms (0.5%)

Algorithm

1×

intervals

Results

11.0ms	256×	body	128	valid
9.0ms	216×	body	128	invalid

Compiler

Compiled 43 to 27 computations (37.2% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`associate-/l*_binary64`
6×	`associate-/r/_binary64` `associate-*r/_binary64`
4×	`associate-/r*_binary64`
2×	`times-frac_binary64` `associate-/l/_binary64` `associate-l/_binary64` `-commutative_binary64`
1×	`+-commutative_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	22
1	25	22
2	43	22
3	51	22
4	49	22
5	49	22

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

31.8b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	31.8b	(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (/.f64 (.f64 z z) (.f64 t t)))

Compiler

Compiled 38 to 22 computations (42.1% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (/.f64 (.f64 z z) (.f64 t t)))
18.1b	(/.f64 (.f64 x x) (.f64 y y))
20.7b	(/.f64 (.f64 z z) (.f64 t t))

rewrite99.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

3.7b

Rules

27×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`prod-exp_binary64` `div-exp_binary64` `cbrt-undiv_binary64` `cbrt-unprod_binary64`
5×	`add-log-exp_binary64` `*-un-lft-identity_binary64`
3×	`pow1_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
2×	`frac-2neg_binary64` `times-frac_binary64` `clear-num_binary64` `div-inv_binary64` `associate-/l_binary64` `associate-/r_binary64`

Counts

3 → 55

Calls

3 calls:

9.0ms	(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (/.f64 (.f64 z z) (.f64 t t)))
6.0ms	(/.f64 (.f64 z z) (.f64 t t))
6.0ms	(/.f64 (.f64 x x) (.f64 y y))

Compiler

Compiled 1291 to 211 computations (83.7% saved)

series142.0ms (1.8%)

Error

25.9b

Counts

3 → 36

Calls

3 calls:

94.0ms	(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (/.f64 (.f64 z z) (.f64 t t)))
22.0ms	(/.f64 (.f64 x x) (.f64 y y))
21.0ms	(/.f64 (.f64 z z) (.f64 t t))

Compiler

Compiled 1107 to 823 computations (25.7% saved)

simplify82.0ms (1%)

Algorithm

1×	egg-herbie

Rules

738×	`associate-/l*_binary64`
645×	`associate-*l/_binary64`
471×	`associate-*r/_binary64`
384×	`associate-/r*_binary64`
342×	`unswap-sqr_binary64`

Counts

91 → 74

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	114	1508
1	327	1369
2	1168	1274
3	4224	1249
4	4976	1249

prune38.0ms (0.5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	67	7	74
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	68	7	75

Error

3.6b

Counts

75 → 7

Alt Table

Status	Error	Program
	22.0b	(+.f64 (/.f64 (.f64 x (/.f64 x y)) y) (/.f64 (.f64 z z) (*.f64 t t)))
	20.4b	(+.f64 (/.f64 x (/.f64 y (/.f64 x y))) (/.f64 (.f64 z z) (.f64 t t)))
	19.2b	(+.f64 (.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y))) (/.f64 (.f64 z z) (*.f64 t t)))
	32.1b	(.f64 (.f64 (cbrt.f64 (+.f64 (/.f64 (.f64 z z) (.f64 t t)) (/.f64 (.f64 x x) (.f64 y y)))) (cbrt.f64 (+.f64 (/.f64 (.f64 z z) (.f64 t t)) (/.f64 (.f64 x x) (.f64 y y))))) (cbrt.f64 (+.f64 (/.f64 (.f64 z z) (.f64 t t)) (/.f64 (.f64 x x) (.f64 y y)))))
	19.2b	(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (/.f64 (*.f64 z (/.f64 z t)) t))
	19.0b	(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (/.f64 z (/.f64 t (/.f64 z t))))
▶	16.4b	(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t))))

Compiler

Compiled 815 to 253 computations (69% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t))))
0.3b	(*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t)))
18.1b	(/.f64 (.f64 x x) (.f64 y y))

rewrite193.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

117×	`add-sqr-sqrt_binary64`
72×	`fabs-mul_binary64`
61×	`times-frac_binary64`
35×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
28×	`fabs-sqr_binary64`

Counts

3 → 134

Calls

3 calls:

15.0ms	(*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t)))
8.0ms	(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t))))
6.0ms	(/.f64 (.f64 x x) (.f64 y y))

Compiler

Compiled 3465 to 545 computations (84.3% saved)

series111.0ms (1.4%)

Error

2.0b

Counts

3 → 30

Calls

3 calls:

70.0ms	(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t))))
20.0ms	(/.f64 (.f64 x x) (.f64 y y))
14.0ms	(*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t)))

Compiler

Compiled 1025 to 721 computations (29.7% saved)

simplify151.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

681×	`times-frac_binary64`
664×	`associate-/l*_binary64`
452×	`*-commutative_binary64`
239×	`associate-/r*_binary64`
181×	`associate-/l/_binary64`

Counts

164 → 149

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	225	3208
1	492	2564
2	1692	2419
3	4138	2328
4	4776	2318
5	4958	2318

prune102.0ms (1.3%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	139	10	149
Fresh	3	3	6
Picked	1	0	1
Done	0	0	0
Total	143	13	156

Error

0.1b

Counts

156 → 13

Alt Table

Status	Error	Program
	26.8b	(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (.f64 (/.f64 (/.f64 z t) (.f64 (cbrt.f64 t) (cbrt.f64 t))) (fabs.f64 (/.f64 z (cbrt.f64 t)))))
	20.4b	(+.f64 (/.f64 x (/.f64 y (/.f64 x y))) (/.f64 (.f64 z z) (.f64 t t)))
	35.1b	(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (*.f64 (sqrt.f64 (/.f64 z t)) (pow.f64 (/.f64 z t) 3/2)))
	47.1b	(/.f64 (+.f64 (.f64 (.f64 x x) (fabs.f64 t)) (.f64 (.f64 y y) (.f64 z (/.f64 z t)))) (.f64 (*.f64 y y) (fabs.f64 t)))
	45.8b	(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (.f64 (/.f64 z (.f64 (fabs.f64 (sqrt.f64 t)) t)) (fabs.f64 (/.f64 z (sqrt.f64 t)))))
	40.4b	(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (.f64 z (.f64 (/.f64 (sqrt.f64 z) t) (/.f64 (sqrt.f64 z) t))))
	16.7b	(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (.f64 (.f64 (cbrt.f64 (pow.f64 (/.f64 z t) 2)) (cbrt.f64 (pow.f64 (/.f64 z t) 2))) (cbrt.f64 (pow.f64 (/.f64 z t) 2))))
▶	0.4b	(+.f64 (.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y))) (.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t))))
	19.2b	(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (/.f64 (*.f64 z (/.f64 z t)) t))
	16.8b	(+.f64 (cbrt.f64 (pow.f64 (/.f64 x y) 6)) (*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t))))
	19.0b	(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (/.f64 z (/.f64 t (/.f64 z t))))
	3.4b	(+.f64 (/.f64 (.f64 x (/.f64 x y)) y) (.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t))))
	1.8b	(+.f64 (/.f64 x (/.f64 y (/.f64 x y))) (*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t))))

Compiler

Compiled 2260 to 723 computations (68% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b

(+.f64 (*.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y))) (*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t))))

0.3b

(*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t)))

0.3b

(*.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y)))

rewrite343.0ms (4.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

231×	`add-sqr-sqrt_binary64`
144×	`fabs-mul_binary64`
120×	`times-frac_binary64`
67×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
56×	`fabs-sqr_binary64`

Counts

3 → 218

Calls

3 calls:

19.0ms

(*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t)))

15.0ms

(*.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y)))

10.0ms

(+.f64 (*.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y))) (*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t))))

Compiler

Compiled 6032 to 892 computations (85.2% saved)

series80.0ms (1%)

Error

0.1b

Counts

3 → 24

Calls

3 calls:

45.0ms

(+.f64 (*.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y))) (*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t))))

17.0ms

(*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t)))

15.0ms

(*.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y)))

Compiler

Compiled 937 to 621 computations (33.7% saved)

simplify215.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

614×	`associate-/l*_binary64`
309×	`associate-l_binary64`
302×	`associate-r_binary64`
237×	`associate-*l/_binary64`
233×	`associate-*r/_binary64`

Counts

242 → 229

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	340	5245
1	668	4033
2	2283	3813
3	4365	3753
4	4912	3753
5	4981	3753

prune201.0ms (2.5%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	219	10	229
Fresh	5	7	12
Picked	1	0	1
Done	0	0	0
Total	225	17	242

Error

0.0b

Counts

242 → 17

Alt Table

Status	Error	Program
	25.9b	(+.f64 (.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y))) (.f64 (sqrt.f64 (/.f64 z t)) (pow.f64 (/.f64 z t) 3/2)))
	7.9b	(+.f64 (.f64 (.f64 x (cbrt.f64 x)) (.f64 (/.f64 (cbrt.f64 x) y) (/.f64 (cbrt.f64 x) y))) (.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t))))
	21.3b	(+.f64 (.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y))) (.f64 (fabs.f64 z) (/.f64 z (*.f64 t t))))
	20.4b	(+.f64 (/.f64 x (/.f64 y (/.f64 x y))) (/.f64 (.f64 z z) (.f64 t t)))
	33.6b	(+.f64 (.f64 x (.f64 (/.f64 (sqrt.f64 x) y) (/.f64 (sqrt.f64 x) y))) (*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t))))
▶	1.0b	(+.f64 (.f64 (pow.f64 (cbrt.f64 (/.f64 x y)) 4) (.f64 (cbrt.f64 (/.f64 x y)) (cbrt.f64 (/.f64 x y)))) (*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t))))
	47.1b	(/.f64 (+.f64 (.f64 (.f64 x x) (fabs.f64 t)) (.f64 (.f64 y y) (.f64 z (/.f64 z t)))) (.f64 (*.f64 y y) (fabs.f64 t)))
	13.5b	(+.f64 (.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y))) (.f64 (/.f64 (/.f64 z t) (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (fabs.f64 (/.f64 z (cbrt.f64 t)))))
	32.4b	(+.f64 (.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y))) (.f64 z (*.f64 (/.f64 (sqrt.f64 z) t) (/.f64 (sqrt.f64 z) t))))
	45.8b	(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (.f64 (/.f64 z (.f64 (fabs.f64 (sqrt.f64 t)) t)) (fabs.f64 (/.f64 z (sqrt.f64 t)))))
	16.7b	(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (.f64 (.f64 (cbrt.f64 (pow.f64 (/.f64 z t) 2)) (cbrt.f64 (pow.f64 (/.f64 z t) 2))) (cbrt.f64 (pow.f64 (/.f64 z t) 2))))
	19.2b	(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (/.f64 (*.f64 z (/.f64 z t)) t))
	35.2b	(/.f64 (-.f64 (pow.f64 (/.f64 x y) 4) (pow.f64 (/.f64 z t) 4)) (-.f64 (pow.f64 (/.f64 x y) 2) (pow.f64 (/.f64 z t) 2)))
	16.1b	(+.f64 (.f64 (.f64 x (/.f64 x y)) (fabs.f64 (/.f64 1 y))) (*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t))))
	19.0b	(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (/.f64 z (/.f64 t (/.f64 z t))))
	19.4b	(+.f64 (.f64 (fabs.f64 x) (/.f64 x (.f64 y y))) (*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t))))
	1.8b	(+.f64 (/.f64 x (/.f64 y (/.f64 x y))) (*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t))))

Compiler

Compiled 4032 to 1146 computations (71.6% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.7b	(pow.f64 (cbrt.f64 (/.f64 x y)) 4)
11.9b	(cbrt.f64 (/.f64 x y))
11.9b	(cbrt.f64 (/.f64 x y))
11.9b	(cbrt.f64 (/.f64 x y))

rewrite167.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

52×	`cbrt-prod_binary64`
36×	`times-frac_binary64`
34×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
16×	`unpow-prod-down_binary64`
5×	`pow1_binary64` `add-exp-log_binary64`

Counts

4 → 97

Calls

4 calls:

5.0ms	(pow.f64 (cbrt.f64 (/.f64 x y)) 4)
2.0ms	(cbrt.f64 (/.f64 x y))
2.0ms	(cbrt.f64 (/.f64 x y))
2.0ms	(cbrt.f64 (/.f64 x y))

Compiler

Compiled 3175 to 706 computations (77.8% saved)

series207.0ms (2.6%)

Error

0.0b

Counts

4 → 24

Calls

4 calls:

60.0ms	(pow.f64 (cbrt.f64 (/.f64 x y)) 4)
44.0ms	(cbrt.f64 (/.f64 x y))
44.0ms	(cbrt.f64 (/.f64 x y))
41.0ms	(cbrt.f64 (/.f64 x y))

Compiler

Compiled 2384 to 1375 computations (42.3% saved)

simplify137.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

636×	`log-prod_binary64`
614×	`times-frac_binary64`
340×	`unswap-sqr_binary64`
268×	`*-commutative_binary64`
226×	`exp-prod_binary64`

Counts

121 → 85

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	137	1920
1	254	1812
2	486	1769
3	1154	1512
4	2716	1416
5	4432	1416
6	4896	1416

prune70.0ms (0.9%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	84	1	85
Fresh	0	16	16
Picked	1	0	1
Done	0	0	0
Total	85	17	102

Error

0.0b

Counts

102 → 17

Alt Table

Status	Error	Program
	25.9b	(+.f64 (.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y))) (.f64 (sqrt.f64 (/.f64 z t)) (pow.f64 (/.f64 z t) 3/2)))
	7.9b	(+.f64 (.f64 (.f64 x (cbrt.f64 x)) (.f64 (/.f64 (cbrt.f64 x) y) (/.f64 (cbrt.f64 x) y))) (.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t))))
	1.0b	(+.f64 (.f64 (pow.f64 (.f64 (cbrt.f64 (.f64 x (/.f64 -1 y))) (cbrt.f64 -1)) 4) (.f64 (cbrt.f64 (/.f64 x y)) (cbrt.f64 (/.f64 x y)))) (*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t))))
	21.3b	(+.f64 (.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y))) (.f64 (fabs.f64 z) (/.f64 z (*.f64 t t))))
	20.4b	(+.f64 (/.f64 x (/.f64 y (/.f64 x y))) (/.f64 (.f64 z z) (.f64 t t)))
	33.6b	(+.f64 (.f64 x (.f64 (/.f64 (sqrt.f64 x) y) (/.f64 (sqrt.f64 x) y))) (*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t))))
	47.1b	(/.f64 (+.f64 (.f64 (.f64 x x) (fabs.f64 t)) (.f64 (.f64 y y) (.f64 z (/.f64 z t)))) (.f64 (*.f64 y y) (fabs.f64 t)))
	13.5b	(+.f64 (.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y))) (.f64 (/.f64 (/.f64 z t) (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (fabs.f64 (/.f64 z (cbrt.f64 t)))))
	32.4b	(+.f64 (.f64 (fabs.f64 (/.f64 x y)) (fabs.f64 (/.f64 x y))) (.f64 z (*.f64 (/.f64 (sqrt.f64 z) t) (/.f64 (sqrt.f64 z) t))))
	45.8b	(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (.f64 (/.f64 z (.f64 (fabs.f64 (sqrt.f64 t)) t)) (fabs.f64 (/.f64 z (sqrt.f64 t)))))
	16.7b	(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (.f64 (.f64 (cbrt.f64 (pow.f64 (/.f64 z t) 2)) (cbrt.f64 (pow.f64 (/.f64 z t) 2))) (cbrt.f64 (pow.f64 (/.f64 z t) 2))))
	19.2b	(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (/.f64 (*.f64 z (/.f64 z t)) t))
	35.2b	(/.f64 (-.f64 (pow.f64 (/.f64 x y) 4) (pow.f64 (/.f64 z t) 4)) (-.f64 (pow.f64 (/.f64 x y) 2) (pow.f64 (/.f64 z t) 2)))
	16.1b	(+.f64 (.f64 (.f64 x (/.f64 x y)) (fabs.f64 (/.f64 1 y))) (*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t))))
	19.0b	(+.f64 (/.f64 (.f64 x x) (.f64 y y)) (/.f64 z (/.f64 t (/.f64 z t))))
	19.4b	(+.f64 (.f64 (fabs.f64 x) (/.f64 x (.f64 y y))) (*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t))))
	1.8b	(+.f64 (/.f64 x (/.f64 y (/.f64 x y))) (*.f64 (fabs.f64 (/.f64 z t)) (fabs.f64 (/.f64 z t))))

Compiler

Compiled 1791 to 612 computations (65.8% saved)

regimes3.2s (39.6%)

Accuracy

Total 0.3b remaining (80.6%)

Threshold costs 0.3b (80.6%)

Compiler

Compiled 65289 to 35025 computations (46.4% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`fabs-div_binary64` `sqr-abs_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	22
1	21	22
2	21	22

end1.0ms (0%)

Compiler: Compiled 19 to 9 computations (52.6% saved)

sample1.5s (18.2%)

Algorithm

1×

intervals

Results

362.0ms	8000×	body	128	valid
265.0ms	5957×	body	128	invalid

Compiler

Compiled 466 to 259 computations (44.4% saved)

Details

analyze947.0ms (11.8%)

sample39.0ms (0.5%)

simplify9.0ms (0.1%)

prune2.0ms (0%)

localize11.0ms (0.1%)

rewrite99.0ms (1.2%)

series142.0ms (1.8%)

simplify82.0ms (1%)

prune38.0ms (0.5%)

localize10.0ms (0.1%)

rewrite193.0ms (2.4%)

series111.0ms (1.4%)

simplify151.0ms (1.9%)

prune102.0ms (1.3%)

localize10.0ms (0.1%)

rewrite343.0ms (4.3%)

series80.0ms (1%)

simplify215.0ms (2.7%)

prune201.0ms (2.5%)

localize15.0ms (0.2%)

rewrite167.0ms (2.1%)

series207.0ms (2.6%)

simplify137.0ms (1.7%)

prune70.0ms (0.9%)

regimes3.2s (39.6%)

simplify3.0ms (0%)

end1.0ms (0%)

sample1.5s (18.2%)

Profiling