Details

analyze1.4s (5.6%)

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 (16%)

Symmetry

(sort z t)

Results

1.2s	1691×	body	1024	valid
875.0ms	4741×	body	128	valid
789.0ms	749×	body	2048	valid
663.0ms	3460×	body	128	invalid
337.0ms	734×	body	512	valid
125.0ms	340×	body	256	valid
2.0ms	1×	body	4096	valid

Compiler

Compiled 77 to 59 computations (23.4% saved)

simplify58.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Counts

1 → 2

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	19	29
1	34	29
2	64	29
3	114	27
4	209	25
5	322	25
6	494	25
7	644	25
8	810	25
9	979	25
10	1197	25
11	1297	25
12	1308	25
13	1324	25
14	1324	25
15	1213	25

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

17.8b

Counts

3 → 2

Alt Table

Status	Error	Program
	18.1b	(fma.f64 a (/.f64 -1/3 b) (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (fma.f64 z (*.f64 t -1/3) y))))
▶	18.1b	(-.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 (*.f64 z t) 3)
✓	0.2b	(/.f64 a (*.f64 b 3))
✓	0.3b	(.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3))))
✓	21.3b	(cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))

series72.0ms (0.3%)

Counts

4 → 120

Calls

4 calls:

51.0ms	(.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3))))
10.0ms	(cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))
6.0ms	(/.f64 a (*.f64 b 3))
4.0ms	(/.f64 (*.f64 z t) 3)

rewrite34.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`cos-sum_binary64`
24×	`*-un-lft-identity_binary64`
24×	`add-sqr-sqrt_binary64`
24×	`add-cube-cbrt_binary64`
21×	`prod-diff_binary64`

Counts

4 → 107

Calls

4 calls:

14.0ms	(.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3))))
6.0ms	(cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))
3.0ms	(/.f64 (*.f64 z t) 3)
3.0ms	(/.f64 a (*.f64 b 3))

simplify168.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

544×	`fma-def_binary64`
441×	`cancel-sign-sub-inv_binary64`
355×	`times-frac_binary64`
315×	`fma-neg_binary64`
307×	`associate-l_binary64`

Counts

227 → 197

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	429	5768
1	845	4618
2	2506	4006
3	4713	3886
4	4983	3886
5	4842	3886

prune564.0ms (2.2%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	171	26	197
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	172	27	199

Error

9.7b

Counts

199 → 27

Alt Table

Status	Error	Program
	33.4b	(-.f64 (.f64 (.f64 (.f64 2 (sqrt.f64 x)) (sqrt.f64 (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3))))) (sqrt.f64 (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3))))) (/.f64 a (.f64 b 3)))
	18.2b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (log.f64 (exp.f64 (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))))) (/.f64 a (.f64 b 3)))
	18.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (.f64 (/.f64 z (sqrt.f64 3)) (/.f64 t (sqrt.f64 3)))))) (/.f64 a (.f64 b 3)))
	18.2b	(-.f64 (.f64 (.f64 (.f64 2 (sqrt.f64 x)) (.f64 (cbrt.f64 (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))) (cbrt.f64 (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))))) (cbrt.f64 (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3))))) (/.f64 a (.f64 b 3)))
	18.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (.f64 (.f64 (cbrt.f64 (/.f64 (.f64 z t) 3)) (cbrt.f64 (/.f64 (.f64 z t) 3))) (cbrt.f64 (/.f64 (.f64 z t) 3)))))) (/.f64 a (.f64 b 3)))
	50.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 (sqrt.f64 y) (sqrt.f64 y) (neg.f64 (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))) (cos.f64 (fma.f64 (neg.f64 (sqrt.f64 (/.f64 (.f64 z t) 3))) (sqrt.f64 (/.f64 (.f64 z t) 3)) (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))) (.f64 (sin.f64 (fma.f64 (sqrt.f64 y) (sqrt.f64 y) (neg.f64 (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))) (sin.f64 (fma.f64 (neg.f64 (sqrt.f64 (/.f64 (.f64 z t) 3))) (sqrt.f64 (/.f64 (.f64 z t) 3)) (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))))) (/.f64 a (*.f64 b 3)))
	28.2b	(-.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 2 (sqrt.f64 x)) (.f64 2 (sqrt.f64 x))) (.f64 2 (sqrt.f64 x))) (.f64 (.f64 (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3))) (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))) (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))))) (/.f64 a (.f64 b 3)))
	17.7b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 (/.f64 t (sqrt.f64 3)) (/.f64 z (sqrt.f64 3))))) (.f64 (sin.f64 y) (sin.f64 (neg.f64 (.f64 (/.f64 t (sqrt.f64 3)) (/.f64 z (sqrt.f64 3)))))))) (/.f64 a (*.f64 b 3)))
	15.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y)) (/.f64 a (*.f64 b 3)))
	18.1b	(fma.f64 a (/.f64 -1/3 b) (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (fma.f64 z (*.f64 t -1/3) y))))
	53.0b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (exp.f64 (-.f64 (+.f64 (log.f64 z) (log.f64 t)) (log.f64 3)))))) (/.f64 a (*.f64 b 3)))
	28.2b	(-.f64 (cbrt.f64 (pow.f64 (.f64 (cos.f64 (-.f64 y (/.f64 (.f64 t z) 3))) (.f64 2 (sqrt.f64 x))) 3)) (/.f64 a (.f64 b 3)))
	17.7b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 (/.f64 t (cbrt.f64 3)) (/.f64 z (.f64 (cbrt.f64 3) (cbrt.f64 3)))))) (.f64 (sin.f64 y) (sin.f64 (neg.f64 (.f64 (/.f64 t (cbrt.f64 3)) (/.f64 z (.f64 (cbrt.f64 3) (cbrt.f64 3))))))))) (/.f64 a (*.f64 b 3)))
	18.0b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 (/.f64 a b) 3))
	25.8b	(-.f64 (expm1.f64 (log1p.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))))) (/.f64 a (.f64 b 3)))
	18.0b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 (neg.f64 (.f64 (cbrt.f64 (/.f64 (.f64 z t) 3)) (cbrt.f64 (/.f64 (.f64 z t) 3)))) (cbrt.f64 (/.f64 (.f64 z t) 3))))) (.f64 (sin.f64 y) (sin.f64 (.f64 (neg.f64 (.f64 (cbrt.f64 (/.f64 (.f64 z t) 3)) (cbrt.f64 (/.f64 (.f64 z t) 3)))) (cbrt.f64 (/.f64 (.f64 z t) 3))))))) (/.f64 a (*.f64 b 3)))
	18.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))) (/.f64 1 (/.f64 (.f64 b 3) a)))
	18.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 1 3) (.f64 z t))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 1 3)) (.f64 z t) (.f64 (/.f64 1 3) (.f64 z t))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 1 3) (.f64 z t))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 1 3)) (.f64 z t) (.f64 (/.f64 1 3) (.f64 z t))))))) (/.f64 a (*.f64 b 3)))
	27.5b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (.f64 1/3 (.f64 t z)))) (/.f64 a (*.f64 b 3)))
	18.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))) (.f64 (/.f64 1 b) (/.f64 a 3)))
