Details

analyze111.0ms (4.9%)

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
25%	74.9%	0.1%	5
37.5%	62.4%	0.1%	6
37.5%	40.6%	22%	7
43.7%	32.8%	23.5%	8
43.7%	21.1%	35.2%	9
46.8%	16.8%	36.4%	10
46.8%	10.7%	42.4%	11
48.4%	8.5%	43.1%	12
48.4%	5.4%	46.2%	13
49.2%	4.3%	46.6%	14

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample769.0ms (34%)

Results

707.0ms	8256×	body	128	valid
47.0ms	561×	body	128	invalid

Compiler

Compiled 18 to 12 computations (33.3% saved)

preprocess44.0ms (2%)

Algorithm

2×	egg-herbie

Rules

428×	`unswap-sqr_binary64`
334×	`associate-/l/_binary64`
292×	`sqr-pow_binary64`
271×	`associate-*r/_binary64`
263×	`associate-*l/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	18
1	15	18
2	22	18
3	40	18
4	95	18
5	271	18
6	854	18
7	1424	18
8	3749	18
9	4019	18
10	4459	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 8 to 5 computations (37.5% saved)

simplify42.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

445×	`associate-l_binary64`
407×	`associate-*l/_binary64`
368×	`unswap-sqr_binary64`
264×	`associate-r_binary64`
252×	`associate-/l*_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	9	9
2	13	9
3	22	9
4	51	9
5	140	9
6	425	9
7	1429	9
8	2660	9
9	4022	9
10	4406	9
11	4981	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))

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 30 to 18 computations (40% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series45.0ms (2%)

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	(pow.f64 (exp.f64 y) y)
1.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	@	0	(*.f64 x (pow.f64 (exp.f64 y) y))

rewrite36.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

550×	`pow1_binary64`
505×	`add-log-exp_binary64`
505×	`log1p-expm1-u_binary64`
505×	`expm1-log1p-u_binary64`
491×	`add-exp-log_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 → 28

Calls

Call 1

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

Outputs
((#(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 (cbrt.f64 (pow.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 log1p.f64 (expm1.f64 (pow.f64 (exp.f64 y) y)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (exp.f64 y) y)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.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 cbrt.f64 (.f64 (pow.f64 (pow.f64 (exp.f64 y) y) 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 x 3) (pow.f64 (pow.f64 (exp.f64 y) y) 3)))))) (#(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 expm1.f64 (log1p.f64 (.f64 (pow.f64 (exp.f64 y) y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (+.f64 (log.f64 x) (.f64 y y)))))))

Outputs

((#(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 (cbrt.f64 (pow.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 log1p.f64 (expm1.f64 (pow.f64 (exp.f64 y) y)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (exp.f64 y) y)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.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 cbrt.f64 (*.f64 (pow.f64 (pow.f64 (exp.f64 y) y) 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (pow.f64 (exp.f64 y) y) 3)))))) (#(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 expm1.f64 (log1p.f64 (*.f64 (pow.f64 (exp.f64 y) y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (+.f64 (log.f64 x) (*.f64 y y)))))))

simplify48.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

521×	`fma-def_binary64`
436×	`distribute-rgt-out_binary64`
399×	`associate-l_binary64`
391×	`*-commutative_binary64`
321×	`distribute-lft-out_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	31	330
1	77	322
2	192	315
3	586	311
4	2254	311
5	4344	311
6	4835	311

Stop Event

1×	node limit

Counts

64 → 46

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 1 (+.f64 (pow.f64 y 2) (+.f64 (.f64 1/2 (pow.f64 y 4)) (.f64 1/6 (pow.f64 y 6)))))
(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 (pow.f64 y 2) x) (+.f64 (.f64 1/2 (*.f64 (pow.f64 y 4) x)) x))
(+.f64 (.f64 1/6 (.f64 (pow.f64 y 6) x)) (+.f64 (.f64 (pow.f64 y 2) x) (+.f64 (.f64 1/2 (*.f64 (pow.f64 y 4) 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 (+.f64 1 (.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 1 (+.f64 (pow.f64 y 2) (+.f64 (.f64 1/2 (pow.f64 y 4)) (.f64 1/6 (pow.f64 y 6)))))
(+.f64 1 (+.f64 (.f64 y y) (fma.f64 1/2 (pow.f64 y 4) (.f64 1/6 (pow.f64 y 6)))))
(+.f64 1 (fma.f64 y y (fma.f64 1/2 (pow.f64 y 4) (*.f64 1/6 (pow.f64 y 6)))))
(+.f64 (fma.f64 y y 1) (fma.f64 1/6 (pow.f64 y 6) (*.f64 1/2 (pow.f64 y 4))))
(fma.f64 y y (fma.f64 1/2 (pow.f64 y 4) (fma.f64 1/6 (pow.f64 y 6) 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 (pow.f64 y 2) x) (+.f64 (.f64 1/2 (*.f64 (pow.f64 y 4) x)) x))
(fma.f64 (.f64 y y) x (fma.f64 1/2 (.f64 (pow.f64 y 4) 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)))
(+.f64 (.f64 1/6 (.f64 (pow.f64 y 6) x)) (+.f64 (.f64 (pow.f64 y 2) x) (+.f64 (.f64 1/2 (*.f64 (pow.f64 y 4) x)) x)))
(fma.f64 1/6 (.f64 (pow.f64 y 6) x) (fma.f64 (.f64 y y) x (fma.f64 1/2 (*.f64 (pow.f64 y 4) x) x)))
(fma.f64 1/6 (.f64 (pow.f64 y 6) x) (+.f64 x (.f64 x (fma.f64 y y (*.f64 1/2 (pow.f64 y 4))))))
(+.f64 x (.f64 x (fma.f64 y y (fma.f64 1/6 (pow.f64 y 6) (.f64 1/2 (pow.f64 y 4))))))
(*.f64 x (fma.f64 y y (fma.f64 1/2 (pow.f64 y 4) (fma.f64 1/6 (pow.f64 y 6) 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)

prune32.0ms (1.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	42	4	46
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	43	4	47

Error

0.0b

Counts

47 → 4

Alt Table

Status	Error	Program
	40.9b	(cbrt.f64 (*.f64 (pow.f64 (pow.f64 (exp.f64 y) y) 3) (pow.f64 x 3)))
	32.2b	(pow.f64 (sqrt.f64 (*.f64 (pow.f64 (exp.f64 y) y) x)) 2)
▶	0.0b	(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (pow.f64 (sqrt.f64 (exp.f64 y)) y)))
	0.8b	(+.f64 (.f64 (pow.f64 y 2) x) (+.f64 (.f64 1/2 (*.f64 (pow.f64 y 4) x)) x))

Compiler

Compiled 564 to 295 computations (47.7% saved)

localize7.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series32.0ms (1.4%)

Counts

4 → 44

Calls

15 calls:

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

rewrite45.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

731×	`pow1_binary64`
675×	`log1p-expm1-u_binary64`
675×	`expm1-log1p-u_binary64`
82×	`add-sqr-sqrt_binary64`
80×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	28
1	166	28
2	2069	28

Stop Event

1×	node limit

Counts

4 → 83

Calls

Call 1

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

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

simplify54.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

398×	`*-commutative_binary64`
390×	`distribute-lft-out_binary64`
356×	`unswap-sqr_binary64`
262×	`fma-def_binary64`
213×	`associate-+l+_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	56	565
1	144	553
2	370	541
3	1251	540
4	2151	540
5	3570	540
6	4375	540

Stop Event

1×	node limit

Counts

127 → 113

Calls

Call 1

Inputs
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
x
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(+.f64 (.f64 (pow.f64 y 2) x) (+.f64 (.f64 1/2 (*.f64 (pow.f64 y 4) x)) x))
(+.f64 (.f64 1/6 (.f64 (pow.f64 y 6) x)) (+.f64 (.f64 (pow.f64 y 2) x) (+.f64 (.f64 1/2 (*.f64 (pow.f64 y 4) x)) x)))
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) 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 1 (+.f64 (pow.f64 y 2) (+.f64 (.f64 1/2 (pow.f64 y 4)) (.f64 1/6 (pow.f64 y 6)))))
(pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2)
(pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2)
(pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2)
(pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2)
(pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2)
(pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2)
(pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2)
(pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2)
1
(+.f64 1 (*.f64 1/2 y))
(+.f64 1 (+.f64 (.f64 1/2 y) (.f64 1/8 (pow.f64 y 2))))
(+.f64 1 (+.f64 (.f64 1/2 y) (+.f64 (.f64 1/48 (pow.f64 y 3)) (*.f64 1/8 (pow.f64 y 2)))))
1
(+.f64 1 (*.f64 1/2 (pow.f64 y 2)))
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 y 2)) (.f64 1/8 (pow.f64 y 4))))
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 y 2)) (+.f64 (.f64 1/8 (pow.f64 y 4)) (*.f64 1/48 (pow.f64 y 6)))))

Outputs
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 2 y)) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 y 2)) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 2 y)) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 y 2)) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 2 y)) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 y 2)) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 2 y)) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 y 2)) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 2 y)) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 y 2)) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 2 y)) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 y 2)) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 2 y)) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 y 2)) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 2 y)) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 y 2)) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 2 y)) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 y 2)) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 2 y)) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 y 2)) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 2 y)) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 y 2)) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 2 y)) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 y 2)) x)
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) (+.f64 (.f64 1/2 (*.f64 (pow.f64 y 4) x)) x))
(fma.f64 (.f64 y y) x (fma.f64 1/2 (.f64 x (pow.f64 y 4)) x))
(+.f64 x (.f64 x (fma.f64 1/2 (pow.f64 y 4) (.f64 y y))))
(fma.f64 x (fma.f64 1/2 (pow.f64 y 4) (*.f64 y y)) x)
(*.f64 x (fma.f64 1/2 (pow.f64 y 4) (fma.f64 y y 1)))
(+.f64 (.f64 1/6 (.f64 (pow.f64 y 6) x)) (+.f64 (.f64 (pow.f64 y 2) x) (+.f64 (.f64 1/2 (*.f64 (pow.f64 y 4) x)) x)))
(fma.f64 1/6 (.f64 x (pow.f64 y 6)) (fma.f64 (.f64 y y) x (fma.f64 1/2 (*.f64 x (pow.f64 y 4)) x)))
(fma.f64 1/6 (.f64 x (pow.f64 y 6)) (+.f64 x (.f64 x (fma.f64 1/2 (pow.f64 y 4) (*.f64 y y)))))
(+.f64 x (.f64 x (fma.f64 1/6 (pow.f64 y 6) (fma.f64 1/2 (pow.f64 y 4) (.f64 y y)))))
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 2 y)) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 y 2)) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 2 y)) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 y 2)) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 2 y)) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 y 2)) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 2 y)) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 y 2)) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 2 y)) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 y 2)) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 2 y)) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 y 2)) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 2 y)) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 y 2)) x)
(*.f64 (pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 2 y)) x)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) (.f64 y 2)) 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 1/2 (pow.f64 y 4) (*.f64 y y)))
(fma.f64 y y (fma.f64 1/2 (pow.f64 y 4) 1))
(fma.f64 1/2 (pow.f64 y 4) (fma.f64 y y 1))
(+.f64 1 (+.f64 (pow.f64 y 2) (+.f64 (.f64 1/2 (pow.f64 y 4)) (.f64 1/6 (pow.f64 y 6)))))
(+.f64 1 (+.f64 (.f64 y y) (fma.f64 1/2 (pow.f64 y 4) (.f64 1/6 (pow.f64 y 6)))))
(+.f64 (fma.f64 y y 1) (fma.f64 1/2 (pow.f64 y 4) (*.f64 1/6 (pow.f64 y 6))))
(+.f64 1 (fma.f64 1/6 (pow.f64 y 6) (fma.f64 1/2 (pow.f64 y 4) (*.f64 y y))))
(pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2)
(pow.f64 (sqrt.f64 (exp.f64 y)) (*.f64 2 y))
(pow.f64 (sqrt.f64 (exp.f64 y)) (*.f64 y 2))
(pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2)
(pow.f64 (sqrt.f64 (exp.f64 y)) (*.f64 2 y))
(pow.f64 (sqrt.f64 (exp.f64 y)) (*.f64 y 2))
(pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2)
(pow.f64 (sqrt.f64 (exp.f64 y)) (*.f64 2 y))
(pow.f64 (sqrt.f64 (exp.f64 y)) (*.f64 y 2))
(pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2)
(pow.f64 (sqrt.f64 (exp.f64 y)) (*.f64 2 y))
(pow.f64 (sqrt.f64 (exp.f64 y)) (*.f64 y 2))
(pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2)
(pow.f64 (sqrt.f64 (exp.f64 y)) (*.f64 2 y))
(pow.f64 (sqrt.f64 (exp.f64 y)) (*.f64 y 2))
(pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2)
(pow.f64 (sqrt.f64 (exp.f64 y)) (*.f64 2 y))
(pow.f64 (sqrt.f64 (exp.f64 y)) (*.f64 y 2))
(pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2)
(pow.f64 (sqrt.f64 (exp.f64 y)) (*.f64 2 y))
(pow.f64 (sqrt.f64 (exp.f64 y)) (*.f64 y 2))
(pow.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) 2)
(pow.f64 (sqrt.f64 (exp.f64 y)) (*.f64 2 y))
(pow.f64 (sqrt.f64 (exp.f64 y)) (*.f64 y 2))
1
(+.f64 1 (*.f64 1/2 y))
(+.f64 1 (*.f64 y 1/2))
(fma.f64 y 1/2 1)
(+.f64 1 (+.f64 (.f64 1/2 y) (.f64 1/8 (pow.f64 y 2))))
(+.f64 1 (fma.f64 1/2 y (.f64 (.f64 y y) 1/8)))
(+.f64 1 (fma.f64 y 1/2 (.f64 (.f64 y y) 1/8)))
(fma.f64 y 1/2 (fma.f64 y (*.f64 y 1/8) 1))
(+.f64 1 (+.f64 (.f64 1/2 y) (+.f64 (.f64 1/48 (pow.f64 y 3)) (*.f64 1/8 (pow.f64 y 2)))))
(+.f64 1 (fma.f64 1/2 y (fma.f64 1/48 (pow.f64 y 3) (.f64 (.f64 y y) 1/8))))
(+.f64 1 (fma.f64 y 1/2 (fma.f64 1/48 (pow.f64 y 3) (.f64 (.f64 y y) 1/8))))
(+.f64 1 (fma.f64 1/48 (pow.f64 y 3) (.f64 y (+.f64 (.f64 y 1/8) 1/2))))
(+.f64 1 (.f64 y (+.f64 1/2 (.f64 y (+.f64 1/8 (*.f64 y 1/48))))))
1
(+.f64 1 (*.f64 1/2 (pow.f64 y 2)))
(+.f64 1 (.f64 (.f64 y y) 1/2))
(fma.f64 (*.f64 y y) 1/2 1)
(fma.f64 y (*.f64 y 1/2) 1)
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 y 2)) (.f64 1/8 (pow.f64 y 4))))
(+.f64 1 (fma.f64 1/2 (.f64 y y) (.f64 (pow.f64 y 4) 1/8)))
(+.f64 1 (fma.f64 (.f64 y y) 1/2 (.f64 (pow.f64 y 4) 1/8)))
(fma.f64 (pow.f64 y 4) 1/8 (fma.f64 y (*.f64 y 1/2) 1))
(fma.f64 y (*.f64 y 1/2) (fma.f64 (pow.f64 y 4) 1/8 1))
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 y 2)) (+.f64 (.f64 1/8 (pow.f64 y 4)) (*.f64 1/48 (pow.f64 y 6)))))
(+.f64 1 (fma.f64 1/2 (.f64 y y) (fma.f64 1/8 (pow.f64 y 4) (.f64 (pow.f64 y 6) 1/48))))
(+.f64 1 (fma.f64 (.f64 y y) 1/2 (fma.f64 (pow.f64 y 4) 1/8 (.f64 (pow.f64 y 6) 1/48))))
(+.f64 1 (fma.f64 y (.f64 y 1/2) (fma.f64 (pow.f64 y 4) 1/8 (.f64 (pow.f64 y 6) 1/48))))
(+.f64 1 (fma.f64 (pow.f64 y 4) 1/8 (fma.f64 y (.f64 y 1/2) (.f64 (pow.f64 y 6) 1/48))))
(+.f64 1 (fma.f64 y (.f64 y 1/2) (fma.f64 (pow.f64 y 6) 1/48 (.f64 (pow.f64 y 4) 1/8))))

prune125.0ms (5.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	167	1	168
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	169	3	172

Error

0.0b

Counts

172 → 3

Alt Table

Status

Error

Program

40.9b

(cbrt.f64 (*.f64 (pow.f64 (pow.f64 (exp.f64 y) y) 3) (pow.f64 x 3)))

▶

0.0b

(*.f64 x (*.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) 3/2) y))))

0.8b

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

Compiler

Compiled 2590 to 1039 computations (59.9% saved)

localize12.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f64 (exp.f64 y) 3/2)
✓	0.0b	(*.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) 3/2) y)))
✓	0.0b	(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) 3/2) y))))
✓	0.0b	(pow.f64 (pow.f64 (exp.f64 y) 3/2) y)

series77.0ms (3.4%)

Counts

4 → 60

Calls

15 calls:

Time	Variable		Point	Expression
36.0ms	x	@	0	(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) 3/2) y))))
12.0ms	y	@	-inf	(pow.f64 (exp.f64 y) 3/2)
12.0ms	y	@	inf	(pow.f64 (exp.f64 y) 3/2)
8.0ms	y	@	inf	(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) 3/2) y))))
2.0ms	y	@	-inf	(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) 3/2) y))))

rewrite54.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

886×	`log1p-expm1-u_binary64`
886×	`expm1-log1p-u_binary64`
122×	`add-sqr-sqrt_binary64`
119×	`pow1_binary64`
116×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	60
1	251	30
2	3090	30

Stop Event

1×	node limit

Counts

4 → 75

Calls

Call 1

Inputs
(pow.f64 (pow.f64 (exp.f64 y) 3/2) y)
(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) 3/2) y))))
(*.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) 3/2) y)))
(pow.f64 (exp.f64 y) 3/2)

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

simplify44.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

536×	`associate-+l+_binary64`
419×	`distribute-lft-out_binary64`
388×	`unswap-sqr_binary64`
283×	`*-commutative_binary64`
262×	`fma-def_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	68	965
1	179	953
2	468	941
3	1496	940
4	2762	940

Stop Event

1×	node limit

Counts

135 → 110

Calls

Call 1

Inputs
1
(+.f64 1 (*.f64 3/2 (pow.f64 y 2)))
(+.f64 1 (+.f64 (.f64 3/2 (pow.f64 y 2)) (.f64 9/8 (pow.f64 y 4))))
(+.f64 1 (+.f64 (.f64 3/2 (pow.f64 y 2)) (+.f64 (.f64 9/8 (pow.f64 y 4)) (*.f64 9/16 (pow.f64 y 6)))))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
x
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(+.f64 (.f64 (pow.f64 y 2) x) (+.f64 (.f64 1/2 (*.f64 (pow.f64 y 4) x)) x))
(+.f64 (.f64 1/6 (.f64 (pow.f64 y 6) x)) (+.f64 (.f64 (pow.f64 y 2) x) (+.f64 (.f64 1/2 (*.f64 (pow.f64 y 4) x)) x)))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
1
(+.f64 1 (pow.f64 y 2))
(+.f64 1 (+.f64 (pow.f64 y 2) (*.f64 1/2 (pow.f64 y 4))))
(+.f64 1 (+.f64 (pow.f64 y 2) (+.f64 (.f64 1/2 (pow.f64 y 4)) (.f64 1/6 (pow.f64 y 6)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (pow.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (pow.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (pow.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (pow.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (pow.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (pow.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (pow.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (pow.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
1
(+.f64 1 (*.f64 3/2 y))
(+.f64 1 (+.f64 (.f64 3/2 y) (.f64 9/8 (pow.f64 y 2))))
(+.f64 1 (+.f64 (.f64 3/2 y) (+.f64 (.f64 9/16 (pow.f64 y 3)) (*.f64 9/8 (pow.f64 y 2)))))
(exp.f64 (*.f64 3/2 y))
(exp.f64 (*.f64 3/2 y))
(exp.f64 (*.f64 3/2 y))
(exp.f64 (*.f64 3/2 y))
(exp.f64 (*.f64 3/2 y))
(exp.f64 (*.f64 3/2 y))
(exp.f64 (*.f64 3/2 y))
(exp.f64 (*.f64 3/2 y))

Outputs
1
(+.f64 1 (*.f64 3/2 (pow.f64 y 2)))
(+.f64 1 (.f64 3/2 (.f64 y y)))
(fma.f64 3/2 (*.f64 y y) 1)
(fma.f64 y (*.f64 3/2 y) 1)
(+.f64 1 (+.f64 (.f64 3/2 (pow.f64 y 2)) (.f64 9/8 (pow.f64 y 4))))
(+.f64 1 (fma.f64 3/2 (.f64 y y) (.f64 9/8 (pow.f64 y 4))))
(+.f64 (fma.f64 3/2 (.f64 y y) 1) (.f64 9/8 (pow.f64 y 4)))
(fma.f64 9/8 (pow.f64 y 4) (fma.f64 3/2 (*.f64 y y) 1))
(fma.f64 9/8 (pow.f64 y 4) (fma.f64 y (*.f64 3/2 y) 1))
(+.f64 1 (+.f64 (.f64 3/2 (pow.f64 y 2)) (+.f64 (.f64 9/8 (pow.f64 y 4)) (*.f64 9/16 (pow.f64 y 6)))))
(+.f64 1 (fma.f64 3/2 (.f64 y y) (fma.f64 9/8 (pow.f64 y 4) (.f64 9/16 (pow.f64 y 6)))))
(+.f64 1 (fma.f64 3/2 (.f64 y y) (fma.f64 9/16 (pow.f64 y 6) (.f64 9/8 (pow.f64 y 4)))))
(+.f64 (.f64 9/16 (pow.f64 y 6)) (fma.f64 9/8 (pow.f64 y 4) (fma.f64 3/2 (.f64 y y) 1)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y))
(pow.f64 (pow.f64 (exp.f64 y) 3/2) y)
(pow.f64 (exp.f64 3/2) (*.f64 y y))
(pow.f64 (pow.f64 (exp.f64 3/2) y) y)
(pow.f64 (exp.f64 (*.f64 3/2 y)) y)
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y))
(pow.f64 (pow.f64 (exp.f64 y) 3/2) y)
(pow.f64 (exp.f64 3/2) (*.f64 y y))
(pow.f64 (pow.f64 (exp.f64 3/2) y) y)
(pow.f64 (exp.f64 (*.f64 3/2 y)) y)
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y))
(pow.f64 (pow.f64 (exp.f64 y) 3/2) y)
(pow.f64 (exp.f64 3/2) (*.f64 y y))
(pow.f64 (pow.f64 (exp.f64 3/2) y) y)
(pow.f64 (exp.f64 (*.f64 3/2 y)) y)
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y))
(pow.f64 (pow.f64 (exp.f64 y) 3/2) y)
(pow.f64 (exp.f64 3/2) (*.f64 y y))
(pow.f64 (pow.f64 (exp.f64 3/2) y) y)
(pow.f64 (exp.f64 (*.f64 3/2 y)) y)
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y))
(pow.f64 (pow.f64 (exp.f64 y) 3/2) y)
(pow.f64 (exp.f64 3/2) (*.f64 y y))
(pow.f64 (pow.f64 (exp.f64 3/2) y) y)
(pow.f64 (exp.f64 (*.f64 3/2 y)) y)
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y))
(pow.f64 (pow.f64 (exp.f64 y) 3/2) y)
(pow.f64 (exp.f64 3/2) (*.f64 y y))
(pow.f64 (pow.f64 (exp.f64 3/2) y) y)
(pow.f64 (exp.f64 (*.f64 3/2 y)) y)
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y))
(pow.f64 (pow.f64 (exp.f64 y) 3/2) y)
(pow.f64 (exp.f64 3/2) (*.f64 y y))
(pow.f64 (pow.f64 (exp.f64 3/2) y) y)
(pow.f64 (exp.f64 (*.f64 3/2 y)) y)
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y))
(pow.f64 (pow.f64 (exp.f64 y) 3/2) y)
(pow.f64 (exp.f64 3/2) (*.f64 y y))
(pow.f64 (pow.f64 (exp.f64 3/2) y) y)
(pow.f64 (exp.f64 (*.f64 3/2 y)) y)
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3/2) y) y))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 (*.f64 3/2 y)) y))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3/2) y) y))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 (*.f64 3/2 y)) y))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3/2) y) y))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 (*.f64 3/2 y)) y))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3/2) y) y))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 (*.f64 3/2 y)) y))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3/2) y) y))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 (*.f64 3/2 y)) y))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3/2) y) y))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 (*.f64 3/2 y)) y))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3/2) y) y))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 (*.f64 3/2 y)) y))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3/2) y) y))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 (*.f64 3/2 y)) y))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3/2) y) y))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 (*.f64 3/2 y)) y))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3/2) y) y))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 (*.f64 3/2 y)) y))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3/2) y) y))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 (*.f64 3/2 y)) y))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3/2) y) y))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 (*.f64 3/2 y)) y))))
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) (+.f64 (.f64 1/2 (*.f64 (pow.f64 y 4) x)) x))
(fma.f64 (.f64 y y) x (fma.f64 1/2 (.f64 (pow.f64 y 4) x) x))
(+.f64 x (.f64 x (fma.f64 (pow.f64 y 4) 1/2 (.f64 y y))))
(*.f64 x (fma.f64 (pow.f64 y 4) 1/2 (fma.f64 y y 1)))
(*.f64 x (fma.f64 y y (fma.f64 (pow.f64 y 4) 1/2 1)))
(+.f64 (.f64 1/6 (.f64 (pow.f64 y 6) x)) (+.f64 (.f64 (pow.f64 y 2) x) (+.f64 (.f64 1/2 (*.f64 (pow.f64 y 4) x)) x)))
(fma.f64 1/6 (.f64 (pow.f64 y 6) x) (fma.f64 (.f64 y y) x (fma.f64 1/2 (*.f64 (pow.f64 y 4) x) x)))
(fma.f64 1/6 (.f64 (pow.f64 y 6) x) (+.f64 x (.f64 x (fma.f64 (pow.f64 y 4) 1/2 (*.f64 y y)))))
(+.f64 x (.f64 x (fma.f64 (pow.f64 y 4) 1/2 (fma.f64 y y (.f64 (pow.f64 y 6) 1/6)))))
(+.f64 x (.f64 x (fma.f64 y y (fma.f64 (pow.f64 y 4) 1/2 (.f64 (pow.f64 y 6) 1/6)))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3/2) y) y))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 (*.f64 3/2 y)) y))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3/2) y) y))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 (*.f64 3/2 y)) y))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3/2) y) y))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 (*.f64 3/2 y)) y))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3/2) y) y))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 (*.f64 3/2 y)) y))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3/2) y) y))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 (*.f64 3/2 y)) y))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3/2) y) y))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 (*.f64 3/2 y)) y))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3/2) y) y))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 (*.f64 3/2 y)) y))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3/2) y) y))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 (*.f64 3/2 y)) y))))
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 (pow.f64 y 4) 1/2)))
(+.f64 1 (fma.f64 (pow.f64 y 4) 1/2 (*.f64 y y)))
(fma.f64 (pow.f64 y 4) 1/2 (fma.f64 y y 1))
(fma.f64 y y (fma.f64 (pow.f64 y 4) 1/2 1))
(+.f64 1 (+.f64 (pow.f64 y 2) (+.f64 (.f64 1/2 (pow.f64 y 4)) (.f64 1/6 (pow.f64 y 6)))))
(+.f64 1 (+.f64 (.f64 y y) (fma.f64 1/2 (pow.f64 y 4) (.f64 (pow.f64 y 6) 1/6))))
(+.f64 (fma.f64 y y 1) (fma.f64 (pow.f64 y 4) 1/2 (*.f64 (pow.f64 y 6) 1/6)))
(+.f64 1 (fma.f64 (pow.f64 y 4) 1/2 (fma.f64 y y (*.f64 (pow.f64 y 6) 1/6))))
(+.f64 1 (fma.f64 y y (fma.f64 (pow.f64 y 4) 1/2 (*.f64 (pow.f64 y 6) 1/6))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (pow.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) 3/2) y)))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 3/2) (.f64 y y))))
(*.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3/2) y) y)))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 (.f64 3/2 y)) y)))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (pow.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) 3/2) y)))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 3/2) (.f64 y y))))
(*.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3/2) y) y)))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 (.f64 3/2 y)) y)))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (pow.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) 3/2) y)))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 3/2) (.f64 y y))))
(*.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3/2) y) y)))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 (.f64 3/2 y)) y)))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (pow.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) 3/2) y)))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 3/2) (.f64 y y))))
(*.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3/2) y) y)))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 (.f64 3/2 y)) y)))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (pow.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) 3/2) y)))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 3/2) (.f64 y y))))
(*.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3/2) y) y)))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 (.f64 3/2 y)) y)))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (pow.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) 3/2) y)))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 3/2) (.f64 y y))))
(*.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3/2) y) y)))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 (.f64 3/2 y)) y)))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (pow.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) 3/2) y)))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 3/2) (.f64 y y))))
(*.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3/2) y) y)))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 (.f64 3/2 y)) y)))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (pow.f64 (exp.f64 (.f64 (log.f64 (pow.f64 (exp.f64 y) 3/2)) y)) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) 3/2) y)))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 3/2) (.f64 y y))))
(*.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 3/2) y) y)))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 (.f64 3/2 y)) y)))
1
(+.f64 1 (*.f64 3/2 y))
(fma.f64 3/2 y 1)
(+.f64 1 (+.f64 (.f64 3/2 y) (.f64 9/8 (pow.f64 y 2))))
(+.f64 1 (fma.f64 3/2 y (.f64 (.f64 y y) 9/8)))
(+.f64 1 (fma.f64 3/2 y (.f64 y (.f64 y 9/8))))
(fma.f64 3/2 y (fma.f64 y (*.f64 y 9/8) 1))
(+.f64 1 (+.f64 (.f64 3/2 y) (+.f64 (.f64 9/16 (pow.f64 y 3)) (*.f64 9/8 (pow.f64 y 2)))))
(+.f64 1 (fma.f64 3/2 y (fma.f64 9/16 (pow.f64 y 3) (.f64 (.f64 y y) 9/8))))
(+.f64 1 (fma.f64 3/2 y (fma.f64 (.f64 y y) 9/8 (.f64 9/16 (pow.f64 y 3)))))
(+.f64 (fma.f64 3/2 y 1) (.f64 (.f64 y y) (+.f64 9/8 (*.f64 y 9/16))))
(+.f64 1 (.f64 y (+.f64 3/2 (.f64 y (+.f64 9/8 (*.f64 y 9/16))))))
(exp.f64 (*.f64 3/2 y))
(pow.f64 (exp.f64 3/2) y)
(pow.f64 (exp.f64 y) 3/2)
(exp.f64 (*.f64 3/2 y))
(pow.f64 (exp.f64 3/2) y)
(pow.f64 (exp.f64 y) 3/2)
(exp.f64 (*.f64 3/2 y))
(pow.f64 (exp.f64 3/2) y)
(pow.f64 (exp.f64 y) 3/2)
(exp.f64 (*.f64 3/2 y))
(pow.f64 (exp.f64 3/2) y)
(pow.f64 (exp.f64 y) 3/2)
(exp.f64 (*.f64 3/2 y))
(pow.f64 (exp.f64 3/2) y)
(pow.f64 (exp.f64 y) 3/2)
(exp.f64 (*.f64 3/2 y))
(pow.f64 (exp.f64 3/2) y)
(pow.f64 (exp.f64 y) 3/2)
(exp.f64 (*.f64 3/2 y))
(pow.f64 (exp.f64 3/2) y)
(pow.f64 (exp.f64 y) 3/2)
(exp.f64 (*.f64 3/2 y))
(pow.f64 (exp.f64 3/2) y)
(pow.f64 (exp.f64 y) 3/2)

