Details

analyze3.0ms (0.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
50%	50%	50%	0%	0%	0%	0%	3
66.7%	50%	25%	0%	25%	0%	0%	4
80%	50%	12.5%	0%	37.5%	0%	0%	5
90%	56.2%	6.2%	0%	37.5%	0%	0%	6
95%	59.3%	3.1%	0%	37.5%	0%	0%	7
97.5%	60.9%	1.6%	0%	37.5%	0%	0%	8
98.8%	61.7%	0.8%	0%	37.5%	0%	0%	9
99.4%	62.1%	0.4%	0%	37.5%	0%	0%	10
99.7%	62.3%	0.2%	0%	37.5%	0%	0%	11
99.8%	62.4%	0.1%	0%	37.5%	0%	0%	12

Compiler

Compiled 9 to 5 computations (44.4% saved)

sample802.0ms (23.1%)

Results

787.0ms	8256×	body	256	valid
0.0ms	2×	body	256	infinite

Bogosity

preprocess237.0ms (6.8%)

Algorithm

2×

egglog

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Outputs
(.f64 (.f64 (*.f64 d1 d1) d1) d1)
(pow.f64 (*.f64 d1 d1) 2)

Compiler

Compiled 9 to 5 computations (44.4% saved)

simplify119.0ms (3.4%)

Algorithm

1×

egglog

Counts

1 → 2

Calls

Call 1

Inputs
(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Outputs
(.f64 (.f64 (*.f64 d1 d1) d1) d1)
(pow.f64 (*.f64 d1 d1) 2)

eval0.0ms (0%)

Compiler: Compiled 13 to 6 computations (53.8% saved)

prune1.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.1b

Counts

3 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.2b	(pow.f64 (*.f64 d1 d1) 2)
▶	0.1b	(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Compiler

Compiled 14 to 8 computations (42.9% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
✓	0.1b	(.f64 (.f64 d1 d1) d1)

Compiler

Compiled 17 to 4 computations (76.5% saved)

series39.0ms (1.1%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	d1	@	0	(.f64 (.f64 d1 d1) d1)
1.0ms	d1	@	inf	(.f64 (.f64 d1 d1) d1)
0.0ms	d1	@	0	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
0.0ms	d1	@	-inf	(.f64 (.f64 d1 d1) d1)
0.0ms	d1	@	inf	(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Compiler

Compiled 570 to 450 computations (21.1% saved)

rewrite169.0ms (4.9%)

Algorithm

1×	batch-egg-rewrite

Rules

64×	`egg-rr`
45×	`egg-rr`

Counts

2 → 109

Calls

Call 1

Inputs
(.f64 (.f64 d1 d1) d1)
(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 -1 0) (pow.f64 d1 3) (pow.f64 d1 3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 2 0) (pow.f64 d1 3) (pow.f64 d1 3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 d1 3) 0) (/.f64 1 (pow.f64 (pow.f64 d1 3) -1)) (pow.f64 d1 3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 d1 0) (/.f64 1 (pow.f64 d1 -3)) (pow.f64 d1 3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 (pow.f64 d1 3) 3) 0) (/.f64 1 (pow.f64 (pow.f64 (pow.f64 d1 3) 3) -1/3)) (pow.f64 d1 3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 1 0) (pow.f64 d1 3) (pow.f64 d1 3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 d1 3) (.f64 (pow.f64 d1 3) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 d1 3) 1/2) (.f64 (pow.f64 d1 3) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 d1 3) (.f64 0 (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 1/2 (pow.f64 d1 3)) (.f64 1/2 (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 d1 (.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 d1 d1) d1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (.f64 (cbrt.f64 d1) d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 d1 d1)) (.f64 (cbrt.f64 d1) (.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 d1) (pow.f64 (.f64 (cbrt.f64 d1) d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 d1) (.f64 d1 d1)) (cbrt.f64 (.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 d1) d1) (.f64 d1 (cbrt.f64 (.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) (cbrt.f64 d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 d1)) (pow.f64 (.f64 (.f64 (cbrt.f64 d1) d1) (cbrt.f64 (cbrt.f64 d1))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (.f64 d1 d1))) (.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) (.f64 (cbrt.f64 d1) (.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 d1 d1) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)) (.f64 (.f64 d1 d1) (cbrt.f64 (cbrt.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) (.f64 (cbrt.f64 d1) (.f64 d1 d1))) (cbrt.f64 (cbrt.f64 (.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 (.f64 (cbrt.f64 d1) d1) (cbrt.f64 (cbrt.f64 d1))) 2) (cbrt.f64 (cbrt.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 d1 3) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (cbrt.f64 d1) (.f64 d1 d1))) (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 d1 (pow.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 d1)) 2))) (cbrt.f64 (.f64 (cbrt.f64 d1) d1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) (cbrt.f64 (.f64 d1 (pow.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 d1)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2) (cbrt.f64 (.f64 (cbrt.f64 d1) (.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 d1)) (pow.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1)))) (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 (.f64 d1 d1)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (.f64 d1 d1))) (cbrt.f64 (.f64 (pow.f64 (.f64 d1 d1) 3) (.f64 (cbrt.f64 d1) (.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (pow.f64 (.f64 d1 d1) 3) (.f64 (cbrt.f64 d1) (.f64 d1 d1)))) (cbrt.f64 (cbrt.f64 (.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (pow.f64 d1 3))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 d1 3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 d1 3) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 d1 3) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (pow.f64 d1 3)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 d1 3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 d1 3) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 d1 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 d1 3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (.f64 -1 (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 (pow.f64 d1 3) -1))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 d1 3) 3))))))
((#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 -1 0) (pow.f64 (.f64 d1 d1) 2) (pow.f64 (.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 2 0) (pow.f64 (.f64 d1 d1) 2) (pow.f64 (.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 (.f64 d1 d1) 2) 0) (/.f64 1 (pow.f64 (pow.f64 (.f64 d1 d1) 2) -1)) (pow.f64 (.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 (cbrt.f64 d1) d1) 0) (/.f64 1 (pow.f64 (.f64 (cbrt.f64 d1) d1) -3)) (pow.f64 (.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 (pow.f64 (.f64 d1 d1) 2) 3) 0) (/.f64 1 (pow.f64 (pow.f64 (pow.f64 (.f64 d1 d1) 2) 3) -1/3)) (pow.f64 (.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 1 0) (pow.f64 (.f64 d1 d1) 2) (pow.f64 (.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (.f64 d1 d1) 2) (.f64 (pow.f64 (.f64 d1 d1) 2) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 (.f64 d1 d1) 2) 1/2) (.f64 (pow.f64 (.f64 d1 d1) 2) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (.f64 d1 d1) 2) (.f64 0 (pow.f64 (.f64 d1 d1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 1/2 (pow.f64 (.f64 d1 d1) 2)) (.f64 1/2 (pow.f64 (.f64 d1 d1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 d1 d1) (.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 d1 (pow.f64 d1 3))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 d1 3) d1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)) (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)) (pow.f64 d1 3)) (cbrt.f64 (cbrt.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 d1) (.f64 (cbrt.f64 (.f64 d1 d1)) (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) (.f64 (cbrt.f64 d1) d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1)))) (.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 (.f64 (cbrt.f64 d1) d1) (cbrt.f64 (cbrt.f64 d1))) 2) (.f64 d1 (cbrt.f64 (cbrt.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 d1) d1) (pow.f64 (.f64 (cbrt.f64 d1) d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (.f64 (cbrt.f64 d1) (.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 d1) (.f64 d1 d1)) (.f64 d1 (cbrt.f64 (.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (.f64 d1 d1)) (pow.f64 d1 3)) (cbrt.f64 d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) (pow.f64 (.f64 (.f64 (cbrt.f64 d1) d1) (cbrt.f64 (cbrt.f64 d1))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 d1)) (cbrt.f64 (.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) (pow.f64 (pow.f64 d1 3) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (cbrt.f64 d1) (.f64 d1 d1))) (cbrt.f64 (.f64 (pow.f64 (pow.f64 d1 3) 3) (cbrt.f64 (.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) 2) 2)) (cbrt.f64 (.f64 (cbrt.f64 d1) d1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) 2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (pow.f64 (pow.f64 d1 3) 3) (cbrt.f64 (.f64 d1 d1)))) (cbrt.f64 (.f64 (cbrt.f64 d1) (.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) (cbrt.f64 (cbrt.f64 d1))) (.f64 d1 (cbrt.f64 (cbrt.f64 (.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) (pow.f64 d1 3))) (cbrt.f64 (cbrt.f64 (.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 d1) (.f64 (.f64 d1 d1) (cbrt.f64 (cbrt.f64 d1)))) (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) (.f64 d1 d1)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 d1) (.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) (.f64 d1 d1)) 2)))) (cbrt.f64 (.f64 (cbrt.f64 d1) d1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 d1) (.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (.f64 d1 (cbrt.f64 (cbrt.f64 d1))))) (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 d1) (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 (.f64 d1 d1)))) 2)) (.f64 d1 (cbrt.f64 (cbrt.f64 (.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (.f64 d1 d1) 2) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)) (.f64 (pow.f64 d1 3) (cbrt.f64 (cbrt.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 d1))) (.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (cbrt.f64 (cbrt.f64 d1)))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 d1))) (.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (cbrt.f64 (cbrt.f64 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 (cbrt.f64 (.f64 d1 d1)))) (.f64 (.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 (cbrt.f64 (.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 d1 3) (cbrt.f64 d1)) (cbrt.f64 (.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 d1 d1)) (.f64 (pow.f64 d1 3) (cbrt.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (.f64 d1 d1))) (pow.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)) d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)) d1) 2) (cbrt.f64 (cbrt.f64 (.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) (pow.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2) (cbrt.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) 2)) (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) (.f64 d1 d1)) 2)) (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 (.f64 d1 d1)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (pow.f64 (.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 d1 d1) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 d1 d1) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 (.f64 (pow.f64 (.f64 (cbrt.f64 d1) (.f64 d1 d1)) 2) d1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 d1) (.f64 d1 (cbrt.f64 (cbrt.f64 (.f64 d1 d1))))) (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 (.f64 d1 d1)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (.f64 d1 d1) 2) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 (.f64 d1 d1)))) 2) (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) (.f64 d1 d1)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 (.f64 d1 d1) 2) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (pow.f64 (.f64 d1 d1) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (.f64 d1 d1) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 (.f64 d1 d1) 2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 d1 d1) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (cbrt.f64 d1) d1) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 d1 d1) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (.f64 -1 (pow.f64 (.f64 d1 d1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (.f64 (pow.f64 (.f64 d1 d1) 2) -1))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (.f64 d1 d1) 2) 3))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 -1 0) (pow.f64 d1 3) (pow.f64 d1 3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 2 0) (pow.f64 d1 3) (pow.f64 d1 3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 d1 3) 0) (/.f64 1 (pow.f64 (pow.f64 d1 3) -1)) (pow.f64 d1 3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 d1 0) (/.f64 1 (pow.f64 d1 -3)) (pow.f64 d1 3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 (pow.f64 d1 3) 3) 0) (/.f64 1 (pow.f64 (pow.f64 (pow.f64 d1 3) 3) -1/3)) (pow.f64 d1 3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 1 0) (pow.f64 d1 3) (pow.f64 d1 3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 d1 3) (*.f64 (pow.f64 d1 3) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 d1 3) 1/2) (*.f64 (pow.f64 d1 3) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 d1 3) (*.f64 0 (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1/2 (pow.f64 d1 3)) (*.f64 1/2 (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 d1 (*.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 d1) d1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (cbrt.f64 (*.f64 d1 d1))) (*.f64 (cbrt.f64 d1) d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 d1 d1)) (*.f64 (cbrt.f64 d1) (*.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 d1) (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 d1) (*.f64 d1 d1)) (cbrt.f64 (*.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 d1) d1) (*.f64 d1 (cbrt.f64 (*.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) (cbrt.f64 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 d1)) (pow.f64 (*.f64 (*.f64 (cbrt.f64 d1) d1) (cbrt.f64 (cbrt.f64 d1))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 d1 d1))) (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 d1) d1)) (*.f64 (cbrt.f64 d1) (*.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 d1 d1) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2)) (*.f64 (*.f64 d1 d1) (cbrt.f64 (cbrt.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 d1) d1)) (*.f64 (cbrt.f64 d1) (*.f64 d1 d1))) (cbrt.f64 (cbrt.f64 (*.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (*.f64 (cbrt.f64 d1) d1) (cbrt.f64 (cbrt.f64 d1))) 2) (cbrt.f64 (cbrt.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 d1 3) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (cbrt.f64 d1) (*.f64 d1 d1))) (pow.f64 (*.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 d1 (pow.f64 (*.f64 (pow.f64 d1 3) (cbrt.f64 d1)) 2))) (cbrt.f64 (*.f64 (cbrt.f64 d1) d1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (cbrt.f64 d1) d1)) (cbrt.f64 (*.f64 d1 (pow.f64 (*.f64 (pow.f64 d1 3) (cbrt.f64 d1)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2) (cbrt.f64 (*.f64 (cbrt.f64 d1) (*.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 d1)) (pow.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 d1) d1)) d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 d1 (cbrt.f64 (*.f64 d1 d1)))) (pow.f64 (*.f64 d1 (cbrt.f64 (cbrt.f64 (*.f64 d1 d1)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 d1 d1))) (cbrt.f64 (*.f64 (pow.f64 (*.f64 d1 d1) 3) (*.f64 (cbrt.f64 d1) (*.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (pow.f64 (*.f64 d1 d1) 3) (*.f64 (cbrt.f64 d1) (*.f64 d1 d1)))) (cbrt.f64 (cbrt.f64 (*.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 d1 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 d1 3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 d1 3) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 d1 3) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (pow.f64 d1 3)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 d1 3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 d1 3) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 d1 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 d1 3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 -1 (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 (pow.f64 d1 3) -1))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 d1 3) 3))))))

((#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 -1 0) (pow.f64 (*.f64 d1 d1) 2) (pow.f64 (*.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 2 0) (pow.f64 (*.f64 d1 d1) 2) (pow.f64 (*.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 (*.f64 d1 d1) 2) 0) (/.f64 1 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) -1)) (pow.f64 (*.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 (cbrt.f64 d1) d1) 0) (/.f64 1 (pow.f64 (*.f64 (cbrt.f64 d1) d1) -3)) (pow.f64 (*.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 3) 0) (/.f64 1 (pow.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 3) -1/3)) (pow.f64 (*.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 1 0) (pow.f64 (*.f64 d1 d1) 2) (pow.f64 (*.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (*.f64 d1 d1) 2) (*.f64 (pow.f64 (*.f64 d1 d1) 2) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 (*.f64 d1 d1) 2) 1/2) (*.f64 (pow.f64 (*.f64 d1 d1) 2) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (*.f64 d1 d1) 2) (*.f64 0 (pow.f64 (*.f64 d1 d1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1/2 (pow.f64 (*.f64 d1 d1) 2)) (*.f64 1/2 (pow.f64 (*.f64 d1 d1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 d1) (*.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 d1 (pow.f64 d1 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 d1 3) d1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 d1)) (*.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2)) (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2)) (pow.f64 d1 3)) (cbrt.f64 (cbrt.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 d1) (*.f64 (cbrt.f64 (*.f64 d1 d1)) (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) (*.f64 (cbrt.f64 d1) d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 d1 (cbrt.f64 (*.f64 d1 d1)))) (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 d1) d1)) (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (*.f64 (cbrt.f64 d1) d1) (cbrt.f64 (cbrt.f64 d1))) 2) (*.f64 d1 (cbrt.f64 (cbrt.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 d1) d1) (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (cbrt.f64 (*.f64 d1 d1))) (*.f64 (cbrt.f64 d1) (*.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 d1) (*.f64 d1 d1)) (*.f64 d1 (cbrt.f64 (*.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (*.f64 d1 d1)) (pow.f64 d1 3)) (cbrt.f64 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (cbrt.f64 (cbrt.f64 d1))) (pow.f64 (*.f64 (*.f64 (cbrt.f64 d1) d1) (cbrt.f64 (cbrt.f64 d1))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 d1)) (cbrt.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) (pow.f64 (pow.f64 d1 3) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (cbrt.f64 d1) (*.f64 d1 d1))) (cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 3) 3) (cbrt.f64 (*.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) 2) 2)) (cbrt.f64 (*.f64 (cbrt.f64 d1) d1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (cbrt.f64 d1) d1)) (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) 2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 3) 3) (cbrt.f64 (*.f64 d1 d1)))) (cbrt.f64 (*.f64 (cbrt.f64 d1) (*.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) (cbrt.f64 (cbrt.f64 d1))) (*.f64 d1 (cbrt.f64 (cbrt.f64 (*.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 d1) (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 d1) d1)) (pow.f64 d1 3))) (cbrt.f64 (cbrt.f64 (*.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 d1) (*.f64 (*.f64 d1 d1) (cbrt.f64 (cbrt.f64 d1)))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) (*.f64 d1 d1)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 d1) (*.f64 (*.f64 d1 (cbrt.f64 (*.f64 d1 d1))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) (*.f64 d1 d1)) 2)))) (cbrt.f64 (*.f64 (cbrt.f64 d1) d1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 d1) (*.f64 (*.f64 d1 (cbrt.f64 (*.f64 d1 d1))) (*.f64 d1 (cbrt.f64 (cbrt.f64 d1))))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 d1) (pow.f64 (*.f64 d1 (cbrt.f64 (cbrt.f64 (*.f64 d1 d1)))) 2)) (*.f64 d1 (cbrt.f64 (cbrt.f64 (*.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (*.f64 d1 d1) 2) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2)) (*.f64 (pow.f64 d1 3) (cbrt.f64 (cbrt.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 d1 d1))) (*.f64 (*.f64 d1 (cbrt.f64 (*.f64 d1 d1))) (cbrt.f64 (cbrt.f64 d1)))) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 d1 d1))) (*.f64 (*.f64 d1 (cbrt.f64 (*.f64 d1 d1))) (cbrt.f64 (cbrt.f64 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (*.f64 d1 (cbrt.f64 (*.f64 d1 d1))) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 (cbrt.f64 (*.f64 d1 d1)))) (*.f64 (*.f64 (*.f64 d1 (cbrt.f64 (*.f64 d1 d1))) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 (cbrt.f64 (*.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 d1 3) (cbrt.f64 d1)) (cbrt.f64 (*.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 d1 d1)) (*.f64 (pow.f64 d1 3) (cbrt.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 d1 d1))) (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2)) d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2)) d1) 2) (cbrt.f64 (cbrt.f64 (*.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (cbrt.f64 (cbrt.f64 d1))) (pow.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 d1) d1)) d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 d1 3) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2) (cbrt.f64 (pow.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) 2)) (pow.f64 (*.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) (*.f64 d1 d1)) 2)) (pow.f64 (*.f64 d1 (cbrt.f64 (cbrt.f64 (*.f64 d1 d1)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 (*.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 d1 d1) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 d1 d1) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 d1) (*.f64 d1 d1)) 2) d1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 d1) (*.f64 d1 (cbrt.f64 (cbrt.f64 (*.f64 d1 d1))))) (pow.f64 (*.f64 d1 (cbrt.f64 (cbrt.f64 (*.f64 d1 d1)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (*.f64 d1 d1) 2) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 d1 (cbrt.f64 (cbrt.f64 (*.f64 d1 d1)))) 2) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) (*.f64 d1 d1)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 (*.f64 d1 d1) 2) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (pow.f64 (*.f64 d1 d1) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (*.f64 d1 d1) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 d1) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (cbrt.f64 d1) d1) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 d1 d1) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 -1 (pow.f64 (*.f64 d1 d1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 (pow.f64 (*.f64 d1 d1) 2) -1))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 3))))))

simplify327.0ms (9.4%)

Algorithm

1×

egglog

Counts

133 → 128

Calls

Call 1

Inputs
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 (/.f64 1 d1) -3)
(pow.f64 (/.f64 1 d1) -3)
(pow.f64 (/.f64 1 d1) -3)
(pow.f64 (/.f64 1 d1) -3)
(*.f64 -1 (pow.f64 (/.f64 -1 d1) -3))
(*.f64 -1 (pow.f64 (/.f64 -1 d1) -3))
(*.f64 -1 (pow.f64 (/.f64 -1 d1) -3))
(*.f64 -1 (pow.f64 (/.f64 -1 d1) -3))
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 (/.f64 1 d1) -4)
(pow.f64 (/.f64 1 d1) -4)
(pow.f64 (/.f64 1 d1) -4)
(pow.f64 (/.f64 1 d1) -4)
(pow.f64 (/.f64 -1 d1) -4)
(pow.f64 (/.f64 -1 d1) -4)
(pow.f64 (/.f64 -1 d1) -4)
(pow.f64 (/.f64 -1 d1) -4)
(if (!=.f64 -1 0) (pow.f64 d1 3) (pow.f64 d1 3))
(if (!=.f64 2 0) (pow.f64 d1 3) (pow.f64 d1 3))
(if (!=.f64 (pow.f64 d1 3) 0) (/.f64 1 (pow.f64 (pow.f64 d1 3) -1)) (pow.f64 d1 3))
(if (!=.f64 d1 0) (/.f64 1 (pow.f64 d1 -3)) (pow.f64 d1 3))
(if (!=.f64 (pow.f64 (pow.f64 d1 3) 3) 0) (/.f64 1 (pow.f64 (pow.f64 (pow.f64 d1 3) 3) -1/3)) (pow.f64 d1 3))
(if (!=.f64 1 0) (pow.f64 d1 3) (pow.f64 d1 3))
(+.f64 (pow.f64 d1 3) (*.f64 (pow.f64 d1 3) 0))
(+.f64 (.f64 (pow.f64 d1 3) 1/2) (.f64 (pow.f64 d1 3) 1/2))
(+.f64 (pow.f64 d1 3) (*.f64 0 (pow.f64 d1 3)))
(+.f64 (.f64 1/2 (pow.f64 d1 3)) (.f64 1/2 (pow.f64 d1 3)))
(.f64 d1 (.f64 d1 d1))
(.f64 (.f64 d1 d1) d1)
(.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (.f64 (cbrt.f64 d1) d1))
(.f64 (cbrt.f64 (.f64 d1 d1)) (.f64 (cbrt.f64 d1) (.f64 d1 d1)))
(.f64 (cbrt.f64 d1) (pow.f64 (.f64 (cbrt.f64 d1) d1) 2))
(.f64 (.f64 (cbrt.f64 d1) (.f64 d1 d1)) (cbrt.f64 (.f64 d1 d1)))
(.f64 (.f64 (cbrt.f64 d1) d1) (.f64 d1 (cbrt.f64 (.f64 d1 d1))))
(.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) (cbrt.f64 d1))
(.f64 (cbrt.f64 (cbrt.f64 d1)) (pow.f64 (.f64 (*.f64 (cbrt.f64 d1) d1) (cbrt.f64 (cbrt.f64 d1))) 2))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 d1))) (.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) (.f64 (cbrt.f64 d1) (.f64 d1 d1))))
(.f64 (.f64 (.f64 d1 d1) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)))
(.f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)) (.f64 (.f64 d1 d1) (cbrt.f64 (cbrt.f64 d1))))
(.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) (.f64 (cbrt.f64 d1) (.f64 d1 d1))) (cbrt.f64 (cbrt.f64 (.f64 d1 d1))))
(.f64 (pow.f64 (.f64 (*.f64 (cbrt.f64 d1) d1) (cbrt.f64 (cbrt.f64 d1))) 2) (cbrt.f64 (cbrt.f64 d1)))
(*.f64 (/.f64 (pow.f64 d1 3) -1) -1)
(.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) (.f64 d1 d1))) (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2))
(.f64 (cbrt.f64 (.f64 d1 (pow.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 d1)) 2))) (cbrt.f64 (.f64 (cbrt.f64 d1) d1)))
(.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) (cbrt.f64 (.f64 d1 (pow.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 d1)) 2))))
(.f64 (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2) (cbrt.f64 (.f64 (cbrt.f64 d1) (.f64 d1 d1))))
(.f64 (cbrt.f64 (cbrt.f64 d1)) (pow.f64 (.f64 (cbrt.f64 (*.f64 (cbrt.f64 d1) d1)) d1) 2))
(.f64 (cbrt.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1)))) (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 (*.f64 d1 d1)))) 2))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 d1))) (cbrt.f64 (.f64 (pow.f64 (.f64 d1 d1) 3) (.f64 (cbrt.f64 d1) (.f64 d1 d1)))))
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 d1 d1) 3) (.f64 (cbrt.f64 d1) (.f64 d1 d1)))) (cbrt.f64 (cbrt.f64 (.f64 d1 d1))))
(*.f64 1 (pow.f64 d1 3))
(*.f64 (pow.f64 d1 3) 1)
(*.f64 (/.f64 (pow.f64 d1 3) 2) 2)
(/.f64 (*.f64 (pow.f64 d1 3) -1) -1)
(/.f64 (neg.f64 (pow.f64 d1 3)) -1)
(/.f64 (pow.f64 d1 3) 1)
(pow.f64 (pow.f64 (pow.f64 d1 3) 3) 1/3)
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 3) 1)
(neg.f64 (*.f64 -1 (pow.f64 d1 3)))
(neg.f64 (*.f64 (pow.f64 d1 3) -1))
(cbrt.f64 (pow.f64 (pow.f64 d1 3) 3))
(if (!=.f64 -1 0) (pow.f64 (.f64 d1 d1) 2) (pow.f64 (.f64 d1 d1) 2))
(if (!=.f64 2 0) (pow.f64 (.f64 d1 d1) 2) (pow.f64 (.f64 d1 d1) 2))
(if (!=.f64 (pow.f64 (.f64 d1 d1) 2) 0) (/.f64 1 (pow.f64 (pow.f64 (.f64 d1 d1) 2) -1)) (pow.f64 (*.f64 d1 d1) 2))
(if (!=.f64 (.f64 (cbrt.f64 d1) d1) 0) (/.f64 1 (pow.f64 (.f64 (cbrt.f64 d1) d1) -3)) (pow.f64 (*.f64 d1 d1) 2))
(if (!=.f64 (pow.f64 (pow.f64 (.f64 d1 d1) 2) 3) 0) (/.f64 1 (pow.f64 (pow.f64 (pow.f64 (.f64 d1 d1) 2) 3) -1/3)) (pow.f64 (*.f64 d1 d1) 2))
(if (!=.f64 1 0) (pow.f64 (.f64 d1 d1) 2) (pow.f64 (.f64 d1 d1) 2))
(+.f64 (pow.f64 (.f64 d1 d1) 2) (.f64 (pow.f64 (*.f64 d1 d1) 2) 0))
(+.f64 (.f64 (pow.f64 (.f64 d1 d1) 2) 1/2) (.f64 (pow.f64 (.f64 d1 d1) 2) 1/2))
(+.f64 (pow.f64 (.f64 d1 d1) 2) (.f64 0 (pow.f64 (*.f64 d1 d1) 2)))
(+.f64 (.f64 1/2 (pow.f64 (.f64 d1 d1) 2)) (.f64 1/2 (pow.f64 (.f64 d1 d1) 2)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(*.f64 d1 (pow.f64 d1 3))
(*.f64 (pow.f64 d1 3) d1)
(.f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2)) (pow.f64 d1 3)))
(.f64 (.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2)) (pow.f64 d1 3)) (cbrt.f64 (cbrt.f64 d1)))
(.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 (*.f64 d1 d1)) (pow.f64 d1 3)))
(.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) (*.f64 (cbrt.f64 d1) d1))
(.f64 (cbrt.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1)))) (.f64 (cbrt.f64 (*.f64 (cbrt.f64 d1) d1)) (pow.f64 d1 3)))
(.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 d1) d1) (cbrt.f64 (cbrt.f64 d1))) 2) (.f64 d1 (cbrt.f64 (cbrt.f64 d1))))
(.f64 (.f64 (cbrt.f64 d1) d1) (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2))
(.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (.f64 (cbrt.f64 d1) (*.f64 d1 d1)))
(.f64 (.f64 (cbrt.f64 d1) (.f64 d1 d1)) (.f64 d1 (cbrt.f64 (*.f64 d1 d1))))
(.f64 (.f64 (cbrt.f64 (*.f64 d1 d1)) (pow.f64 d1 3)) (cbrt.f64 d1))
(.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) (pow.f64 (.f64 (.f64 (cbrt.f64 d1) d1) (cbrt.f64 (cbrt.f64 d1))) 2))
(.f64 (cbrt.f64 (cbrt.f64 d1)) (cbrt.f64 (.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) (pow.f64 (pow.f64 d1 3) 3))))
(.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) (.f64 d1 d1))) (cbrt.f64 (.f64 (pow.f64 (pow.f64 d1 3) 3) (cbrt.f64 (*.f64 d1 d1)))))
(.f64 (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) 2) 2)) (cbrt.f64 (*.f64 (cbrt.f64 d1) d1)))
(.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) 2) 2)))
(.f64 (cbrt.f64 (.f64 (pow.f64 (pow.f64 d1 3) 3) (cbrt.f64 (.f64 d1 d1)))) (cbrt.f64 (.f64 (cbrt.f64 d1) (*.f64 d1 d1))))
(.f64 (.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) (cbrt.f64 (cbrt.f64 d1))) (.f64 d1 (cbrt.f64 (cbrt.f64 (*.f64 d1 d1)))))
(.f64 (.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) (pow.f64 d1 3))) (cbrt.f64 (cbrt.f64 (*.f64 d1 d1))))
(.f64 (.f64 (cbrt.f64 d1) (.f64 (.f64 d1 d1) (cbrt.f64 (cbrt.f64 d1)))) (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) (.f64 d1 d1)) 2)))
(.f64 (.f64 (cbrt.f64 d1) (.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) (.f64 d1 d1)) 2)))) (cbrt.f64 (.f64 (cbrt.f64 d1) d1)))
(.f64 (.f64 (cbrt.f64 d1) (.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (.f64 d1 (cbrt.f64 (cbrt.f64 d1))))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2)))
(.f64 (.f64 (cbrt.f64 d1) (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 (.f64 d1 d1)))) 2)) (.f64 d1 (cbrt.f64 (cbrt.f64 (.f64 d1 d1)))))
(.f64 (/.f64 (pow.f64 (.f64 d1 d1) 2) -1) -1)
(.f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)) (*.f64 (pow.f64 d1 3) (cbrt.f64 (cbrt.f64 d1))))
(.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 d1))) (.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (cbrt.f64 (cbrt.f64 d1)))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 d1))) (.f64 (.f64 d1 (cbrt.f64 (*.f64 d1 d1))) (cbrt.f64 (cbrt.f64 d1)))))
(.f64 (.f64 (.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 (cbrt.f64 (.f64 d1 d1)))) (.f64 (.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 (cbrt.f64 (*.f64 d1 d1)))))
(.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 d1)) (cbrt.f64 (*.f64 d1 d1)))
(.f64 (cbrt.f64 (.f64 d1 d1)) (*.f64 (pow.f64 d1 3) (cbrt.f64 d1)))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 d1))) (pow.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)) d1) 2))
(.f64 (pow.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)) d1) 2) (cbrt.f64 (cbrt.f64 (.f64 d1 d1))))
(.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) (pow.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) d1) 2))
(.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2)))
(.f64 (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2) (cbrt.f64 (pow.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) 2)))
(.f64 (cbrt.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) 2)) (pow.f64 (*.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2))
(.f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) (.f64 d1 d1)) 2)) (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 (*.f64 d1 d1)))) 2))
(.f64 1 (pow.f64 (.f64 d1 d1) 2))
(.f64 (pow.f64 (.f64 d1 d1) 2) 1)
(.f64 (.f64 (.f64 d1 d1) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 (.f64 (pow.f64 (.f64 (cbrt.f64 d1) (.f64 d1 d1)) 2) d1)))
(.f64 (.f64 (cbrt.f64 d1) (.f64 d1 (cbrt.f64 (cbrt.f64 (.f64 d1 d1))))) (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 (.f64 d1 d1)))) 2))
(.f64 (/.f64 (pow.f64 (.f64 d1 d1) 2) 2) 2)
(.f64 (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 (.f64 d1 d1)))) 2) (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) (*.f64 d1 d1)) 2)))
(/.f64 (.f64 (pow.f64 (.f64 d1 d1) 2) -1) -1)
(/.f64 (neg.f64 (pow.f64 (*.f64 d1 d1) 2)) -1)
(/.f64 (pow.f64 (*.f64 d1 d1) 2) 1)
(pow.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 3) 1/3)
(pow.f64 (*.f64 d1 d1) 2)
(pow.f64 (*.f64 (cbrt.f64 d1) d1) 3)
(pow.f64 (pow.f64 (*.f64 d1 d1) 2) 1)
(neg.f64 (.f64 -1 (pow.f64 (.f64 d1 d1) 2)))
(neg.f64 (.f64 (pow.f64 (.f64 d1 d1) 2) -1))
(cbrt.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 3))

