Details

analyze1.4s (13.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	74.8%	25.2%	8
0%	74.8%	25.2%	9
0%	74.8%	25.2%	10
0%	74.8%	25.2%	11
0%	74.8%	25.2%	12
24.9%	49.9%	25.2%	13
24.9%	37.4%	37.7%	14

Compiler

Compiled 26 to 20 computations (23.1% saved)

sample4.1s (38.3%)

Results

1.2s	1649×	body	1024	valid
872.0ms	4670×	body	128	valid
861.0ms	785×	body	2048	valid
632.0ms	3485×	body	128	invalid
399.0ms	793×	body	512	valid
121.0ms	358×	body	256	valid
3.0ms	1×	body	4096	valid

Compiler

Compiled 52 to 40 computations (23.1% saved)

preprocess58.0ms (0.5%)

Algorithm

2×	egg-herbie

Rules

424×	`fma-neg_binary64`
394×	`fma-def_binary64`
378×	`cancel-sign-sub-inv_binary64`
334×	`sub-neg_binary64`
202×	`associate-/l*_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	114	464
1	280	464
2	569	464
3	1059	432
4	2182	400
5	4013	400
0	6	6
1	6	6

Stop Event

1×	unsound
1×	node limit

Symmetry

(sort z t)

Compiler

Compiled 25 to 19 computations (24% saved)

simplify45.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

718×	`fma-def_binary64`
437×	`fma-neg_binary64`
148×	`cancel-sign-sub-inv_binary64`
110×	`distribute-rgt-neg-in_binary64`
108×	`associate-/l*_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	19	29
1	34	29
2	65	29
3	120	27
4	241	25
5	399	25
6	639	25
7	922	25
8	1213	25
9	1748	25
10	2412	25
11	2780	25
12	2871	25
13	2887	25
14	2887	25

Stop Event

1×

saturated

Counts

1 → 2

prune4.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

23.3b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	23.6b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t -1/3) y))) (*.f64 a (/.f64 -1/3 b)))
	23.6b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))) (/.f64 a (.f64 b 3)))

Compiler

Compiled 138 to 101 computations (26.8% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t -1/3) y)))
✓	0.3b	(/.f64 -1/3 b)
✓	0.3b	(*.f64 t -1/3)
✓	27.4b	(cos.f64 (fma.f64 z (*.f64 t -1/3) y))

series45.0ms (0.4%)

Counts

4 → 84

Calls

27 calls:

8.0ms	(.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t -1/3) y)))	x	0
5.0ms	(.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t -1/3) y)))	y	inf
3.0ms	(.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t -1/3) y)))	x	-inf
3.0ms	(.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t -1/3) y)))	x	inf
3.0ms	(.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t -1/3) y)))	t	0

rewrite60.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

615×	`log-prod_binary64`
236×	`expm1-udef_binary64`
236×	`log1p-udef_binary64`
218×	`log-pow_binary64`
132×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	33
1	263	33
2	3134	33

Stop Event

1×	node limit

Counts

4 → 86

simplify56.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