prune113.0ms (5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	109	1	110
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	109	4	113

Error

0.0b

Counts

113 → 4

Alt Table

Status	Error	Program
	40.9b	(cbrt.f64 (*.f64 (pow.f64 (pow.f64 (exp.f64 y) y) 3) (pow.f64 x 3)))
▶	0.0b	(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 (*.f64 3/2 y)) y))))
✓	0.0b	(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) 3/2) y))))
	0.8b	(+.f64 (.f64 (pow.f64 y 2) x) (+.f64 (.f64 1/2 (*.f64 (pow.f64 y 4) x)) x))

Compiler

Compiled 1773 to 869 computations (51% saved)

localize12.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(exp.f64 (*.f64 3/2 y))
	0.0b	(sqrt.f64 (exp.f64 y))
✓	0.0b	(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 (*.f64 3/2 y)) y))))
✓	0.0b	(pow.f64 (exp.f64 (*.f64 3/2 y)) y)

series26.0ms (1.2%)

Counts

3 → 40

Calls

12 calls:

Time	Variable		Point	Expression
19.0ms	x	@	0	(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 (*.f64 3/2 y)) y))))
2.0ms	y	@	inf	(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 (*.f64 3/2 y)) y))))
2.0ms	y	@	-inf	(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 (*.f64 3/2 y)) y))))
1.0ms	x	@	inf	(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 (*.f64 3/2 y)) y))))
1.0ms	y	@	0	(pow.f64 (exp.f64 (*.f64 3/2 y)) y)