Outputs
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 (/.f64 1 d1) -3)
(pow.f64 (/.f64 1 d1) -3)
(pow.f64 (/.f64 1 d1) -3)
(pow.f64 (/.f64 1 d1) -3)
(*.f64 -1 (pow.f64 (/.f64 -1 d1) -3))
(neg.f64 (pow.f64 (/.f64 -1 d1) -3))
(*.f64 -1 (pow.f64 (/.f64 -1 d1) -3))
(neg.f64 (pow.f64 (/.f64 -1 d1) -3))
(*.f64 -1 (pow.f64 (/.f64 -1 d1) -3))
(neg.f64 (pow.f64 (/.f64 -1 d1) -3))
(*.f64 -1 (pow.f64 (/.f64 -1 d1) -3))
(neg.f64 (pow.f64 (/.f64 -1 d1) -3))
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 (/.f64 1 d1) -4)
(pow.f64 (/.f64 1 d1) -4)
(pow.f64 (/.f64 1 d1) -4)
(pow.f64 (/.f64 1 d1) -4)
(pow.f64 (/.f64 -1 d1) -4)
(pow.f64 (/.f64 -1 d1) -4)
(pow.f64 (/.f64 -1 d1) -4)
(pow.f64 (/.f64 -1 d1) -4)
(if (!=.f64 -1 0) (pow.f64 d1 3) (pow.f64 d1 3))
(if (!=.f64 2 0) (pow.f64 d1 3) (pow.f64 d1 3))
(if (!=.f64 (pow.f64 d1 3) 0) (/.f64 1 (pow.f64 (pow.f64 d1 3) -1)) (pow.f64 d1 3))
(if (!=.f64 (pow.f64 d1 3) 0) (pow.f64 (/.f64 1 (/.f64 1 d1)) 3) (pow.f64 d1 3))
(if (!=.f64 d1 0) (/.f64 1 (pow.f64 d1 -3)) (pow.f64 d1 3))
(if (!=.f64 d1 0) (pow.f64 (pow.f64 d1 -3) -1) (pow.f64 d1 3))
(if (!=.f64 (pow.f64 (pow.f64 d1 3) 3) 0) (/.f64 1 (pow.f64 (pow.f64 (pow.f64 d1 3) 3) -1/3)) (pow.f64 d1 3))
(if (!=.f64 (pow.f64 (pow.f64 d1 3) 3) 0) (pow.f64 (pow.f64 (pow.f64 (pow.f64 d1 3) 3) -1/3) -1) (pow.f64 d1 3))
(if (!=.f64 1 0) (pow.f64 d1 3) (pow.f64 d1 3))
(+.f64 (pow.f64 d1 3) (*.f64 (pow.f64 d1 3) 0))
(pow.f64 d1 3)
(+.f64 (.f64 (pow.f64 d1 3) 1/2) (.f64 (pow.f64 d1 3) 1/2))
(pow.f64 d1 3)
(+.f64 (pow.f64 d1 3) (*.f64 0 (pow.f64 d1 3)))
(pow.f64 d1 3)
(+.f64 (.f64 1/2 (pow.f64 d1 3)) (.f64 1/2 (pow.f64 d1 3)))
(pow.f64 d1 3)
(.f64 d1 (.f64 d1 d1))
(pow.f64 d1 3)
(.f64 (.f64 d1 d1) d1)
(pow.f64 d1 3)
(.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (.f64 (cbrt.f64 d1) d1))
(pow.f64 d1 3)
(.f64 (cbrt.f64 (.f64 d1 d1)) (.f64 (cbrt.f64 d1) (.f64 d1 d1)))
(pow.f64 d1 3)
(.f64 (cbrt.f64 d1) (pow.f64 (.f64 (cbrt.f64 d1) d1) 2))
(pow.f64 d1 3)
(.f64 (.f64 (cbrt.f64 d1) (.f64 d1 d1)) (cbrt.f64 (.f64 d1 d1)))
(pow.f64 d1 3)
(.f64 (.f64 (cbrt.f64 d1) d1) (.f64 d1 (cbrt.f64 (.f64 d1 d1))))
(pow.f64 d1 3)
(.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) (cbrt.f64 d1))
(pow.f64 d1 3)
(.f64 (cbrt.f64 (cbrt.f64 d1)) (pow.f64 (.f64 (*.f64 (cbrt.f64 d1) d1) (cbrt.f64 (cbrt.f64 d1))) 2))
(pow.f64 d1 3)
(.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 d1))) (.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) (.f64 (cbrt.f64 d1) (.f64 d1 d1))))
(pow.f64 d1 3)
(.f64 (.f64 (.f64 d1 d1) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)))
(pow.f64 d1 3)
(.f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)) (.f64 (.f64 d1 d1) (cbrt.f64 (cbrt.f64 d1))))
(pow.f64 d1 3)
(.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) (.f64 (cbrt.f64 d1) (.f64 d1 d1))) (cbrt.f64 (cbrt.f64 (.f64 d1 d1))))
(pow.f64 d1 3)
(.f64 (pow.f64 (.f64 (*.f64 (cbrt.f64 d1) d1) (cbrt.f64 (cbrt.f64 d1))) 2) (cbrt.f64 (cbrt.f64 d1)))
(pow.f64 d1 3)
(*.f64 (/.f64 (pow.f64 d1 3) -1) -1)
(pow.f64 d1 3)
(.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) (.f64 d1 d1))) (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2))
(pow.f64 d1 3)
(.f64 (cbrt.f64 (.f64 d1 (pow.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 d1)) 2))) (cbrt.f64 (.f64 (cbrt.f64 d1) d1)))
(pow.f64 d1 3)
(.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) (cbrt.f64 (.f64 d1 (pow.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 d1)) 2))))
(pow.f64 d1 3)
(.f64 (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2) (cbrt.f64 (.f64 (cbrt.f64 d1) (.f64 d1 d1))))
(pow.f64 d1 3)
(.f64 (cbrt.f64 (cbrt.f64 d1)) (pow.f64 (.f64 (cbrt.f64 (*.f64 (cbrt.f64 d1) d1)) d1) 2))
(pow.f64 d1 3)
(.f64 (cbrt.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1)))) (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 (*.f64 d1 d1)))) 2))
(.f64 (cbrt.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1)))) (.f64 (*.f64 d1 d1) (cbrt.f64 (cbrt.f64 (pow.f64 d1 4)))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 d1))) (cbrt.f64 (.f64 (pow.f64 (.f64 d1 d1) 3) (.f64 (cbrt.f64 d1) (.f64 d1 d1)))))
(pow.f64 d1 3)
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 d1 d1) 3) (.f64 (cbrt.f64 d1) (.f64 d1 d1)))) (cbrt.f64 (cbrt.f64 (.f64 d1 d1))))
(pow.f64 d1 3)
(*.f64 1 (pow.f64 d1 3))
(pow.f64 d1 3)
(*.f64 (pow.f64 d1 3) 1)
(pow.f64 d1 3)
(*.f64 (/.f64 (pow.f64 d1 3) 2) 2)
(pow.f64 d1 3)
(/.f64 (*.f64 (pow.f64 d1 3) -1) -1)
(pow.f64 d1 3)
(/.f64 (neg.f64 (pow.f64 d1 3)) -1)
(pow.f64 d1 3)
(/.f64 (pow.f64 d1 3) 1)
(pow.f64 d1 3)
(pow.f64 (pow.f64 (pow.f64 d1 3) 3) 1/3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 3) 1)
(pow.f64 d1 3)
(neg.f64 (*.f64 -1 (pow.f64 d1 3)))
(pow.f64 d1 3)
(neg.f64 (*.f64 (pow.f64 d1 3) -1))
(pow.f64 d1 3)
(cbrt.f64 (pow.f64 (pow.f64 d1 3) 3))
(pow.f64 d1 3)
(if (!=.f64 -1 0) (pow.f64 (.f64 d1 d1) 2) (pow.f64 (.f64 d1 d1) 2))
(if (!=.f64 -1 0) (pow.f64 d1 4) (pow.f64 d1 4))
(if (!=.f64 2 0) (pow.f64 (.f64 d1 d1) 2) (pow.f64 (.f64 d1 d1) 2))
(if (!=.f64 2 0) (pow.f64 d1 4) (pow.f64 d1 4))
(if (!=.f64 (pow.f64 (.f64 d1 d1) 2) 0) (/.f64 1 (pow.f64 (pow.f64 (.f64 d1 d1) 2) -1)) (pow.f64 (*.f64 d1 d1) 2))
(if (!=.f64 (pow.f64 d1 4) 0) (/.f64 -1 (/.f64 -1 (pow.f64 d1 4))) (pow.f64 d1 4))
(if (!=.f64 (.f64 (cbrt.f64 d1) d1) 0) (/.f64 1 (pow.f64 (.f64 (cbrt.f64 d1) d1) -3)) (pow.f64 (*.f64 d1 d1) 2))
(if (!=.f64 (cbrt.f64 (pow.f64 d1 4)) 0) (/.f64 1 (pow.f64 (cbrt.f64 (pow.f64 d1 4)) -3)) (pow.f64 d1 4))
(if (!=.f64 (pow.f64 (pow.f64 (.f64 d1 d1) 2) 3) 0) (/.f64 1 (pow.f64 (pow.f64 (pow.f64 (.f64 d1 d1) 2) 3) -1/3)) (pow.f64 (*.f64 d1 d1) 2))
(if (!=.f64 (pow.f64 (pow.f64 d1 4) 3) 0) (/.f64 1 (pow.f64 (pow.f64 (pow.f64 d1 4) 3) -1/3)) (pow.f64 d1 4))
(if (!=.f64 1 0) (pow.f64 (.f64 d1 d1) 2) (pow.f64 (.f64 d1 d1) 2))
(if (!=.f64 1 0) (pow.f64 d1 4) (pow.f64 d1 4))
(+.f64 (pow.f64 (.f64 d1 d1) 2) (.f64 (pow.f64 (*.f64 d1 d1) 2) 0))
(pow.f64 d1 4)
(+.f64 (.f64 (pow.f64 (.f64 d1 d1) 2) 1/2) (.f64 (pow.f64 (.f64 d1 d1) 2) 1/2))
(pow.f64 d1 4)
(+.f64 (pow.f64 (.f64 d1 d1) 2) (.f64 0 (pow.f64 (*.f64 d1 d1) 2)))
(pow.f64 d1 4)
(+.f64 (.f64 1/2 (pow.f64 (.f64 d1 d1) 2)) (.f64 1/2 (pow.f64 (.f64 d1 d1) 2)))
(pow.f64 d1 4)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(pow.f64 d1 4)
(*.f64 d1 (pow.f64 d1 3))
(pow.f64 d1 4)
(*.f64 (pow.f64 d1 3) d1)
(pow.f64 d1 4)
(.f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2)) (pow.f64 d1 3)))
(pow.f64 d1 4)
(.f64 (.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2)) (pow.f64 d1 3)) (cbrt.f64 (cbrt.f64 d1)))
(pow.f64 d1 4)
(.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 (*.f64 d1 d1)) (pow.f64 d1 3)))
(pow.f64 d1 4)
(.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) (*.f64 (cbrt.f64 d1) d1))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1)))) (.f64 (cbrt.f64 (*.f64 (cbrt.f64 d1) d1)) (pow.f64 d1 3)))
(pow.f64 d1 4)
(.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 d1) d1) (cbrt.f64 (cbrt.f64 d1))) 2) (.f64 d1 (cbrt.f64 (cbrt.f64 d1))))
(pow.f64 d1 4)
(.f64 (.f64 (cbrt.f64 d1) d1) (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2))
(pow.f64 d1 4)
(.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (.f64 (cbrt.f64 d1) (*.f64 d1 d1)))
(pow.f64 d1 4)
(.f64 (.f64 (cbrt.f64 d1) (.f64 d1 d1)) (.f64 d1 (cbrt.f64 (*.f64 d1 d1))))
(pow.f64 d1 4)
(.f64 (.f64 (cbrt.f64 (*.f64 d1 d1)) (pow.f64 d1 3)) (cbrt.f64 d1))
(pow.f64 d1 4)
(.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) (pow.f64 (.f64 (.f64 (cbrt.f64 d1) d1) (cbrt.f64 (cbrt.f64 d1))) 2))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (cbrt.f64 d1)) (cbrt.f64 (.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) (pow.f64 (pow.f64 d1 3) 3))))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) (.f64 d1 d1))) (cbrt.f64 (.f64 (pow.f64 (pow.f64 d1 3) 3) (cbrt.f64 (*.f64 d1 d1)))))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) 2) 2)) (cbrt.f64 (*.f64 (cbrt.f64 d1) d1)))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) 2) 2)))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (.f64 (pow.f64 (pow.f64 d1 3) 3) (cbrt.f64 (.f64 d1 d1)))) (cbrt.f64 (.f64 (cbrt.f64 d1) (*.f64 d1 d1))))
(pow.f64 d1 4)
(.f64 (.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) (cbrt.f64 (cbrt.f64 d1))) (.f64 d1 (cbrt.f64 (cbrt.f64 (*.f64 d1 d1)))))
(pow.f64 d1 4)
(.f64 (.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) (pow.f64 d1 3))) (cbrt.f64 (cbrt.f64 (*.f64 d1 d1))))
(pow.f64 d1 4)
(.f64 (.f64 (cbrt.f64 d1) (.f64 (.f64 d1 d1) (cbrt.f64 (cbrt.f64 d1)))) (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) (.f64 d1 d1)) 2)))
(.f64 d1 (.f64 d1 (cbrt.f64 (.f64 (cbrt.f64 d1) (.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) (pow.f64 d1 4)) d1)))))
(.f64 (.f64 (cbrt.f64 d1) (.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) (.f64 d1 d1)) 2)))) (cbrt.f64 (.f64 (cbrt.f64 d1) d1)))
(pow.f64 d1 4)
(.f64 (.f64 (cbrt.f64 d1) (.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (.f64 d1 (cbrt.f64 (cbrt.f64 d1))))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2)))
(pow.f64 d1 4)
(.f64 (.f64 (cbrt.f64 d1) (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 (.f64 d1 d1)))) 2)) (.f64 d1 (cbrt.f64 (cbrt.f64 (.f64 d1 d1)))))
(pow.f64 d1 4)
(.f64 (/.f64 (pow.f64 (.f64 d1 d1) 2) -1) -1)
(pow.f64 d1 4)
(.f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)) (*.f64 (pow.f64 d1 3) (cbrt.f64 (cbrt.f64 d1))))
(pow.f64 d1 4)
(.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 d1))) (.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (cbrt.f64 (cbrt.f64 d1)))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 d1))) (.f64 (.f64 d1 (cbrt.f64 (*.f64 d1 d1))) (cbrt.f64 (cbrt.f64 d1)))))
(pow.f64 d1 4)
(.f64 (.f64 (.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 (cbrt.f64 (.f64 d1 d1)))) (.f64 (.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 (cbrt.f64 (*.f64 d1 d1)))))
(pow.f64 d1 4)
(.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 d1)) (cbrt.f64 (*.f64 d1 d1)))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (.f64 d1 d1)) (*.f64 (pow.f64 d1 3) (cbrt.f64 d1)))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 d1))) (pow.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)) d1) 2))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 d1))) (pow.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 d1 4))) 2) d1) 2))
(.f64 (pow.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)) d1) 2) (cbrt.f64 (cbrt.f64 (.f64 d1 d1))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 d1))) (pow.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 d1 4))) 2) d1) 2))
(.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) (pow.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) d1) 2))
(pow.f64 d1 4)
(.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2)))
(pow.f64 d1 4)
(.f64 (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2) (cbrt.f64 (pow.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) 2)))
(.f64 (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 d1 4)) (pow.f64 d1 4))))
(.f64 (cbrt.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) 2)) (pow.f64 (*.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2))
(.f64 (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 d1 4)) (pow.f64 d1 4))))
(.f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) (.f64 d1 d1)) 2)) (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 (*.f64 d1 d1)))) 2))
(pow.f64 d1 4)
(.f64 1 (pow.f64 (.f64 d1 d1) 2))
(pow.f64 d1 4)
(.f64 (pow.f64 (.f64 d1 d1) 2) 1)
(pow.f64 d1 4)
(.f64 (.f64 (.f64 d1 d1) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 (.f64 (pow.f64 (.f64 (cbrt.f64 d1) (.f64 d1 d1)) 2) d1)))
(.f64 d1 (.f64 d1 (cbrt.f64 (.f64 (cbrt.f64 d1) (.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) (pow.f64 d1 4)) d1)))))
(.f64 (.f64 (cbrt.f64 d1) (.f64 d1 (cbrt.f64 (cbrt.f64 (.f64 d1 d1))))) (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 (.f64 d1 d1)))) 2))
(pow.f64 d1 4)
(.f64 (/.f64 (pow.f64 (.f64 d1 d1) 2) 2) 2)
(pow.f64 d1 4)
(.f64 (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 (.f64 d1 d1)))) 2) (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) (*.f64 d1 d1)) 2)))
(pow.f64 d1 4)
(/.f64 (.f64 (pow.f64 (.f64 d1 d1) 2) -1) -1)
(pow.f64 d1 4)
(/.f64 (neg.f64 (pow.f64 (*.f64 d1 d1) 2)) -1)
(pow.f64 d1 4)
(/.f64 (pow.f64 (*.f64 d1 d1) 2) 1)
(pow.f64 d1 4)
(pow.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 3) 1/3)
(pow.f64 d1 4)
(pow.f64 (*.f64 d1 d1) 2)
(pow.f64 d1 4)
(pow.f64 (*.f64 (cbrt.f64 d1) d1) 3)
(pow.f64 d1 4)
(pow.f64 (pow.f64 (*.f64 d1 d1) 2) 1)
(pow.f64 d1 4)
(neg.f64 (.f64 -1 (pow.f64 (.f64 d1 d1) 2)))
(pow.f64 d1 4)
(neg.f64 (.f64 (pow.f64 (.f64 d1 d1) 2) -1))
(pow.f64 d1 4)
(cbrt.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 3))
(pow.f64 d1 4)