729×	`associate-l_binary64`
653×	`associate-r_binary64`
364×	`cancel-sign-sub-inv_binary64`
320×	`fma-def_binary64`
220×	`*-commutative_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	83	1491
1	280	1422
2	990	1366
3	4819	1366

Stop Event

1×	node limit

Counts

170 → 124

prune251.0ms (2.4%)

Pruning

30 alts after pruning (30 fresh and 0 done)

	Pruned	Kept	Total
New	95	29	124
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	96	30	126

Error

16.9b

Counts

126 → 30

Alt Table

Status	Error	Program
▶	18.9b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 y)) (.f64 a (/.f64 -1/3 b)))
	37.3b	(fma.f64 2 (exp.f64 (log.f64 (.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y)) (sqrt.f64 x)))) (*.f64 a (/.f64 -1/3 b)))
	23.5b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (pow.f64 (cbrt.f64 (.f64 t -1/3)) 3) y))) (*.f64 a (/.f64 -1/3 b)))
	41.7b	(fma.f64 2 (.f64 (sqrt.f64 x) (-.f64 (+.f64 (cos.f64 (neg.f64 (.f64 1/3 (.f64 t z)))) (.f64 1/6 (.f64 (sin.f64 (neg.f64 (.f64 1/3 (.f64 t z)))) (pow.f64 y 3)))) (+.f64 (.f64 (sin.f64 (neg.f64 (.f64 1/3 (.f64 t z)))) y) (.f64 1/2 (.f64 (pow.f64 y 2) (cos.f64 (neg.f64 (.f64 1/3 (.f64 t z))))))))) (*.f64 a (/.f64 -1/3 b)))
	23.9b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t -1/3) y))) (.f64 a (.f64 (cbrt.f64 (/.f64 -1/3 b)) (pow.f64 (cbrt.f64 (/.f64 -1/3 b)) 2))))
	33.1b	(fma.f64 2 (cbrt.f64 (pow.f64 (.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y)) (sqrt.f64 x)) 3)) (*.f64 a (/.f64 -1/3 b)))
	23.6b	(fma.f64 2 (.f64 (sqrt.f64 x) (cbrt.f64 (pow.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y)) 3))) (*.f64 a (/.f64 -1/3 b)))
	39.6b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t -1/3) y))) (*.f64 a (cbrt.f64 (pow.f64 (/.f64 -1/3 b) 3))))
	54.2b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (exp.f64 (log.f64 (.f64 t -1/3))) y))) (*.f64 a (/.f64 -1/3 b)))
	23.6b	(fma.f64 2 (.f64 (sqrt.f64 x) (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y)))))) (*.f64 a (/.f64 -1/3 b)))
	23.6b	(fma.f64 2 (.f64 (sqrt.f64 x) (-.f64 (.f64 (cos.f64 (.f64 z (.f64 t -1/3))) (cos.f64 y)) (.f64 (sin.f64 (.f64 z (.f64 t -1/3))) (sin.f64 y)))) (.f64 a (/.f64 -1/3 b)))
	23.6b	(fma.f64 2 (.f64 (sqrt.f64 x) (log.f64 (exp.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y))))) (*.f64 a (/.f64 -1/3 b)))
	23.6b	(fma.f64 2 (.f64 (sqrt.f64 x) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y))))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y))))))) (.f64 a (/.f64 -1/3 b)))
	38.8b	(fma.f64 2 (.f64 (sqrt.f64 x) (fma.f64 1/3 (.f64 (sin.f64 y) (.f64 t z)) (.f64 (+.f64 (.f64 (.f64 (.f64 t t) -1/18) (.f64 z z)) 1) (cos.f64 y)))) (*.f64 a (/.f64 -1/3 b)))
	23.6b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))) (/.f64 a (.f64 b 3)))
	29.7b	(fma.f64 2 (sqrt.f64 (.f64 x (pow.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y)) 2))) (*.f64 a (/.f64 -1/3 b)))
	35.5b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (cbrt.f64 (pow.f64 (.f64 t -1/3) 3)) y))) (*.f64 a (/.f64 -1/3 b)))
	24.1b	(fma.f64 2 (.f64 (sqrt.f64 x) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y)))) (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y)))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y))))))) (.f64 a (/.f64 -1/3 b)))
	27.5b	(fma.f64 2 (.f64 (sqrt.f64 x) (fma.f64 1/3 (.f64 (sin.f64 y) (.f64 t z)) (cos.f64 y))) (.f64 a (/.f64 -1/3 b)))
	23.9b	(fma.f64 2 (pow.f64 (cbrt.f64 (.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y)) (sqrt.f64 x))) 3) (*.f64 a (/.f64 -1/3 b)))
	43.4b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t -1/3) y))) (*.f64 a (pow.f64 (sqrt.f64 (/.f64 -1/3 b)) 2)))
	31.6b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (sqrt.f64 (.f64 (.f64 t t) 1/9)) y))) (.f64 a (/.f64 -1/3 b)))
	41.4b	(fma.f64 2 (.f64 (sqrt.f64 x) (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (fma.f64 z (.f64 t -1/3) y)))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (fma.f64 z (.f64 t -1/3) y)))) (sin.f64 1)))) (.f64 a (/.f64 -1/3 b)))
	40.9b	(fma.f64 2 (pow.f64 (pow.f64 (.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y)) (sqrt.f64 x)) 3) 1/3) (*.f64 a (/.f64 -1/3 b)))
	54.3b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (pow.f64 (sqrt.f64 (.f64 t -1/3)) 2) y))) (*.f64 a (/.f64 -1/3 b)))
	45.3b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (pow.f64 (pow.f64 (.f64 t -1/3) 3) 1/3) y))) (*.f64 a (/.f64 -1/3 b)))
	23.7b	(fma.f64 2 (.f64 (sqrt.f64 x) (.f64 (cbrt.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y))) (pow.f64 (cbrt.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y))) 2))) (*.f64 a (/.f64 -1/3 b)))
	47.4b	(fma.f64 2 (+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 x)) (cos.f64 (fma.f64 z (.f64 t -1/3) y)))) (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 x)) (cos.f64 (fma.f64 z (.f64 t -1/3) y)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (sqrt.f64 x)) (cos.f64 (fma.f64 z (.f64 t -1/3) y)))))) (*.f64 a (/.f64 -1/3 b)))
	32.8b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (.f64 1/3 (.f64 t z)))) (.f64 a (/.f64 -1/3 b)))
	23.8b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (.f64 t -1/3) y))) (.f64 a (pow.f64 (.f64 b -3) -1)))

Compiler

Compiled 4926 to 3272 computations (33.6% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 y)) (.f64 a (/.f64 -1/3 b)))
✓	0.2b	(*.f64 (sqrt.f64 x) (cos.f64 y))
✓	0.2b	(*.f64 a (/.f64 -1/3 b))
	0.3b	(/.f64 -1/3 b)

series52.0ms (0.5%)

Counts

3 → 73

Calls

24 calls:

6.0ms	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 y)) (.f64 a (/.f64 -1/3 b)))	x	0
6.0ms	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 y)) (.f64 a (/.f64 -1/3 b)))	b	inf
3.0ms	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 y)) (.f64 a (/.f64 -1/3 b)))	y	inf
3.0ms	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 y)) (.f64 a (/.f64 -1/3 b)))	y	-inf
3.0ms	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 y)) (.f64 a (/.f64 -1/3 b)))	x	-inf

rewrite68.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

604×	`log-prod_binary64`
240×	`prod-diff_binary64`
235×	`expm1-udef_binary64`
235×	`log1p-udef_binary64`
211×	`log-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	33
1	267	33
2	3151	33