rewrite54.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

552×	`log-prod_binary64`
197×	`log-pow_binary64`
191×	`expm1-udef_binary64`
191×	`log1p-udef_binary64`
176×	`pow3_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	39
1	261	24
2	3177	24

Stop Event

1×	node limit

Counts

3 → 69

Calls

Call 1

Inputs
(pow.f64 (exp.f64 (*.f64 3/2 y)) y)
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 (*.f64 3/2 y)) y))))
(exp.f64 (*.f64 3/2 y))

Outputs

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

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

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

simplify57.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

379×	`*-commutative_binary64`
362×	`distribute-lft-out_binary64`
284×	`unswap-sqr_binary64`
221×	`associate-/l/_binary64`
213×	`fma-def_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	52	702
1	135	698
2	352	687
3	1192	685
4	2039	685
5	3471	685
6	4848	685

Stop Event

1×	node limit

Counts

109 → 93

Calls

Call 1

Inputs
1
(+.f64 1 (*.f64 3/2 (pow.f64 y 2)))
(+.f64 1 (+.f64 (.f64 3/2 (pow.f64 y 2)) (.f64 9/8 (pow.f64 y 4))))
(+.f64 1 (+.f64 (.f64 3/2 (pow.f64 y 2)) (+.f64 (.f64 9/8 (pow.f64 y 4)) (*.f64 9/16 (pow.f64 y 6)))))
(exp.f64 (*.f64 3/2 (pow.f64 y 2)))
(exp.f64 (*.f64 3/2 (pow.f64 y 2)))
(exp.f64 (*.f64 3/2 (pow.f64 y 2)))
(exp.f64 (*.f64 3/2 (pow.f64 y 2)))
(exp.f64 (*.f64 3/2 (pow.f64 y 2)))
(exp.f64 (*.f64 3/2 (pow.f64 y 2)))
(exp.f64 (*.f64 3/2 (pow.f64 y 2)))
(exp.f64 (*.f64 3/2 (pow.f64 y 2)))
x
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(+.f64 (.f64 (pow.f64 y 2) x) (+.f64 (.f64 1/2 (*.f64 (pow.f64 y 4) x)) x))
(+.f64 (.f64 1/6 (.f64 (pow.f64 y 6) x)) (+.f64 (.f64 (pow.f64 y 2) x) (+.f64 (.f64 1/2 (*.f64 (pow.f64 y 4) x)) x)))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
1
(+.f64 1 (*.f64 3/2 y))
(+.f64 1 (+.f64 (.f64 3/2 y) (.f64 9/8 (pow.f64 y 2))))
(+.f64 1 (+.f64 (.f64 3/2 y) (+.f64 (.f64 9/16 (pow.f64 y 3)) (*.f64 9/8 (pow.f64 y 2)))))