localize25.0ms (0.7%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(pow.f64 (*.f64 d1 d1) 2)

Compiler

Compiled 11 to 5 computations (54.5% saved)

series9.0ms (0.3%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	d1	@	inf	(pow.f64 (*.f64 d1 d1) 2)
1.0ms	d1	@	0	(pow.f64 (*.f64 d1 d1) 2)
0.0ms	d1	@	-inf	(pow.f64 (*.f64 d1 d1) 2)

Compiler

Compiled 270 to 210 computations (22.2% saved)

rewrite155.0ms (4.5%)

Algorithm

1×	batch-egg-rewrite

Rules

62× egg-rr

Counts

1 → 62

Calls

Call 1

Inputs
(pow.f64 (*.f64 d1 d1) 2)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 (.f64 d1 d1) 2) 1/2) (.f64 (pow.f64 (.f64 d1 d1) 2) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 1/2 (pow.f64 (.f64 d1 d1) 2)) (.f64 1/2 (pow.f64 (.f64 d1 d1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 d1 3) d1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 d1 (pow.f64 d1 3))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (.f64 d1 d1))) (cbrt.f64 d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 d1) (.f64 (pow.f64 d1 3) (cbrt.f64 (.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 d1) (.f64 (cbrt.f64 d1) (.f64 (pow.f64 d1 3) (cbrt.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (.f64 d1 (cbrt.f64 d1))) (.f64 (pow.f64 d1 3) (cbrt.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 d1) (.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d1) (.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (.f64 d1 (cbrt.f64 d1))) (.f64 (pow.f64 d1 3) (cbrt.f64 d1))) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d1) (.f64 d1 d1)) (cbrt.f64 d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 d1) (.f64 (pow.f64 d1 3) (cbrt.f64 d1))) (cbrt.f64 d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (.f64 (.f64 d1 (cbrt.f64 d1)) d1))) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (.f64 d1 d1))) 1) (cbrt.f64 d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (.f64 d1 d1))) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)) (cbrt.f64 (cbrt.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (.f64 d1 d1))) (cbrt.f64 (cbrt.f64 d1))) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 (.f64 d1 (cbrt.f64 d1)) 2) d1) (cbrt.f64 d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 (.f64 d1 (cbrt.f64 d1)) 2) (.f64 d1 (cbrt.f64 (cbrt.f64 d1)))) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d1)) (.f64 (cbrt.f64 (.f64 d1 (cbrt.f64 d1))) (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (.f64 (.f64 d1 (cbrt.f64 d1)) d1)) (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (cbrt.f64 (pow.f64 (.f64 d1 (cbrt.f64 d1)) 2)) (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (cbrt.f64 d1) (.f64 (pow.f64 d1 3) (cbrt.f64 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 d1) (.f64 (pow.f64 d1 3) (cbrt.f64 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (pow.f64 d1 3) (cbrt.f64 (.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (pow.f64 d1 3) (cbrt.f64 (.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d1) (.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d1) (.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) (pow.f64 (.f64 d1 (cbrt.f64 d1)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 d1) (.f64 d1 (pow.f64 (.f64 d1 (cbrt.f64 d1)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 d1) (cbrt.f64 (.f64 (pow.f64 (pow.f64 (.f64 d1 d1) 2) 2) (pow.f64 d1 3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (cbrt.f64 (.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 d1)) (pow.f64 (pow.f64 (.f64 d1 d1) 2) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (pow.f64 (.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 d1 d1) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 d1 (cbrt.f64 d1)) (pow.f64 (.f64 d1 (cbrt.f64 d1)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 d1 (cbrt.f64 d1)) 2) (.f64 d1 (cbrt.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 d1 d1)) (.f64 (pow.f64 d1 3) (cbrt.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 d1 3) (cbrt.f64 d1)) (cbrt.f64 (.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 d1 d1) (.f64 d1 (cbrt.f64 (cbrt.f64 d1)))) (cbrt.f64 (pow.f64 (.f64 d1 (cbrt.f64 d1)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 d1 (cbrt.f64 d1)) d1) (.f64 (cbrt.f64 (.f64 d1 d1)) d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (.f64 d1 (cbrt.f64 d1)) 2)) (.f64 (.f64 d1 d1) (.f64 d1 (cbrt.f64 (cbrt.f64 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 d1 (cbrt.f64 d1))) (cbrt.f64 (.f64 (pow.f64 (pow.f64 d1 3) 3) (.f64 (cbrt.f64 (.f64 d1 d1)) d1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (pow.f64 (pow.f64 d1 3) 3) (.f64 (cbrt.f64 (.f64 d1 d1)) d1))) (cbrt.f64 (.f64 d1 (cbrt.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d1) (.f64 (.f64 d1 (cbrt.f64 d1)) d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d1))) (cbrt.f64 (.f64 d1 (cbrt.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 d1 3) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)) (cbrt.f64 (.f64 (.f64 d1 (cbrt.f64 d1)) d1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 (pow.f64 (.f64 d1 (cbrt.f64 d1)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 (.f64 d1 (cbrt.f64 d1)) 2) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)) (.f64 d1 (cbrt.f64 (cbrt.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (.f64 d1 (cbrt.f64 d1)) d1)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (pow.f64 (.f64 d1 (cbrt.f64 d1)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (pow.f64 (pow.f64 (.f64 d1 d1) 2) 2) (pow.f64 d1 3))) (cbrt.f64 d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (pow.f64 (pow.f64 (.f64 d1 d1) 2) 2) (cbrt.f64 (.f64 d1 d1)))) (.f64 d1 (cbrt.f64 (cbrt.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 d1 d1) (.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2) (cbrt.f64 (pow.f64 (pow.f64 (.f64 d1 (cbrt.f64 d1)) 2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (pow.f64 (.f64 d1 (cbrt.f64 d1)) 2) 2)) (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (.f64 d1 d1) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 (.f64 d1 d1) 2) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (pow.f64 (.f64 d1 d1) 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 d1 d1) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 d1 d1) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 d1 (cbrt.f64 d1)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 (.f64 d1 d1) 2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (.f64 d1 d1) 2) 3))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 (*.f64 d1 d1) 2) 1/2) (*.f64 (pow.f64 (*.f64 d1 d1) 2) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1/2 (pow.f64 (*.f64 d1 d1) 2)) (*.f64 1/2 (pow.f64 (*.f64 d1 d1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 d1 3) d1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 d1 (pow.f64 d1 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 d1 3) (cbrt.f64 (*.f64 d1 d1))) (cbrt.f64 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 d1) (*.f64 (pow.f64 d1 3) (cbrt.f64 (*.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 d1) (*.f64 (cbrt.f64 d1) (*.f64 (pow.f64 d1 3) (cbrt.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (*.f64 (cbrt.f64 (*.f64 d1 (cbrt.f64 d1))) (*.f64 (pow.f64 d1 3) (cbrt.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 d1) (*.f64 (*.f64 (cbrt.f64 (*.f64 d1 d1)) d1) (*.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (*.f64 d1 (cbrt.f64 d1))) (*.f64 (pow.f64 d1 3) (cbrt.f64 d1))) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 d1 d1)) d1) (*.f64 d1 d1)) (cbrt.f64 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 d1) (*.f64 (pow.f64 d1 3) (cbrt.f64 d1))) (cbrt.f64 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 d1 3) (cbrt.f64 (*.f64 (*.f64 d1 (cbrt.f64 d1)) d1))) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (pow.f64 d1 3) (cbrt.f64 (*.f64 d1 d1))) 1) (cbrt.f64 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (pow.f64 d1 3) (cbrt.f64 (*.f64 d1 d1))) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)) (cbrt.f64 (cbrt.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (pow.f64 d1 3) (cbrt.f64 (*.f64 d1 d1))) (cbrt.f64 (cbrt.f64 d1))) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (*.f64 d1 (cbrt.f64 d1)) 2) d1) (cbrt.f64 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (*.f64 d1 (cbrt.f64 d1)) 2) (*.f64 d1 (cbrt.f64 (cbrt.f64 d1)))) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (cbrt.f64 (*.f64 d1 d1)) d1)) (*.f64 (cbrt.f64 (*.f64 d1 (cbrt.f64 d1))) (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (*.f64 (cbrt.f64 (*.f64 (*.f64 d1 (cbrt.f64 d1)) d1)) (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 d1)) (*.f64 (cbrt.f64 (pow.f64 (*.f64 d1 (cbrt.f64 d1)) 2)) (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (*.f64 (cbrt.f64 (cbrt.f64 d1)) (*.f64 (cbrt.f64 d1) (*.f64 (pow.f64 d1 3) (cbrt.f64 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 d1)) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (*.f64 (cbrt.f64 d1) (*.f64 (pow.f64 d1 3) (cbrt.f64 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (*.f64 (cbrt.f64 (cbrt.f64 d1)) (*.f64 (pow.f64 d1 3) (cbrt.f64 (*.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 d1)) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (*.f64 (pow.f64 d1 3) (cbrt.f64 (*.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (*.f64 (cbrt.f64 (cbrt.f64 d1)) (*.f64 (*.f64 (cbrt.f64 (*.f64 d1 d1)) d1) (*.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 d1)) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (*.f64 (*.f64 (cbrt.f64 (*.f64 d1 d1)) d1) (*.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (*.f64 (*.f64 d1 (cbrt.f64 (cbrt.f64 d1))) (pow.f64 (*.f64 d1 (cbrt.f64 d1)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 d1) (*.f64 d1 (pow.f64 (*.f64 d1 (cbrt.f64 d1)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 d1) (cbrt.f64 (*.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 2) (pow.f64 d1 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (cbrt.f64 (*.f64 (*.f64 (pow.f64 d1 3) (cbrt.f64 d1)) (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 (*.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 d1 d1) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (cbrt.f64 d1)) (pow.f64 (*.f64 d1 (cbrt.f64 d1)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 d1 (cbrt.f64 d1)) 2) (*.f64 d1 (cbrt.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 d1 d1)) (*.f64 (pow.f64 d1 3) (cbrt.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 d1 3) (cbrt.f64 d1)) (cbrt.f64 (*.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 (cbrt.f64 (cbrt.f64 d1)))) (cbrt.f64 (pow.f64 (*.f64 d1 (cbrt.f64 d1)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 d1 (cbrt.f64 d1)) d1) (*.f64 (cbrt.f64 (*.f64 d1 d1)) d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (*.f64 d1 (cbrt.f64 d1)) 2)) (*.f64 (*.f64 d1 d1) (*.f64 d1 (cbrt.f64 (cbrt.f64 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 d1 (cbrt.f64 d1))) (cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 3) 3) (*.f64 (cbrt.f64 (*.f64 d1 d1)) d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 3) 3) (*.f64 (cbrt.f64 (*.f64 d1 d1)) d1))) (cbrt.f64 (*.f64 d1 (cbrt.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (*.f64 d1 d1)) d1) (*.f64 (*.f64 d1 (cbrt.f64 d1)) d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 d1 3) (cbrt.f64 (*.f64 (cbrt.f64 (*.f64 d1 d1)) d1))) (cbrt.f64 (*.f64 d1 (cbrt.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)) (cbrt.f64 (*.f64 (*.f64 d1 (cbrt.f64 d1)) d1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 d1 3) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 (pow.f64 (*.f64 d1 (cbrt.f64 d1)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (*.f64 d1 (cbrt.f64 d1)) 2) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)) (*.f64 d1 (cbrt.f64 (cbrt.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (*.f64 d1 (cbrt.f64 d1)) d1)) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (cbrt.f64 (cbrt.f64 d1))) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (pow.f64 (*.f64 d1 (cbrt.f64 d1)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 2) (pow.f64 d1 3))) (cbrt.f64 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 2) (cbrt.f64 (*.f64 d1 d1)))) (*.f64 d1 (cbrt.f64 (cbrt.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 d1) (*.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2) (cbrt.f64 (pow.f64 (pow.f64 (*.f64 d1 (cbrt.f64 d1)) 2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (pow.f64 (*.f64 d1 (cbrt.f64 d1)) 2) 2)) (pow.f64 (*.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (*.f64 d1 d1) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 (*.f64 d1 d1) 2) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (pow.f64 (*.f64 d1 d1) 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 d1 d1) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 d1) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 (cbrt.f64 d1)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 3))))))

simplify943.0ms (27.1%)

Algorithm

1×

egglog

Counts

74 → 65

Calls

Call 1

Inputs
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 (/.f64 1 d1) -4)
(pow.f64 (/.f64 1 d1) -4)
(pow.f64 (/.f64 1 d1) -4)
(pow.f64 (/.f64 1 d1) -4)
(pow.f64 (/.f64 -1 d1) -4)
(pow.f64 (/.f64 -1 d1) -4)
(pow.f64 (/.f64 -1 d1) -4)
(pow.f64 (/.f64 -1 d1) -4)
(+.f64 (.f64 (pow.f64 (.f64 d1 d1) 2) 1/2) (.f64 (pow.f64 (.f64 d1 d1) 2) 1/2))
(+.f64 (.f64 1/2 (pow.f64 (.f64 d1 d1) 2)) (.f64 1/2 (pow.f64 (.f64 d1 d1) 2)))
(*.f64 (pow.f64 d1 3) d1)
(*.f64 d1 (pow.f64 d1 3))
(.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (*.f64 d1 d1))) (cbrt.f64 d1))
(.f64 (cbrt.f64 d1) (.f64 (pow.f64 d1 3) (cbrt.f64 (*.f64 d1 d1))))
(.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 d1) (*.f64 (pow.f64 d1 3) (cbrt.f64 d1))))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (.f64 d1 (cbrt.f64 d1))) (.f64 (pow.f64 d1 3) (cbrt.f64 d1))))
(.f64 (cbrt.f64 d1) (.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d1) (*.f64 d1 d1)))
(.f64 (.f64 (cbrt.f64 (.f64 d1 (cbrt.f64 d1))) (.f64 (pow.f64 d1 3) (cbrt.f64 d1))) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2))
(.f64 (.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d1) (*.f64 d1 d1)) (cbrt.f64 d1))
(.f64 (.f64 (cbrt.f64 d1) (*.f64 (pow.f64 d1 3) (cbrt.f64 d1))) (cbrt.f64 d1))
(.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (.f64 (.f64 d1 (cbrt.f64 d1)) d1))) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2))
(.f64 (.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (.f64 d1 d1))) 1) (cbrt.f64 d1))
(.f64 (.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (.f64 d1 d1))) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)) (cbrt.f64 (cbrt.f64 d1)))
(.f64 (.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (.f64 d1 d1))) (cbrt.f64 (cbrt.f64 d1))) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2))
(.f64 (.f64 (pow.f64 (*.f64 d1 (cbrt.f64 d1)) 2) d1) (cbrt.f64 d1))
(.f64 (.f64 (pow.f64 (.f64 d1 (cbrt.f64 d1)) 2) (.f64 d1 (cbrt.f64 (cbrt.f64 d1)))) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2))
(.f64 (cbrt.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d1)) (.f64 (cbrt.f64 (*.f64 d1 (cbrt.f64 d1))) (pow.f64 d1 3)))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (.f64 (.f64 d1 (cbrt.f64 d1)) d1)) (pow.f64 d1 3)))
(.f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (cbrt.f64 (pow.f64 (*.f64 d1 (cbrt.f64 d1)) 2)) (pow.f64 d1 3)))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (cbrt.f64 d1) (.f64 (pow.f64 d1 3) (cbrt.f64 d1)))))
(.f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 d1) (.f64 (pow.f64 d1 3) (cbrt.f64 d1)))))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (pow.f64 d1 3) (cbrt.f64 (.f64 d1 d1)))))
(.f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (pow.f64 d1 3) (cbrt.f64 (.f64 d1 d1)))))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d1) (.f64 d1 d1))))
(.f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d1) (.f64 d1 d1))))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) (pow.f64 (.f64 d1 (cbrt.f64 d1)) 2)))
(.f64 (cbrt.f64 d1) (.f64 d1 (pow.f64 (*.f64 d1 (cbrt.f64 d1)) 2)))
(.f64 (cbrt.f64 d1) (cbrt.f64 (.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 2) (pow.f64 d1 3))))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (cbrt.f64 (.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 d1)) (pow.f64 (pow.f64 (.f64 d1 d1) 2) 2))))
(.f64 1 (pow.f64 (.f64 d1 d1) 2))
(.f64 (pow.f64 (.f64 d1 d1) 2) 1)
(.f64 (.f64 d1 (cbrt.f64 d1)) (pow.f64 (*.f64 d1 (cbrt.f64 d1)) 2))
(.f64 (pow.f64 (.f64 d1 (cbrt.f64 d1)) 2) (*.f64 d1 (cbrt.f64 d1)))
(.f64 (cbrt.f64 (.f64 d1 d1)) (*.f64 (pow.f64 d1 3) (cbrt.f64 d1)))
(.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 d1)) (cbrt.f64 (*.f64 d1 d1)))
(.f64 (.f64 (.f64 d1 d1) (.f64 d1 (cbrt.f64 (cbrt.f64 d1)))) (cbrt.f64 (pow.f64 (*.f64 d1 (cbrt.f64 d1)) 2)))
(.f64 (.f64 (.f64 d1 (cbrt.f64 d1)) d1) (.f64 (cbrt.f64 (*.f64 d1 d1)) d1))
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 (cbrt.f64 d1)) 2)) (.f64 (.f64 d1 d1) (*.f64 d1 (cbrt.f64 (cbrt.f64 d1)))))
(.f64 (cbrt.f64 (.f64 d1 (cbrt.f64 d1))) (cbrt.f64 (.f64 (pow.f64 (pow.f64 d1 3) 3) (.f64 (cbrt.f64 (*.f64 d1 d1)) d1))))
(.f64 (cbrt.f64 (.f64 (pow.f64 (pow.f64 d1 3) 3) (.f64 (cbrt.f64 (.f64 d1 d1)) d1))) (cbrt.f64 (*.f64 d1 (cbrt.f64 d1))))
(.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d1) (.f64 (*.f64 d1 (cbrt.f64 d1)) d1))
(.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d1))) (cbrt.f64 (*.f64 d1 (cbrt.f64 d1))))
(.f64 (.f64 (pow.f64 d1 3) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)) (cbrt.f64 (.f64 (.f64 d1 (cbrt.f64 d1)) d1)))
(.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 (pow.f64 (*.f64 d1 (cbrt.f64 d1)) 2)))
(.f64 (.f64 (pow.f64 (.f64 d1 (cbrt.f64 d1)) 2) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)) (.f64 d1 (cbrt.f64 (cbrt.f64 d1))))
(.f64 (cbrt.f64 (.f64 (.f64 d1 (cbrt.f64 d1)) d1)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (pow.f64 d1 3)))
(.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (pow.f64 (.f64 d1 (cbrt.f64 d1)) 2)))
(.f64 (cbrt.f64 (.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 2) (pow.f64 d1 3))) (cbrt.f64 d1))
(.f64 (cbrt.f64 (.f64 (pow.f64 (pow.f64 (.f64 d1 d1) 2) 2) (cbrt.f64 (.f64 d1 d1)))) (*.f64 d1 (cbrt.f64 (cbrt.f64 d1))))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2) (cbrt.f64 (pow.f64 (pow.f64 (*.f64 d1 (cbrt.f64 d1)) 2) 2)))
(.f64 (cbrt.f64 (pow.f64 (pow.f64 (.f64 d1 (cbrt.f64 d1)) 2) 2)) (pow.f64 (*.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2))
(/.f64 (pow.f64 (*.f64 d1 d1) 2) 1)
(/.f64 (.f64 (pow.f64 (.f64 d1 d1) 2) 2) 2)
(/.f64 (.f64 2 (pow.f64 (.f64 d1 d1) 2)) 2)
(pow.f64 (pow.f64 (*.f64 d1 d1) 2) 1)
(pow.f64 (*.f64 d1 d1) 2)
(pow.f64 (*.f64 d1 (cbrt.f64 d1)) 3)
(pow.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 3) 1/3)
(cbrt.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 3))

