Details

analyze63.0ms (2%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	6
48%	37.5%	40.6%	0.1%	21.9%	0%	0%	7
57.1%	43.7%	32.8%	0.1%	23.4%	0%	0%	8
67.5%	43.7%	21.1%	0.1%	35.1%	0%	0%	9
73.6%	46.8%	16.8%	0.1%	36.3%	0%	0%	10
81.4%	46.8%	10.7%	0.1%	42.3%	0%	0%	11
85.1%	48.4%	8.5%	0.1%	43%	0%	0%	12

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample951.0ms (29.6%)

Results

823.0ms	8256×	body	256	valid
100.0ms	1060×	body	256	infinite

Bogosity

preprocess106.0ms (3.3%)

Algorithm

2×	egg-herbie

Rules

496×	`sqr-pow_binary64`
428×	`unswap-sqr_binary64`
350×	`distribute-rgt-in_binary64`
332×	`associate-/l/_binary64`
306×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	18
1	15	18
2	22	18
3	40	18
4	94	18
5	266	18
6	862	18
7	1433	18
8	3774	18
9	4044	18
10	4483	18
11	5267	18
12	7921	18
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(.f64 x (exp.f64 (.f64 y y)))
(.f64 y (exp.f64 (.f64 x x)))

Outputs
(.f64 x (exp.f64 (.f64 y y)))
(*.f64 x (pow.f64 (exp.f64 y) y))
(.f64 y (exp.f64 (.f64 x x)))
(*.f64 y (pow.f64 (exp.f64 x) x))

Compiler

Compiled 10 to 7 computations (30% saved)

simplify88.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

611×	`sqr-pow_binary64`
450×	`associate-l_binary64`
424×	`pow-sqr_binary64`
390×	`associate-*l/_binary64`
368×	`unswap-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	9	9
2	13	9
3	22	9
4	50	9
5	139	9
6	450	9
7	1475	9
8	2717	9
9	4060	9
10	4444	9
11	5019	9
12	6671	9

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(.f64 x (exp.f64 (.f64 y y)))

Outputs
(.f64 x (exp.f64 (.f64 y y)))
(*.f64 x (pow.f64 (exp.f64 y) y))

eval1.0ms (0%)

Compiler: Compiled 14 to 8 computations (42.9% saved)

prune2.0ms (0.1%)

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

0.0b

Counts

3 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(*.f64 x (pow.f64 (exp.f64 y) y))
▶	0.0b	(.f64 x (exp.f64 (.f64 y y)))

Compiler

Compiled 16 to 10 computations (37.5% saved)

localize17.0ms (0.5%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 x (exp.f64 (.f64 y y)))
✓	0.0b	(exp.f64 (*.f64 y y))

Compiler

Compiled 17 to 5 computations (70.6% saved)

series8.0ms (0.3%)

Counts

2 → 36

Calls

9 calls:

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

rewrite69.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

511×	`pow1_binary64`
486×	`add-sqr-sqrt_binary64`
468×	`add-log-exp_binary64`
468×	`log1p-expm1-u_binary64`
468×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	15
1	115	15
2	1346	15

Stop Event

1×	node limit

Counts

2 → 32

Calls

Call 1

Inputs
(exp.f64 (*.f64 y y))
(.f64 x (exp.f64 (.f64 y y)))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (expm1.f64 (.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (pow.f64 (exp.f64 y) y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (exp.f64 y) y) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (pow.f64 (exp.f64 y) y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (exp.f64 y) y)) (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y)) 2) (cbrt.f64 (pow.f64 (exp.f64 y) y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (pow.f64 (exp.f64 y) y)) (sqrt.f64 (pow.f64 (exp.f64 y) y)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (exp.f64 y) y) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 y) y)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 (exp.f64 y) y) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (pow.f64 (exp.f64 y) y)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (cbrt.f64 (pow.f64 y 4))) (pow.f64 (cbrt.f64 y) 2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 1) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (exp.f64 y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (exp.f64 y) (sqrt.f64 y)) (sqrt.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (exp.f64 y) y)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (exp.f64 y) y)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (exp.f64 y) y)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (.f64 (pow.f64 (exp.f64 y) y) x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 (exp.f64 y) y) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (pow.f64 (exp.f64 y) y) x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (pow.f64 (exp.f64 y) y) x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (pow.f64 (exp.f64 y) y) x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 (pow.f64 (exp.f64 y) y) x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (pow.f64 (exp.f64 y) y)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (pow.f64 (exp.f64 y) y) x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (pow.f64 (exp.f64 y) y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (pow.f64 (exp.f64 y) y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (+.f64 (.f64 y y) (log.f64 x)))))))

Outputs

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

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

simplify76.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

855×	`associate-/l/_binary64`
510×	`fma-def_binary64`
487×	`distribute-rgt-out_binary64`
397×	`associate-l_binary64`
377×	`*-commutative_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	30	330
1	77	322
2	198	311
3	612	311
4	2342	311
5	4439	311
6	4937	311
7	6006	311

Stop Event

1×	node limit

Counts

68 → 49

Calls

Call 1

Inputs
1
(+.f64 1 (pow.f64 y 2))
(+.f64 1 (+.f64 (pow.f64 y 2) (*.f64 1/2 (pow.f64 y 4))))
(+.f64 (.f64 1/6 (pow.f64 y 6)) (+.f64 1 (+.f64 (pow.f64 y 2) (.f64 1/2 (pow.f64 y 4)))))
(exp.f64 (pow.f64 y 2))
(exp.f64 (pow.f64 y 2))
(exp.f64 (pow.f64 y 2))
(exp.f64 (pow.f64 y 2))
(exp.f64 (pow.f64 y 2))
(exp.f64 (pow.f64 y 2))
(exp.f64 (pow.f64 y 2))
(exp.f64 (pow.f64 y 2))
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
x
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(+.f64 (.f64 1/2 (.f64 (pow.f64 y 4) x)) (+.f64 (*.f64 (pow.f64 y 2) x) x))
(+.f64 (.f64 1/2 (.f64 (pow.f64 y 4) x)) (+.f64 (.f64 (pow.f64 y 2) x) (+.f64 (.f64 1/6 (*.f64 (pow.f64 y 6) x)) x)))
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)