Stop Event

1×	node limit

Counts

3 → 74

simplify52.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

644×	`cancel-sign-sub-inv_binary64`
503×	`fma-neg_binary64`
426×	`sub-neg_binary64`
200×	`*-commutative_binary64`
173×	`fma-def_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	48	1026
1	137	960
2	406	934
3	1435	925
4	4226	925

Stop Event

1×	node limit

Counts

147 → 97

prune238.0ms (2.2%)

Pruning

38 alts after pruning (38 fresh and 0 done)

	Pruned	Kept	Total
New	104	18	122
Fresh	9	20	29
Picked	1	0	1
Done	0	0	0
Total	114	38	152

Error

16.6b

Counts

152 → 38

Alt Table

Status	Error	Program
	41.5b	(sqrt.f64 (pow.f64 (fma.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y) (/.f64 (.f64 a -1/3) b)) 2))
	30.8b	(fma.f64 2 (pow.f64 (sqrt.f64 (.f64 (sqrt.f64 x) (cos.f64 y))) 2) (.f64 a (/.f64 -1/3 b)))
	37.3b	(fma.f64 2 (exp.f64 (log.f64 (.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y)) (sqrt.f64 x)))) (*.f64 a (/.f64 -1/3 b)))
	23.5b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (pow.f64 (cbrt.f64 (.f64 t -1/3)) 3) y))) (*.f64 a (/.f64 -1/3 b)))
	19.2b	(fma.f64 2 (pow.f64 (cbrt.f64 (.f64 (sqrt.f64 x) (cos.f64 y))) 3) (.f64 a (/.f64 -1/3 b)))
	45.3b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (pow.f64 (pow.f64 (.f64 t -1/3) 3) 1/3) y))) (*.f64 a (/.f64 -1/3 b)))
	49.8b	(pow.f64 (pow.f64 (fma.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y) (/.f64 (.f64 a -1/3) b)) 3) 1/3)
	37.2b	(fma.f64 2 (pow.f64 (pow.f64 (.f64 (sqrt.f64 x) (cos.f64 y)) 3) 1/3) (.f64 a (/.f64 -1/3 b)))
	23.7b	(fma.f64 2 (.f64 (sqrt.f64 x) (.f64 (cbrt.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y))) (pow.f64 (cbrt.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y))) 2))) (*.f64 a (/.f64 -1/3 b)))
	47.0b	(fma.f64 2 (+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (cos.f64 y)) (sqrt.f64 x)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (cos.f64 y)) (sqrt.f64 x))))) (*.f64 a (/.f64 -1/3 b)))
	23.6b	(fma.f64 2 (.f64 (sqrt.f64 x) (cbrt.f64 (pow.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y)) 3))) (*.f64 a (/.f64 -1/3 b)))
	39.6b	(/.f64 (+.f64 (pow.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y)) 3) (pow.f64 (/.f64 (.f64 a -1/3) b) 3)) (fma.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y)) (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y)) (-.f64 (pow.f64 (/.f64 (.f64 a -1/3) b) 2) (.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y)) (/.f64 (.f64 a -1/3) b)))))
	28.2b	(fma.f64 (sqrt.f64 x) 2 (/.f64 -1/3 (/.f64 b a)))
	54.2b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (exp.f64 (log.f64 (.f64 t -1/3))) y))) (*.f64 a (/.f64 -1/3 b)))
	23.6b	(fma.f64 2 (.f64 (sqrt.f64 x) (-.f64 (.f64 (cos.f64 (.f64 z (.f64 t -1/3))) (cos.f64 y)) (.f64 (sin.f64 (.f64 z (.f64 t -1/3))) (sin.f64 y)))) (.f64 a (/.f64 -1/3 b)))
	32.8b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (.f64 1/3 (.f64 t z)))) (.f64 a (/.f64 -1/3 b)))
	47.1b	(fma.f64 2 (+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 (cos.f64 y)) (sqrt.f64 x))) (cbrt.f64 (pow.f64 (exp.f64 (cos.f64 y)) (sqrt.f64 x))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (cos.f64 y)) (sqrt.f64 x))))) (.f64 a (/.f64 -1/3 b)))
	19.5b	(.f64 (cbrt.f64 (fma.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y) (/.f64 (.f64 a -1/3) b))) (pow.f64 (cbrt.f64 (fma.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y) (/.f64 (*.f64 a -1/3) b))) 2))
	29.3b	(fma.f64 2 (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 x) (cos.f64 y)) 3)) (.f64 a (/.f64 -1/3 b)))
	19.1b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 y)) (/.f64 a (.f64 b -3)))
	23.6b	(fma.f64 2 (.f64 (sqrt.f64 x) (log.f64 (exp.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y))))) (*.f64 a (/.f64 -1/3 b)))
	23.6b	(fma.f64 2 (.f64 (sqrt.f64 x) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y))))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y))))))) (.f64 a (/.f64 -1/3 b)))
	38.8b	(fma.f64 2 (.f64 (sqrt.f64 x) (fma.f64 1/3 (.f64 (sin.f64 y) (.f64 t z)) (.f64 (+.f64 (.f64 (.f64 (.f64 t t) -1/18) (.f64 z z)) 1) (cos.f64 y)))) (*.f64 a (/.f64 -1/3 b)))
	23.6b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))) (/.f64 a (.f64 b 3)))
	29.7b	(fma.f64 2 (sqrt.f64 (.f64 x (pow.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y)) 2))) (*.f64 a (/.f64 -1/3 b)))
	35.5b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (cbrt.f64 (pow.f64 (.f64 t -1/3) 3)) y))) (*.f64 a (/.f64 -1/3 b)))
	24.1b	(fma.f64 2 (.f64 (sqrt.f64 x) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y)))) (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y)))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y))))))) (.f64 a (/.f64 -1/3 b)))
	27.5b	(fma.f64 2 (.f64 (sqrt.f64 x) (fma.f64 1/3 (.f64 (sin.f64 y) (.f64 t z)) (cos.f64 y))) (.f64 a (/.f64 -1/3 b)))
	23.9b	(fma.f64 2 (pow.f64 (cbrt.f64 (.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y)) (sqrt.f64 x))) 3) (*.f64 a (/.f64 -1/3 b)))
	31.6b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (sqrt.f64 (.f64 (.f64 t t) 1/9)) y))) (.f64 a (/.f64 -1/3 b)))
	41.4b	(fma.f64 2 (.f64 (sqrt.f64 x) (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (fma.f64 z (.f64 t -1/3) y)))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (fma.f64 z (.f64 t -1/3) y)))) (sin.f64 1)))) (.f64 a (/.f64 -1/3 b)))
	61.8b	(+.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y) (/.f64 (.f64 a -1/3) b))))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y) (/.f64 (.f64 a -1/3) b))))))
	24.7b	(fma.f64 2 (sqrt.f64 (.f64 x (pow.f64 (cos.f64 y) 2))) (.f64 a (/.f64 -1/3 b)))
	54.3b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (pow.f64 (sqrt.f64 (.f64 t -1/3)) 2) y))) (*.f64 a (/.f64 -1/3 b)))
▶	18.9b	(fma.f64 -1/3 (/.f64 a b) (.f64 2 (.f64 (sqrt.f64 x) (cos.f64 y))))
	31.6b	(fma.f64 2 (exp.f64 (log.f64 (.f64 (sqrt.f64 x) (cos.f64 y)))) (.f64 a (/.f64 -1/3 b)))
	25.3b	(fma.f64 2 (expm1.f64 (log1p.f64 (.f64 (sqrt.f64 x) (cos.f64 y)))) (.f64 a (/.f64 -1/3 b)))
	38.3b	(fma.f64 2 (-.f64 (sqrt.f64 x) (.f64 1/2 (.f64 (pow.f64 y 2) (sqrt.f64 x)))) (*.f64 a (/.f64 -1/3 b)))

Compiler

Compiled 4208 to 2733 computations (35.1% saved)

localize13.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(fma.f64 -1/3 (/.f64 a b) (.f64 2 (.f64 (sqrt.f64 x) (cos.f64 y))))
	0.2b	(*.f64 (sqrt.f64 x) (cos.f64 y))

series33.0ms (0.3%)

Counts

1 → 37

Calls

12 calls:

6.0ms	(fma.f64 -1/3 (/.f64 a b) (.f64 2 (.f64 (sqrt.f64 x) (cos.f64 y))))	x	0
3.0ms	(fma.f64 -1/3 (/.f64 a b) (.f64 2 (.f64 (sqrt.f64 x) (cos.f64 y))))	x	-inf
3.0ms	(fma.f64 -1/3 (/.f64 a b) (.f64 2 (.f64 (sqrt.f64 x) (cos.f64 y))))	y	-inf
3.0ms	(fma.f64 -1/3 (/.f64 a b) (.f64 2 (.f64 (sqrt.f64 x) (cos.f64 y))))	y	inf
3.0ms	(fma.f64 -1/3 (/.f64 a b) (.f64 2 (.f64 (sqrt.f64 x) (cos.f64 y))))	x	inf

rewrite55.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

633×	`log-prod_binary64`
236×	`expm1-udef_binary64`
236×	`log1p-udef_binary64`
219×	`prod-diff_binary64`
212×	`log-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	18
1	266	18
2	3197	18