Outputs
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 (/.f64 1 d1) -4)
(pow.f64 (/.f64 1 d1) -4)
(pow.f64 (/.f64 1 d1) -4)
(pow.f64 (/.f64 1 d1) -4)
(pow.f64 (/.f64 -1 d1) -4)
(pow.f64 (/.f64 -1 d1) -4)
(pow.f64 (/.f64 -1 d1) -4)
(pow.f64 (/.f64 -1 d1) -4)
(+.f64 (.f64 (pow.f64 (.f64 d1 d1) 2) 1/2) (.f64 (pow.f64 (.f64 d1 d1) 2) 1/2))
(pow.f64 d1 4)
(+.f64 (.f64 1/2 (pow.f64 (.f64 d1 d1) 2)) (.f64 1/2 (pow.f64 (.f64 d1 d1) 2)))
(pow.f64 d1 4)
(*.f64 (pow.f64 d1 3) d1)
(pow.f64 d1 4)
(*.f64 d1 (pow.f64 d1 3))
(pow.f64 d1 4)
(.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (*.f64 d1 d1))) (cbrt.f64 d1))
(pow.f64 d1 4)
(.f64 (cbrt.f64 d1) (.f64 (pow.f64 d1 3) (cbrt.f64 (*.f64 d1 d1))))
(pow.f64 d1 4)
(.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 d1) (*.f64 (pow.f64 d1 3) (cbrt.f64 d1))))
(pow.f64 d1 4)
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (.f64 d1 (cbrt.f64 d1))) (.f64 (pow.f64 d1 3) (cbrt.f64 d1))))
(pow.f64 d1 4)
(.f64 (cbrt.f64 d1) (.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d1) (*.f64 d1 d1)))
(pow.f64 d1 4)
(.f64 (.f64 (cbrt.f64 (.f64 d1 (cbrt.f64 d1))) (.f64 (pow.f64 d1 3) (cbrt.f64 d1))) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2))
(pow.f64 d1 4)
(.f64 (.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d1) (*.f64 d1 d1)) (cbrt.f64 d1))
(pow.f64 d1 4)
(.f64 (.f64 (cbrt.f64 d1) (*.f64 (pow.f64 d1 3) (cbrt.f64 d1))) (cbrt.f64 d1))
(pow.f64 d1 4)
(.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (.f64 (.f64 d1 (cbrt.f64 d1)) d1))) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2))
(pow.f64 d1 4)
(.f64 (.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (.f64 d1 d1))) 1) (cbrt.f64 d1))
(pow.f64 d1 4)
(.f64 (.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (.f64 d1 d1))) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)) (cbrt.f64 (cbrt.f64 d1)))
(pow.f64 d1 4)
(.f64 (.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (.f64 d1 d1))) (cbrt.f64 (cbrt.f64 d1))) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2))
(pow.f64 d1 4)
(.f64 (.f64 (pow.f64 (*.f64 d1 (cbrt.f64 d1)) 2) d1) (cbrt.f64 d1))
(pow.f64 d1 4)
(.f64 (.f64 (pow.f64 (.f64 d1 (cbrt.f64 d1)) 2) (.f64 d1 (cbrt.f64 (cbrt.f64 d1)))) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d1)) (.f64 (cbrt.f64 (*.f64 d1 (cbrt.f64 d1))) (pow.f64 d1 3)))
(pow.f64 d1 4)
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (.f64 (.f64 d1 (cbrt.f64 d1)) d1)) (pow.f64 d1 3)))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (cbrt.f64 (pow.f64 (*.f64 d1 (cbrt.f64 d1)) 2)) (pow.f64 d1 3)))
(pow.f64 d1 4)
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (cbrt.f64 d1) (.f64 (pow.f64 d1 3) (cbrt.f64 d1)))))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 d1) (.f64 (pow.f64 d1 3) (cbrt.f64 d1)))))
(pow.f64 d1 4)
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (pow.f64 d1 3) (cbrt.f64 (.f64 d1 d1)))))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (pow.f64 d1 3) (cbrt.f64 (.f64 d1 d1)))))
(pow.f64 d1 4)
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d1) (.f64 d1 d1))))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d1) (.f64 d1 d1))))
(pow.f64 d1 4)
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) (pow.f64 (.f64 d1 (cbrt.f64 d1)) 2)))
(pow.f64 d1 4)
(.f64 (cbrt.f64 d1) (.f64 d1 (pow.f64 (*.f64 d1 (cbrt.f64 d1)) 2)))
(pow.f64 d1 4)
(.f64 (cbrt.f64 d1) (cbrt.f64 (.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 2) (pow.f64 d1 3))))
(pow.f64 d1 4)
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (cbrt.f64 (.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 d1)) (pow.f64 (pow.f64 (.f64 d1 d1) 2) 2))))
(pow.f64 d1 4)
(.f64 1 (pow.f64 (.f64 d1 d1) 2))
(pow.f64 d1 4)
(.f64 (pow.f64 (.f64 d1 d1) 2) 1)
(pow.f64 d1 4)
(.f64 (.f64 d1 (cbrt.f64 d1)) (pow.f64 (*.f64 d1 (cbrt.f64 d1)) 2))
(pow.f64 d1 4)
(.f64 (pow.f64 (.f64 d1 (cbrt.f64 d1)) 2) (*.f64 d1 (cbrt.f64 d1)))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (.f64 d1 d1)) (*.f64 (pow.f64 d1 3) (cbrt.f64 d1)))
(pow.f64 d1 4)
(.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 d1)) (cbrt.f64 (*.f64 d1 d1)))
(pow.f64 d1 4)
(.f64 (.f64 (.f64 d1 d1) (.f64 d1 (cbrt.f64 (cbrt.f64 d1)))) (cbrt.f64 (pow.f64 (*.f64 d1 (cbrt.f64 d1)) 2)))
(pow.f64 d1 4)
(.f64 (.f64 (.f64 d1 (cbrt.f64 d1)) d1) (.f64 (cbrt.f64 (*.f64 d1 d1)) d1))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 (cbrt.f64 d1)) 2)) (.f64 (.f64 d1 d1) (*.f64 d1 (cbrt.f64 (cbrt.f64 d1)))))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (.f64 d1 (cbrt.f64 d1))) (cbrt.f64 (.f64 (pow.f64 (pow.f64 d1 3) 3) (.f64 (cbrt.f64 (*.f64 d1 d1)) d1))))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (.f64 (pow.f64 (pow.f64 d1 3) 3) (.f64 (cbrt.f64 (.f64 d1 d1)) d1))) (cbrt.f64 (*.f64 d1 (cbrt.f64 d1))))
(pow.f64 d1 4)
(.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d1) (.f64 (*.f64 d1 (cbrt.f64 d1)) d1))
(pow.f64 d1 4)
(.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d1))) (cbrt.f64 (*.f64 d1 (cbrt.f64 d1))))
(pow.f64 d1 4)
(.f64 (.f64 (pow.f64 d1 3) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)) (cbrt.f64 (.f64 (.f64 d1 (cbrt.f64 d1)) d1)))
(pow.f64 d1 4)
(.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 (pow.f64 (*.f64 d1 (cbrt.f64 d1)) 2)))
(pow.f64 d1 4)
(.f64 (.f64 (pow.f64 (.f64 d1 (cbrt.f64 d1)) 2) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)) (.f64 d1 (cbrt.f64 (cbrt.f64 d1))))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (.f64 (.f64 d1 (cbrt.f64 d1)) d1)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (pow.f64 d1 3)))
(pow.f64 d1 4)
(.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (pow.f64 (.f64 d1 (cbrt.f64 d1)) 2)))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 2) (pow.f64 d1 3))) (cbrt.f64 d1))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (.f64 (pow.f64 (pow.f64 (.f64 d1 d1) 2) 2) (cbrt.f64 (.f64 d1 d1)))) (*.f64 d1 (cbrt.f64 (cbrt.f64 d1))))
(pow.f64 d1 4)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(pow.f64 d1 4)
(.f64 (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2) (cbrt.f64 (pow.f64 (pow.f64 (*.f64 d1 (cbrt.f64 d1)) 2) 2)))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (pow.f64 (pow.f64 (.f64 d1 (cbrt.f64 d1)) 2) 2)) (pow.f64 (*.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2))
(pow.f64 d1 4)
(/.f64 (pow.f64 (*.f64 d1 d1) 2) 1)
(pow.f64 d1 4)
(/.f64 (.f64 (pow.f64 (.f64 d1 d1) 2) 2) 2)
(pow.f64 d1 4)
(/.f64 (.f64 2 (pow.f64 (.f64 d1 d1) 2)) 2)
(pow.f64 d1 4)
(pow.f64 (pow.f64 (*.f64 d1 d1) 2) 1)
(pow.f64 d1 4)
(pow.f64 (*.f64 d1 d1) 2)
(pow.f64 d1 4)
(pow.f64 (*.f64 d1 (cbrt.f64 d1)) 3)
(pow.f64 d1 4)
(pow.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 3) 1/3)
(pow.f64 d1 4)
(cbrt.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 3))
(pow.f64 d1 4)

