Details

analyze701.0ms (18.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
25%	74.9%	0.1%	7
37.4%	62.4%	0.1%	8
37.4%	62.4%	0.1%	9
56.2%	43.7%	0.1%	10
65.5%	34.3%	0.1%	11
65.5%	34.3%	0.1%	12
76.5%	23.4%	0.1%	13
81.9%	17.9%	0.1%	14

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample2.7s (72%)

Results

1.3s	2110×	body	1024	valid
804.0ms	4563×	body	128	valid
455.0ms	1067×	body	512	valid
154.0ms	512×	body	256	valid
4.0ms	4×	body	2048	valid

preprocess37.0ms (1%)

Algorithm

2×	egg-herbie

Rules

418×	`rule-b-ac--ab*bc_binary64`
293×	`rule-a-*a1_binary64`
293×	`rule-a--a0_binary64`
293×	`rule-a-+a0_binary64`
293×	`rule-a-/a1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	48
1	128	48
2	408	48
3	1785	48
0	3	3

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

Inputs
(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
(+.f64 (.f64 y (cos.f64 x)) (.f64 z (sin.f64 x)))
(+.f64 (.f64 z (cos.f64 y)) (.f64 x (sin.f64 y)))
(+.f64 (.f64 x (cos.f64 z)) (.f64 y (sin.f64 z)))

Outputs
(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
(fma.f64 x (cos.f64 y) (*.f64 z (sin.f64 y)))
(+.f64 (.f64 y (cos.f64 x)) (.f64 z (sin.f64 x)))
(fma.f64 y (cos.f64 x) (*.f64 z (sin.f64 x)))
(+.f64 (.f64 z (cos.f64 y)) (.f64 x (sin.f64 y)))
(fma.f64 z (cos.f64 y) (*.f64 x (sin.f64 y)))
(fma.f64 x (sin.f64 y) (*.f64 (cos.f64 y) z))
(+.f64 (.f64 x (cos.f64 z)) (.f64 y (sin.f64 z)))
(fma.f64 x (cos.f64 z) (*.f64 y (sin.f64 z)))

Compiler

Compiled 12 to 8 computations (33.3% saved)

simplify33.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

480×	`rule-a--a0_binary64`
480×	`rule-a-+a0_binary64`
476×	`rule-a-*a1_binary64`
471×	`rule-a-/a1_binary64`
359×	`fma-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	12
1	51	12
2	158	12
3	666	12
4	3590	12

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))

Outputs
(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
(fma.f64 x (cos.f64 y) (*.f64 z (sin.f64 y)))

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.1b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.1b	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))

Compiler