Outputs
1
(+.f64 1 (*.f64 3/2 (pow.f64 y 2)))
(+.f64 1 (.f64 3/2 (.f64 y y)))
(fma.f64 3/2 (*.f64 y y) 1)
(fma.f64 y (*.f64 3/2 y) 1)
(+.f64 1 (+.f64 (.f64 3/2 (pow.f64 y 2)) (.f64 9/8 (pow.f64 y 4))))
(+.f64 1 (fma.f64 3/2 (.f64 y y) (.f64 9/8 (pow.f64 y 4))))
(fma.f64 3/2 (*.f64 y y) (fma.f64 9/8 (pow.f64 y 4) 1))
(fma.f64 9/8 (pow.f64 y 4) (fma.f64 3/2 (*.f64 y y) 1))
(fma.f64 9/8 (pow.f64 y 4) (fma.f64 y (*.f64 3/2 y) 1))
(+.f64 1 (+.f64 (.f64 3/2 (pow.f64 y 2)) (+.f64 (.f64 9/8 (pow.f64 y 4)) (*.f64 9/16 (pow.f64 y 6)))))
(+.f64 1 (fma.f64 3/2 (.f64 y y) (fma.f64 9/8 (pow.f64 y 4) (.f64 9/16 (pow.f64 y 6)))))
(+.f64 (fma.f64 3/2 (.f64 y y) 1) (fma.f64 9/16 (pow.f64 y 6) (.f64 9/8 (pow.f64 y 4))))
(+.f64 (fma.f64 3/2 (.f64 y y) (.f64 9/8 (pow.f64 y 4))) (fma.f64 9/16 (pow.f64 y 6) 1))
(+.f64 (fma.f64 3/2 (.f64 y y) 1) (fma.f64 9/8 (pow.f64 y 4) (.f64 9/16 (pow.f64 y 6))))
(exp.f64 (*.f64 3/2 (pow.f64 y 2)))
(pow.f64 (exp.f64 3/2) (*.f64 y y))
(pow.f64 (exp.f64 y) (*.f64 3/2 y))
(exp.f64 (*.f64 3/2 (pow.f64 y 2)))
(pow.f64 (exp.f64 3/2) (*.f64 y y))
(pow.f64 (exp.f64 y) (*.f64 3/2 y))
(exp.f64 (*.f64 3/2 (pow.f64 y 2)))
(pow.f64 (exp.f64 3/2) (*.f64 y y))
(pow.f64 (exp.f64 y) (*.f64 3/2 y))
(exp.f64 (*.f64 3/2 (pow.f64 y 2)))
(pow.f64 (exp.f64 3/2) (*.f64 y y))
(pow.f64 (exp.f64 y) (*.f64 3/2 y))
(exp.f64 (*.f64 3/2 (pow.f64 y 2)))
(pow.f64 (exp.f64 3/2) (*.f64 y y))
(pow.f64 (exp.f64 y) (*.f64 3/2 y))
(exp.f64 (*.f64 3/2 (pow.f64 y 2)))
(pow.f64 (exp.f64 3/2) (*.f64 y y))
(pow.f64 (exp.f64 y) (*.f64 3/2 y))
(exp.f64 (*.f64 3/2 (pow.f64 y 2)))
(pow.f64 (exp.f64 3/2) (*.f64 y y))
(pow.f64 (exp.f64 y) (*.f64 3/2 y))
(exp.f64 (*.f64 3/2 (pow.f64 y 2)))
(pow.f64 (exp.f64 3/2) (*.f64 y y))
(pow.f64 (exp.f64 y) (*.f64 3/2 y))
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) (+.f64 (.f64 1/2 (*.f64 (pow.f64 y 4) x)) x))
(fma.f64 (.f64 y y) x (fma.f64 1/2 (.f64 (pow.f64 y 4) x) x))
(fma.f64 x (fma.f64 y y (*.f64 (pow.f64 y 4) 1/2)) x)
(+.f64 (.f64 1/6 (.f64 (pow.f64 y 6) x)) (+.f64 (.f64 (pow.f64 y 2) x) (+.f64 (.f64 1/2 (*.f64 (pow.f64 y 4) x)) x)))
(fma.f64 1/6 (.f64 (pow.f64 y 6) x) (fma.f64 (.f64 y y) x (fma.f64 1/2 (*.f64 (pow.f64 y 4) x) x)))
(fma.f64 (.f64 (pow.f64 y 6) 1/6) x (fma.f64 (.f64 y y) x (fma.f64 1/2 (*.f64 (pow.f64 y 4) x) x)))
(fma.f64 (pow.f64 y 6) (.f64 x 1/6) (fma.f64 x (fma.f64 y y (.f64 (pow.f64 y 4) 1/2)) x))
(.f64 x (+.f64 (fma.f64 (pow.f64 y 4) 1/2 1) (fma.f64 (pow.f64 y 6) 1/6 (.f64 y y))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) x) (pow.f64 (exp.f64 (*.f64 3/2 (pow.f64 y 2))) 1/3))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 3/2) (*.f64 y y)))))
(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (exp.f64 y) (*.f64 3/2 y)))))
1
(+.f64 1 (*.f64 3/2 y))
(fma.f64 3/2 y 1)
(+.f64 1 (+.f64 (.f64 3/2 y) (.f64 9/8 (pow.f64 y 2))))
(+.f64 1 (fma.f64 3/2 y (.f64 (.f64 y y) 9/8)))
(fma.f64 y (*.f64 y 9/8) (fma.f64 3/2 y 1))
(+.f64 1 (+.f64 (.f64 3/2 y) (+.f64 (.f64 9/16 (pow.f64 y 3)) (*.f64 9/8 (pow.f64 y 2)))))
(+.f64 1 (fma.f64 3/2 y (fma.f64 9/16 (pow.f64 y 3) (.f64 (.f64 y y) 9/8))))
(+.f64 (fma.f64 3/2 y 1) (.f64 (.f64 y y) (+.f64 9/8 (*.f64 y 9/16))))
(+.f64 1 (.f64 y (+.f64 (.f64 y (+.f64 9/8 (*.f64 y 9/16))) 3/2)))
(+.f64 1 (.f64 y (+.f64 3/2 (.f64 y (+.f64 9/8 (*.f64 y 9/16))))))