eval82.0ms (2.4%)

Compiler: Compiled 2635 to 1162 computations (55.9% saved)

prune39.0ms (1.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	191	2	193
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	192	3	195

Error

Counts

195 → 3

Alt Table

Click to see full alt table

Status	Error	Program
▶	0b	(pow.f64 d1 4)
✓	0.1b	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
▶	0.2b	(.f64 (.f64 d1 d1) (*.f64 d1 d1))

Compiler

Compiled 20 to 10 computations (50% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 d1 d1) (*.f64 d1 d1))

Compiler

Compiled 12 to 3 computations (75% saved)

series7.0ms (0.2%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	d1	@	inf	(.f64 (.f64 d1 d1) (*.f64 d1 d1))
0.0ms	d1	@	0	(.f64 (.f64 d1 d1) (*.f64 d1 d1))
0.0ms	d1	@	-inf	(.f64 (.f64 d1 d1) (*.f64 d1 d1))

Compiler

Compiled 270 to 210 computations (22.2% saved)

rewrite175.0ms (5%)

Algorithm

1×	batch-egg-rewrite

Rules

68× egg-rr

Counts

1 → 68

Calls

Call 1

Inputs
(.f64 (.f64 d1 d1) (*.f64 d1 d1))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 -1 0) (pow.f64 (.f64 d1 d1) 2) (pow.f64 (.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 2 0) (pow.f64 (.f64 d1 d1) 2) (pow.f64 (.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 (.f64 d1 d1) 2) 0) (/.f64 1 (pow.f64 (pow.f64 (.f64 d1 d1) 2) -1)) (pow.f64 (.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 (cbrt.f64 d1) d1) 0) (/.f64 1 (pow.f64 (.f64 (cbrt.f64 d1) d1) -3)) (pow.f64 (.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 (pow.f64 (.f64 d1 d1) 2) 3) 0) (/.f64 1 (pow.f64 (pow.f64 (pow.f64 (.f64 d1 d1) 2) 3) -1/3)) (pow.f64 (.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 1 0) (pow.f64 (.f64 d1 d1) 2) (pow.f64 (.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (.f64 d1 d1) 2) (.f64 (pow.f64 (.f64 d1 d1) 2) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 (.f64 d1 d1) 2) 1/2) (.f64 (pow.f64 (.f64 d1 d1) 2) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (.f64 d1 d1) 2) (.f64 0 (pow.f64 (.f64 d1 d1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 1/2 (pow.f64 (.f64 d1 d1) 2)) (.f64 1/2 (pow.f64 (.f64 d1 d1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 d1 d1) (.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) 2) 2)) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 d1) (.f64 (cbrt.f64 (cbrt.f64 d1)) (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) 2) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 d1 (pow.f64 d1 3))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 d1 3) d1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) 2) 2)) (cbrt.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)))) (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (.f64 (.f64 d1 d1) (cbrt.f64 (cbrt.f64 d1)))) (cbrt.f64 (cbrt.f64 (.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2))) (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) 2) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)) d1) (.f64 d1 (cbrt.f64 (.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) (pow.f64 (pow.f64 d1 3) 3))) (cbrt.f64 (cbrt.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 d1)) (cbrt.f64 (.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) (pow.f64 (pow.f64 d1 3) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 d1) d1) d1)) (.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 d1) d1) d1) 2)) (.f64 d1 (cbrt.f64 (.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 d1) d1) (pow.f64 (.f64 (cbrt.f64 d1) d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) (.f64 (cbrt.f64 d1) d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) 2) 2)) (cbrt.f64 (.f64 (cbrt.f64 d1) d1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) 2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 d1) d1) d1))) (cbrt.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 d1) d1) d1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2) (cbrt.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) 2)) (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 -1 (.f64 d1 d1)) (.f64 -1 (.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 d1 d1) (cbrt.f64 (cbrt.f64 d1))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 d1))) (.f64 d1 (cbrt.f64 (.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 d1) (.f64 (cbrt.f64 (.f64 d1 d1)) (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 d1 3) (cbrt.f64 d1)) (cbrt.f64 (.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 d1 d1)) (.f64 (pow.f64 d1 3) (cbrt.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (.f64 (.f64 (cbrt.f64 d1) d1) d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (cbrt.f64 d1) d1) d1) (.f64 d1 (cbrt.f64 (.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (.f64 d1 d1)) (pow.f64 d1 3)) (cbrt.f64 d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)) (.f64 (pow.f64 d1 3) (cbrt.f64 (cbrt.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 d1 d1) (cbrt.f64 (cbrt.f64 d1))) (.f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)) d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (pow.f64 (pow.f64 d1 3) 3) (cbrt.f64 (.f64 d1 d1)))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 d1) d1) d1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (.f64 (.f64 (cbrt.f64 d1) d1) d1))) (cbrt.f64 (cbrt.f64 (.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (.f64 d1 d1))) (.f64 (pow.f64 d1 3) (cbrt.f64 (.f64 (.f64 (cbrt.f64 d1) d1) d1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (cbrt.f64 d1)) (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)) (.f64 d1 (cbrt.f64 (cbrt.f64 (.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 d1) d1) d1)) (cbrt.f64 (.f64 (pow.f64 (pow.f64 d1 3) 3) (cbrt.f64 (.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (pow.f64 (.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 d1 d1) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (.f64 d1 d1) 2) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (.f64 d1 d1) 2) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) (pow.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1)))) (.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) d1) 2) (.f64 d1 (cbrt.f64 (cbrt.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (pow.f64 (.f64 d1 d1) 2) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (.f64 d1 d1) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 (.f64 d1 d1) 2) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 (.f64 d1 d1) 2) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (pow.f64 (.f64 d1 d1) 2) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (pow.f64 (.f64 d1 d1) 2) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (pow.f64 (.f64 d1 d1) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (pow.f64 (.f64 d1 d1) 2) 1/3) 3)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (pow.f64 (.f64 d1 d1) 2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 (.f64 d1 d1) 2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 d1 d1) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (cbrt.f64 d1) d1) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 d1 d1) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (.f64 -1 (pow.f64 (.f64 d1 d1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (.f64 (pow.f64 (.f64 d1 d1) 2) -1))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 3))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 -1 0) (pow.f64 (*.f64 d1 d1) 2) (pow.f64 (*.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 2 0) (pow.f64 (*.f64 d1 d1) 2) (pow.f64 (*.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 (*.f64 d1 d1) 2) 0) (/.f64 1 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) -1)) (pow.f64 (*.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 (cbrt.f64 d1) d1) 0) (/.f64 1 (pow.f64 (*.f64 (cbrt.f64 d1) d1) -3)) (pow.f64 (*.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 3) 0) (/.f64 1 (pow.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 3) -1/3)) (pow.f64 (*.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 1 0) (pow.f64 (*.f64 d1 d1) 2) (pow.f64 (*.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (*.f64 d1 d1) 2) (*.f64 (pow.f64 (*.f64 d1 d1) 2) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 (*.f64 d1 d1) 2) 1/2) (*.f64 (pow.f64 (*.f64 d1 d1) 2) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (*.f64 d1 d1) 2) (*.f64 0 (pow.f64 (*.f64 d1 d1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1/2 (pow.f64 (*.f64 d1 d1) 2)) (*.f64 1/2 (pow.f64 (*.f64 d1 d1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 d1) (*.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) 2) 2)) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 d1) (*.f64 (cbrt.f64 (cbrt.f64 d1)) (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) 2) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 d1 (pow.f64 d1 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 d1 3) d1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) 2) 2)) (cbrt.f64 (cbrt.f64 (*.f64 (cbrt.f64 d1) d1)))) (cbrt.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 d1 (cbrt.f64 (*.f64 d1 d1))) (*.f64 (*.f64 d1 d1) (cbrt.f64 (cbrt.f64 d1)))) (cbrt.f64 (cbrt.f64 (*.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 (cbrt.f64 d1) d1))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2))) (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) 2) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (cbrt.f64 d1) d1)) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2)) d1) (*.f64 d1 (cbrt.f64 (*.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) (pow.f64 (pow.f64 d1 3) 3))) (cbrt.f64 (cbrt.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 d1)) (cbrt.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) (pow.f64 (pow.f64 d1 3) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 d1) d1) d1)) (*.f64 (cbrt.f64 (pow.f64 (*.f64 (*.f64 (cbrt.f64 d1) d1) d1) 2)) (*.f64 d1 (cbrt.f64 (*.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 d1) d1) (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) (*.f64 (cbrt.f64 d1) d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) 2) 2)) (cbrt.f64 (*.f64 (cbrt.f64 d1) d1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (cbrt.f64 d1) d1)) (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) 2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 d1 (cbrt.f64 (*.f64 d1 d1))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 d1) d1) d1))) (cbrt.f64 (pow.f64 (*.f64 (*.f64 (cbrt.f64 d1) d1) d1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2) (cbrt.f64 (pow.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) 2)) (pow.f64 (*.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 -1 (*.f64 d1 d1)) (*.f64 -1 (*.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 d1 d1) (cbrt.f64 (cbrt.f64 d1))) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 d1 d1))) (*.f64 d1 (cbrt.f64 (*.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 d1) (*.f64 (cbrt.f64 (*.f64 d1 d1)) (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 d1 3) (cbrt.f64 d1)) (cbrt.f64 (*.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 d1 d1)) (*.f64 (pow.f64 d1 3) (cbrt.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (cbrt.f64 (*.f64 d1 d1))) (*.f64 (*.f64 (cbrt.f64 d1) d1) d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (cbrt.f64 d1) d1) d1) (*.f64 d1 (cbrt.f64 (*.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (*.f64 d1 d1)) (pow.f64 d1 3)) (cbrt.f64 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 d1 3) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2)) (*.f64 (pow.f64 d1 3) (cbrt.f64 (cbrt.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 d1 d1) (cbrt.f64 (cbrt.f64 d1))) (*.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2)) d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 3) 3) (cbrt.f64 (*.f64 d1 d1)))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 d1) d1) d1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 d1 3) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 d1) d1) d1))) (cbrt.f64 (cbrt.f64 (*.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 d1 d1))) (*.f64 (pow.f64 d1 3) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 d1) d1) d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (cbrt.f64 d1)) (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2)) (*.f64 d1 (cbrt.f64 (cbrt.f64 (*.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 d1) d1) d1)) (cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 3) 3) (cbrt.f64 (*.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 (*.f64 d1 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 d1 d1) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (*.f64 d1 d1) 2) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (*.f64 d1 d1) 2) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 (cbrt.f64 (cbrt.f64 d1))) (pow.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 d1) d1)) d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 d1 (cbrt.f64 (*.f64 d1 d1)))) (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 d1) d1)) (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 d1) d1)) d1) 2) (*.f64 d1 (cbrt.f64 (cbrt.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (pow.f64 (*.f64 d1 d1) 2) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (*.f64 d1 d1) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 (*.f64 d1 d1) 2) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 (*.f64 d1 d1) 2) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (pow.f64 (*.f64 d1 d1) 2) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (pow.f64 (*.f64 d1 d1) 2) -1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (pow.f64 (*.f64 d1 d1) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (pow.f64 (*.f64 d1 d1) 2) 1/3) 3)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (pow.f64 (*.f64 d1 d1) 2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 d1) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (cbrt.f64 d1) d1) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 d1 d1) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 -1 (pow.f64 (*.f64 d1 d1) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 (pow.f64 (*.f64 d1 d1) 2) -1))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 3))))))