Compiled 44 to 25 computations (43.2% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
✓	0.1b	(*.f64 x (cos.f64 y))
✓	0.1b	(*.f64 z (sin.f64 y))

series11.0ms (0.3%)

Counts

3 → 64

Calls

21 calls:

Time	Variable		Point	Expression
1.0ms	z	@	0	(*.f64 z (sin.f64 y))
1.0ms	y	@	0	(*.f64 z (sin.f64 y))
1.0ms	x	@	-inf	(*.f64 x (cos.f64 y))
1.0ms	x	@	0	(*.f64 x (cos.f64 y))
1.0ms	y	@	0	(*.f64 x (cos.f64 y))

rewrite54.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

229×	`rule-aa-fabsaa_binary64`
205×	`rule-/ab-*+aa/1/2b_binary64`
191×	`rule-nega--0a_binary64`
191×	`rule-nega-/a-1_binary64`
191×	`rule-nega-*a-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	24
1	230	24
2	3235	24

Stop Event

1×	node limit

Counts

3 → 122

Calls

Call 1

Inputs
(*.f64 z (sin.f64 y))
(*.f64 x (cos.f64 y))
(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 z (cos.f64 0)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 z (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 (log1p.f64 (.f64 z (cos.f64 0)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 z (cos.f64 0)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (.f64 z (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 z (cos.f64 0)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 z (cos.f64 0)) (.f64 z (cos.f64 0))) (.f64 z (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (exp.f64 (log1p.f64 (.f64 z (cos.f64 0)))) (exp.f64 (log1p.f64 (.f64 z (cos.f64 0))))) (+.f64 (exp.f64 (log1p.f64 (.f64 z (cos.f64 0)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (+.f64 (.f64 z (cos.f64 0)) (.f64 z (cos.f64 0))) (+.f64 (.f64 z (cos.f64 0)) (.f64 z (cos.f64 0)))) (+.f64 (+.f64 (.f64 z (cos.f64 0)) (.f64 z (cos.f64 0))) (.f64 z (cos.f64 0))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 z (/.f64 1 (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 z (fabs.f64 (/.f64 1 (cos.f64 0))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 z (cos.f64 0)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 z (cos.f64 0)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cos.f64 0) (/.f64 1 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cos.f64 0) (fabs.f64 (/.f64 1 z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (.f64 z (cos.f64 0)) 3) (pow.f64 (.f64 z (cos.f64 0)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 z (cos.f64 0)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (cos.f64 0) (cbrt.f64 z)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (cos.f64 0) (sqrt.f64 z)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 z (cos.f64 0)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (.f64 z (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 z (cos.f64 0)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 z (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (-.f64 1 (exp.f64 (log1p.f64 (.f64 z (cos.f64 0))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (-.f64 (.f64 z (cos.f64 0)) (+.f64 (.f64 z (cos.f64 0)) (.f64 z (cos.f64 0)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 z) (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 z (cos.f64 0)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 z (cos.f64 0)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 z (cos.f64 0))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 z (cos.f64 0))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 z (cos.f64 0) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 z (cos.f64 0)) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cos.f64 0) z 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (.f64 (cos.f64 0) (cbrt.f64 z)) 2) (.f64 (cos.f64 0) (cbrt.f64 z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cos.f64 0) (sqrt.f64 z)) (.f64 (cos.f64 0) (sqrt.f64 z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 z (cos.f64 0))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x (cos.f64 0)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 x (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 (log1p.f64 (.f64 x (cos.f64 0)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 x (cos.f64 0)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (.f64 x (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 x (cos.f64 0)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 x (cos.f64 0)) (.f64 x (cos.f64 0))) (.f64 x (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (exp.f64 (log1p.f64 (.f64 x (cos.f64 0)))) (exp.f64 (log1p.f64 (.f64 x (cos.f64 0))))) (+.f64 (exp.f64 (log1p.f64 (.f64 x (cos.f64 0)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (+.f64 (.f64 x (cos.f64 0)) (.f64 x (cos.f64 0))) (+.f64 (.f64 x (cos.f64 0)) (.f64 x (cos.f64 0)))) (+.f64 (+.f64 (.f64 x (cos.f64 0)) (.f64 x (cos.f64 0))) (.f64 x (cos.f64 0))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 x (/.f64 1 (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 x (fabs.f64 (/.f64 1 (cos.f64 0))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cos.f64 0) (/.f64 1 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cos.f64 0) (fabs.f64 (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x (cos.f64 0)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x (cos.f64 0)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cos.f64 0) (pow.f64 x 3)) (pow.f64 (.f64 x (cos.f64 0)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (cos.f64 0)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (cos.f64 0) (cbrt.f64 x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (cos.f64 0) (sqrt.f64 x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (cos.f64 0) (pow.f64 x 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (.f64 x (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 x (cos.f64 0)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 x (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (-.f64 1 (exp.f64 (log1p.f64 (.f64 x (cos.f64 0))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (-.f64 (.f64 x (cos.f64 0)) (+.f64 (.f64 x (cos.f64 0)) (.f64 x (cos.f64 0)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 x (cos.f64 0)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (cos.f64 0) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 x (cos.f64 0))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 x (cos.f64 0))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x (cos.f64 0) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cos.f64 0) x 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x (cos.f64 0)) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (.f64 (cos.f64 0) (cbrt.f64 x)) 2) (.f64 (cos.f64 0) (cbrt.f64 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cos.f64 0) (sqrt.f64 x)) (.f64 (cos.f64 0) (sqrt.f64 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 x (cos.f64 0))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))) (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0)))) (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (exp.f64 (log1p.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))))) (exp.f64 (log1p.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0)))))) (+.f64 (exp.f64 (log1p.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (+.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))) (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0)))) (+.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))) (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))))) (+.f64 (+.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))) (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0)))) (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0)))) (pow.f64 (cbrt.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0)))) 2) (cbrt.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0)))) (sqrt.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))) (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))) (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0)))) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (+.f64 (.f64 (cos.f64 0) (pow.f64 x 3)) (pow.f64 (.f64 z (cos.f64 0)) 3)) (+.f64 (.f64 (cos.f64 0) (pow.f64 x 3)) (pow.f64 (.f64 z (cos.f64 0)) 3))) (/.f64 1/2 (+.f64 (pow.f64 (.f64 x (cos.f64 0)) 2) (-.f64 (pow.f64 (.f64 z (cos.f64 0)) 2) (.f64 z (.f64 (.f64 x (cos.f64 0)) (cos.f64 0)))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (pow.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))) 3) (pow.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))) 3)) (/.f64 1/2 (pow.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fabs.f64 (+.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))) (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fabs.f64 (+.f64 (+.f64 (.f64 (cos.f64 0) (pow.f64 x 3)) (pow.f64 (.f64 z (cos.f64 0)) 3)) (+.f64 (.f64 (cos.f64 0) (pow.f64 x 3)) (pow.f64 (.f64 z (cos.f64 0)) 3)))) (fabs.f64 (/.f64 1/2 (+.f64 (pow.f64 (.f64 x (cos.f64 0)) 2) (-.f64 (pow.f64 (.f64 z (cos.f64 0)) 2) (.f64 z (.f64 (.f64 x (cos.f64 0)) (cos.f64 0))))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))) 3) (pow.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 (cos.f64 0) (pow.f64 x 3)) (pow.f64 (.f64 z (cos.f64 0)) 3)) (+.f64 (pow.f64 (.f64 x (cos.f64 0)) 2) (-.f64 (pow.f64 (.f64 z (cos.f64 0)) 2) (.f64 z (.f64 (.f64 x (cos.f64 0)) (cos.f64 0))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (-.f64 1 (exp.f64 (log1p.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (-.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))) (+.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))) (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 z (cos.f64 0)) 1 (.f64 x (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x (cos.f64 0) (.f64 z (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cos.f64 0) z (.f64 x (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cos.f64 0) x (.f64 z (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x (cos.f64 0)) 1 (.f64 z (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0))) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (.f64 (cos.f64 0) (cbrt.f64 x)) 2) (.f64 (cos.f64 0) (cbrt.f64 x)) (.f64 z (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (.f64 (cos.f64 0) (cbrt.f64 z)) 2) (.f64 (cos.f64 0) (cbrt.f64 z)) (.f64 x (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0)))) 2) (cbrt.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cos.f64 0) (sqrt.f64 x)) (.f64 (cos.f64 0) (sqrt.f64 x)) (.f64 z (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cos.f64 0) (sqrt.f64 z)) (.f64 (cos.f64 0) (sqrt.f64 z)) (.f64 x (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0)))) (sqrt.f64 (fma.f64 z (cos.f64 0) (.f64 x (cos.f64 0)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0)))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 z (cos.f64 0)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 z (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 (log1p.f64 (*.f64 z (cos.f64 0)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 z (cos.f64 0)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 z (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 z (cos.f64 0)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 z (cos.f64 0)) (*.f64 z (cos.f64 0))) (*.f64 z (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (exp.f64 (log1p.f64 (*.f64 z (cos.f64 0)))) (exp.f64 (log1p.f64 (*.f64 z (cos.f64 0))))) (+.f64 (exp.f64 (log1p.f64 (*.f64 z (cos.f64 0)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (+.f64 (*.f64 z (cos.f64 0)) (*.f64 z (cos.f64 0))) (+.f64 (*.f64 z (cos.f64 0)) (*.f64 z (cos.f64 0)))) (+.f64 (+.f64 (*.f64 z (cos.f64 0)) (*.f64 z (cos.f64 0))) (*.f64 z (cos.f64 0))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 z (/.f64 1 (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 z (fabs.f64 (/.f64 1 (cos.f64 0))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (cos.f64 0)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (cos.f64 0)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cos.f64 0) (/.f64 1 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cos.f64 0) (fabs.f64 (/.f64 1 z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (*.f64 z (cos.f64 0)) 3) (pow.f64 (*.f64 z (cos.f64 0)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 z (cos.f64 0)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (cos.f64 0) (cbrt.f64 z)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (cos.f64 0) (sqrt.f64 z)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 z (cos.f64 0)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 z (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 z (cos.f64 0)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 z (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (-.f64 1 (exp.f64 (log1p.f64 (*.f64 z (cos.f64 0))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (-.f64 (*.f64 z (cos.f64 0)) (+.f64 (*.f64 z (cos.f64 0)) (*.f64 z (cos.f64 0)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 z) (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 z (cos.f64 0)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 z (cos.f64 0)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 z (cos.f64 0))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 z (cos.f64 0))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 z (cos.f64 0) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 z (cos.f64 0)) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cos.f64 0) z 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (*.f64 (cos.f64 0) (cbrt.f64 z)) 2) (*.f64 (cos.f64 0) (cbrt.f64 z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cos.f64 0) (sqrt.f64 z)) (*.f64 (cos.f64 0) (sqrt.f64 z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 z (cos.f64 0))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (cos.f64 0)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 (log1p.f64 (*.f64 x (cos.f64 0)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x (cos.f64 0)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 x (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 x (cos.f64 0)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 x (cos.f64 0)) (*.f64 x (cos.f64 0))) (*.f64 x (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (exp.f64 (log1p.f64 (*.f64 x (cos.f64 0)))) (exp.f64 (log1p.f64 (*.f64 x (cos.f64 0))))) (+.f64 (exp.f64 (log1p.f64 (*.f64 x (cos.f64 0)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (+.f64 (*.f64 x (cos.f64 0)) (*.f64 x (cos.f64 0))) (+.f64 (*.f64 x (cos.f64 0)) (*.f64 x (cos.f64 0)))) (+.f64 (+.f64 (*.f64 x (cos.f64 0)) (*.f64 x (cos.f64 0))) (*.f64 x (cos.f64 0))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 x (/.f64 1 (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 x (fabs.f64 (/.f64 1 (cos.f64 0))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cos.f64 0) (/.f64 1 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cos.f64 0) (fabs.f64 (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (cos.f64 0)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (cos.f64 0)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cos.f64 0) (pow.f64 x 3)) (pow.f64 (*.f64 x (cos.f64 0)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (cos.f64 0)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (cos.f64 0) (cbrt.f64 x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (cos.f64 0) (sqrt.f64 x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (cos.f64 0) (pow.f64 x 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 x (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (cos.f64 0)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 x (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (-.f64 1 (exp.f64 (log1p.f64 (*.f64 x (cos.f64 0))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (-.f64 (*.f64 x (cos.f64 0)) (+.f64 (*.f64 x (cos.f64 0)) (*.f64 x (cos.f64 0)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 x (cos.f64 0)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (cos.f64 0) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (cos.f64 0))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (cos.f64 0))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x (cos.f64 0) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cos.f64 0) x 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (cos.f64 0)) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (*.f64 (cos.f64 0) (cbrt.f64 x)) 2) (*.f64 (cos.f64 0) (cbrt.f64 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cos.f64 0) (sqrt.f64 x)) (*.f64 (cos.f64 0) (sqrt.f64 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (cos.f64 0))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))) (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0)))) (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (exp.f64 (log1p.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))))) (exp.f64 (log1p.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0)))))) (+.f64 (exp.f64 (log1p.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (+.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))) (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0)))) (+.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))) (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))))) (+.f64 (+.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))) (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0)))) (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0)))) (pow.f64 (cbrt.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0)))) 2) (cbrt.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0)))) (sqrt.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))) (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))) (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0)))) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (+.f64 (*.f64 (cos.f64 0) (pow.f64 x 3)) (pow.f64 (*.f64 z (cos.f64 0)) 3)) (+.f64 (*.f64 (cos.f64 0) (pow.f64 x 3)) (pow.f64 (*.f64 z (cos.f64 0)) 3))) (/.f64 1/2 (+.f64 (pow.f64 (*.f64 x (cos.f64 0)) 2) (-.f64 (pow.f64 (*.f64 z (cos.f64 0)) 2) (*.f64 z (*.f64 (*.f64 x (cos.f64 0)) (cos.f64 0)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))) 3) (pow.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))) 3)) (/.f64 1/2 (pow.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fabs.f64 (+.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))) (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fabs.f64 (+.f64 (+.f64 (*.f64 (cos.f64 0) (pow.f64 x 3)) (pow.f64 (*.f64 z (cos.f64 0)) 3)) (+.f64 (*.f64 (cos.f64 0) (pow.f64 x 3)) (pow.f64 (*.f64 z (cos.f64 0)) 3)))) (fabs.f64 (/.f64 1/2 (+.f64 (pow.f64 (*.f64 x (cos.f64 0)) 2) (-.f64 (pow.f64 (*.f64 z (cos.f64 0)) 2) (*.f64 z (*.f64 (*.f64 x (cos.f64 0)) (cos.f64 0))))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))) 3) (pow.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (cos.f64 0) (pow.f64 x 3)) (pow.f64 (*.f64 z (cos.f64 0)) 3)) (+.f64 (pow.f64 (*.f64 x (cos.f64 0)) 2) (-.f64 (pow.f64 (*.f64 z (cos.f64 0)) 2) (*.f64 z (*.f64 (*.f64 x (cos.f64 0)) (cos.f64 0))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (-.f64 1 (exp.f64 (log1p.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (-.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))) (+.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))) (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 z (cos.f64 0)) 1 (*.f64 x (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x (cos.f64 0) (*.f64 z (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cos.f64 0) z (*.f64 x (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cos.f64 0) x (*.f64 z (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (cos.f64 0)) 1 (*.f64 z (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0))) 1 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (*.f64 (cos.f64 0) (cbrt.f64 x)) 2) (*.f64 (cos.f64 0) (cbrt.f64 x)) (*.f64 z (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (*.f64 (cos.f64 0) (cbrt.f64 z)) 2) (*.f64 (cos.f64 0) (cbrt.f64 z)) (*.f64 x (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0)))) 2) (cbrt.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cos.f64 0) (sqrt.f64 x)) (*.f64 (cos.f64 0) (sqrt.f64 x)) (*.f64 z (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cos.f64 0) (sqrt.f64 z)) (*.f64 (cos.f64 0) (sqrt.f64 z)) (*.f64 x (cos.f64 0)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0)))) (sqrt.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 z (cos.f64 0) (*.f64 x (cos.f64 0)))))))))

simplify58.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

257×	`fma-neg_binary64`
237×	`rule-abc-bac_binary64`
228×	`rule-a-bc-nega-cb_binary64`
192×	`rule-ab-ba_binary64`
178×	`rule-*a/cb-/a/bc_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	54	654
1	363	654
2	1163	651
3	4989	651

Stop Event

1×	node limit

Counts

186 → 147

Calls

Call 1

Inputs
(*.f64 y z)
(+.f64 (.f64 -1/6 (.f64 (pow.f64 y 3) z)) (*.f64 y z))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 y 3) z)) (+.f64 (.f64 y z) (.f64 1/120 (*.f64 (pow.f64 y 5) z))))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 y 3) z)) (+.f64 (.f64 y z) (+.f64 (.f64 -1/5040 (.f64 (pow.f64 y 7) z)) (.f64 1/120 (*.f64 (pow.f64 y 5) z)))))
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
x
(+.f64 (.f64 -1/2 (.f64 (pow.f64 y 2) x)) x)
(+.f64 (.f64 1/24 (.f64 (pow.f64 y 4) x)) (+.f64 (.f64 -1/2 (.f64 (pow.f64 y 2) x)) x))
(+.f64 (.f64 -1/720 (.f64 (pow.f64 y 6) x)) (+.f64 (.f64 1/24 (.f64 (pow.f64 y 4) x)) (+.f64 (.f64 -1/2 (.f64 (pow.f64 y 2) x)) x)))
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 z (sin.f64 y))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(*.f64 (cos.f64 y) x)
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(*.f64 (cos.f64 y) x)
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
x
(+.f64 (*.f64 y z) x)
(+.f64 (.f64 y z) (+.f64 (.f64 -1/2 (*.f64 (pow.f64 y 2) x)) x))
(+.f64 (.f64 y z) (+.f64 (.f64 -1/6 (.f64 (pow.f64 y 3) z)) (+.f64 (.f64 -1/2 (*.f64 (pow.f64 y 2) x)) x)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(*.f64 (cos.f64 y) x)
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(*.f64 z (sin.f64 y))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(*.f64 z (sin.f64 y))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))

