Details

analyze369.0ms (2.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
6.2%	93.6%	0.2%	5
6.2%	68.6%	25.1%	6
6.2%	49.9%	43.9%	7
6.2%	35.9%	57.9%	8
6.2%	25.3%	68.4%	9
6.2%	20.1%	73.7%	10
6.2%	15.7%	78.1%	11
6.2%	12%	81.7%	12
6.2%	9%	84.8%	13
6.2%	7.5%	86.3%	14

Compiler

Compiled 36 to 28 computations (22.2% saved)

sample6.6s (50%)

Symmetry

(sort x y z t)

Results

2.6s	4616×	body	512	valid
2.0s	9752×	body	128	invalid
1.3s	1762×	body	1024	valid
358.0ms	1016×	body	256	valid
181.0ms	862×	body	128	valid

Compiler

Compiled 107 to 83 computations (22.4% saved)

simplify46.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

699×	`fma-def_binary64`
529×	`associate-+r-_binary64`
510×	`associate-+l-_binary64`
481×	`associate--r+_binary64`
355×	`+-commutative_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	50
1	54	50
2	166	50
3	893	50
4	4070	50
5	4939	50
6	5040	50

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

4.6b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 136 to 100 computations (26.5% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.9b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
✓	1.9b	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
✓	2.0b	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
✓	4.5b	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

series60.0ms (0.5%)

Counts

4 → 4

Calls

4 calls:

28.0ms	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
12.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
10.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
10.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))

rewrite92.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

243×	`log1p-expm1-u_binary64`
243×	`expm1-log1p-u_binary64`
240×	`add-sqr-sqrt_binary64`
236×	`prod-diff_binary64`
227×	`add-cbrt-cube_binary64`

Counts

4 → 176

Calls

4 calls:

87.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
87.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
87.0ms	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
87.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	44
1	496	44
2	4958	44
3	5228	44
0	0	0
1	0	0

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Counts

180 → 177

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	4
1	4	4
2	3	4

prune527.0ms (4%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	159	18	177
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	160	18	178

Error

3.6b

Counts

178 → 18

Alt Table

Status	Error	Program
	4.6b	(+.f64 (+.f64 (+.f64 (+.f64 (fma.f64 1 (sqrt.f64 (+.f64 1 x)) (neg.f64 (.f64 (pow.f64 (cbrt.f64 x) 1/2) (pow.f64 (cbrt.f64 (.f64 x x)) 1/2)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 1/2)) (pow.f64 (cbrt.f64 (.f64 x x)) 1/2) (.f64 (pow.f64 (cbrt.f64 x) 1/2) (pow.f64 (cbrt.f64 (*.f64 x x)) 1/2)))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.6b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (cbrt.f64 (pow.f64 (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)) 3))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.6b	(+.f64 (+.f64 (+.f64 (+.f64 (fma.f64 1 (sqrt.f64 (+.f64 1 x)) (neg.f64 (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 x)))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 x))) (cbrt.f64 x) (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 x)))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.3b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 (-.f64 (+.f64 1 y) y) (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.6b	(+.f64 (+.f64 (+.f64 (/.f64 (-.f64 (+.f64 1 x) x) (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.6b	(+.f64 (+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (fma.f64 (neg.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.8b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 (-.f64 (pow.f64 (+.f64 1 y) 3/2) (pow.f64 y 3/2)) (+.f64 (+.f64 1 y) (+.f64 y (pow.f64 (*.f64 (+.f64 1 y) y) 1/2))))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	35.7b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) 1) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.6b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (cbrt.f64 (pow.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)) 3)))
	4.5b	(+.f64 (+.f64 (+.f64 (+.f64 (fma.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) 1/2) (pow.f64 (cbrt.f64 (+.f64 1 x)) 1/2) (neg.f64 (.f64 (sqrt.f64 x) 1))) (fma.f64 (neg.f64 (sqrt.f64 x)) 1 (.f64 (sqrt.f64 x) 1))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.6b	(+.f64 (+.f64 (+.f64 (fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (neg.f64 (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
▶	4.3b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (/.f64 (-.f64 (+.f64 z 1) z) (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.6b	(+.f64 (+.f64 (+.f64 (cbrt.f64 (pow.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) 3)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	10.7b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (+.f64 (fma.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 1 y)) 2) 1/2) (pow.f64 (cbrt.f64 (+.f64 1 y)) 1/2) (neg.f64 (.f64 (cbrt.f64 (sqrt.f64 y)) (cbrt.f64 y)))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 y))) (cbrt.f64 y) (.f64 (cbrt.f64 (sqrt.f64 y)) (cbrt.f64 y))))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.6b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (+.f64 (fma.f64 (cbrt.f64 (+.f64 1 t)) (cbrt.f64 (sqrt.f64 (+.f64 1 t))) (neg.f64 (.f64 (cbrt.f64 (sqrt.f64 t)) (cbrt.f64 t)))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 t))) (cbrt.f64 t) (.f64 (cbrt.f64 (sqrt.f64 t)) (cbrt.f64 t)))))
	37.4b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (+.f64 (fma.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 z 1)) 2) 1/2) (pow.f64 (cbrt.f64 (+.f64 z 1)) 1/2) (neg.f64 (.f64 (sqrt.f64 z) 1))) (fma.f64 (neg.f64 (sqrt.f64 z)) 1 (.f64 (sqrt.f64 z) 1)))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.6b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 (-.f64 (+.f64 1 t) t) (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
	4.6b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (log.f64 (+.f64 1 (expm1.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))

Compiler

Compiled 9847 to 6202 computations (37% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.9b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
	1.9b	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
	2.0b	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
✓	3.6b	(-.f64 (+.f64 z 1) z)

series1.0ms (0%)

Counts

1 → 12

Calls

1 calls:

1.0ms

(-.f64 (+.f64 z 1) z)

rewrite47.0ms (0.4%)

Algorithm

2×	batch-egg-rewrite

Rules

628×	`log1p-expm1-u_binary64`
628×	`expm1-log1p-u_binary64`
549×	`prod-diff_binary64`
100×	`log1p-udef_binary64`
84×	`egg-rr`

Counts

1 → 84

Calls

1 calls:

45.0ms

(-.f64 (+.f64 z 1) z)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	115	7
2	1502	7
3	4971	7
0	0	0
1	0	0

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Counts

96 → 85

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	12
1	4	12
2	3	12

prune1.0s (7.8%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	213	4	217
Fresh	3	14	17
Picked	1	0	1
Done	0	0	0
Total	217	18	235

Error

3.2b

Counts

235 → 18

Alt Table

Status	Error	Program
	4.6b	(+.f64 (+.f64 (+.f64 (+.f64 (fma.f64 1 (sqrt.f64 (+.f64 1 x)) (neg.f64 (.f64 (pow.f64 (cbrt.f64 x) 1/2) (pow.f64 (cbrt.f64 (.f64 x x)) 1/2)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 1/2)) (pow.f64 (cbrt.f64 (.f64 x x)) 1/2) (.f64 (pow.f64 (cbrt.f64 x) 1/2) (pow.f64 (cbrt.f64 (*.f64 x x)) 1/2)))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.6b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (cbrt.f64 (pow.f64 (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)) 3))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.5b	(+.f64 (+.f64 (+.f64 (+.f64 (fma.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) 1/2) (pow.f64 (cbrt.f64 (+.f64 1 x)) 1/2) (neg.f64 (.f64 (sqrt.f64 x) 1))) (fma.f64 (neg.f64 (sqrt.f64 x)) 1 (.f64 (sqrt.f64 x) 1))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
▶	3.7b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.3b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (pow.f64 (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))) 2)) (/.f64 (-.f64 (+.f64 z 1) z) (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	14.8b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (fma.f64 (cbrt.f64 (+.f64 1 y)) (cbrt.f64 (sqrt.f64 (+.f64 1 y))) (neg.f64 (sqrt.f64 y)))) (/.f64 (-.f64 (+.f64 z 1) z) (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.6b	(+.f64 (+.f64 (+.f64 (+.f64 (fma.f64 1 (sqrt.f64 (+.f64 1 x)) (neg.f64 (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 x)))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 x))) (cbrt.f64 x) (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 x)))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.3b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 (-.f64 (+.f64 1 y) y) (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	14.9b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 y))) (sqrt.f64 (sqrt.f64 (+.f64 1 y))) (neg.f64 (sqrt.f64 y)))) (/.f64 (-.f64 (+.f64 z 1) z) (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.6b	(+.f64 (+.f64 (+.f64 (/.f64 (-.f64 (+.f64 1 x) x) (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.6b	(+.f64 (+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (fma.f64 (neg.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	35.7b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) 1) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.6b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (cbrt.f64 (pow.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)) 3)))
	4.6b	(+.f64 (+.f64 (+.f64 (fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (neg.f64 (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.6b	(+.f64 (+.f64 (+.f64 (cbrt.f64 (pow.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) 3)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.6b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (+.f64 (fma.f64 (cbrt.f64 (+.f64 1 t)) (cbrt.f64 (sqrt.f64 (+.f64 1 t))) (neg.f64 (.f64 (cbrt.f64 (sqrt.f64 t)) (cbrt.f64 t)))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 t))) (cbrt.f64 t) (.f64 (cbrt.f64 (sqrt.f64 t)) (cbrt.f64 t)))))
	4.6b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 (-.f64 (+.f64 1 t) t) (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
	4.6b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (log.f64 (+.f64 1 (expm1.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))

Compiler

Compiled 12726 to 7979 computations (37.3% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))
	0.9b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
	1.9b	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
	2.0b	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))

series12.0ms (0.1%)

Counts

1 → 1

Calls

1 calls:

12.0ms

(/.f64 1 (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))

rewrite46.0ms (0.3%)

Algorithm

2×	batch-egg-rewrite

Rules

845×	`log1p-expm1-u_binary64`
845×	`expm1-log1p-u_binary64`
84×	`add-sqr-sqrt_binary64`
79×	`add-cbrt-cube_binary64`
79×	`add-log-exp_binary64`

Counts

1 → 26

Calls

1 calls:

45.0ms

(/.f64 1 (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	176	14
2	2142	14
3	5096	14
0	0	0
1	0	0

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Counts

27 → 27

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	1
1	4	1
2	3	1

prune626.0ms (4.7%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	153	6	159
Fresh	5	12	17
Picked	1	0	1
Done	0	0	0
Total	159	18	177

Error

3.1b

Counts

177 → 18

Alt Table

Status	Error	Program
▶	3.4b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 (-.f64 (+.f64 1 y) y) (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.6b	(+.f64 (+.f64 (+.f64 (+.f64 (fma.f64 1 (sqrt.f64 (+.f64 1 x)) (neg.f64 (.f64 (pow.f64 (cbrt.f64 x) 1/2) (pow.f64 (cbrt.f64 (.f64 x x)) 1/2)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) 1/2)) (pow.f64 (cbrt.f64 (.f64 x x)) 1/2) (.f64 (pow.f64 (cbrt.f64 x) 1/2) (pow.f64 (cbrt.f64 (*.f64 x x)) 1/2)))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	3.8b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (pow.f64 (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))) 2)) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.6b	(+.f64 (+.f64 (+.f64 (fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (neg.f64 (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	3.8b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (pow.f64 (pow.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z))) 3) 1/3)) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.6b	(+.f64 (+.f64 (+.f64 (+.f64 (fma.f64 1 (sqrt.f64 (+.f64 1 x)) (neg.f64 (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 x)))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 x))) (cbrt.f64 x) (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 x)))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.6b	(+.f64 (+.f64 (+.f64 (/.f64 (-.f64 (+.f64 1 x) x) (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.6b	(+.f64 (+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (fma.f64 (neg.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	14.4b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (fma.f64 (cbrt.f64 (+.f64 1 y)) (cbrt.f64 (sqrt.f64 (+.f64 1 y))) (neg.f64 (sqrt.f64 y)))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	35.7b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) 1) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.6b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (cbrt.f64 (pow.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)) 3)))
	3.8b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (cbrt.f64 (pow.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z))) 3))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.5b	(+.f64 (+.f64 (+.f64 (+.f64 (fma.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) 1/2) (pow.f64 (cbrt.f64 (+.f64 1 x)) 1/2) (neg.f64 (.f64 (sqrt.f64 x) 1))) (fma.f64 (neg.f64 (sqrt.f64 x)) 1 (.f64 (sqrt.f64 x) 1))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	14.5b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 y))) (sqrt.f64 (sqrt.f64 (+.f64 1 y))) (neg.f64 (sqrt.f64 y)))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.6b	(+.f64 (+.f64 (+.f64 (cbrt.f64 (pow.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) 3)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.6b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (+.f64 (fma.f64 (cbrt.f64 (+.f64 1 t)) (cbrt.f64 (sqrt.f64 (+.f64 1 t))) (neg.f64 (.f64 (cbrt.f64 (sqrt.f64 t)) (cbrt.f64 t)))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 t))) (cbrt.f64 t) (.f64 (cbrt.f64 (sqrt.f64 t)) (cbrt.f64 t)))))
	4.6b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 (-.f64 (+.f64 1 t) t) (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
	4.6b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (log.f64 (+.f64 1 (expm1.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))

Compiler

Compiled 8978 to 5843 computations (34.9% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))
	0.9b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
✓	1.0b	(-.f64 (+.f64 1 y) y)
	1.9b	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))

series1.0ms (0%)

Counts

1 → 12

Calls

1 calls:

1.0ms

(-.f64 (+.f64 1 y) y)

rewrite90.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

677×	`prod-diff_binary64`
537×	`log1p-expm1-u_binary64`
537×	`expm1-log1p-u_binary64`
475×	`fma-udef_binary64`
259×	`fma-def_binary64`

Counts

1 → 1

Calls

1 calls:

89.0ms

(-.f64 (+.f64 1 y) y)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	114	1
2	1281	1
3	4769	1
4	4702	1
5	4949	1
0	0	0
1	0	0

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Counts

13 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	12
1	4	12
2	3	12

prune448.0ms (3.4%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	114	2	116
Fresh	4	13	17
Picked	1	0	1
Done	0	0	0
Total	119	15	134

Error

3.0b

Counts

134 → 15

Alt Table

Status	Error	Program
	3.8b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (pow.f64 (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))) 2)) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.6b	(+.f64 (+.f64 (+.f64 (fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (neg.f64 (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	14.4b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (fma.f64 (cbrt.f64 (+.f64 1 y)) (cbrt.f64 (sqrt.f64 (+.f64 1 y))) (neg.f64 (sqrt.f64 y)))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	3.2b	(+.f64 (+.f64 (+.f64 (/.f64 (-.f64 (+.f64 1 x) x) (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (/.f64 (-.f64 (+.f64 1 y) y) (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	35.7b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) 1) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.6b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (cbrt.f64 (pow.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)) 3)))
	3.8b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (cbrt.f64 (pow.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z))) 3))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.5b	(+.f64 (+.f64 (+.f64 (+.f64 (fma.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) 1/2) (pow.f64 (cbrt.f64 (+.f64 1 x)) 1/2) (neg.f64 (.f64 (sqrt.f64 x) 1))) (fma.f64 (neg.f64 (sqrt.f64 x)) 1 (.f64 (sqrt.f64 x) 1))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.6b	(+.f64 (+.f64 (+.f64 (+.f64 (fma.f64 1 (sqrt.f64 (+.f64 1 x)) (neg.f64 (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 x)))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 x))) (cbrt.f64 x) (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 x)))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.6b	(+.f64 (+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (fma.f64 (neg.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	14.5b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 y))) (sqrt.f64 (sqrt.f64 (+.f64 1 y))) (neg.f64 (sqrt.f64 y)))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	3.3b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
	4.6b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (+.f64 (fma.f64 (cbrt.f64 (+.f64 1 t)) (cbrt.f64 (sqrt.f64 (+.f64 1 t))) (neg.f64 (.f64 (cbrt.f64 (sqrt.f64 t)) (cbrt.f64 t)))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 t))) (cbrt.f64 t) (.f64 (cbrt.f64 (sqrt.f64 t)) (cbrt.f64 t)))))
	4.6b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 (-.f64 (+.f64 1 t) t) (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
	4.6b	(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (log.f64 (+.f64 1 (expm1.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))

Compiler

Compiled 6633 to 4294 computations (35.3% saved)

regimes2.7s (20.3%)

Accuracy

Total 1.2b remaining (33.3%)

Threshold costs 0b (0%)

Counts

161 → 1

Compiler

Compiled 96794 to 73570 computations (24% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

16×	`+-commutative_binary64`
6×	`sub-neg_binary64`
3×	`*-commutative_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	71
1	48	71
2	58	71
3	64	71
4	67	71
5	66	71

end390.0ms (3%)

Remove: (sort x y z t)
Compiler: Compiled 858 to 646 computations (24.7% saved)

Details

analyze369.0ms (2.8%)

sample6.6s (50%)

simplify46.0ms (0.3%)

prune3.0ms (0%)

localize23.0ms (0.2%)

series60.0ms (0.5%)

rewrite92.0ms (0.7%)

simplify9.0ms (0.1%)

prune527.0ms (4%)

localize24.0ms (0.2%)

series1.0ms (0%)

rewrite47.0ms (0.4%)

simplify10.0ms (0.1%)

prune1.0s (7.8%)

localize22.0ms (0.2%)

series12.0ms (0.1%)

rewrite46.0ms (0.3%)

simplify7.0ms (0.1%)

prune626.0ms (4.7%)

localize24.0ms (0.2%)

series1.0ms (0%)

rewrite90.0ms (0.7%)

simplify7.0ms (0.1%)

prune448.0ms (3.4%)

regimes2.7s (20.3%)

simplify6.0ms (0%)

end390.0ms (3%)

Profiling