simplify231.0ms (6.7%)

Algorithm

1×

egglog

Counts

80 → 78

Calls

Call 1

Inputs
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 (/.f64 1 d1) -4)
(pow.f64 (/.f64 1 d1) -4)
(pow.f64 (/.f64 1 d1) -4)
(pow.f64 (/.f64 1 d1) -4)
(pow.f64 (/.f64 -1 d1) -4)
(pow.f64 (/.f64 -1 d1) -4)
(pow.f64 (/.f64 -1 d1) -4)
(pow.f64 (/.f64 -1 d1) -4)
(if (!=.f64 -1 0) (pow.f64 (.f64 d1 d1) 2) (pow.f64 (.f64 d1 d1) 2))
(if (!=.f64 2 0) (pow.f64 (.f64 d1 d1) 2) (pow.f64 (.f64 d1 d1) 2))
(if (!=.f64 (pow.f64 (.f64 d1 d1) 2) 0) (/.f64 1 (pow.f64 (pow.f64 (.f64 d1 d1) 2) -1)) (pow.f64 (*.f64 d1 d1) 2))
(if (!=.f64 (.f64 (cbrt.f64 d1) d1) 0) (/.f64 1 (pow.f64 (.f64 (cbrt.f64 d1) d1) -3)) (pow.f64 (*.f64 d1 d1) 2))
(if (!=.f64 (pow.f64 (pow.f64 (.f64 d1 d1) 2) 3) 0) (/.f64 1 (pow.f64 (pow.f64 (pow.f64 (.f64 d1 d1) 2) 3) -1/3)) (pow.f64 (*.f64 d1 d1) 2))
(if (!=.f64 1 0) (pow.f64 (.f64 d1 d1) 2) (pow.f64 (.f64 d1 d1) 2))
(+.f64 (pow.f64 (.f64 d1 d1) 2) (.f64 (pow.f64 (*.f64 d1 d1) 2) 0))
(+.f64 (.f64 (pow.f64 (.f64 d1 d1) 2) 1/2) (.f64 (pow.f64 (.f64 d1 d1) 2) 1/2))
(+.f64 (pow.f64 (.f64 d1 d1) 2) (.f64 0 (pow.f64 (*.f64 d1 d1) 2)))
(+.f64 (.f64 1/2 (pow.f64 (.f64 d1 d1) 2)) (.f64 1/2 (pow.f64 (.f64 d1 d1) 2)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) 2) 2)) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 d1))
(.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 (cbrt.f64 d1)) (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) 2) 2))))
(*.f64 d1 (pow.f64 d1 3))
(*.f64 (pow.f64 d1 3) d1)
(.f64 (.f64 (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) 2) 2)) (cbrt.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)))) (cbrt.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2))))
(.f64 (.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (.f64 (.f64 d1 d1) (cbrt.f64 (cbrt.f64 d1)))) (cbrt.f64 (cbrt.f64 (*.f64 d1 d1))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2))) (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) 2) 2))))
(.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)) d1) (.f64 d1 (cbrt.f64 (*.f64 d1 d1)))))
(.f64 (cbrt.f64 (.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) (pow.f64 (pow.f64 d1 3) 3))) (cbrt.f64 (cbrt.f64 d1)))
(.f64 (cbrt.f64 (cbrt.f64 d1)) (cbrt.f64 (.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) (pow.f64 (pow.f64 d1 3) 3))))
(.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 d1) d1) d1)) (.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 d1) d1) d1) 2)) (.f64 d1 (cbrt.f64 (.f64 d1 d1)))))
(.f64 (.f64 (cbrt.f64 d1) d1) (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2))
(.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) (*.f64 (cbrt.f64 d1) d1))
(.f64 (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) 2) 2)) (cbrt.f64 (*.f64 (cbrt.f64 d1) d1)))
(.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) 2) 2)))
(.f64 (.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 d1) d1) d1))) (cbrt.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 d1) d1) d1) 2)))
(.f64 (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2) (cbrt.f64 (pow.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) 2)))
(.f64 (cbrt.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) 2)) (pow.f64 (*.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2))
(.f64 (.f64 -1 (.f64 d1 d1)) (.f64 -1 (*.f64 d1 d1)))
(.f64 (.f64 (.f64 d1 d1) (cbrt.f64 (cbrt.f64 d1))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 d1))) (.f64 d1 (cbrt.f64 (*.f64 d1 d1)))))
(.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 (*.f64 d1 d1)) (pow.f64 d1 3)))
(.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 d1)) (cbrt.f64 (*.f64 d1 d1)))
(.f64 (cbrt.f64 (.f64 d1 d1)) (*.f64 (pow.f64 d1 3) (cbrt.f64 d1)))
(.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (.f64 (*.f64 (cbrt.f64 d1) d1) d1))
(.f64 (.f64 (.f64 (cbrt.f64 d1) d1) d1) (.f64 d1 (cbrt.f64 (*.f64 d1 d1))))
(.f64 (.f64 (cbrt.f64 (*.f64 d1 d1)) (pow.f64 d1 3)) (cbrt.f64 d1))
(.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2)))
(.f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)) (*.f64 (pow.f64 d1 3) (cbrt.f64 (cbrt.f64 d1))))
(.f64 (.f64 (.f64 d1 d1) (cbrt.f64 (cbrt.f64 d1))) (.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2)) d1))
(.f64 (cbrt.f64 (.f64 (pow.f64 (pow.f64 d1 3) 3) (cbrt.f64 (.f64 d1 d1)))) (cbrt.f64 (.f64 (*.f64 (cbrt.f64 d1) d1) d1)))
(.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (.f64 (.f64 (cbrt.f64 d1) d1) d1))) (cbrt.f64 (cbrt.f64 (*.f64 d1 d1))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 d1))) (.f64 (pow.f64 d1 3) (cbrt.f64 (.f64 (*.f64 (cbrt.f64 d1) d1) d1))))
(.f64 (.f64 (cbrt.f64 (cbrt.f64 d1)) (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)) (.f64 d1 (cbrt.f64 (cbrt.f64 (*.f64 d1 d1)))))
(.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 d1) d1) d1)) (cbrt.f64 (.f64 (pow.f64 (pow.f64 d1 3) 3) (cbrt.f64 (*.f64 d1 d1)))))
(.f64 1 (pow.f64 (.f64 d1 d1) 2))
(.f64 (pow.f64 (.f64 d1 d1) 2) 1)
(.f64 (/.f64 (pow.f64 (.f64 d1 d1) 2) -1) -1)
(.f64 (/.f64 (pow.f64 (.f64 d1 d1) 2) 2) 2)
(.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) (pow.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) d1) 2))
(.f64 (cbrt.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1)))) (.f64 (cbrt.f64 (*.f64 (cbrt.f64 d1) d1)) (pow.f64 d1 3)))
(.f64 (pow.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) d1) 2) (.f64 d1 (cbrt.f64 (cbrt.f64 d1))))
(/.f64 (/.f64 (pow.f64 (*.f64 d1 d1) 2) 2) 1/2)
(/.f64 (pow.f64 (*.f64 d1 d1) 2) 1)
(/.f64 (.f64 (pow.f64 (.f64 d1 d1) 2) -1) -1)
(/.f64 (.f64 (pow.f64 (.f64 d1 d1) 2) 2) 2)
(/.f64 (/.f64 (pow.f64 (*.f64 d1 d1) 2) 1/2) 2)
(/.f64 (/.f64 (pow.f64 (*.f64 d1 d1) 2) -1) -1)
(/.f64 (neg.f64 (pow.f64 (*.f64 d1 d1) 2)) -1)
(/.f64 (/.f64 (pow.f64 (*.f64 d1 d1) 2) 1/3) 3)
(/.f64 (/.f64 (pow.f64 (*.f64 d1 d1) 2) 3) 1/3)
(pow.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 3) 1/3)
(pow.f64 (*.f64 d1 d1) 2)
(pow.f64 (*.f64 (cbrt.f64 d1) d1) 3)
(pow.f64 (pow.f64 (*.f64 d1 d1) 2) 1)
(neg.f64 (.f64 -1 (pow.f64 (.f64 d1 d1) 2)))
(neg.f64 (.f64 (pow.f64 (.f64 d1 d1) 2) -1))
(cbrt.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 3))