Outputs
1
(+.f64 1 (pow.f64 y 2))
(+.f64 1 (*.f64 y y))
(fma.f64 y y 1)
(+.f64 1 (+.f64 (pow.f64 y 2) (*.f64 1/2 (pow.f64 y 4))))
(+.f64 1 (+.f64 (.f64 y y) (.f64 1/2 (pow.f64 y 4))))
(+.f64 1 (fma.f64 y y (*.f64 1/2 (pow.f64 y 4))))
(fma.f64 y y (fma.f64 1/2 (pow.f64 y 4) 1))
(+.f64 (.f64 1/6 (pow.f64 y 6)) (+.f64 1 (+.f64 (pow.f64 y 2) (.f64 1/2 (pow.f64 y 4)))))
(fma.f64 1/6 (pow.f64 y 6) (+.f64 1 (+.f64 (.f64 y y) (.f64 1/2 (pow.f64 y 4)))))
(+.f64 (fma.f64 y y (*.f64 1/2 (pow.f64 y 4))) (fma.f64 1/6 (pow.f64 y 6) 1))
(fma.f64 1/6 (pow.f64 y 6) (fma.f64 y y (fma.f64 1/2 (pow.f64 y 4) 1)))
(fma.f64 y y (fma.f64 1/2 (pow.f64 y 4) (fma.f64 1/6 (pow.f64 y 6) 1)))
(fma.f64 y y (fma.f64 1/6 (pow.f64 y 6) (fma.f64 1/2 (pow.f64 y 4) 1)))
(fma.f64 1/2 (pow.f64 y 4) (fma.f64 1/6 (pow.f64 y 6) (fma.f64 y y 1)))
(exp.f64 (pow.f64 y 2))
(exp.f64 (*.f64 y y))
(pow.f64 (exp.f64 y) y)
(exp.f64 (pow.f64 y 2))
(exp.f64 (*.f64 y y))
(pow.f64 (exp.f64 y) y)
(exp.f64 (pow.f64 y 2))
(exp.f64 (*.f64 y y))
(pow.f64 (exp.f64 y) y)
(exp.f64 (pow.f64 y 2))
(exp.f64 (*.f64 y y))
(pow.f64 (exp.f64 y) y)
(exp.f64 (pow.f64 y 2))
(exp.f64 (*.f64 y y))
(pow.f64 (exp.f64 y) y)
(exp.f64 (pow.f64 y 2))
(exp.f64 (*.f64 y y))
(pow.f64 (exp.f64 y) y)
(exp.f64 (pow.f64 y 2))
(exp.f64 (*.f64 y y))
(pow.f64 (exp.f64 y) y)
(exp.f64 (pow.f64 y 2))
(exp.f64 (*.f64 y y))
(pow.f64 (exp.f64 y) y)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
x
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(fma.f64 (*.f64 y y) x x)
(*.f64 (fma.f64 y y 1) x)
(+.f64 (.f64 1/2 (.f64 (pow.f64 y 4) x)) (+.f64 (*.f64 (pow.f64 y 2) x) x))
(fma.f64 1/2 (.f64 (pow.f64 y 4) x) (fma.f64 (.f64 y y) x x))
(.f64 x (+.f64 1 (fma.f64 y y (.f64 1/2 (pow.f64 y 4)))))
(*.f64 (fma.f64 y y (fma.f64 1/2 (pow.f64 y 4) 1)) x)
(+.f64 (.f64 1/2 (.f64 (pow.f64 y 4) x)) (+.f64 (.f64 (pow.f64 y 2) x) (+.f64 (.f64 1/6 (*.f64 (pow.f64 y 6) x)) x)))
(fma.f64 1/2 (.f64 (pow.f64 y 4) x) (fma.f64 (.f64 y y) x (fma.f64 1/6 (*.f64 (pow.f64 y 6) x) x)))
(+.f64 (.f64 (fma.f64 1/6 (pow.f64 y 6) 1) x) (.f64 x (fma.f64 y y (*.f64 1/2 (pow.f64 y 4)))))
(*.f64 x (fma.f64 1/6 (pow.f64 y 6) (fma.f64 y y (fma.f64 1/2 (pow.f64 y 4) 1))))
(*.f64 (fma.f64 y y (fma.f64 1/2 (pow.f64 y 4) (fma.f64 1/6 (pow.f64 y 6) 1))) x)
(*.f64 (fma.f64 y y (fma.f64 1/6 (pow.f64 y 6) (fma.f64 1/2 (pow.f64 y 4) 1))) x)
(*.f64 (fma.f64 1/2 (pow.f64 y 4) (fma.f64 1/6 (pow.f64 y 6) (fma.f64 y y 1))) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f64 (exp.f64 y) y)
✓	0.0b	(*.f64 x (pow.f64 (exp.f64 y) y))

Compiler

Compiled 16 to 5 computations (68.8% saved)

series44.0ms (1.4%)

Counts

2 → 36

Calls

9 calls:

Time	Variable		Point	Expression
41.0ms	x	@	0	(*.f64 x (pow.f64 (exp.f64 y) y))
1.0ms	y	@	0	(*.f64 x (pow.f64 (exp.f64 y) y))
0.0ms	x	@	inf	(*.f64 x (pow.f64 (exp.f64 y) y))
0.0ms	y	@	inf	(*.f64 x (pow.f64 (exp.f64 y) y))
0.0ms	y	@	-inf	(*.f64 x (pow.f64 (exp.f64 y) y))

rewrite53.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

550×	`pow1_binary64`
524×	`add-sqr-sqrt_binary64`
505×	`add-log-exp_binary64`
505×	`log1p-expm1-u_binary64`
505×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	15
1	118	15
2	1407	15

Stop Event

1×	node limit

Counts

2 → 26

Calls

Call 1

Inputs
(*.f64 x (pow.f64 (exp.f64 y) y))
(pow.f64 (exp.f64 y) y)

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

Outputs

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

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (pow.f64 (exp.f64 y) y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (exp.f64 y) y) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 (exp.f64 y) y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y)) (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y)) 2) (cbrt.f64 (pow.f64 (exp.f64 y) y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 (exp.f64 y) y)) (sqrt.f64 (pow.f64 (exp.f64 y) y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 y) (pow.f64 (exp.f64 y) y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (exp.f64 y)) 2) y) (pow.f64 (cbrt.f64 (exp.f64 y)) y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (pow.f64 (sqrt.f64 (exp.f64 y)) y))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (exp.f64 y) (+.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (exp.f64 y) y)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (exp.f64 y) y)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (exp.f64 y) y)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 y y))))))

simplify81.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