prune101.0ms (4.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	120	1	121
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	121	4	125

Error

0.0b

Counts

125 → 4

Alt Table

Status	Error	Program
	40.9b	(cbrt.f64 (*.f64 (pow.f64 (pow.f64 (exp.f64 y) y) 3) (pow.f64 x 3)))
✓	0.0b	(.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (.f64 x (cbrt.f64 (pow.f64 (exp.f64 (*.f64 3/2 y)) y))))
✓	0.0b	(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) 3/2) y))))
	0.8b	(fma.f64 x (fma.f64 y y (*.f64 (pow.f64 y 4) 1/2)) x)

Compiler

Compiled 2213 to 1139 computations (48.5% saved)

regimes236.0ms (10.4%)

Accuracy

Total 0.0b remaining (59%)

Threshold costs 0.0b (59%)

Counts

84 → 1

Compiler

Compiled 835 to 362 computations (56.6% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	24
1	14	24

Stop Event

1×

saturated

Calls

Call 1

Inputs
(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) 3/2) y))))

Outputs
(.f64 x (.f64 (pow.f64 (sqrt.f64 (exp.f64 y)) y) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) 3/2) y))))

end80.0ms (3.5%)

Stop Event

1×

fuel

Compiler

Compiled 94 to 63 computations (33% saved)

Details

analyze111.0ms (4.9%)

sample769.0ms (34%)

preprocess44.0ms (2%)

simplify42.0ms (1.9%)

prune2.0ms (0.1%)

localize5.0ms (0.2%)

series45.0ms (2%)

rewrite36.0ms (1.6%)

simplify48.0ms (2.1%)

prune32.0ms (1.4%)

localize7.0ms (0.3%)

series32.0ms (1.4%)

rewrite45.0ms (2%)

simplify54.0ms (2.4%)

prune125.0ms (5.5%)

localize12.0ms (0.5%)

series77.0ms (3.4%)

rewrite54.0ms (2.4%)

simplify44.0ms (1.9%)

prune113.0ms (5%)

localize12.0ms (0.5%)

series26.0ms (1.2%)

rewrite54.0ms (2.4%)

simplify57.0ms (2.5%)

prune101.0ms (4.4%)

regimes236.0ms (10.4%)

simplify2.0ms (0.1%)

end80.0ms (3.5%)

Profiling