Outputs
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 (/.f64 1 d1) -4)
(pow.f64 (/.f64 1 d1) -4)
(pow.f64 (/.f64 1 d1) -4)
(pow.f64 (/.f64 1 d1) -4)
(pow.f64 (/.f64 -1 d1) -4)
(pow.f64 (/.f64 -1 d1) -4)
(pow.f64 (/.f64 -1 d1) -4)
(pow.f64 (/.f64 -1 d1) -4)
(if (!=.f64 -1 0) (pow.f64 (.f64 d1 d1) 2) (pow.f64 (.f64 d1 d1) 2))
(if (!=.f64 -1 0) (pow.f64 d1 4) (pow.f64 d1 4))
(if (!=.f64 2 0) (pow.f64 (.f64 d1 d1) 2) (pow.f64 (.f64 d1 d1) 2))
(if (!=.f64 2 0) (pow.f64 d1 4) (pow.f64 d1 4))
(if (!=.f64 (pow.f64 (.f64 d1 d1) 2) 0) (/.f64 1 (pow.f64 (pow.f64 (.f64 d1 d1) 2) -1)) (pow.f64 (*.f64 d1 d1) 2))
(if (!=.f64 (pow.f64 d1 4) 0) (/.f64 -1 (/.f64 -1 (pow.f64 d1 4))) (pow.f64 d1 4))
(if (!=.f64 (.f64 (cbrt.f64 d1) d1) 0) (/.f64 1 (pow.f64 (.f64 (cbrt.f64 d1) d1) -3)) (pow.f64 (*.f64 d1 d1) 2))
(if (!=.f64 (cbrt.f64 (pow.f64 d1 4)) 0) (/.f64 1 (pow.f64 (cbrt.f64 (pow.f64 d1 4)) -3)) (pow.f64 d1 4))
(if (!=.f64 (pow.f64 (pow.f64 (.f64 d1 d1) 2) 3) 0) (/.f64 1 (pow.f64 (pow.f64 (pow.f64 (.f64 d1 d1) 2) 3) -1/3)) (pow.f64 (*.f64 d1 d1) 2))
(if (!=.f64 (pow.f64 (pow.f64 d1 4) 3) 0) (/.f64 1 (pow.f64 (pow.f64 (pow.f64 d1 4) 3) -1/3)) (pow.f64 d1 4))
(if (!=.f64 1 0) (pow.f64 (.f64 d1 d1) 2) (pow.f64 (.f64 d1 d1) 2))
(if (!=.f64 1 0) (pow.f64 d1 4) (pow.f64 d1 4))
(+.f64 (pow.f64 (.f64 d1 d1) 2) (.f64 (pow.f64 (*.f64 d1 d1) 2) 0))
(pow.f64 d1 4)
(+.f64 (.f64 (pow.f64 (.f64 d1 d1) 2) 1/2) (.f64 (pow.f64 (.f64 d1 d1) 2) 1/2))
(pow.f64 d1 4)
(+.f64 (pow.f64 (.f64 d1 d1) 2) (.f64 0 (pow.f64 (*.f64 d1 d1) 2)))
(pow.f64 d1 4)
(+.f64 (.f64 1/2 (pow.f64 (.f64 d1 d1) 2)) (.f64 1/2 (pow.f64 (.f64 d1 d1) 2)))
(pow.f64 d1 4)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(pow.f64 d1 4)
(.f64 (.f64 (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) 2) 2)) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 d1))
(pow.f64 d1 4)
(.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 (cbrt.f64 d1)) (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) 2) 2))))
(pow.f64 d1 4)
(*.f64 d1 (pow.f64 d1 3))
(pow.f64 d1 4)
(*.f64 (pow.f64 d1 3) d1)
(pow.f64 d1 4)
(.f64 (.f64 (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) 2) 2)) (cbrt.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)))) (cbrt.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2))))
(pow.f64 d1 4)
(.f64 (.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (.f64 (.f64 d1 d1) (cbrt.f64 (cbrt.f64 d1)))) (cbrt.f64 (cbrt.f64 (*.f64 d1 d1))))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2))) (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) 2) 2))))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)) d1) (.f64 d1 (cbrt.f64 (*.f64 d1 d1)))))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) (pow.f64 (pow.f64 d1 3) 3))) (cbrt.f64 (cbrt.f64 d1)))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (cbrt.f64 d1)) (cbrt.f64 (.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) (pow.f64 (pow.f64 d1 3) 3))))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 d1) d1) d1)) (.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 d1) d1) d1) 2)) (.f64 d1 (cbrt.f64 (.f64 d1 d1)))))
(pow.f64 d1 4)
(.f64 (.f64 (cbrt.f64 d1) d1) (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2))
(pow.f64 d1 4)
(.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) (*.f64 (cbrt.f64 d1) d1))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) 2) 2)) (cbrt.f64 (*.f64 (cbrt.f64 d1) d1)))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) 2) 2)))
(pow.f64 d1 4)
(.f64 (.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 d1) d1) d1))) (cbrt.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 d1) d1) d1) 2)))
(pow.f64 d1 4)
(.f64 (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2) (cbrt.f64 (pow.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2) 2)))
(.f64 (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 d1 4) 2)) 2)))
(.f64 (cbrt.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2) 2)) (pow.f64 (*.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2))
(.f64 (pow.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 d1 4) 2)) 2)))
(.f64 (.f64 -1 (.f64 d1 d1)) (.f64 -1 (*.f64 d1 d1)))
(pow.f64 d1 4)
(.f64 (.f64 (.f64 d1 d1) (cbrt.f64 (cbrt.f64 d1))) (.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 d1))) (.f64 d1 (cbrt.f64 (*.f64 d1 d1)))))
(pow.f64 d1 4)
(.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 (*.f64 d1 d1)) (pow.f64 d1 3)))
(pow.f64 d1 4)
(.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 d1)) (cbrt.f64 (*.f64 d1 d1)))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (.f64 d1 d1)) (*.f64 (pow.f64 d1 3) (cbrt.f64 d1)))
(pow.f64 d1 4)
(.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1))) (.f64 (*.f64 (cbrt.f64 d1) d1) d1))
(pow.f64 d1 4)
(.f64 (.f64 (.f64 (cbrt.f64 d1) d1) d1) (.f64 d1 (cbrt.f64 (*.f64 d1 d1))))
(pow.f64 d1 4)
(.f64 (.f64 (cbrt.f64 (*.f64 d1 d1)) (pow.f64 d1 3)) (cbrt.f64 d1))
(pow.f64 d1 4)
(.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (cbrt.f64 d1))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2)))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)) (*.f64 (pow.f64 d1 3) (cbrt.f64 (cbrt.f64 d1))))
(pow.f64 d1 4)
(.f64 (.f64 (.f64 d1 d1) (cbrt.f64 (cbrt.f64 d1))) (.f64 (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 d1) d1) 2)) d1))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (.f64 (pow.f64 (pow.f64 d1 3) 3) (cbrt.f64 (.f64 d1 d1)))) (cbrt.f64 (.f64 (*.f64 (cbrt.f64 d1) d1) d1)))
(pow.f64 d1 4)
(.f64 (.f64 (pow.f64 d1 3) (cbrt.f64 (.f64 (.f64 (cbrt.f64 d1) d1) d1))) (cbrt.f64 (cbrt.f64 (*.f64 d1 d1))))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 d1))) (.f64 (pow.f64 d1 3) (cbrt.f64 (.f64 (*.f64 (cbrt.f64 d1) d1) d1))))
(pow.f64 d1 4)
(.f64 (.f64 (cbrt.f64 (cbrt.f64 d1)) (pow.f64 (.f64 (cbrt.f64 d1) d1) 2)) (.f64 d1 (cbrt.f64 (cbrt.f64 (*.f64 d1 d1)))))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 d1) d1) d1)) (cbrt.f64 (.f64 (pow.f64 (pow.f64 d1 3) 3) (cbrt.f64 (*.f64 d1 d1)))))
(pow.f64 d1 4)
(.f64 1 (pow.f64 (.f64 d1 d1) 2))
(pow.f64 d1 4)
(.f64 (pow.f64 (.f64 d1 d1) 2) 1)
(pow.f64 d1 4)
(.f64 (/.f64 (pow.f64 (.f64 d1 d1) 2) -1) -1)
(pow.f64 d1 4)
(.f64 (/.f64 (pow.f64 (.f64 d1 d1) 2) 2) 2)
(pow.f64 d1 4)
(.f64 (.f64 d1 (cbrt.f64 (cbrt.f64 d1))) (pow.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) d1) 2))
(pow.f64 d1 4)
(.f64 (cbrt.f64 (.f64 d1 (cbrt.f64 (.f64 d1 d1)))) (.f64 (cbrt.f64 (*.f64 (cbrt.f64 d1) d1)) (pow.f64 d1 3)))
(pow.f64 d1 4)
(.f64 (pow.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 d1) d1)) d1) 2) (.f64 d1 (cbrt.f64 (cbrt.f64 d1))))
(pow.f64 d1 4)
(/.f64 (/.f64 (pow.f64 (*.f64 d1 d1) 2) 2) 1/2)
(pow.f64 d1 4)
(/.f64 (pow.f64 (*.f64 d1 d1) 2) 1)
(pow.f64 d1 4)
(/.f64 (.f64 (pow.f64 (.f64 d1 d1) 2) -1) -1)
(pow.f64 d1 4)
(/.f64 (.f64 (pow.f64 (.f64 d1 d1) 2) 2) 2)
(pow.f64 d1 4)
(/.f64 (/.f64 (pow.f64 (*.f64 d1 d1) 2) 1/2) 2)
(pow.f64 d1 4)
(/.f64 (/.f64 (pow.f64 (*.f64 d1 d1) 2) -1) -1)
(pow.f64 d1 4)
(/.f64 (neg.f64 (pow.f64 (*.f64 d1 d1) 2)) -1)
(pow.f64 d1 4)
(/.f64 (/.f64 (pow.f64 (*.f64 d1 d1) 2) 1/3) 3)
(pow.f64 d1 4)
(/.f64 (/.f64 (pow.f64 (*.f64 d1 d1) 2) 3) 1/3)
(pow.f64 d1 4)
(pow.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 3) 1/3)
(pow.f64 d1 4)
(pow.f64 (*.f64 d1 d1) 2)
(pow.f64 d1 4)
(pow.f64 (*.f64 (cbrt.f64 d1) d1) 3)
(pow.f64 d1 4)
(pow.f64 (pow.f64 (*.f64 d1 d1) 2) 1)
(pow.f64 d1 4)
(neg.f64 (.f64 -1 (pow.f64 (.f64 d1 d1) 2)))
(pow.f64 d1 4)
(neg.f64 (.f64 (pow.f64 (.f64 d1 d1) 2) -1))
(pow.f64 d1 4)
(cbrt.f64 (pow.f64 (pow.f64 (*.f64 d1 d1) 2) 3))
(pow.f64 d1 4)