Stop Event

1×	node limit

Counts

1 → 29

simplify42.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

482×	`fma-def_binary64`
379×	`associate-l_binary64`
371×	`cancel-sign-sub-inv_binary64`
302×	`associate-r_binary64`
300×	`fma-neg_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	37	704
1	99	641
2	269	629
3	886	622
4	3962	622

Stop Event

1×	node limit

Counts

66 → 43

prune160.0ms (1.5%)

Pruning

38 alts after pruning (38 fresh and 0 done)

	Pruned	Kept	Total
New	66	4	70
Fresh	3	34	37
Picked	1	0	1
Done	0	0	0
Total	70	38	108

Error

16.6b

Counts

108 → 38

Alt Table

Status	Error	Program
	41.5b	(sqrt.f64 (pow.f64 (fma.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y) (/.f64 (.f64 a -1/3) b)) 2))
	30.8b	(fma.f64 2 (pow.f64 (sqrt.f64 (.f64 (sqrt.f64 x) (cos.f64 y))) 2) (.f64 a (/.f64 -1/3 b)))
	37.3b	(fma.f64 2 (exp.f64 (log.f64 (.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y)) (sqrt.f64 x)))) (*.f64 a (/.f64 -1/3 b)))
	23.5b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (pow.f64 (cbrt.f64 (.f64 t -1/3)) 3) y))) (*.f64 a (/.f64 -1/3 b)))
	19.2b	(fma.f64 2 (pow.f64 (cbrt.f64 (.f64 (sqrt.f64 x) (cos.f64 y))) 3) (.f64 a (/.f64 -1/3 b)))
	45.3b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (pow.f64 (pow.f64 (.f64 t -1/3) 3) 1/3) y))) (*.f64 a (/.f64 -1/3 b)))
	49.8b	(pow.f64 (pow.f64 (fma.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y) (/.f64 (.f64 a -1/3) b)) 3) 1/3)
	37.2b	(fma.f64 2 (pow.f64 (pow.f64 (.f64 (sqrt.f64 x) (cos.f64 y)) 3) 1/3) (.f64 a (/.f64 -1/3 b)))
	23.7b	(fma.f64 2 (.f64 (sqrt.f64 x) (.f64 (cbrt.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y))) (pow.f64 (cbrt.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y))) 2))) (*.f64 a (/.f64 -1/3 b)))
	25.3b	(fma.f64 2 (expm1.f64 (log1p.f64 (.f64 (sqrt.f64 x) (cos.f64 y)))) (.f64 a (/.f64 -1/3 b)))
	38.2b	(*.f64 a (/.f64 -1/3 b))
	39.6b	(/.f64 (+.f64 (pow.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y)) 3) (pow.f64 (/.f64 (.f64 a -1/3) b) 3)) (fma.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y)) (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y)) (-.f64 (pow.f64 (/.f64 (.f64 a -1/3) b) 2) (.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y)) (/.f64 (.f64 a -1/3) b)))))
	28.2b	(fma.f64 (sqrt.f64 x) 2 (/.f64 -1/3 (/.f64 b a)))
	54.2b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (exp.f64 (log.f64 (.f64 t -1/3))) y))) (*.f64 a (/.f64 -1/3 b)))
	23.6b	(fma.f64 2 (.f64 (sqrt.f64 x) (-.f64 (.f64 (cos.f64 (.f64 z (.f64 t -1/3))) (cos.f64 y)) (.f64 (sin.f64 (.f64 z (.f64 t -1/3))) (sin.f64 y)))) (.f64 a (/.f64 -1/3 b)))
	32.8b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (.f64 1/3 (.f64 t z)))) (.f64 a (/.f64 -1/3 b)))
	47.1b	(fma.f64 2 (+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 (cos.f64 y)) (sqrt.f64 x))) (cbrt.f64 (pow.f64 (exp.f64 (cos.f64 y)) (sqrt.f64 x))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (cos.f64 y)) (sqrt.f64 x))))) (.f64 a (/.f64 -1/3 b)))
	61.7b	(log.f64 (exp.f64 (fma.f64 -1/3 (/.f64 a b) (.f64 (sqrt.f64 x) (.f64 (cos.f64 y) 2)))))
	19.5b	(.f64 (cbrt.f64 (fma.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y) (/.f64 (.f64 a -1/3) b))) (pow.f64 (cbrt.f64 (fma.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y) (/.f64 (*.f64 a -1/3) b))) 2))
	29.3b	(fma.f64 2 (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 x) (cos.f64 y)) 3)) (.f64 a (/.f64 -1/3 b)))
▶	19.1b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 y)) (/.f64 a (.f64 b -3)))
	23.6b	(fma.f64 2 (.f64 (sqrt.f64 x) (log.f64 (exp.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y))))) (*.f64 a (/.f64 -1/3 b)))
	24.1b	(fma.f64 2 (.f64 (sqrt.f64 x) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y)))) (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y)))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y))))))) (.f64 a (/.f64 -1/3 b)))
	29.7b	(/.f64 (-.f64 (.f64 (.f64 -1/3 (/.f64 a b)) (.f64 -1/3 (/.f64 a b))) (.f64 (.f64 x (pow.f64 (cos.f64 y) 2)) 4)) (-.f64 (.f64 -1/3 (/.f64 a b)) (.f64 (sqrt.f64 x) (.f64 (cos.f64 y) 2))))
	38.8b	(fma.f64 2 (.f64 (sqrt.f64 x) (fma.f64 1/3 (.f64 (sin.f64 y) (.f64 t z)) (.f64 (+.f64 (.f64 (.f64 (.f64 t t) -1/18) (.f64 z z)) 1) (cos.f64 y)))) (*.f64 a (/.f64 -1/3 b)))
	23.6b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))) (/.f64 a (.f64 b 3)))
	29.7b	(fma.f64 2 (sqrt.f64 (.f64 x (pow.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y)) 2))) (*.f64 a (/.f64 -1/3 b)))
	35.5b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (cbrt.f64 (pow.f64 (.f64 t -1/3) 3)) y))) (*.f64 a (/.f64 -1/3 b)))
	27.5b	(fma.f64 2 (.f64 (sqrt.f64 x) (fma.f64 1/3 (.f64 (sin.f64 y) (.f64 t z)) (cos.f64 y))) (.f64 a (/.f64 -1/3 b)))
	23.9b	(fma.f64 2 (pow.f64 (cbrt.f64 (.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y)) (sqrt.f64 x))) 3) (*.f64 a (/.f64 -1/3 b)))
	31.6b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (sqrt.f64 (.f64 (.f64 t t) 1/9)) y))) (.f64 a (/.f64 -1/3 b)))
	41.4b	(fma.f64 2 (.f64 (sqrt.f64 x) (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (fma.f64 z (.f64 t -1/3) y)))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (fma.f64 z (.f64 t -1/3) y)))) (sin.f64 1)))) (.f64 a (/.f64 -1/3 b)))
	24.7b	(fma.f64 2 (sqrt.f64 (.f64 x (pow.f64 (cos.f64 y) 2))) (.f64 a (/.f64 -1/3 b)))
	54.3b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (pow.f64 (sqrt.f64 (.f64 t -1/3)) 2) y))) (*.f64 a (/.f64 -1/3 b)))
	31.6b	(fma.f64 2 (exp.f64 (log.f64 (.f64 (sqrt.f64 x) (cos.f64 y)))) (.f64 a (/.f64 -1/3 b)))
	38.2b	(*.f64 -1/3 (/.f64 a b))
	23.6b	(fma.f64 2 (.f64 (sqrt.f64 x) (cbrt.f64 (pow.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y)) 3))) (*.f64 a (/.f64 -1/3 b)))
	38.3b	(fma.f64 2 (-.f64 (sqrt.f64 x) (.f64 1/2 (.f64 (pow.f64 y 2) (sqrt.f64 x)))) (*.f64 a (/.f64 -1/3 b)))

Compiler

Compiled 3282 to 2173 computations (33.8% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 y)) (/.f64 a (.f64 b -3)))
	0.2b	(*.f64 (sqrt.f64 x) (cos.f64 y))
✓	0.5b	(/.f64 a (*.f64 b -3))

series38.0ms (0.4%)

Counts

2 → 61

Calls

18 calls:

6.0ms	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 y)) (/.f64 a (.f64 b -3)))	x	-inf
3.0ms	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 y)) (/.f64 a (.f64 b -3)))	y	-inf
3.0ms	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 y)) (/.f64 a (.f64 b -3)))	y	inf
3.0ms	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 y)) (/.f64 a (.f64 b -3)))	x	inf
2.0ms	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 y)) (/.f64 a (.f64 b -3)))	a	0

rewrite56.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

288×	`prod-diff_binary64`
236×	`expm1-udef_binary64`
236×	`log1p-udef_binary64`
212×	`log-pow_binary64`
132×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	25
1	266	25
2	3271	25

Stop Event

1×	node limit

Counts

2 → 66

simplify45.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

482×	`fma-def_binary64`
371×	`cancel-sign-sub-inv_binary64`
368×	`associate-l_binary64`
300×	`fma-neg_binary64`
293×	`sub-neg_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	37	872
1	99	809
2	269	797
3	883	790
4	3888	790