Outputs
(*.f64 y z)
(+.f64 (.f64 -1/6 (.f64 (pow.f64 y 3) z)) (*.f64 y z))
(fma.f64 -1/6 (.f64 z (pow.f64 y 3)) (.f64 y z))
(fma.f64 y z (.f64 z (.f64 -1/6 (pow.f64 y 3))))
(.f64 z (+.f64 y (.f64 -1/6 (pow.f64 y 3))))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 y 3) z)) (+.f64 (.f64 y z) (.f64 1/120 (*.f64 (pow.f64 y 5) z))))
(fma.f64 -1/6 (.f64 z (pow.f64 y 3)) (fma.f64 y z (.f64 1/120 (*.f64 z (pow.f64 y 5)))))
(fma.f64 y z (fma.f64 -1/6 (.f64 z (pow.f64 y 3)) (.f64 1/120 (*.f64 z (pow.f64 y 5)))))
(fma.f64 -1/6 (.f64 z (pow.f64 y 3)) (.f64 z (+.f64 y (*.f64 1/120 (pow.f64 y 5)))))
(+.f64 (.f64 -1/6 (.f64 (pow.f64 y 3) z)) (+.f64 (.f64 y z) (+.f64 (.f64 -1/5040 (.f64 (pow.f64 y 7) z)) (.f64 1/120 (*.f64 (pow.f64 y 5) z)))))
(fma.f64 -1/6 (.f64 z (pow.f64 y 3)) (fma.f64 y z (fma.f64 -1/5040 (.f64 z (pow.f64 y 7)) (.f64 1/120 (.f64 z (pow.f64 y 5))))))
(fma.f64 -1/6 (.f64 z (pow.f64 y 3)) (fma.f64 y z (fma.f64 1/120 (.f64 z (pow.f64 y 5)) (.f64 -1/5040 (.f64 z (pow.f64 y 7))))))
(fma.f64 -1/6 (.f64 z (pow.f64 y 3)) (fma.f64 -1/5040 (.f64 z (pow.f64 y 7)) (.f64 z (+.f64 y (.f64 1/120 (pow.f64 y 5))))))
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
x
(+.f64 (.f64 -1/2 (.f64 (pow.f64 y 2) x)) x)
(fma.f64 -1/2 (.f64 x (.f64 y y)) x)
(fma.f64 -1/2 (.f64 y (.f64 y x)) x)
(+.f64 (.f64 1/24 (.f64 (pow.f64 y 4) x)) (+.f64 (.f64 -1/2 (.f64 (pow.f64 y 2) x)) x))
(fma.f64 1/24 (.f64 x (pow.f64 y 4)) (fma.f64 -1/2 (.f64 x (*.f64 y y)) x))
(fma.f64 -1/2 (.f64 x (.f64 y y)) (fma.f64 1/24 (*.f64 x (pow.f64 y 4)) x))
(fma.f64 -1/2 (.f64 y (.f64 y x)) (fma.f64 1/24 (*.f64 x (pow.f64 y 4)) x))
(+.f64 (.f64 -1/720 (.f64 (pow.f64 y 6) x)) (+.f64 (.f64 1/24 (.f64 (pow.f64 y 4) x)) (+.f64 (.f64 -1/2 (.f64 (pow.f64 y 2) x)) x)))
(fma.f64 -1/720 (.f64 x (pow.f64 y 6)) (fma.f64 1/24 (.f64 x (pow.f64 y 4)) (fma.f64 -1/2 (.f64 x (.f64 y y)) x)))
(fma.f64 1/24 (.f64 x (pow.f64 y 4)) (fma.f64 -1/720 (.f64 x (pow.f64 y 6)) (fma.f64 -1/2 (.f64 x (.f64 y y)) x)))
(fma.f64 1/24 (.f64 x (pow.f64 y 4)) (fma.f64 -1/720 (.f64 x (pow.f64 y 6)) (fma.f64 -1/2 (.f64 y (.f64 y x)) x)))
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 (cos.f64 y) x)
(*.f64 z (sin.f64 y))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(fma.f64 z (sin.f64 y) (*.f64 (cos.f64 y) x))
(fma.f64 (cos.f64 y) x (*.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(fma.f64 z (sin.f64 y) (*.f64 (cos.f64 y) x))
(fma.f64 (cos.f64 y) x (*.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(fma.f64 z (sin.f64 y) (*.f64 (cos.f64 y) x))
(fma.f64 (cos.f64 y) x (*.f64 z (sin.f64 y)))
(*.f64 (cos.f64 y) x)
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(fma.f64 z (sin.f64 y) (*.f64 (cos.f64 y) x))
(fma.f64 (cos.f64 y) x (*.f64 z (sin.f64 y)))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(fma.f64 z (sin.f64 y) (*.f64 (cos.f64 y) x))
(fma.f64 (cos.f64 y) x (*.f64 z (sin.f64 y)))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(fma.f64 z (sin.f64 y) (*.f64 (cos.f64 y) x))
(fma.f64 (cos.f64 y) x (*.f64 z (sin.f64 y)))
(*.f64 (cos.f64 y) x)
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(fma.f64 z (sin.f64 y) (*.f64 (cos.f64 y) x))
(fma.f64 (cos.f64 y) x (*.f64 z (sin.f64 y)))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(fma.f64 z (sin.f64 y) (*.f64 (cos.f64 y) x))
(fma.f64 (cos.f64 y) x (*.f64 z (sin.f64 y)))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(fma.f64 z (sin.f64 y) (*.f64 (cos.f64 y) x))
(fma.f64 (cos.f64 y) x (*.f64 z (sin.f64 y)))
x
(+.f64 (*.f64 y z) x)
(fma.f64 y z x)
(+.f64 (.f64 y z) (+.f64 (.f64 -1/2 (*.f64 (pow.f64 y 2) x)) x))
(fma.f64 y z (fma.f64 -1/2 (.f64 x (.f64 y y)) x))
(fma.f64 -1/2 (.f64 y (.f64 y x)) (fma.f64 y z x))
(+.f64 (.f64 y z) (+.f64 (.f64 -1/6 (.f64 (pow.f64 y 3) z)) (+.f64 (.f64 -1/2 (*.f64 (pow.f64 y 2) x)) x)))
(fma.f64 y z (fma.f64 -1/6 (.f64 z (pow.f64 y 3)) (fma.f64 -1/2 (.f64 x (*.f64 y y)) x)))
(fma.f64 y z (fma.f64 -1/6 (.f64 z (pow.f64 y 3)) (fma.f64 -1/2 (.f64 y (*.f64 y x)) x)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(fma.f64 z (sin.f64 y) (*.f64 (cos.f64 y) x))
(fma.f64 (cos.f64 y) x (*.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(fma.f64 z (sin.f64 y) (*.f64 (cos.f64 y) x))
(fma.f64 (cos.f64 y) x (*.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(fma.f64 z (sin.f64 y) (*.f64 (cos.f64 y) x))
(fma.f64 (cos.f64 y) x (*.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(fma.f64 z (sin.f64 y) (*.f64 (cos.f64 y) x))
(fma.f64 (cos.f64 y) x (*.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(fma.f64 z (sin.f64 y) (*.f64 (cos.f64 y) x))
(fma.f64 (cos.f64 y) x (*.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(fma.f64 z (sin.f64 y) (*.f64 (cos.f64 y) x))
(fma.f64 (cos.f64 y) x (*.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(fma.f64 z (sin.f64 y) (*.f64 (cos.f64 y) x))
(fma.f64 (cos.f64 y) x (*.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(fma.f64 z (sin.f64 y) (*.f64 (cos.f64 y) x))
(fma.f64 (cos.f64 y) x (*.f64 z (sin.f64 y)))
(*.f64 (cos.f64 y) x)
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(fma.f64 z (sin.f64 y) (*.f64 (cos.f64 y) x))
(fma.f64 (cos.f64 y) x (*.f64 z (sin.f64 y)))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(fma.f64 z (sin.f64 y) (*.f64 (cos.f64 y) x))
(fma.f64 (cos.f64 y) x (*.f64 z (sin.f64 y)))
(+.f64 (.f64 z (sin.f64 y)) (.f64 (cos.f64 y) x))
(fma.f64 z (sin.f64 y) (*.f64 (cos.f64 y) x))
(fma.f64 (cos.f64 y) x (*.f64 z (sin.f64 y)))
(*.f64 z (sin.f64 y))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(fma.f64 z (sin.f64 y) (*.f64 (cos.f64 y) x))
(fma.f64 (cos.f64 y) x (*.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(fma.f64 z (sin.f64 y) (*.f64 (cos.f64 y) x))
(fma.f64 (cos.f64 y) x (*.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(fma.f64 z (sin.f64 y) (*.f64 (cos.f64 y) x))
(fma.f64 (cos.f64 y) x (*.f64 z (sin.f64 y)))
(*.f64 z (sin.f64 y))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(fma.f64 z (sin.f64 y) (*.f64 (cos.f64 y) x))
(fma.f64 (cos.f64 y) x (*.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(fma.f64 z (sin.f64 y) (*.f64 (cos.f64 y) x))
(fma.f64 (cos.f64 y) x (*.f64 z (sin.f64 y)))
(+.f64 (.f64 (cos.f64 y) x) (.f64 z (sin.f64 y)))
(fma.f64 z (sin.f64 y) (*.f64 (cos.f64 y) x))
(fma.f64 (cos.f64 y) x (*.f64 z (sin.f64 y)))

prune89.0ms (2.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	146	1	147
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	146	2	148

Error

0.1b

Counts

148 → 2

Alt Table

Status	Error	Program
✓	0.1b	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
▶	31.1b	(fma.f64 y z x)

Compiler

Compiled 2267 to 1482 computations (34.6% saved)

localize3.0ms (0.1%)

prune1.0ms (0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

0.1b

Counts

2 → 2

Alt Table

Status	Error	Program
✓	0.1b	(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))
✓	31.1b	(fma.f64 y z x)

Compiler

Compiled 22 to 15 computations (31.8% saved)

regimes24.0ms (0.6%)

Accuracy

Total -31.0b remaining (-25184.2%)

Threshold costs -31.0b (-25184.2%)

Counts

8 → 1

Compiler

Compiled 79 to 32 computations (59.5% saved)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	14

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))

Outputs
(+.f64 (.f64 x (cos.f64 y)) (.f64 z (sin.f64 y)))

end29.0ms (0.8%)

Stop Event

1×

done

Compiler

Compiled 37 to 17 computations (54.1% saved)

Details

analyze701.0ms (18.7%)

sample2.7s (72%)

preprocess37.0ms (1%)

simplify33.0ms (0.9%)

prune3.0ms (0.1%)

localize8.0ms (0.2%)

series11.0ms (0.3%)

rewrite54.0ms (1.5%)

simplify58.0ms (1.6%)

prune89.0ms (2.4%)

localize3.0ms (0.1%)

prune1.0ms (0%)

regimes24.0ms (0.6%)

simplify1.0ms (0%)

end29.0ms (0.8%)

Profiling