858×	`associate-/l/_binary64`
510×	`fma-def_binary64`
487×	`distribute-rgt-out_binary64`
408×	`*-commutative_binary64`
408×	`associate-l_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	30	330
1	77	322
2	198	311
3	614	311
4	2376	311
5	4480	311
6	4980	311
7	6047	311

Stop Event

1×	node limit

Counts

62 → 44

Calls

Call 1

Inputs
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
x
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(+.f64 (.f64 1/2 (.f64 (pow.f64 y 4) x)) (+.f64 (*.f64 (pow.f64 y 2) x) x))
(+.f64 (.f64 1/2 (.f64 (pow.f64 y 4) x)) (+.f64 (.f64 (pow.f64 y 2) x) (+.f64 (.f64 1/6 (*.f64 (pow.f64 y 6) x)) x)))
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
1
(+.f64 1 (pow.f64 y 2))
(+.f64 1 (+.f64 (pow.f64 y 2) (*.f64 1/2 (pow.f64 y 4))))
(+.f64 (.f64 1/6 (pow.f64 y 6)) (+.f64 1 (+.f64 (pow.f64 y 2) (.f64 1/2 (pow.f64 y 4)))))
(exp.f64 (pow.f64 y 2))
(exp.f64 (pow.f64 y 2))
(exp.f64 (pow.f64 y 2))
(exp.f64 (pow.f64 y 2))
(exp.f64 (pow.f64 y 2))
(exp.f64 (pow.f64 y 2))
(exp.f64 (pow.f64 y 2))
(exp.f64 (pow.f64 y 2))

Outputs
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
x
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(fma.f64 (*.f64 y y) x x)
(*.f64 x (fma.f64 y y 1))
(fma.f64 y (*.f64 y x) x)
(+.f64 (.f64 1/2 (.f64 (pow.f64 y 4) x)) (+.f64 (*.f64 (pow.f64 y 2) x) x))
(fma.f64 1/2 (.f64 x (pow.f64 y 4)) (fma.f64 (.f64 y y) x x))
(+.f64 x (.f64 x (fma.f64 y y (.f64 1/2 (pow.f64 y 4)))))
(*.f64 x (fma.f64 1/2 (pow.f64 y 4) (fma.f64 y y 1)))
(*.f64 x (fma.f64 y y (fma.f64 1/2 (pow.f64 y 4) 1)))
(fma.f64 x (fma.f64 y y (*.f64 1/2 (pow.f64 y 4))) x)
(+.f64 (.f64 1/2 (.f64 (pow.f64 y 4) x)) (+.f64 (.f64 (pow.f64 y 2) x) (+.f64 (.f64 1/6 (*.f64 (pow.f64 y 6) x)) x)))
(fma.f64 1/2 (.f64 x (pow.f64 y 4)) (fma.f64 (.f64 y y) x (fma.f64 1/6 (*.f64 x (pow.f64 y 6)) x)))
(+.f64 (fma.f64 1/6 (.f64 x (pow.f64 y 6)) x) (.f64 x (fma.f64 y y (*.f64 1/2 (pow.f64 y 4)))))
(*.f64 x (fma.f64 1/6 (pow.f64 y 6) (fma.f64 1/2 (pow.f64 y 4) (fma.f64 y y 1))))
(*.f64 x (fma.f64 y y (fma.f64 1/2 (pow.f64 y 4) (fma.f64 1/6 (pow.f64 y 6) 1))))
(fma.f64 x (fma.f64 y y (fma.f64 1/2 (pow.f64 y 4) (*.f64 1/6 (pow.f64 y 6)))) x)
(*.f64 x (fma.f64 1/2 (pow.f64 y 4) (fma.f64 1/6 (pow.f64 y 6) (fma.f64 y y 1))))
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
(*.f64 (exp.f64 (pow.f64 y 2)) x)
(.f64 (exp.f64 (.f64 y y)) x)
(*.f64 (pow.f64 (exp.f64 y) y) x)
1
(+.f64 1 (pow.f64 y 2))
(+.f64 (*.f64 y y) 1)
(fma.f64 y y 1)
(+.f64 1 (+.f64 (pow.f64 y 2) (*.f64 1/2 (pow.f64 y 4))))
(+.f64 1 (+.f64 (.f64 y y) (.f64 1/2 (pow.f64 y 4))))
(+.f64 1 (fma.f64 y y (*.f64 1/2 (pow.f64 y 4))))
(fma.f64 1/2 (pow.f64 y 4) (fma.f64 y y 1))
(fma.f64 y y (fma.f64 1/2 (pow.f64 y 4) 1))
(+.f64 (.f64 1/6 (pow.f64 y 6)) (+.f64 1 (+.f64 (pow.f64 y 2) (.f64 1/2 (pow.f64 y 4)))))
(fma.f64 1/6 (pow.f64 y 6) (+.f64 1 (+.f64 (.f64 y y) (.f64 1/2 (pow.f64 y 4)))))
(+.f64 (fma.f64 y y (*.f64 1/2 (pow.f64 y 4))) (fma.f64 1/6 (pow.f64 y 6) 1))
(fma.f64 1/6 (pow.f64 y 6) (fma.f64 1/2 (pow.f64 y 4) (fma.f64 y y 1)))
(fma.f64 y y (fma.f64 1/2 (pow.f64 y 4) (fma.f64 1/6 (pow.f64 y 6) 1)))
(fma.f64 1/2 (pow.f64 y 4) (fma.f64 1/6 (pow.f64 y 6) (fma.f64 y y 1)))
(exp.f64 (pow.f64 y 2))
(exp.f64 (*.f64 y y))
(pow.f64 (exp.f64 y) y)
(exp.f64 (pow.f64 y 2))
(exp.f64 (*.f64 y y))
(pow.f64 (exp.f64 y) y)
(exp.f64 (pow.f64 y 2))
(exp.f64 (*.f64 y y))
(pow.f64 (exp.f64 y) y)
(exp.f64 (pow.f64 y 2))
(exp.f64 (*.f64 y y))
(pow.f64 (exp.f64 y) y)
(exp.f64 (pow.f64 y 2))
(exp.f64 (*.f64 y y))
(pow.f64 (exp.f64 y) y)
(exp.f64 (pow.f64 y 2))
(exp.f64 (*.f64 y y))
(pow.f64 (exp.f64 y) y)
(exp.f64 (pow.f64 y 2))
(exp.f64 (*.f64 y y))
(pow.f64 (exp.f64 y) y)
(exp.f64 (pow.f64 y 2))
(exp.f64 (*.f64 y y))
(pow.f64 (exp.f64 y) y)

eval20.0ms (0.6%)

Compiler: Compiled 900 to 415 computations (53.9% saved)

prune22.0ms (0.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	89	4	93
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	89	6	95

Error

Counts

95 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.2b	(+.f64 (.f64 1/2 (.f64 (pow.f64 y 4) x)) (+.f64 (.f64 (pow.f64 y 2) x) (+.f64 (.f64 1/6 (*.f64 (pow.f64 y 6) x)) x)))
▶	35.6b	(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
✓	0.0b	(.f64 x (exp.f64 (.f64 y y)))
▶	0.3b	(fma.f64 y (*.f64 y x) x)
	0.6b	x
✓	0.0b	(*.f64 x (pow.f64 (exp.f64 y) y))

Compiler

Compiled 61 to 40 computations (34.4% saved)

localize12.0ms (0.4%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	2.9b	(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))

Compiler

Compiled 22 to 6 computations (72.7% saved)

series59.0ms (1.8%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
24.0ms	x	@	-inf	(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
19.0ms	x	@	0	(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
14.0ms	x	@	inf	(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
1.0ms	y	@	0	(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
0.0ms	y	@	inf	(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))

rewrite61.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

729×	`pow1_binary64`
677×	`add-log-exp_binary64`
677×	`log1p-expm1-u_binary64`
677×	`expm1-log1p-u_binary64`
660×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	144	9
2	1901	9

Stop Event

1×	node limit

Counts

1 → 24

Calls

Call 1

Inputs
(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))

Outputs

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

simplify62.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

455×	`fma-neg_binary64`
441×	`fma-def_binary64`
436×	`distribute-rgt-out_binary64`
419×	`associate-l_binary64`
402×	`associate-/l*_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	38	275
1	100	234
2	243	228
3	750	226
4	3092	226
5	6988	226