▶	15.0b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (/.f64 a (*.f64 b 3)))
	17.9b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t (sqrt.f64 3)) (/.f64 z (sqrt.f64 3)))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t (sqrt.f64 3))) (/.f64 z (sqrt.f64 3)) (.f64 (/.f64 t (sqrt.f64 3)) (/.f64 z (sqrt.f64 3)))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t (sqrt.f64 3)) (/.f64 z (sqrt.f64 3)))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t (sqrt.f64 3))) (/.f64 z (sqrt.f64 3)) (.f64 (/.f64 t (sqrt.f64 3)) (/.f64 z (sqrt.f64 3)))))))) (/.f64 a (*.f64 b 3)))
	18.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (log1p.f64 (expm1.f64 (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))))) (/.f64 a (.f64 b 3)))
	18.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))) (.f64 (.f64 (cbrt.f64 (/.f64 a (.f64 b 3))) (cbrt.f64 (/.f64 a (.f64 b 3)))) (cbrt.f64 (/.f64 a (.f64 b 3)))))
	17.9b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t (cbrt.f64 3)) (/.f64 z (.f64 (cbrt.f64 3) (cbrt.f64 3))))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t (cbrt.f64 3))) (/.f64 z (.f64 (cbrt.f64 3) (cbrt.f64 3))) (.f64 (/.f64 t (cbrt.f64 3)) (/.f64 z (.f64 (cbrt.f64 3) (cbrt.f64 3))))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t (cbrt.f64 3)) (/.f64 z (.f64 (cbrt.f64 3) (cbrt.f64 3))))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t (cbrt.f64 3))) (/.f64 z (.f64 (cbrt.f64 3) (cbrt.f64 3))) (.f64 (/.f64 t (cbrt.f64 3)) (/.f64 z (.f64 (cbrt.f64 3) (cbrt.f64 3))))))))) (/.f64 a (*.f64 b 3)))
	18.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (expm1.f64 (log1p.f64 (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))))) (/.f64 a (.f64 b 3)))
	34.8b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))) (cos.f64 (fma.f64 (neg.f64 (sqrt.f64 (/.f64 (.f64 z t) 3))) (sqrt.f64 (/.f64 (.f64 z t) 3)) (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))) (sin.f64 (fma.f64 (neg.f64 (sqrt.f64 (/.f64 (.f64 z t) 3))) (sqrt.f64 (/.f64 (.f64 z t) 3)) (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))))) (/.f64 a (*.f64 b 3)))

Compiler

Compiled 9567 to 6167 computations (35.5% saved)

localize72.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))))))
✓	21.3b	(cos.f64 (fma.f64 1 y (neg.f64 (*.f64 (/.f64 t 3) (/.f64 z 1)))))
✓	21.8b	(sin.f64 (fma.f64 1 y (neg.f64 (*.f64 (/.f64 t 3) (/.f64 z 1)))))
✓	53.9b	(fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (*.f64 (/.f64 t 3) (/.f64 z 1)))

series128.0ms (0.5%)

Counts

4 → 132

Calls

4 calls:

95.0ms	(.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))))))
12.0ms	(cos.f64 (fma.f64 1 y (neg.f64 (*.f64 (/.f64 t 3) (/.f64 z 1)))))
11.0ms	(fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (*.f64 (/.f64 t 3) (/.f64 z 1)))
10.0ms	(sin.f64 (fma.f64 1 y (neg.f64 (*.f64 (/.f64 t 3) (/.f64 z 1)))))