Stop Event

1×	node limit

Counts

127 → 78

prune157.0ms (1.5%)

Pruning

40 alts after pruning (39 fresh and 1 done)

	Pruned	Kept	Total
New	102	3	105
Fresh	1	36	37
Picked	0	1	1
Done	0	0	0
Total	103	40	143

Error

16.6b

Counts

143 → 40

Alt Table

Status	Error	Program
	41.5b	(sqrt.f64 (pow.f64 (fma.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y) (/.f64 (.f64 a -1/3) b)) 2))
	30.8b	(fma.f64 2 (pow.f64 (sqrt.f64 (.f64 (sqrt.f64 x) (cos.f64 y))) 2) (.f64 a (/.f64 -1/3 b)))
	37.3b	(fma.f64 2 (exp.f64 (log.f64 (.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y)) (sqrt.f64 x)))) (*.f64 a (/.f64 -1/3 b)))
	23.5b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (pow.f64 (cbrt.f64 (.f64 t -1/3)) 3) y))) (*.f64 a (/.f64 -1/3 b)))
	19.2b	(fma.f64 2 (pow.f64 (cbrt.f64 (.f64 (sqrt.f64 x) (cos.f64 y))) 3) (.f64 a (/.f64 -1/3 b)))
	45.3b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (pow.f64 (pow.f64 (.f64 t -1/3) 3) 1/3) y))) (*.f64 a (/.f64 -1/3 b)))
	49.8b	(pow.f64 (pow.f64 (fma.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y) (/.f64 (.f64 a -1/3) b)) 3) 1/3)
	37.2b	(fma.f64 2 (pow.f64 (pow.f64 (.f64 (sqrt.f64 x) (cos.f64 y)) 3) 1/3) (.f64 a (/.f64 -1/3 b)))
	23.7b	(fma.f64 2 (.f64 (sqrt.f64 x) (.f64 (cbrt.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y))) (pow.f64 (cbrt.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y))) 2))) (*.f64 a (/.f64 -1/3 b)))
	25.3b	(fma.f64 2 (expm1.f64 (log1p.f64 (.f64 (sqrt.f64 x) (cos.f64 y)))) (.f64 a (/.f64 -1/3 b)))
	38.2b	(*.f64 a (/.f64 -1/3 b))
	28.4b	(fma.f64 2 (sqrt.f64 x) (/.f64 a (*.f64 b -3)))
	29.5b	(fma.f64 2 (cbrt.f64 (pow.f64 (.f64 (sqrt.f64 x) (cos.f64 y)) 3)) (/.f64 a (.f64 b -3)))
	38.2b	(*.f64 -1/3 (/.f64 a b))
	39.6b	(/.f64 (+.f64 (pow.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y)) 3) (pow.f64 (/.f64 (.f64 a -1/3) b) 3)) (fma.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y)) (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y)) (-.f64 (pow.f64 (/.f64 (.f64 a -1/3) b) 2) (.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y)) (/.f64 (.f64 a -1/3) b)))))
	28.2b	(fma.f64 (sqrt.f64 x) 2 (/.f64 -1/3 (/.f64 b a)))
	54.2b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (exp.f64 (log.f64 (.f64 t -1/3))) y))) (*.f64 a (/.f64 -1/3 b)))
	23.6b	(fma.f64 2 (.f64 (sqrt.f64 x) (-.f64 (.f64 (cos.f64 (.f64 z (.f64 t -1/3))) (cos.f64 y)) (.f64 (sin.f64 (.f64 z (.f64 t -1/3))) (sin.f64 y)))) (.f64 a (/.f64 -1/3 b)))
	32.8b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (.f64 1/3 (.f64 t z)))) (.f64 a (/.f64 -1/3 b)))
	47.1b	(fma.f64 2 (+.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 (cos.f64 y)) (sqrt.f64 x))) (cbrt.f64 (pow.f64 (exp.f64 (cos.f64 y)) (sqrt.f64 x))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (cos.f64 y)) (sqrt.f64 x))))) (.f64 a (/.f64 -1/3 b)))
	61.7b	(log.f64 (exp.f64 (fma.f64 -1/3 (/.f64 a b) (.f64 (sqrt.f64 x) (.f64 (cos.f64 y) 2)))))
	19.5b	(.f64 (cbrt.f64 (fma.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y) (/.f64 (.f64 a -1/3) b))) (pow.f64 (cbrt.f64 (fma.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y) (/.f64 (*.f64 a -1/3) b))) 2))
	29.9b	(.f64 (cbrt.f64 (fma.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y) (.f64 a (/.f64 -1/3 b)))) (cbrt.f64 (pow.f64 (fma.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y) (*.f64 a (/.f64 -1/3 b))) 2)))