Stop Event

1×	node limit

Counts

48 → 34

Calls

Call 1

Inputs
x
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(+.f64 (.f64 1/2 (.f64 (pow.f64 y 4) x)) (+.f64 (*.f64 (pow.f64 y 2) x) x))
(+.f64 (.f64 1/2 (.f64 (pow.f64 y 4) x)) (+.f64 (.f64 (pow.f64 y 2) x) (+.f64 (.f64 1/6 (*.f64 (pow.f64 y 6) x)) x)))
(exp.f64 (+.f64 (pow.f64 y 2) (log.f64 x)))
(exp.f64 (+.f64 (pow.f64 y 2) (log.f64 x)))
(exp.f64 (+.f64 (pow.f64 y 2) (log.f64 x)))
(exp.f64 (+.f64 (pow.f64 y 2) (log.f64 x)))
(exp.f64 (+.f64 (pow.f64 y 2) (log.f64 x)))
(exp.f64 (+.f64 (pow.f64 y 2) (log.f64 x)))
(exp.f64 (+.f64 (pow.f64 y 2) (log.f64 x)))
(exp.f64 (+.f64 (pow.f64 y 2) (log.f64 x)))
(exp.f64 (+.f64 (pow.f64 y 2) (log.f64 x)))
(exp.f64 (+.f64 (pow.f64 y 2) (log.f64 x)))
(exp.f64 (+.f64 (pow.f64 y 2) (log.f64 x)))
(exp.f64 (+.f64 (pow.f64 y 2) (log.f64 x)))
(exp.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (pow.f64 y 2)))
(exp.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (pow.f64 y 2)))
(exp.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (pow.f64 y 2)))
(exp.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (pow.f64 y 2)))
(exp.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (log.f64 -1) (pow.f64 y 2))))
(exp.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (log.f64 -1) (pow.f64 y 2))))
(exp.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (log.f64 -1) (pow.f64 y 2))))
(exp.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (log.f64 -1) (pow.f64 y 2))))