rewrite19.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-cbrt-cube_binary64`
9×	`add-exp-log_binary64`
9×	`pow1_binary64`
5×	`*-un-lft-identity_binary64`
5×	`add-sqr-sqrt_binary64`

Counts

4 → 60

Calls

4 calls:

8.0ms	(.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))))))
1.0ms	(sin.f64 (fma.f64 1 y (neg.f64 (*.f64 (/.f64 t 3) (/.f64 z 1)))))
1.0ms	(cos.f64 (fma.f64 1 y (neg.f64 (*.f64 (/.f64 t 3) (/.f64 z 1)))))
1.0ms	(fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (*.f64 (/.f64 t 3) (/.f64 z 1)))

simplify198.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

822×	`fma-def_binary64`
650×	`cancel-sign-sub-inv_binary64`
429×	`fma-neg_binary64`
362×	`associate-r_binary64`
331×	`distribute-rgt-neg-in_binary64`

Counts

192 → 161

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	258	6434
1	740	4998
2	2455	3887
3	4682	3193
4	4499	3193
5	4829	3193

prune1.0s (4%)

Pruning

37 alts after pruning (37 fresh and 0 done)

	Pruned	Kept	Total
New	164	16	180
Fresh	5	21	26
Picked	1	0	1
Done	0	0	0
Total	170	37	207

Error

9.6b

Counts

207 → 37

Alt Table

Status	Error	Program
	18.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (.f64 (/.f64 z (sqrt.f64 3)) (/.f64 t (sqrt.f64 3)))))) (/.f64 a (.f64 b 3)))
	18.2b	(-.f64 (.f64 (.f64 (.f64 2 (sqrt.f64 x)) (.f64 (cbrt.f64 (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))) (cbrt.f64 (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))))) (cbrt.f64 (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3))))) (/.f64 a (.f64 b 3)))
	18.0b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 0)))) (/.f64 a (.f64 b 3)))
	18.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (.f64 (.f64 (cbrt.f64 (/.f64 (.f64 z t) 3)) (cbrt.f64 (/.f64 (.f64 z t) 3))) (cbrt.f64 (/.f64 (.f64 z t) 3)))))) (/.f64 a (.f64 b 3)))
	50.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 (sqrt.f64 y) (sqrt.f64 y) (neg.f64 (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))) (cos.f64 (fma.f64 (neg.f64 (sqrt.f64 (/.f64 (.f64 z t) 3))) (sqrt.f64 (/.f64 (.f64 z t) 3)) (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))) (.f64 (sin.f64 (fma.f64 (sqrt.f64 y) (sqrt.f64 y) (neg.f64 (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))) (sin.f64 (fma.f64 (neg.f64 (sqrt.f64 (/.f64 (.f64 z t) 3))) (sqrt.f64 (/.f64 (.f64 z t) 3)) (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))))) (/.f64 a (*.f64 b 3)))
	17.7b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 (/.f64 t (sqrt.f64 3)) (/.f64 z (sqrt.f64 3))))) (.f64 (sin.f64 y) (sin.f64 (neg.f64 (.f64 (/.f64 t (sqrt.f64 3)) (/.f64 z (sqrt.f64 3)))))))) (/.f64 a (*.f64 b 3)))
	15.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y)) (/.f64 a (*.f64 b 3)))
	15.0b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (log1p.f64 (expm1.f64 (cos.f64 (-.f64 y (.f64 z (/.f64 t 3)))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (/.f64 a (*.f64 b 3)))
	18.1b	(fma.f64 a (/.f64 -1/3 b) (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (fma.f64 z (*.f64 t -1/3) y))))
	53.0b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (exp.f64 (-.f64 (+.f64 (log.f64 z) (log.f64 t)) (log.f64 3)))))) (/.f64 a (*.f64 b 3)))
	17.7b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 (/.f64 t (cbrt.f64 3)) (/.f64 z (.f64 (cbrt.f64 3) (cbrt.f64 3)))))) (.f64 (sin.f64 y) (sin.f64 (neg.f64 (.f64 (/.f64 t (cbrt.f64 3)) (/.f64 z (.f64 (cbrt.f64 3) (cbrt.f64 3))))))))) (/.f64 a (*.f64 b 3)))
	18.1b	(-.f64 (/.f64 (.f64 (cos.f64 (-.f64 y (.f64 z (/.f64 t 3)))) (.f64 (cos.f64 (-.f64 y (.f64 z (/.f64 t 3)))) (.f64 2 (sqrt.f64 x)))) (+.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (/.f64 a (.f64 b 3)))
	15.0b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (cbrt.f64 (pow.f64 (sin.f64 (-.f64 y (.f64 z (/.f64 t 3)))) 3)) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (/.f64 a (*.f64 b 3)))
	17.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))) (cbrt.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (cbrt.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (/.f64 a (*.f64 b 3)))
	15.0b	(-.f64 (/.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))))) (.f64 (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))))))) (+.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (/.f64 a (*.f64 b 3)))
	18.0b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 (/.f64 a b) 3))
	18.0b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 (neg.f64 (.f64 (cbrt.f64 (/.f64 (.f64 z t) 3)) (cbrt.f64 (/.f64 (.f64 z t) 3)))) (cbrt.f64 (/.f64 (.f64 z t) 3))))) (.f64 (sin.f64 y) (sin.f64 (.f64 (neg.f64 (.f64 (cbrt.f64 (/.f64 (.f64 z t) 3)) (cbrt.f64 (/.f64 (.f64 z t) 3)))) (cbrt.f64 (/.f64 (.f64 z t) 3))))))) (/.f64 a (*.f64 b 3)))
	15.0b	(-.f64 (+.f64 (.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 2 (sqrt.f64 x))) (.f64 (neg.f64 (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))))) (.f64 2 (sqrt.f64 x)))) (/.f64 a (*.f64 b 3)))
	17.2b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))) (cbrt.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (cbrt.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))))) (/.f64 a (*.f64 b 3)))
	18.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))) (/.f64 1 (/.f64 (.f64 b 3) a)))
	18.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 1 3) (.f64 z t))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 1 3)) (.f64 z t) (.f64 (/.f64 1 3) (.f64 z t))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 1 3) (.f64 z t))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 1 3)) (.f64 z t) (.f64 (/.f64 1 3) (.f64 z t))))))) (/.f64 a (*.f64 b 3)))
	27.5b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (.f64 1/3 (.f64 t z)))) (/.f64 a (*.f64 b 3)))
	18.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))) (.f64 (/.f64 1 b) (/.f64 a 3)))
	30.6b	(-.f64 (.f64 (sqrt.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))))))) (sqrt.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))))) (/.f64 a (.f64 b 3)))
	14.9b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (+.f64 (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (/.f64 a (.f64 b 3)))
	17.9b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t (sqrt.f64 3)) (/.f64 z (sqrt.f64 3)))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t (sqrt.f64 3))) (/.f64 z (sqrt.f64 3)) (.f64 (/.f64 t (sqrt.f64 3)) (/.f64 z (sqrt.f64 3)))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t (sqrt.f64 3)) (/.f64 z (sqrt.f64 3)))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t (sqrt.f64 3))) (/.f64 z (sqrt.f64 3)) (.f64 (/.f64 t (sqrt.f64 3)) (/.f64 z (sqrt.f64 3)))))))) (/.f64 a (*.f64 b 3)))
	26.1b	(-.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 2 (sqrt.f64 x)) (.f64 2 (sqrt.f64 x))) (.f64 2 (sqrt.f64 x))) (.f64 (.f64 (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))))) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))))) (/.f64 a (*.f64 b 3)))
	22.8b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (expm1.f64 (log1p.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (/.f64 a (*.f64 b 3)))
	18.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))) (.f64 (.f64 (cbrt.f64 (/.f64 a (.f64 b 3))) (cbrt.f64 (/.f64 a (.f64 b 3)))) (cbrt.f64 (/.f64 a (.f64 b 3)))))
	17.9b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t (cbrt.f64 3)) (/.f64 z (.f64 (cbrt.f64 3) (cbrt.f64 3))))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t (cbrt.f64 3))) (/.f64 z (.f64 (cbrt.f64 3) (cbrt.f64 3))) (.f64 (/.f64 t (cbrt.f64 3)) (/.f64 z (.f64 (cbrt.f64 3) (cbrt.f64 3))))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t (cbrt.f64 3)) (/.f64 z (.f64 (cbrt.f64 3) (cbrt.f64 3))))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t (cbrt.f64 3))) (/.f64 z (.f64 (cbrt.f64 3) (cbrt.f64 3))) (.f64 (/.f64 t (cbrt.f64 3)) (/.f64 z (.f64 (cbrt.f64 3) (cbrt.f64 3))))))))) (/.f64 a (*.f64 b 3)))
	18.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (expm1.f64 (log1p.f64 (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))))) (/.f64 a (.f64 b 3)))
	25.5b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (.f64 1/3 (.f64 t z))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (/.f64 a (.f64 b 3)))
	34.8b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))) (cos.f64 (fma.f64 (neg.f64 (sqrt.f64 (/.f64 (.f64 z t) 3))) (sqrt.f64 (/.f64 (.f64 z t) 3)) (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))) (sin.f64 (fma.f64 (neg.f64 (sqrt.f64 (/.f64 (.f64 z t) 3))) (sqrt.f64 (/.f64 (.f64 z t) 3)) (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))))) (/.f64 a (*.f64 b 3)))
	26.1b	(-.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))))))) (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))))) (/.f64 a (*.f64 b 3)))
	18.2b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (log.f64 (exp.f64 (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))))) (/.f64 a (.f64 b 3)))
▶	14.5b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (-.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (sin.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (/.f64 a (.f64 b 3)))
	22.4b	(-.f64 (expm1.f64 (log1p.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))))) (/.f64 a (*.f64 b 3)))

Compiler

Compiled 19155 to 14026 computations (26.8% saved)

localize37.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	21.8b	(sin.f64 (fma.f64 1 y (neg.f64 (*.f64 (/.f64 t 3) (/.f64 z 1)))))
✓	25.3b	(cos.f64 (*.f64 z (/.f64 t 3)))
✓	25.5b	(sin.f64 (*.f64 z (neg.f64 (/.f64 t 3))))
	53.9b	(fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (*.f64 (/.f64 t 3) (/.f64 z 1)))

series12.0ms (0%)

Counts

2 → 48

Calls

2 calls:

6.0ms	(cos.f64 (*.f64 z (/.f64 t 3)))
6.0ms	(sin.f64 (*.f64 z (neg.f64 (/.f64 t 3))))

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

2×	`*-un-lft-identity_binary64`
2×	`add-sqr-sqrt_binary64`
2×	`add-cube-cbrt_binary64`
2×	`add-cbrt-cube_binary64`
2×	`add-exp-log_binary64`

Counts

2 → 19

Calls

2 calls:

1.0ms	(sin.f64 (*.f64 z (neg.f64 (/.f64 t 3))))
1.0ms	(cos.f64 (*.f64 z (/.f64 t 3)))

simplify68.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

704×	`fma-neg_binary64`
453×	`distribute-rgt-neg-in_binary64`
441×	`distribute-lft-neg-in_binary64`
407×	`associate-r_binary64`
387×	`associate-l_binary64`

Counts

67 → 44

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	82	993
1	198	939
2	561	923
3	2243	903
4	4650	885
5	5164	885

prune1.1s (4.2%)

Pruning

34 alts after pruning (34 fresh and 0 done)

	Pruned	Kept	Total
New	117	4	121
Fresh	6	30	36
Picked	1	0	1
Done	0	0	0
Total	124	34	158

Error

7.8b

Counts

158 → 34

Alt Table

Status	Error	Program
	18.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (-.f64 (.f64 (cos.f64 y) 1) (.f64 (sin.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (/.f64 a (*.f64 b 3)))
	18.2b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (log.f64 (exp.f64 (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))))) (/.f64 a (.f64 b 3)))
	17.7b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 (/.f64 t (sqrt.f64 3)) (/.f64 z (sqrt.f64 3))))) (.f64 (sin.f64 y) (sin.f64 (neg.f64 (.f64 (/.f64 t (sqrt.f64 3)) (/.f64 z (sqrt.f64 3)))))))) (/.f64 a (*.f64 b 3)))
	15.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y)) (/.f64 a (*.f64 b 3)))
	15.0b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (log1p.f64 (expm1.f64 (cos.f64 (-.f64 y (.f64 z (/.f64 t 3)))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (/.f64 a (*.f64 b 3)))
	18.1b	(fma.f64 a (/.f64 -1/3 b) (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (fma.f64 z (*.f64 t -1/3) y))))
	53.0b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (exp.f64 (-.f64 (+.f64 (log.f64 z) (log.f64 t)) (log.f64 3)))))) (/.f64 a (*.f64 b 3)))
	15.0b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (cbrt.f64 (pow.f64 (sin.f64 (-.f64 y (.f64 z (/.f64 t 3)))) 3)) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (/.f64 a (*.f64 b 3)))
▶	12.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (-.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (sin.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (+.f64 (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (/.f64 a (*.f64 b 3)))
	17.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))) (cbrt.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (cbrt.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (/.f64 a (*.f64 b 3)))
	15.0b	(-.f64 (/.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))))) (.f64 (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))))))) (+.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (/.f64 a (*.f64 b 3)))
	14.5b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (-.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (sin.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (log.f64 (exp.f64 (sin.f64 (-.f64 y (.f64 z (/.f64 t 3)))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (/.f64 a (.f64 b 3)))
	18.0b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 (/.f64 a b) 3))
	18.0b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 (neg.f64 (.f64 (cbrt.f64 (/.f64 (.f64 z t) 3)) (cbrt.f64 (/.f64 (.f64 z t) 3)))) (cbrt.f64 (/.f64 (.f64 z t) 3))))) (.f64 (sin.f64 y) (sin.f64 (.f64 (neg.f64 (.f64 (cbrt.f64 (/.f64 (.f64 z t) 3)) (cbrt.f64 (/.f64 (.f64 z t) 3)))) (cbrt.f64 (/.f64 (.f64 z t) 3))))))) (/.f64 a (*.f64 b 3)))
	15.0b	(-.f64 (+.f64 (.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 2 (sqrt.f64 x))) (.f64 (neg.f64 (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))))) (.f64 2 (sqrt.f64 x)))) (/.f64 a (*.f64 b 3)))
	17.2b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))) (cbrt.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (cbrt.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))))) (/.f64 a (*.f64 b 3)))
	18.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))) (/.f64 1 (/.f64 (.f64 b 3) a)))
	18.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 1 3) (.f64 z t))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 1 3)) (.f64 z t) (.f64 (/.f64 1 3) (.f64 z t))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 1 3) (.f64 z t))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 1 3)) (.f64 z t) (.f64 (/.f64 1 3) (.f64 z t))))))) (/.f64 a (*.f64 b 3)))
	27.5b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (.f64 1/3 (.f64 t z)))) (/.f64 a (*.f64 b 3)))
	18.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))) (.f64 (/.f64 1 b) (/.f64 a 3)))
	30.6b	(-.f64 (.f64 (sqrt.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))))))) (sqrt.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))))) (/.f64 a (.f64 b 3)))
	17.9b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t (sqrt.f64 3)) (/.f64 z (sqrt.f64 3)))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t (sqrt.f64 3))) (/.f64 z (sqrt.f64 3)) (.f64 (/.f64 t (sqrt.f64 3)) (/.f64 z (sqrt.f64 3)))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t (sqrt.f64 3)) (/.f64 z (sqrt.f64 3)))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t (sqrt.f64 3))) (/.f64 z (sqrt.f64 3)) (.f64 (/.f64 t (sqrt.f64 3)) (/.f64 z (sqrt.f64 3)))))))) (/.f64 a (*.f64 b 3)))
	26.1b	(-.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 2 (sqrt.f64 x)) (.f64 2 (sqrt.f64 x))) (.f64 2 (sqrt.f64 x))) (.f64 (.f64 (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))))) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))))) (/.f64 a (*.f64 b 3)))
	22.8b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (expm1.f64 (log1p.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (/.f64 a (*.f64 b 3)))
	18.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))) (.f64 (.f64 (cbrt.f64 (/.f64 a (.f64 b 3))) (cbrt.f64 (/.f64 a (.f64 b 3)))) (cbrt.f64 (/.f64 a (.f64 b 3)))))
	17.9b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t (cbrt.f64 3)) (/.f64 z (.f64 (cbrt.f64 3) (cbrt.f64 3))))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t (cbrt.f64 3))) (/.f64 z (.f64 (cbrt.f64 3) (cbrt.f64 3))) (.f64 (/.f64 t (cbrt.f64 3)) (/.f64 z (.f64 (cbrt.f64 3) (cbrt.f64 3))))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t (cbrt.f64 3)) (/.f64 z (.f64 (cbrt.f64 3) (cbrt.f64 3))))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t (cbrt.f64 3))) (/.f64 z (.f64 (cbrt.f64 3) (cbrt.f64 3))) (.f64 (/.f64 t (cbrt.f64 3)) (/.f64 z (.f64 (cbrt.f64 3) (cbrt.f64 3))))))))) (/.f64 a (*.f64 b 3)))
	18.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (expm1.f64 (log1p.f64 (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))))) (/.f64 a (.f64 b 3)))
	34.8b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))) (cos.f64 (fma.f64 (neg.f64 (sqrt.f64 (/.f64 (.f64 z t) 3))) (sqrt.f64 (/.f64 (.f64 z t) 3)) (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))) (sin.f64 (fma.f64 (neg.f64 (sqrt.f64 (/.f64 (.f64 z t) 3))) (sqrt.f64 (/.f64 (.f64 z t) 3)) (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))))) (/.f64 a (*.f64 b 3)))
	26.1b	(-.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))))))) (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))))) (/.f64 a (*.f64 b 3)))
	15.7b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (-.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 1/3 (.f64 t z)))) (.f64 (sin.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (/.f64 a (*.f64 b 3)))
	22.4b	(-.f64 (expm1.f64 (log1p.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))))) (/.f64 a (*.f64 b 3)))
	18.2b	(-.f64 (.f64 (.f64 (.f64 2 (sqrt.f64 x)) (.f64 (cbrt.f64 (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))) (cbrt.f64 (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))))) (cbrt.f64 (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3))))) (/.f64 a (.f64 b 3)))
	50.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 (sqrt.f64 y) (sqrt.f64 y) (neg.f64 (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))) (cos.f64 (fma.f64 (neg.f64 (sqrt.f64 (/.f64 (.f64 z t) 3))) (sqrt.f64 (/.f64 (.f64 z t) 3)) (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))) (.f64 (sin.f64 (fma.f64 (sqrt.f64 y) (sqrt.f64 y) (neg.f64 (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))) (sin.f64 (fma.f64 (neg.f64 (sqrt.f64 (/.f64 (.f64 z t) 3))) (sqrt.f64 (/.f64 (.f64 z t) 3)) (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))))) (/.f64 a (*.f64 b 3)))
	18.1b	(-.f64 (/.f64 (.f64 (cos.f64 (-.f64 y (.f64 z (/.f64 t 3)))) (.f64 (cos.f64 (-.f64 y (.f64 z (/.f64 t 3)))) (.f64 2 (sqrt.f64 x)))) (+.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (/.f64 a (.f64 b 3)))

Compiler

Compiled 15501 to 11153 computations (28% saved)

localize44.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (-.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (sin.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (+.f64 (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))))))
	25.3b	(cos.f64 (*.f64 z (/.f64 t 3)))
	25.5b	(sin.f64 (*.f64 z (neg.f64 (/.f64 t 3))))
	53.9b	(fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (*.f64 (/.f64 t 3) (/.f64 z 1)))

series192.0ms (0.7%)

Counts

1 → 36

Calls

1 calls:

191.0ms

(*.f64 (*.f64 2 (sqrt.f64 x)) (-.f64 (*.f64 (-.f64 (*.f64 (cos.f64 y) (cos.f64 (*.f64 z (/.f64 t 3)))) (*.f64 (sin.f64 y) (sin.f64 (*.f64 z (neg.f64 (/.f64 t 3)))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (*.f64 (/.f64 t 3) (/.f64 z 1))))) (*.f64 (+.f64 (*.f64 (sin.f64 y) (cos.f64 (*.f64 z (/.f64 t 3)))) (*.f64 (cos.f64 y) (sin.f64 (*.f64 z (neg.f64 (/.f64 t 3)))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (*.f64 (/.f64 t 3) (/.f64 z 1)))))))

rewrite30.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`associate-*l/_binary64`
10×	`associate-*r/_binary64`
10×	`frac-sub_binary64`
6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`