✓	19.1b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 y)) (/.f64 a (.f64 b -3)))
	23.6b	(fma.f64 2 (.f64 (sqrt.f64 x) (log.f64 (exp.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y))))) (*.f64 a (/.f64 -1/3 b)))
	24.1b	(fma.f64 2 (.f64 (sqrt.f64 x) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y)))) (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y)))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y))))))) (.f64 a (/.f64 -1/3 b)))
	29.7b	(/.f64 (-.f64 (.f64 (.f64 -1/3 (/.f64 a b)) (.f64 -1/3 (/.f64 a b))) (.f64 (.f64 x (pow.f64 (cos.f64 y) 2)) 4)) (-.f64 (.f64 -1/3 (/.f64 a b)) (.f64 (sqrt.f64 x) (.f64 (cos.f64 y) 2))))
	38.8b	(fma.f64 2 (.f64 (sqrt.f64 x) (fma.f64 1/3 (.f64 (sin.f64 y) (.f64 t z)) (.f64 (+.f64 (.f64 (.f64 (.f64 t t) -1/18) (.f64 z z)) 1) (cos.f64 y)))) (*.f64 a (/.f64 -1/3 b)))
	23.6b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))) (/.f64 a (.f64 b 3)))
	29.7b	(fma.f64 2 (sqrt.f64 (.f64 x (pow.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y)) 2))) (*.f64 a (/.f64 -1/3 b)))
	35.5b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (cbrt.f64 (pow.f64 (.f64 t -1/3) 3)) y))) (*.f64 a (/.f64 -1/3 b)))
	27.5b	(fma.f64 2 (.f64 (sqrt.f64 x) (fma.f64 1/3 (.f64 (sin.f64 y) (.f64 t z)) (cos.f64 y))) (.f64 a (/.f64 -1/3 b)))
	23.9b	(fma.f64 2 (pow.f64 (cbrt.f64 (.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y)) (sqrt.f64 x))) 3) (*.f64 a (/.f64 -1/3 b)))
	31.6b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (sqrt.f64 (.f64 (.f64 t t) 1/9)) y))) (.f64 a (/.f64 -1/3 b)))
	41.4b	(fma.f64 2 (.f64 (sqrt.f64 x) (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (fma.f64 z (.f64 t -1/3) y)))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (fma.f64 z (.f64 t -1/3) y)))) (sin.f64 1)))) (.f64 a (/.f64 -1/3 b)))
	24.7b	(fma.f64 2 (sqrt.f64 (.f64 x (pow.f64 (cos.f64 y) 2))) (.f64 a (/.f64 -1/3 b)))
	54.3b	(fma.f64 2 (.f64 (sqrt.f64 x) (cos.f64 (fma.f64 z (pow.f64 (sqrt.f64 (.f64 t -1/3)) 2) y))) (*.f64 a (/.f64 -1/3 b)))
	31.6b	(fma.f64 2 (exp.f64 (log.f64 (.f64 (sqrt.f64 x) (cos.f64 y)))) (.f64 a (/.f64 -1/3 b)))
	23.6b	(fma.f64 2 (.f64 (sqrt.f64 x) (cbrt.f64 (pow.f64 (cos.f64 (fma.f64 z (.f64 t -1/3) y)) 3))) (*.f64 a (/.f64 -1/3 b)))
	38.3b	(fma.f64 2 (-.f64 (sqrt.f64 x) (.f64 1/2 (.f64 (pow.f64 y 2) (sqrt.f64 x)))) (*.f64 a (/.f64 -1/3 b)))