Outputs
x
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(fma.f64 (*.f64 y y) x x)
(*.f64 x (fma.f64 y y 1))
(fma.f64 y (*.f64 x y) x)
(+.f64 (.f64 1/2 (.f64 (pow.f64 y 4) x)) (+.f64 (*.f64 (pow.f64 y 2) x) x))
(fma.f64 1/2 (.f64 x (pow.f64 y 4)) (fma.f64 (.f64 y y) x x))
(.f64 x (+.f64 (.f64 1/2 (pow.f64 y 4)) (fma.f64 y y 1)))
(*.f64 x (fma.f64 1/2 (pow.f64 y 4) (fma.f64 y y 1)))
(*.f64 x (fma.f64 y y (fma.f64 1/2 (pow.f64 y 4) 1)))
(+.f64 (.f64 1/2 (.f64 (pow.f64 y 4) x)) (+.f64 (.f64 (pow.f64 y 2) x) (+.f64 (.f64 1/6 (*.f64 (pow.f64 y 6) x)) x)))
(fma.f64 1/2 (.f64 x (pow.f64 y 4)) (fma.f64 (.f64 y y) x (fma.f64 1/6 (*.f64 x (pow.f64 y 6)) x)))
(fma.f64 1/2 (.f64 x (pow.f64 y 4)) (fma.f64 x (.f64 y y) (fma.f64 1/6 (*.f64 x (pow.f64 y 6)) x)))
(.f64 x (+.f64 (fma.f64 1/2 (pow.f64 y 4) (fma.f64 y y 1)) (.f64 1/6 (pow.f64 y 6))))
(fma.f64 x (fma.f64 1/2 (pow.f64 y 4) (fma.f64 y y (*.f64 1/6 (pow.f64 y 6)))) x)
(exp.f64 (+.f64 (pow.f64 y 2) (log.f64 x)))
(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
(exp.f64 (fma.f64 y y (log.f64 x)))
(*.f64 x (pow.f64 (exp.f64 y) y))
(exp.f64 (+.f64 (pow.f64 y 2) (log.f64 x)))
(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
(exp.f64 (fma.f64 y y (log.f64 x)))
(*.f64 x (pow.f64 (exp.f64 y) y))
(exp.f64 (+.f64 (pow.f64 y 2) (log.f64 x)))
(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
(exp.f64 (fma.f64 y y (log.f64 x)))
(*.f64 x (pow.f64 (exp.f64 y) y))
(exp.f64 (+.f64 (pow.f64 y 2) (log.f64 x)))
(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
(exp.f64 (fma.f64 y y (log.f64 x)))
(*.f64 x (pow.f64 (exp.f64 y) y))
(exp.f64 (+.f64 (pow.f64 y 2) (log.f64 x)))
(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
(exp.f64 (fma.f64 y y (log.f64 x)))
(*.f64 x (pow.f64 (exp.f64 y) y))
(exp.f64 (+.f64 (pow.f64 y 2) (log.f64 x)))
(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
(exp.f64 (fma.f64 y y (log.f64 x)))
(*.f64 x (pow.f64 (exp.f64 y) y))
(exp.f64 (+.f64 (pow.f64 y 2) (log.f64 x)))
(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
(exp.f64 (fma.f64 y y (log.f64 x)))
(*.f64 x (pow.f64 (exp.f64 y) y))
(exp.f64 (+.f64 (pow.f64 y 2) (log.f64 x)))
(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
(exp.f64 (fma.f64 y y (log.f64 x)))
(*.f64 x (pow.f64 (exp.f64 y) y))
(exp.f64 (+.f64 (pow.f64 y 2) (log.f64 x)))
(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
(exp.f64 (fma.f64 y y (log.f64 x)))
(*.f64 x (pow.f64 (exp.f64 y) y))
(exp.f64 (+.f64 (pow.f64 y 2) (log.f64 x)))
(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
(exp.f64 (fma.f64 y y (log.f64 x)))
(*.f64 x (pow.f64 (exp.f64 y) y))
(exp.f64 (+.f64 (pow.f64 y 2) (log.f64 x)))
(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
(exp.f64 (fma.f64 y y (log.f64 x)))
(*.f64 x (pow.f64 (exp.f64 y) y))
(exp.f64 (+.f64 (pow.f64 y 2) (log.f64 x)))
(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
(exp.f64 (fma.f64 y y (log.f64 x)))
(*.f64 x (pow.f64 (exp.f64 y) y))
(exp.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (pow.f64 y 2)))
(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
(exp.f64 (fma.f64 y y (log.f64 x)))
(*.f64 x (pow.f64 (exp.f64 y) y))
(exp.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (pow.f64 y 2)))
(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
(exp.f64 (fma.f64 y y (log.f64 x)))
(*.f64 x (pow.f64 (exp.f64 y) y))
(exp.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (pow.f64 y 2)))
(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
(exp.f64 (fma.f64 y y (log.f64 x)))
(*.f64 x (pow.f64 (exp.f64 y) y))
(exp.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (pow.f64 y 2)))
(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
(exp.f64 (fma.f64 y y (log.f64 x)))
(*.f64 x (pow.f64 (exp.f64 y) y))
(exp.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (log.f64 -1) (pow.f64 y 2))))
(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
(exp.f64 (fma.f64 y y (log.f64 x)))
(*.f64 x (pow.f64 (exp.f64 y) y))
(exp.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (log.f64 -1) (pow.f64 y 2))))
(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
(exp.f64 (fma.f64 y y (log.f64 x)))
(*.f64 x (pow.f64 (exp.f64 y) y))
(exp.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (log.f64 -1) (pow.f64 y 2))))
(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
(exp.f64 (fma.f64 y y (log.f64 x)))
(*.f64 x (pow.f64 (exp.f64 y) y))
(exp.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (log.f64 -1) (pow.f64 y 2))))
(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
(exp.f64 (fma.f64 y y (log.f64 x)))
(*.f64 x (pow.f64 (exp.f64 y) y))

localize38.0ms (1.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 1/6 (.f64 (pow.f64 y 6) x))
✓	2.1b	(*.f64 (pow.f64 y 6) x)
✓	4.2b	(*.f64 (pow.f64 y 4) x)
✓	7.3b	(*.f64 (pow.f64 y 2) x)

Compiler

Compiled 94 to 64 computations (31.9% saved)

series15.0ms (0.5%)

Counts

4 → 0

Calls

24 calls:

Time	Variable		Point	Expression
2.0ms	x	@	-inf	(*.f64 (pow.f64 y 6) x)
1.0ms	x	@	0	(*.f64 (pow.f64 y 6) x)
1.0ms	x	@	0	(*.f64 (pow.f64 y 4) x)
1.0ms	y	@	0	(*.f64 (pow.f64 y 2) x)
1.0ms	y	@	0	(*.f64 (pow.f64 y 6) x)

rewrite86.0ms (2.7%)

Algorithm

1×	batch-egg-rewrite

Rules

587×	`log-prod_binary64`
431×	`exp-prod_binary64`
372×	`pow-prod-down_binary64`
316×	`pow2_binary64`
259×	`pow-unpow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	31
1	293	31
2	3164	31

Stop Event

1×	node limit

Counts

4 → 107

Calls

Call 1

Inputs
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 4) x)
(*.f64 (pow.f64 y 6) x)
(.f64 1/6 (.f64 (pow.f64 y 6) x))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 y (.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y y))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 y y)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 y (.f64 y x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 y (.f64 y x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 4) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 6) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 y (.f64 y x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 y (sqrt.f64 x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 1) (log.f64 (.f64 y (.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 y (.f64 y x)))) 2)) (cbrt.f64 (log.f64 (.f64 y (.f64 y x)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 y (.f64 y x))))) (sqrt.f64 (log.f64 (.f64 y (.f64 y x)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 y (.f64 y x)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 6))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 y (.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 y (.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 y (.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 y (.f64 y x))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 6)) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 y (.f64 y x)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 y (sqrt.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (.f64 (log.f64 (.f64 y (.f64 y x))) 1) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 x (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 y 4)) x)) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 y 4)) x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 y 4)) x))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 y 4)) x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 x (pow.f64 y 4)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (pow.f64 y 4)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 y 8) (.f64 x x)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 y 12) (pow.f64 x 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 x (pow.f64 y 4))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (.f64 y y) (sqrt.f64 x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 1) (fma.f64 4 (log.f64 y) (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 y 6) (pow.f64 (.f64 y (sqrt.f64 x)) 6)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 (.f64 y (.f64 y x)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 y (.f64 y (sqrt.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (.f64 y (sqrt.f64 x)) y) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 (.f64 y (sqrt.f64 x)) 6) (pow.f64 y 6)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (cbrt.f64 (.f64 y (.f64 y x))) (pow.f64 (cbrt.f64 y) 2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (fma.f64 4 (log.f64 y) (log.f64 x))) 2)) (cbrt.f64 (fma.f64 4 (log.f64 y) (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (fma.f64 4 (log.f64 y) (log.f64 x)))) (sqrt.f64 (fma.f64 4 (log.f64 y) (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 (pow.f64 y 8) (.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (pow.f64 y 4)) x))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 x (pow.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 y 12) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 x (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 x (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (fma.f64 4 (log.f64 y) (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (fma.f64 4 (log.f64 y) (log.f64 x)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (.f64 3 (fma.f64 4 (log.f64 y) (log.f64 x))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (pow.f64 y 4)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (.f64 y y) (sqrt.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (*.f64 (fma.f64 4 (log.f64 y) (log.f64 x)) 1) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 x (pow.f64 y 6)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 y 6)) x)) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 y 6)) x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 y 6)) x))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 y 6)) x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 x (pow.f64 y 6)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (pow.f64 y 6)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 y 12) (.f64 x x)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 y 18) (pow.f64 x 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (.f64 y y) (cbrt.f64 x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 y 3) (sqrt.f64 x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 1) (fma.f64 6 (log.f64 y) (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 y 12) (pow.f64 (.f64 y (sqrt.f64 x)) 6)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (.f64 (cbrt.f64 y) y) (cbrt.f64 (.f64 y (.f64 y x)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (.f64 y y) (.f64 y (sqrt.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (.f64 (.f64 y y) (sqrt.f64 x)) y) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (cbrt.f64 (.f64 x (pow.f64 y 4))) (pow.f64 (cbrt.f64 y) 2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (fma.f64 6 (log.f64 y) (log.f64 x))) 2)) (cbrt.f64 (fma.f64 6 (log.f64 y) (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (fma.f64 6 (log.f64 y) (log.f64 x)))) (sqrt.f64 (fma.f64 6 (log.f64 y) (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 (pow.f64 y 12) (.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (pow.f64 y 6)) x))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 x (pow.f64 y 6)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 y 18) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 x (pow.f64 y 6))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 x (pow.f64 y 6))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (fma.f64 6 (log.f64 y) (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (fma.f64 6 (log.f64 y) (log.f64 x)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (.f64 3 (fma.f64 6 (log.f64 y) (log.f64 x))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (.f64 y y) (cbrt.f64 x))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (pow.f64 y 3) (sqrt.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (*.f64 (fma.f64 6 (log.f64 y) (log.f64 x)) 1) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 x (.f64 (pow.f64 y 6) 1/6)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 y 6)) (.f64 x 1/6))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 y 6)) (.f64 x 1/6)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 y 6)) (.f64 x 1/6)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (pow.f64 y 6)) (.f64 x 1/6)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 (pow.f64 y 6) 1/6)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (.f64 (pow.f64 y 6) 1/6)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (.f64 (pow.f64 y 12) (.f64 x x)) 1/36) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 x (.f64 (pow.f64 y 6) 1/6)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 x (.f64 (pow.f64 y 6) 1/6))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 x (.f64 (pow.f64 y 6) 1/6))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 1) (log.f64 (.f64 x (.f64 (pow.f64 y 6) 1/6))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 x (.f64 (pow.f64 y 6) 1/6)))) 2)) (cbrt.f64 (log.f64 (.f64 x (.f64 (pow.f64 y 6) 1/6)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 x (.f64 (pow.f64 y 6) 1/6))))) (sqrt.f64 (log.f64 (.f64 x (.f64 (pow.f64 y 6) 1/6)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 (.f64 (pow.f64 y 12) (.f64 x x)) 1/36))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (pow.f64 y 6)) (.f64 x 1/6)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 (pow.f64 y 6) 1/6)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 x (.f64 (pow.f64 y 6) 1/6)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 x (.f64 (pow.f64 y 6) 1/6))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 x (.f64 (pow.f64 y 6) 1/6))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 x (.f64 (pow.f64 y 6) 1/6))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 x (.f64 (pow.f64 y 6) 1/6))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (.f64 3 (log.f64 (.f64 x (.f64 (pow.f64 y 6) 1/6)))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (.f64 (pow.f64 y 6) 1/6)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (.f64 (pow.f64 y 6) 1/6)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (.f64 (log.f64 (.f64 x (.f64 (pow.f64 y 6) 1/6))) 1) 1))))))

simplify9.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

107 → 107

Calls

Call 1

Inputs

Outputs

localize10.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 y (*.f64 y x) x)

Compiler

Compiled 13 to 4 computations (69.2% saved)

series4.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite45.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

484×	`pow1_binary64`
460×	`add-sqr-sqrt_binary64`
455×	`*-un-lft-identity_binary64`
443×	`add-log-exp_binary64`
443×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8
1	99	8
2	1197	8

Stop Event

1×	node limit

Counts

1 → 21

Calls

Call 1

Inputs
(fma.f64 y (*.f64 y x) x)

Outputs

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

simplify95.0ms (3%)

Algorithm

1×	egg-herbie

Rules

1065×	`fma-neg_binary64`
808×	`fma-def_binary64`
500×	`distribute-rgt-neg-in_binary64`
464×	`unswap-sqr_binary64`
441×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	183
1	37	183
2	87	183
3	229	183
4	619	183
5	1186	183
6	1736	183
7	2612	183
8	4290	183
9	6146	183
10	7624	183

Stop Event

1×	node limit

Counts

45 → 28

Calls

Call 1

Inputs
x
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(*.f64 (pow.f64 y 2) x)
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(*.f64 (pow.f64 y 2) x)
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(*.f64 (+.f64 1 (pow.f64 y 2)) x)
(*.f64 (+.f64 1 (pow.f64 y 2)) x)
(*.f64 (+.f64 1 (pow.f64 y 2)) x)
(*.f64 (+.f64 1 (pow.f64 y 2)) x)
(*.f64 (+.f64 1 (pow.f64 y 2)) x)
(*.f64 (+.f64 1 (pow.f64 y 2)) x)
(*.f64 (+.f64 1 (pow.f64 y 2)) x)
(*.f64 (+.f64 1 (pow.f64 y 2)) x)
(.f64 -1 (.f64 (-.f64 (*.f64 -1 (pow.f64 y 2)) 1) x))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 (pow.f64 y 2)) 1) x))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 (pow.f64 y 2)) 1) x))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 (pow.f64 y 2)) 1) x))

Outputs
x
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(fma.f64 (*.f64 y y) x x)
(*.f64 x (fma.f64 y y 1))
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(fma.f64 (*.f64 y y) x x)
(*.f64 x (fma.f64 y y 1))
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(fma.f64 (*.f64 y y) x x)
(*.f64 x (fma.f64 y y 1))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 x y))
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(fma.f64 (*.f64 y y) x x)
(*.f64 x (fma.f64 y y 1))
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(fma.f64 (*.f64 y y) x x)
(*.f64 x (fma.f64 y y 1))
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(fma.f64 (*.f64 y y) x x)
(*.f64 x (fma.f64 y y 1))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 x y))
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(fma.f64 (*.f64 y y) x x)
(*.f64 x (fma.f64 y y 1))
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(fma.f64 (*.f64 y y) x x)
(*.f64 x (fma.f64 y y 1))
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(fma.f64 (*.f64 y y) x x)
(*.f64 x (fma.f64 y y 1))
(*.f64 (+.f64 1 (pow.f64 y 2)) x)
(fma.f64 (*.f64 y y) x x)
(*.f64 x (fma.f64 y y 1))
(*.f64 (+.f64 1 (pow.f64 y 2)) x)
(fma.f64 (*.f64 y y) x x)
(*.f64 x (fma.f64 y y 1))
(*.f64 (+.f64 1 (pow.f64 y 2)) x)
(fma.f64 (*.f64 y y) x x)
(*.f64 x (fma.f64 y y 1))
(*.f64 (+.f64 1 (pow.f64 y 2)) x)
(fma.f64 (*.f64 y y) x x)
(*.f64 x (fma.f64 y y 1))
(*.f64 (+.f64 1 (pow.f64 y 2)) x)
(fma.f64 (*.f64 y y) x x)
(*.f64 x (fma.f64 y y 1))
(*.f64 (+.f64 1 (pow.f64 y 2)) x)
(fma.f64 (*.f64 y y) x x)
(*.f64 x (fma.f64 y y 1))
(*.f64 (+.f64 1 (pow.f64 y 2)) x)
(fma.f64 (*.f64 y y) x x)
(*.f64 x (fma.f64 y y 1))
(*.f64 (+.f64 1 (pow.f64 y 2)) x)
(fma.f64 (*.f64 y y) x x)
(*.f64 x (fma.f64 y y 1))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 (pow.f64 y 2)) 1) x))
(fma.f64 (*.f64 y y) x x)
(*.f64 x (fma.f64 y y 1))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 (pow.f64 y 2)) 1) x))
(fma.f64 (*.f64 y y) x x)
(*.f64 x (fma.f64 y y 1))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 (pow.f64 y 2)) 1) x))
(fma.f64 (*.f64 y y) x x)
(*.f64 x (fma.f64 y y 1))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 (pow.f64 y 2)) 1) x))
(fma.f64 (*.f64 y y) x x)
(*.f64 x (fma.f64 y y 1))

eval69.0ms (2.1%)

Compiler: Compiled 3643 to 2264 computations (37.9% saved)

prune26.0ms (0.8%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	165	4	169
Fresh	1	0	1
Picked	1	0	1
Done	1	3	4
Total	168	7	175

Error

Counts

175 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	60.8b	(.f64 y (.f64 x y))
▶	0.2b	(+.f64 (.f64 1/2 (.f64 (pow.f64 y 4) x)) (+.f64 (+.f64 0 (.f64 y (.f64 y x))) (+.f64 (.f64 1/6 (.f64 (pow.f64 y 6) x)) x)))
▶	0.3b	(+.f64 (.f64 y (.f64 y x)) x)
✓	35.6b	(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
	0.6b	x
✓	0.0b	(*.f64 x (pow.f64 (exp.f64 y) y))
✓	0.0b	(.f64 x (exp.f64 (.f64 y y)))

Compiler

Compiled 71 to 46 computations (35.2% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 y (.f64 x y))

Compiler

Compiled 12 to 4 computations (66.7% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	y	@	0	(.f64 y (.f64 x y))
0.0ms	y	@	inf	(.f64 y (.f64 x y))
0.0ms	y	@	-inf	(.f64 y (.f64 x y))
0.0ms	x	@	inf	(.f64 y (.f64 x y))
0.0ms	x	@	-inf	(.f64 y (.f64 x y))

rewrite47.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

468×	`pow1_binary64`
444×	`add-sqr-sqrt_binary64`
439×	`*-un-lft-identity_binary64`
428×	`add-log-exp_binary64`
428×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	99	7
2	1182	7

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 y (.f64 x y))

Outputs

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

simplify183.0ms (5.7%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
551×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
445×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	12	168
2	23	168
3	44	168
4	105	168
5	332	168
6	1258	168
7	2133	168
8	2297	168
9	2481	168
10	2689	168
11	2985	168
12	3378	168
13	3859	168
14	4425	168
15	5113	168
16	5948	168
17	6336	168
18	6624	168
19	6900	168
20	6970	168
21	7006	168
22	7947	168

Stop Event

1×	node limit

Counts

35 → 13

Calls

Call 1

Inputs
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)

Outputs
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))

localize37.0ms (1.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(.f64 1/6 (.f64 (pow.f64 y 6) x))
✓	0.1b	(.f64 y (.f64 y x))
	2.1b	(*.f64 (pow.f64 y 6) x)
	4.2b	(*.f64 (pow.f64 y 4) x)

Compiler

Compiled 105 to 61 computations (41.9% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	y	@	0	(.f64 y (.f64 y x))
0.0ms	x	@	0	(.f64 y (.f64 y x))
0.0ms	y	@	inf	(.f64 y (.f64 y x))
0.0ms	y	@	-inf	(.f64 y (.f64 y x))
0.0ms	x	@	-inf	(.f64 y (.f64 y x))

rewrite45.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

471×	`pow1_binary64`
447×	`add-sqr-sqrt_binary64`
442×	`*-un-lft-identity_binary64`
431×	`add-log-exp_binary64`
431×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	99	7
2	1194	7

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 y (.f64 y x))

Outputs

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

simplify180.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
551×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
445×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	12	168
2	23	168
3	44	168
4	105	168
5	332	168
6	1258	168
7	2133	168
8	2297	168
9	2481	168
10	2689	168
11	2985	168
12	3378	168
13	3859	168
14	4425	168
15	5113	168
16	5948	168
17	6336	168
18	6624	168
19	6900	168
20	6970	168
21	7006	168
22	7947	168

Stop Event

1×	node limit

Counts

35 → 13

Calls

Call 1

Inputs
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)

Outputs
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
	0.1b	(.f64 y (.f64 y x))

Compiler

Compiled 19 to 5 computations (73.7% saved)

eval53.0ms (1.6%)

Compiler: Compiled 3081 to 1848 computations (40% saved)

prune20.0ms (0.6%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	1	1
Picked	0	1	1
Done	0	5	5
Total	122	7	129

Error

Counts

129 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	60.8b	(.f64 y (.f64 x y))
✓	0.2b	(+.f64 (.f64 1/2 (.f64 (pow.f64 y 4) x)) (+.f64 (+.f64 0 (.f64 y (.f64 y x))) (+.f64 (.f64 1/6 (.f64 (pow.f64 y 6) x)) x)))
✓	0.3b	(+.f64 (.f64 y (.f64 y x)) x)
✓	35.6b	(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
	0.6b	x
✓	0.0b	(*.f64 x (pow.f64 (exp.f64 y) y))
✓	0.0b	(.f64 x (exp.f64 (.f64 y y)))

Compiler

Compiled 71 to 46 computations (35.2% saved)

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune3.0ms (0.1%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	6	6
Total	7	7

Error

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	60.8b	(.f64 y (.f64 x y))
✓	0.2b	(+.f64 (.f64 1/2 (.f64 (pow.f64 y 4) x)) (+.f64 (+.f64 0 (.f64 y (.f64 y x))) (+.f64 (.f64 1/6 (.f64 (pow.f64 y 6) x)) x)))
✓	0.3b	(+.f64 (.f64 y (.f64 y x)) x)
✓	35.6b	(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
	0.6b	x
✓	0.0b	(*.f64 x (pow.f64 (exp.f64 y) y))
✓	0.0b	(.f64 x (exp.f64 (.f64 y y)))

Compiler

Compiled 71 to 46 computations (35.2% saved)

regimes41.0ms (1.3%)

Counts

10 → 1

Calls

Call 1

Inputs
x
x
(.f64 y (.f64 x y))
(+.f64 (.f64 y (.f64 y x)) x)
(fma.f64 y (*.f64 y x) x)
(.f64 x (exp.f64 (.f64 y y)))
(*.f64 x (pow.f64 (exp.f64 y) y))
(exp.f64 (+.f64 (*.f64 y y) (log.f64 x)))
(+.f64 (.f64 1/2 (.f64 (pow.f64 y 4) x)) (+.f64 (+.f64 0 (.f64 y (.f64 y x))) (+.f64 (.f64 1/6 (.f64 (pow.f64 y 6) x)) x)))
(+.f64 (.f64 1/2 (.f64 (pow.f64 y 4) x)) (+.f64 (.f64 (pow.f64 y 2) x) (+.f64 (.f64 1/6 (*.f64 (pow.f64 y 6) x)) x)))

Outputs
(*.f64 x (pow.f64 (exp.f64 y) y))

Calls

7 calls:

15.0ms	(.f64 x (exp.f64 (.f64 y y)))
7.0ms	x
6.0ms	y
3.0ms	(*.f64 y y)
3.0ms	(*.f64 y y)

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`y`
0.0b	1	`(.f64 x (exp.f64 (.f64 y y)))`
0.0b	1	`(exp.f64 (*.f64 y y))`
0.0b	1	`(exp.f64 (*.f64 y y))`
0.0b	1	`(*.f64 y y)`
0.0b	1	`(*.f64 y y)`

Compiler

Compiled 125 to 71 computations (43.2% saved)

regimes22.0ms (0.7%)

Counts

6 → 1

Calls

Call 1

Inputs
x
x
(.f64 y (.f64 x y))
(+.f64 (.f64 y (.f64 y x)) x)
(fma.f64 y (*.f64 y x) x)
(.f64 x (exp.f64 (.f64 y y)))

Outputs
(.f64 x (exp.f64 (.f64 y y)))

Calls

5 calls:

5.0ms	(.f64 x (exp.f64 (.f64 y y)))
5.0ms	x
5.0ms	y
2.0ms	(*.f64 y y)
2.0ms	(exp.f64 (*.f64 y y))

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`y`
0.0b	1	`(.f64 x (exp.f64 (.f64 y y)))`
0.0b	1	`(exp.f64 (*.f64 y y))`
0.0b	1	`(*.f64 y y)`

Compiler

Compiled 53 to 27 computations (49.1% saved)

regimes11.0ms (0.3%)

Counts

5 → 1

Calls

Call 1

Inputs
x
x
(.f64 y (.f64 x y))
(+.f64 (.f64 y (.f64 y x)) x)
(fma.f64 y (*.f64 y x) x)

Outputs
(+.f64 (.f64 y (.f64 y x)) x)

Calls

2 calls:

4.0ms	x
4.0ms	y

Results

Error	Segments	Branch
0.3b	1	`x`
0.3b	1	`y`

Compiler

Compiled 28 to 12 computations (57.1% saved)

regimes8.0ms (0.3%)

Accuracy

Total -60.2b remaining (-9650.6%)

Threshold costs -60.2b (-9650.6%)

Counts

3 → 1

Calls

Call 1

Inputs
x
x
(.f64 y (.f64 x y))

Outputs
x

Calls

2 calls:

4.0ms	x
4.0ms	y

Results

Error	Segments	Branch
0.6b	1	`x`
0.6b	1	`y`

Compiler

Compiled 15 to 8 computations (46.7% saved)

simplify5.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	29
1	17	29

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(*.f64 x (pow.f64 (exp.f64 y) y))
(.f64 x (exp.f64 (.f64 y y)))
(+.f64 (.f64 y (.f64 y x)) x)
x

Outputs
(*.f64 x (pow.f64 (exp.f64 y) y))
(.f64 x (exp.f64 (.f64 y y)))
(+.f64 (.f64 y (.f64 y x)) x)
(+.f64 x (.f64 y (.f64 x y)))
x

Compiler

Compiled 28 to 17 computations (39.3% saved)

soundness234.0ms (7.3%)

Algorithm

1×	egg-herbie

Rules

611×	`sqr-pow_binary64`
450×	`associate-l_binary64`
424×	`pow-sqr_binary64`
390×	`associate-*l/_binary64`
368×	`unswap-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	9	9
2	13	9
3	22	9
4	50	9
5	139	9
6	450	9
7	1475	9
8	2717	9
9	4060	9
10	4444	9
11	5019	9
12	6671	9

Stop Event

1×	node limit

Compiler

Compiled 16 to 10 computations (37.5% saved)

end112.0ms (3.5%)

Compiler: Compiled 22 to 11 computations (50% saved)

Details

analyze63.0ms (2%)

sample951.0ms (29.6%)

preprocess106.0ms (3.3%)

simplify88.0ms (2.7%)

eval1.0ms (0%)

prune2.0ms (0.1%)

localize17.0ms (0.5%)

series8.0ms (0.3%)

rewrite69.0ms (2.1%)

simplify76.0ms (2.4%)

localize7.0ms (0.2%)

series44.0ms (1.4%)

rewrite53.0ms (1.7%)

simplify81.0ms (2.5%)

eval20.0ms (0.6%)

prune22.0ms (0.7%)

localize12.0ms (0.4%)

series59.0ms (1.8%)

rewrite61.0ms (1.9%)

simplify62.0ms (1.9%)

localize38.0ms (1.2%)

series15.0ms (0.5%)

rewrite86.0ms (2.7%)

simplify9.0ms (0.3%)

localize10.0ms (0.3%)

series4.0ms (0.1%)

rewrite45.0ms (1.4%)

simplify95.0ms (3%)

eval69.0ms (2.1%)

prune26.0ms (0.8%)

localize5.0ms (0.2%)

series2.0ms (0.1%)

rewrite47.0ms (1.5%)

simplify183.0ms (5.7%)

localize37.0ms (1.2%)

series2.0ms (0%)

rewrite45.0ms (1.4%)

simplify180.0ms (5.6%)

localize7.0ms (0.2%)

eval53.0ms (1.6%)

prune20.0ms (0.6%)

eval0.0ms (0%)

prune3.0ms (0.1%)

regimes41.0ms (1.3%)

regimes22.0ms (0.7%)

regimes11.0ms (0.3%)

regimes8.0ms (0.3%)

simplify5.0ms (0.2%)

soundness234.0ms (7.3%)

end112.0ms (3.5%)

Profiling