localize5.0ms (0.1%)

Compiler: Compiled 6 to 4 computations (33.3% saved)

eval22.0ms (0.6%)

Compiler: Compiled 1048 to 507 computations (51.6% saved)

prune9.0ms (0.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

81 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(pow.f64 d1 4)
✓	0.1b	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
✓	0.2b	(.f64 (.f64 d1 d1) (*.f64 d1 d1))

Compiler

Compiled 20 to 10 computations (50% saved)

regimes7.0ms (0.2%)

Counts

4 → 1

Calls

Call 1

Inputs
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 (*.f64 d1 d1) d1) d1)
(pow.f64 d1 4)
(pow.f64 (*.f64 d1 d1) 2)

Outputs
(pow.f64 d1 4)

Calls

2 calls:

4.0ms	d1
2.0ms	(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Results

Error	Segments	Branch
0b	1	`d1`
0b	1	`(.f64 (.f64 (*.f64 d1 d1) d1) d1)`

Compiler

Compiled 33 to 14 computations (57.6% saved)

regimes8.0ms (0.2%)

Accuracy

Total -0.1b remaining (-93.1%)

Threshold costs -0.1b (-93.1%)

Counts

2 → 1

Calls

Call 1

Inputs
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Outputs
(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Calls

2 calls:

3.0ms	d1
2.0ms	(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Results

Error	Segments	Branch
0.1b	1	`d1`
0.1b	1	`(.f64 (.f64 (*.f64 d1 d1) d1) d1)`

Compiler

Compiled 25 to 10 computations (60% saved)

simplify1.0ms (0%)

Stop Event

1×

done

Compiler

Compiled 20 to 10 computations (50% saved)

soundness0.0ms (0%)

end50.0ms (1.4%)

Compiler: Compiled 18 to 7 computations (61.1% saved)

Details

analyze3.0ms (0.1%)

sample802.0ms (23.1%)

preprocess237.0ms (6.8%)

simplify119.0ms (3.4%)

eval0.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.2%)

series39.0ms (1.1%)

rewrite169.0ms (4.9%)

simplify327.0ms (9.4%)

localize25.0ms (0.7%)

series9.0ms (0.3%)

rewrite155.0ms (4.5%)

simplify943.0ms (27.1%)

eval82.0ms (2.4%)

prune39.0ms (1.1%)

localize6.0ms (0.2%)

series7.0ms (0.2%)

rewrite175.0ms (5%)

simplify231.0ms (6.7%)

localize5.0ms (0.1%)

eval22.0ms (0.6%)

prune9.0ms (0.3%)

regimes7.0ms (0.2%)

regimes8.0ms (0.2%)

simplify1.0ms (0%)

soundness0.0ms (0%)

end50.0ms (1.4%)

Profiling