Counts

1 → 36

Calls

1 calls:

17.0ms

(*.f64 (*.f64 2 (sqrt.f64 x)) (-.f64 (*.f64 (-.f64 (*.f64 (cos.f64 y) (cos.f64 (*.f64 z (/.f64 t 3)))) (*.f64 (sin.f64 y) (sin.f64 (*.f64 z (neg.f64 (/.f64 t 3)))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (*.f64 (/.f64 t 3) (/.f64 z 1))))) (*.f64 (+.f64 (*.f64 (sin.f64 y) (cos.f64 (*.f64 z (/.f64 t 3)))) (*.f64 (cos.f64 y) (sin.f64 (*.f64 z (neg.f64 (/.f64 t 3)))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (*.f64 (/.f64 t 3) (/.f64 z 1)))))))

simplify212.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

533×	`cancel-sign-sub-inv_binary64`
422×	`associate-r_binary64`
413×	`associate-l_binary64`
397×	`fma-neg_binary64`
267×	`*-commutative_binary64`

Counts

72 → 78

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	231	7571
1	809	6651
2	3255	6237
3	4868	6237
4	4834	6198
5	4976	6198

prune2.0s (7.7%)

Pruning

33 alts after pruning (33 fresh and 0 done)

	Pruned	Kept	Total
New	192	12	204
Fresh	12	21	33
Picked	1	0	1
Done	0	0	0
Total	205	33	238

Error

7.6b

Counts

238 → 33

Alt Table

Status	Error	Program
	18.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (-.f64 (.f64 (cos.f64 y) 1) (.f64 (sin.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (/.f64 a (*.f64 b 3)))
	15.2b	(-.f64 (/.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (.f64 (-.f64 (+.f64 (cos.f64 (+.f64 y (.f64 z (/.f64 t 3)))) (cos.f64 (-.f64 y (.f64 z (/.f64 t 3))))) (-.f64 (cos.f64 (-.f64 y (.f64 z (neg.f64 (/.f64 t 3))))) (cos.f64 (+.f64 y (.f64 z (neg.f64 (/.f64 t 3))))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (-.f64 (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3))))))) (.f64 2 (.f64 (-.f64 (.f64 (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3))))) (.f64 (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3))))) (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3))))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))))))) (.f64 2 (-.f64 (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))))) (/.f64 a (.f64 b 3)))
	24.4b	(-.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 2 (sqrt.f64 x)) (.f64 2 (sqrt.f64 x))) (.f64 2 (sqrt.f64 x))) (.f64 (.f64 (-.f64 (.f64 (-.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (sin.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (+.f64 (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))))) (-.f64 (.f64 (-.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (sin.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (+.f64 (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (-.f64 (.f64 (-.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (sin.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (+.f64 (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))))) (/.f64 a (*.f64 b 3)))
	12.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (-.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (sin.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (+.f64 (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (cos.f64 y) (cbrt.f64 (.f64 (.f64 (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3))))) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (/.f64 a (*.f64 b 3)))
	50.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 (sqrt.f64 y) (sqrt.f64 y) (neg.f64 (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))) (cos.f64 (fma.f64 (neg.f64 (sqrt.f64 (/.f64 (.f64 z t) 3))) (sqrt.f64 (/.f64 (.f64 z t) 3)) (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))) (.f64 (sin.f64 (fma.f64 (sqrt.f64 y) (sqrt.f64 y) (neg.f64 (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))) (sin.f64 (fma.f64 (neg.f64 (sqrt.f64 (/.f64 (.f64 z t) 3))) (sqrt.f64 (/.f64 (.f64 z t) 3)) (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))))) (/.f64 a (*.f64 b 3)))
	15.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 y)) (/.f64 a (*.f64 b 3)))
	44.7b	(-.f64 (log.f64 (.f64 (pow.f64 (exp.f64 (.f64 2 (sqrt.f64 x))) (.f64 (fma.f64 (cos.f64 y) (cos.f64 (.f64 z (/.f64 t 3))) (.f64 (sin.f64 y) (sin.f64 (.f64 z (/.f64 t 3))))) (cos.f64 (.f64 z (+.f64 (neg.f64 (/.f64 t 3)) (/.f64 t 3)))))) (exp.f64 (.f64 (sqrt.f64 x) 0)))) (/.f64 a (*.f64 b 3)))
	18.1b	(fma.f64 a (/.f64 -1/3 b) (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (fma.f64 z (*.f64 t -1/3) y))))
	53.0b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (exp.f64 (-.f64 (+.f64 (log.f64 z) (log.f64 t)) (log.f64 3)))))) (/.f64 a (*.f64 b 3)))
	17.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))) (cbrt.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (cbrt.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (/.f64 a (*.f64 b 3)))
	17.3b	(-.f64 (.f64 (.f64 (.f64 2 (sqrt.f64 x)) (.f64 (cbrt.f64 (fma.f64 (fma.f64 (cos.f64 y) (cos.f64 (.f64 z (/.f64 t 3))) (.f64 (sin.f64 y) (sin.f64 (.f64 z (/.f64 t 3))))) (cos.f64 (.f64 z (+.f64 (neg.f64 (/.f64 t 3)) (/.f64 t 3)))) (.f64 (fma.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))) (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3))))) (sin.f64 (.f64 z (+.f64 (neg.f64 (/.f64 t 3)) (/.f64 t 3))))))) (cbrt.f64 (fma.f64 (fma.f64 (cos.f64 y) (cos.f64 (.f64 z (/.f64 t 3))) (.f64 (sin.f64 y) (sin.f64 (.f64 z (/.f64 t 3))))) (cos.f64 (.f64 z (+.f64 (neg.f64 (/.f64 t 3)) (/.f64 t 3)))) (.f64 (fma.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))) (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3))))) (sin.f64 (.f64 z (+.f64 (neg.f64 (/.f64 t 3)) (/.f64 t 3))))))))) (cbrt.f64 (-.f64 (.f64 (-.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (sin.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (+.f64 (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))))))) (/.f64 a (*.f64 b 3)))
	14.5b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (-.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (sin.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (log.f64 (exp.f64 (sin.f64 (-.f64 y (.f64 z (/.f64 t 3)))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (/.f64 a (.f64 b 3)))
	18.0b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 (/.f64 a b) 3))
	18.0b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 (neg.f64 (.f64 (cbrt.f64 (/.f64 (.f64 z t) 3)) (cbrt.f64 (/.f64 (.f64 z t) 3)))) (cbrt.f64 (/.f64 (.f64 z t) 3))))) (.f64 (sin.f64 y) (sin.f64 (.f64 (neg.f64 (.f64 (cbrt.f64 (/.f64 (.f64 z t) 3)) (cbrt.f64 (/.f64 (.f64 z t) 3)))) (cbrt.f64 (/.f64 (.f64 z t) 3))))))) (/.f64 a (*.f64 b 3)))
	18.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))) (/.f64 1 (/.f64 (.f64 b 3) a)))
	18.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 1 3) (.f64 z t))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 1 3)) (.f64 z t) (.f64 (/.f64 1 3) (.f64 z t))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 1 3) (.f64 z t))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 1 3)) (.f64 z t) (.f64 (/.f64 1 3) (.f64 z t))))))) (/.f64 a (*.f64 b 3)))
	27.5b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (.f64 1/3 (.f64 t z)))) (/.f64 a (*.f64 b 3)))
	18.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))) (.f64 (/.f64 1 b) (/.f64 a 3)))
	12.5b	(-.f64 (/.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (.f64 (-.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (sin.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (-.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (sin.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))))) (.f64 (.f64 (+.f64 (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (+.f64 (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))))))) (+.f64 (.f64 (-.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (sin.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (+.f64 (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (/.f64 a (*.f64 b 3)))
	14.5b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (-.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 (.f64 t z) 1/3))) (.f64 (sin.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (+.f64 (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (/.f64 a (.f64 b 3)))
	18.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))) (.f64 (.f64 (cbrt.f64 (/.f64 a (.f64 b 3))) (cbrt.f64 (/.f64 a (.f64 b 3)))) (cbrt.f64 (/.f64 a (.f64 b 3)))))
	12.7b	(-.f64 (/.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (.f64 (-.f64 (.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (cos.f64 y) (cos.f64 (.f64 z (/.f64 t 3))))) (.f64 (.f64 (sin.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3))))) (.f64 (sin.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3))))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (-.f64 (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3))))))) (.f64 (+.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (sin.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (.f64 (-.f64 (.f64 (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3))))) (.f64 (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3))))) (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3))))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))))))) (.f64 (+.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (sin.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (-.f64 (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))))) (/.f64 a (.f64 b 3)))
	22.8b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (expm1.f64 (log1p.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (/.f64 a (*.f64 b 3)))
	17.9b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t (cbrt.f64 3)) (/.f64 z (.f64 (cbrt.f64 3) (cbrt.f64 3))))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t (cbrt.f64 3))) (/.f64 z (.f64 (cbrt.f64 3) (cbrt.f64 3))) (.f64 (/.f64 t (cbrt.f64 3)) (/.f64 z (.f64 (cbrt.f64 3) (cbrt.f64 3))))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t (cbrt.f64 3)) (/.f64 z (.f64 (cbrt.f64 3) (cbrt.f64 3))))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t (cbrt.f64 3))) (/.f64 z (.f64 (cbrt.f64 3) (cbrt.f64 3))) (.f64 (/.f64 t (cbrt.f64 3)) (/.f64 z (.f64 (cbrt.f64 3) (cbrt.f64 3))))))))) (/.f64 a (*.f64 b 3)))
	16.7b	(-.f64 (/.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (.f64 (-.f64 (.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (cos.f64 y) (cos.f64 (.f64 z (/.f64 t 3))))) (.f64 (.f64 (sin.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3))))) (.f64 (sin.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3))))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (+.f64 (.f64 (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3))))) (-.f64 (.f64 (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3))))) (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (.f64 (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3))))))))) (.f64 (+.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (sin.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (.f64 (+.f64 (pow.f64 (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) 3) (pow.f64 (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3))))) 3)) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))))))) (.f64 (+.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (sin.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (+.f64 (.f64 (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3))))) (-.f64 (.f64 (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3))))) (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (.f64 (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))))))) (/.f64 a (.f64 b 3)))
	34.8b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))) (cos.f64 (fma.f64 (neg.f64 (sqrt.f64 (/.f64 (.f64 z t) 3))) (sqrt.f64 (/.f64 (.f64 z t) 3)) (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))) (sin.f64 (fma.f64 (neg.f64 (sqrt.f64 (/.f64 (.f64 z t) 3))) (sqrt.f64 (/.f64 (.f64 z t) 3)) (.f64 (sqrt.f64 (/.f64 (.f64 z t) 3)) (sqrt.f64 (/.f64 (.f64 z t) 3)))))))) (/.f64 a (*.f64 b 3)))
	13.3b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (-.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (sin.f64 y) (expm1.f64 (log1p.f64 (sin.f64 (.f64 -1/3 (.f64 t z))))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (+.f64 (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (/.f64 a (.f64 b 3)))
	15.9b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (-.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (sin.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (+.f64 (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (sin.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))) (cbrt.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (cbrt.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))))) (/.f64 a (*.f64 b 3)))
	15.7b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (-.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 1/3 (.f64 t z)))) (.f64 (sin.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))) (/.f64 a (*.f64 b 3)))
	12.4b	(-.f64 (+.f64 (.f64 (fma.f64 (-.f64 (.f64 (cos.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (sin.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))) (neg.f64 (.f64 (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))) (+.f64 (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3))))))))) (.f64 2 (sqrt.f64 x))) (.f64 (fma.f64 (neg.f64 (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (+.f64 (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))) (.f64 (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1)))) (+.f64 (.f64 (sin.f64 y) (cos.f64 (.f64 z (/.f64 t 3)))) (.f64 (cos.f64 y) (sin.f64 (.f64 z (neg.f64 (/.f64 t 3)))))))) (.f64 2 (sqrt.f64 x)))) (/.f64 a (*.f64 b 3)))
	22.4b	(-.f64 (expm1.f64 (log1p.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t 3) (/.f64 z 1))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t 3)) (/.f64 z 1) (.f64 (/.f64 t 3) (/.f64 z 1))))))))) (/.f64 a (*.f64 b 3)))
	18.2b	(-.f64 (.f64 (.f64 (.f64 2 (sqrt.f64 x)) (.f64 (cbrt.f64 (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))) (cbrt.f64 (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))))) (cbrt.f64 (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3))))) (/.f64 a (.f64 b 3)))
	17.9b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t (sqrt.f64 3)) (/.f64 z (sqrt.f64 3)))))) (cos.f64 (fma.f64 (neg.f64 (/.f64 t (sqrt.f64 3))) (/.f64 z (sqrt.f64 3)) (.f64 (/.f64 t (sqrt.f64 3)) (/.f64 z (sqrt.f64 3)))))) (.f64 (sin.f64 (fma.f64 1 y (neg.f64 (.f64 (/.f64 t (sqrt.f64 3)) (/.f64 z (sqrt.f64 3)))))) (sin.f64 (fma.f64 (neg.f64 (/.f64 t (sqrt.f64 3))) (/.f64 z (sqrt.f64 3)) (.f64 (/.f64 t (sqrt.f64 3)) (/.f64 z (sqrt.f64 3)))))))) (/.f64 a (*.f64 b 3)))