Compiler

Compiled 2887 to 1785 computations (38.2% saved)

regimes2.7s (25.2%)

Accuracy

Total 2.6b remaining (14.9%)

Threshold costs 0b (0%)

Counts

132 → 3

Compiler

Compiled 57229 to 43125 computations (24.6% saved)

bsearch302.0ms (2.8%)

Algorithm

2×	binary-search

Calls

2 calls:

171.0ms	(-.f64 y (/.f64 (*.f64 z t) 3))
131.0ms	(-.f64 y (/.f64 (*.f64 z t) 3))

Steps

Iters	Point		Range
1.778231004885211e+308	∈ [	4.092564680872661e+306	,	#hash((type . real) (value . +inf))	]
-1.8189902920818234e+279	∈ [	-1.8369417018401836e+279	,	-3.20509602048292e+269	]

Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

11×	`*-commutative_binary64`
8×	`+-commutative_binary64`
8×	`sub-neg_binary64`
6×	`neg-sub0_binary64`
6×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	85
1	43	85
2	55	85
3	69	85
4	79	85
5	85	85
6	87	85

Stop Event

1×

saturated

end631.0ms (5.9%)

Stop Event

1×

fuel

Remove

(sort z t)

Compiler

Compiled 1314 to 960 computations (26.9% saved)

Details

analyze1.4s (13.1%)

sample4.1s (38.3%)

preprocess58.0ms (0.5%)

simplify45.0ms (0.4%)

prune4.0ms (0%)

localize13.0ms (0.1%)

series45.0ms (0.4%)

rewrite60.0ms (0.6%)

simplify56.0ms (0.5%)

prune251.0ms (2.4%)

localize10.0ms (0.1%)

series52.0ms (0.5%)

rewrite68.0ms (0.6%)

simplify52.0ms (0.5%)

prune238.0ms (2.2%)

localize13.0ms (0.1%)

series33.0ms (0.3%)

rewrite55.0ms (0.5%)

simplify42.0ms (0.4%)

prune160.0ms (1.5%)

localize9.0ms (0.1%)

series38.0ms (0.4%)

rewrite56.0ms (0.5%)

simplify45.0ms (0.4%)

prune157.0ms (1.5%)

regimes2.7s (25.2%)

bsearch302.0ms (2.8%)

simplify6.0ms (0.1%)

end631.0ms (5.9%)

Profiling