Compiler

Compiled 24959 to 16795 computations (32.7% saved)

regimes12.3s (48%)

Accuracy

Total 1.5b remaining (12%)

Threshold costs 0b (0%)

Counts

224 → 3

Compiler

Compiled 321913 to 234340 computations (27.2% saved)

bsearch28.0ms (0.1%)

Compiler: Compiled 13 to 10 computations (23.1% saved)

simplify9.0ms (0%)

Algorithm

1×	egg-herbie

Rules

33×	`*-commutative_binary64`
25×	`+-commutative_binary64`
24×	`sub-neg_binary64`
19×	`neg-sub0_binary64`
19×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	52	197
1	88	197
2	128	197
3	177	197
4	205	197
5	218	197
6	221	197
7	220	197

end1.7s (6.8%)

Compiler: Compiled 3911 to 2773 computations (29.1% saved)

Details

analyze1.4s (5.6%)

sample4.1s (16%)

simplify58.0ms (0.2%)

prune4.0ms (0%)

localize13.0ms (0.1%)

series72.0ms (0.3%)

rewrite34.0ms (0.1%)

simplify168.0ms (0.7%)

prune564.0ms (2.2%)

localize72.0ms (0.3%)

series128.0ms (0.5%)

rewrite19.0ms (0.1%)

simplify198.0ms (0.8%)

prune1.0s (4%)

localize37.0ms (0.1%)

series12.0ms (0%)

rewrite3.0ms (0%)

simplify68.0ms (0.3%)

prune1.1s (4.2%)

localize44.0ms (0.2%)

series192.0ms (0.7%)

rewrite30.0ms (0.1%)

simplify212.0ms (0.8%)

prune2.0s (7.7%)

regimes12.3s (48%)

bsearch28.0ms (0.1%)

simplify9.0ms (0%)

end1.7s (6.8%)

Profiling