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
75%	75%	25%	0%	0%	0%	0%	4
87.5%	87.5%	12.5%	0%	0%	0%	0%	5
93.8%	93.7%	6.2%	0%	0%	0%	0%	6
96.9%	96.8%	3.1%	0%	0%	0%	0%	7
98.4%	98.4%	1.6%	0%	0%	0%	0%	8
99.2%	99.2%	0.8%	0%	0%	0%	0%	9
99.6%	99.6%	0.4%	0%	0%	0%	0%	10
99.8%	99.8%	0.2%	0%	0%	0%	0%	11
99.9%	99.9%	0.1%	0%	0%	0%	0%	12

Compiler

Compiled 7 to 6 computations (14.3% saved)

sample942.0ms (44.8%)

Results

931.0ms

8256×

body

256

valid

Bogosity

preprocess176.0ms (8.4%)

Algorithm

2×

egglog

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(+.f64 x (/.f64 1 3))

Outputs
(+.f64 x (/.f64 1 3))
(+.f64 x 1/3)

Compiler

Compiled 7 to 6 computations (14.3% saved)

simplify80.0ms (3.8%)

Algorithm

1×

egglog

Counts

1 → 2

Calls

Call 1

Inputs
(+.f64 x (/.f64 1 3))

Outputs
(+.f64 x (/.f64 1 3))
(+.f64 x 1/3)

eval1.0ms (0%)

Compiler: Compiled 9 to 7 computations (22.2% saved)

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 x 1/3)

Compiler

Compiled 4 to 3 computations (25% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 x 1/3)

Compiler

Compiled 6 to 4 computations (33.3% saved)

series6.0ms (0.3%)

Counts

1 → 3

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(+.f64 x 1/3)
0.0ms	x	@	0	(+.f64 x 1/3)
0.0ms	x	@	-inf	(+.f64 x 1/3)

Compiler

Compiled 160 to 105 computations (34.4% saved)

rewrite302.0ms (14.3%)

Algorithm

1×	batch-egg-rewrite

Rules

162× egg-rr

Counts

1 → 162

Calls

Call 1

Inputs
(+.f64 x 1/3)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 1/3) (cbrt.f64 1/9) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 1/9) (cbrt.f64 1/3) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 x) (cbrt.f64 (.f64 x x)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 x) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 1/3 x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 x 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1/3 1 x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x 1 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (cbrt.f64 (.f64 x x))) (.f64 (cbrt.f64 (.f64 x (cbrt.f64 x))) (cbrt.f64 x)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (pow.f64 (.f64 x (cbrt.f64 x)) 2)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 x (.f64 x (cbrt.f64 x)))) (cbrt.f64 (cbrt.f64 (.f64 x x))) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 (cbrt.f64 (.f64 x x)) x)) (cbrt.f64 (.f64 x (cbrt.f64 x))) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 1/3) (sqrt.f64 1/3) x)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 x 0) (+.f64 x 1/3) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 1/3 0) (+.f64 x 1/3) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 0) (+.f64 x 1/3) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 x -1/3) 0) (/.f64 (fma.f64 x x -1/9) (+.f64 x -1/3)) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 1/3 x) 0) (/.f64 (fma.f64 x x -1/9) (+.f64 x -1/3)) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (pow.f64 x 3) 1/27) 0) (/.f64 1 (/.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 (pow.f64 x 3) 1/27))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)) 0) (/.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (/.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 x 1/3) 0) (/.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (/.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 x 1/3))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) 0) (/.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (cbrt.f64 (cbrt.f64 (+.f64 x 1/3)))) (/.f64 1 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) 0) (/.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) (/.f64 1 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (pow.f64 x 3) 1/27) 0) (/.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (/.f64 1 (+.f64 (pow.f64 x 3) 1/27))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (cbrt.f64 (+.f64 x 1/3)) 0) (/.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (cbrt.f64 (/.f64 1 (+.f64 x 1/3)))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))) 0) (/.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (/.f64 1 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) 2) 0) (/.f64 (cbrt.f64 (.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))) (/.f64 1 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) 2))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 x 1/3) 0) (/.f64 1 (/.f64 1 (+.f64 x 1/3))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) 0) (/.f64 (cbrt.f64 (+.f64 x 1/3)) (/.f64 1 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (/.f64 1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) 0) (/.f64 (-.f64 -1/27 (pow.f64 x 3)) (/.f64 1 (/.f64 1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)) 0) (/.f64 (+.f64 (cbrt.f64 1/9) (.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3)))) (/.f64 1 (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (/.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) 0) (/.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (/.f64 1 (/.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) 0) (/.f64 (+.f64 (pow.f64 x 3) 1/27) (/.f64 1 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (/.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))) 0) (/.f64 (/.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))) (/.f64 1 (/.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (/.f64 (+.f64 x 1/3) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) 0) (/.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (/.f64 1 (/.f64 (+.f64 x 1/3) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)) 0) (/.f64 (-.f64 (+.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (.f64 x 1/3))) (/.f64 1 (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (cbrt.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) 2) (+.f64 x 1/3))) 0) (/.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (/.f64 1 (cbrt.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) 2) (+.f64 x 1/3))))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 2 0) (+.f64 x 1/3) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 1/81 (.f64 (.f64 x (+.f64 x -1/3)) (-.f64 (.f64 x (+.f64 x -1/3)) 1/9))) 0) (.f64 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (+.f64 1/729 (pow.f64 (.f64 x (+.f64 x -1/3)) 3))) (+.f64 1/81 (.f64 (.f64 x (+.f64 x -1/3)) (-.f64 (.f64 x (+.f64 x -1/3)) 1/9)))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 -1/3 0) (+.f64 x 1/3) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 (+.f64 x 1/3) 3) 0) (/.f64 1 (pow.f64 (pow.f64 (+.f64 x 1/3) 3) -1/3)) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 1 0) (+.f64 x 1/3) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 x 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1/3 x)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 x 0) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 (+.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (.f64 x 1/3))) (cbrt.f64 x)) (.f64 (-.f64 (+.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (.f64 x 1/3))) (cbrt.f64 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (+.f64 (cbrt.f64 1/9) (.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3)))) (cbrt.f64 1/3)) (.f64 (+.f64 (cbrt.f64 1/9) (.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3)))) (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x)) (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (.f64 1/3 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (pow.f64 x 3)) (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) 1/27))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) 1/27) (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x)) (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 1/3)) (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (.f64 1/3 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))) (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 x 1/3) (.f64 (+.f64 x 1/3) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (cbrt.f64 x) (-.f64 (+.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (.f64 x 1/3)))) (.f64 (cbrt.f64 1/3) (-.f64 (+.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (.f64 x 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (cbrt.f64 1/3) (+.f64 (cbrt.f64 1/9) (.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3))))) (.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 1/9) (.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (.f64 (.f64 1/3 (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 x 3) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (.f64 1/27 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 1/27 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (.f64 (pow.f64 x 3) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 1/3) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 1/3) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 1/3 (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 x 1/3) (.f64 0 (+.f64 x 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 x -1/3)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (+.f64 x 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 0 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (neg.f64 (+.f64 x 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (cbrt.f64 (cbrt.f64 (+.f64 x 1/3)))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (pow.f64 x 3) 1/27) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (cbrt.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) 2) (+.f64 x 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (/.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (/.f64 (+.f64 x 1/3) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 -1/27 (pow.f64 x 3)) (/.f64 1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))) (/.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (+.f64 x 1/3)) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (+.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (.f64 x 1/3))) (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (cbrt.f64 1/9) (.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3)))) (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (cbrt.f64 (+.f64 x 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (+.f64 (pow.f64 x 3) 1/27))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 x 1/3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (cbrt.f64 (cbrt.f64 (+.f64 x 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) 2) (cbrt.f64 (.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 x 1/3) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (+.f64 1/9 (.f64 x (+.f64 x -1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (-.f64 -1/27 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)) (+.f64 (cbrt.f64 1/9) (.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))) (/.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)) (-.f64 (+.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (.f64 x 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) 2) (+.f64 x 1/3))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))) (pow.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))) (cbrt.f64 (pow.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (.f64 (pow.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) 2) (+.f64 (pow.f64 x 3) 1/27)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (.f64 (cbrt.f64 (pow.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) 2)) (+.f64 (pow.f64 x 3) 1/27)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 x 1/3) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (neg.f64 (+.f64 x 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (pow.f64 (+.f64 x 1/3) 2) (+.f64 (pow.f64 x 3) 1/27))) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (/.f64 1 (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (/.f64 1 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 x 3) 1/27) (+.f64 1/9 (.f64 x (+.f64 x -1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 -1/27 (pow.f64 x 3)) (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cbrt.f64 (.f64 (pow.f64 (+.f64 x 1/3) 2) (+.f64 (pow.f64 x 3) 1/27))) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x 1/3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (pow.f64 x 3) 1/27) -1) (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (cbrt.f64 (-.f64 -1/27 (pow.f64 x 3)))) (cbrt.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (neg.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)))) (cbrt.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (/.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))) (+.f64 x 1/3)) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x 1/3) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (+.f64 (pow.f64 x 3) 1/27)) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cbrt.f64 (-.f64 -1/27 (pow.f64 x 3))) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) (cbrt.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (neg.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27))) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) (cbrt.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (neg.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683)) (/.f64 1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))) (cbrt.f64 (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 -1/27 (pow.f64 x 3)) (/.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (/.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (.f64 1 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683)) (.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))) (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683)) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (neg.f64 (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 (pow.f64 x 3) 1/27)) (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (-.f64 -1/27 (pow.f64 x 3))) (neg.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (neg.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27))) 3) (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 x 3) -1/27) (+.f64 1/9 (.f64 x (+.f64 x -1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (-.f64 -1/27 (pow.f64 x 3))) 1) (neg.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (neg.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683)) 1) (.f64 (neg.f64 (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 (pow.f64 x 3) 1/27)) 1) (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (-.f64 -1/27 (pow.f64 x 3))) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))) (.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))) (.f64 (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (neg.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683)) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))) (.f64 (neg.f64 (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 (pow.f64 x 3) 1/27)) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (-.f64 -1/27 (pow.f64 x 3))) -1) (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) -1) (.f64 (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))) (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (neg.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683)) -1) (.f64 (neg.f64 (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))) (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 (pow.f64 x 3) 1/27)) -1) (neg.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cbrt.f64 (.f64 (+.f64 x 1/3) (+.f64 (pow.f64 x 3) 1/27))) (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27))) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)) (cbrt.f64 (-.f64 -1/27 (pow.f64 x 3)))) (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cbrt.f64 (.f64 (+.f64 x 1/3) (+.f64 (pow.f64 x 3) 1/27))) (cbrt.f64 (-.f64 -1/27 (pow.f64 x 3)))) (.f64 (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (cbrt.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)) (neg.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)))) (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cbrt.f64 (.f64 (+.f64 x 1/3) (+.f64 (pow.f64 x 3) 1/27))) (neg.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)))) (.f64 (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (cbrt.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))) (cbrt.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (cbrt.f64 (.f64 (pow.f64 (+.f64 x 1/3) 2) (+.f64 (pow.f64 x 3) 1/27)))) (cbrt.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (+.f64 1/9 (.f64 x (+.f64 x -1/3))))) (neg.f64 (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683)) (neg.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3)))))) (neg.f64 (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 x 1/3)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cbrt.f64 (.f64 (pow.f64 (+.f64 x 1/3) 2) (-.f64 -1/27 (pow.f64 x 3)))) (cbrt.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 1/729 (pow.f64 (.f64 x (+.f64 x -1/3)) 3)) (/.f64 (+.f64 x 1/3) (+.f64 1/9 (.f64 x (+.f64 x -1/3))))) (+.f64 1/81 (.f64 (.f64 x (+.f64 x -1/3)) (-.f64 (.f64 x (+.f64 x -1/3)) 1/9))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 x 1/3)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 x 1/3) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 x 1/3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (neg.f64 (+.f64 x 1/3)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 -1/3 x))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (+.f64 x 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 x 1/3) 3))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 1/3) (cbrt.f64 1/9) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 1/9) (cbrt.f64 1/3) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 x x)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 x) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 1/3 x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 x 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1/3 1 x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x 1 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (cbrt.f64 (*.f64 x x))) (*.f64 (cbrt.f64 (*.f64 x (cbrt.f64 x))) (cbrt.f64 x)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (pow.f64 (*.f64 x (cbrt.f64 x)) 2)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 x (*.f64 x (cbrt.f64 x)))) (cbrt.f64 (cbrt.f64 (*.f64 x x))) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (cbrt.f64 (*.f64 x x)) x)) (cbrt.f64 (*.f64 x (cbrt.f64 x))) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 1/3) (sqrt.f64 1/3) x)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 x 0) (+.f64 x 1/3) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 1/3 0) (+.f64 x 1/3) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 0) (+.f64 x 1/3) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 x -1/3) 0) (/.f64 (fma.f64 x x -1/9) (+.f64 x -1/3)) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 1/3 x) 0) (/.f64 (fma.f64 x x -1/9) (+.f64 x -1/3)) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (pow.f64 x 3) 1/27) 0) (/.f64 1 (/.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (+.f64 (pow.f64 x 3) 1/27))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)) 0) (/.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (/.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 x 1/3) 0) (/.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (/.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (+.f64 x 1/3))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) 0) (/.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (cbrt.f64 (cbrt.f64 (+.f64 x 1/3)))) (/.f64 1 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) 0) (/.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) (/.f64 1 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (pow.f64 x 3) 1/27) 0) (/.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))) (/.f64 1 (+.f64 (pow.f64 x 3) 1/27))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (cbrt.f64 (+.f64 x 1/3)) 0) (/.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (cbrt.f64 (/.f64 1 (+.f64 x 1/3)))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))) 0) (/.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))) (/.f64 1 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) 2) 0) (/.f64 (cbrt.f64 (*.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))) (/.f64 1 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) 2))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 x 1/3) 0) (/.f64 1 (/.f64 1 (+.f64 x 1/3))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) 0) (/.f64 (cbrt.f64 (+.f64 x 1/3)) (/.f64 1 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (/.f64 1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))) 0) (/.f64 (-.f64 -1/27 (pow.f64 x 3)) (/.f64 1 (/.f64 1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)) 0) (/.f64 (+.f64 (cbrt.f64 1/9) (*.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3)))) (/.f64 1 (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (/.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)) (+.f64 1/9 (*.f64 x (+.f64 x -1/3)))) 0) (/.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (/.f64 1 (/.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)) (+.f64 1/9 (*.f64 x (+.f64 x -1/3)))))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))) 0) (/.f64 (+.f64 (pow.f64 x 3) 1/27) (/.f64 1 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (/.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))) 0) (/.f64 (/.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (cbrt.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))) (/.f64 1 (/.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (/.f64 (+.f64 x 1/3) (+.f64 1/9 (*.f64 x (+.f64 x -1/3)))) 0) (/.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (/.f64 1 (/.f64 (+.f64 x 1/3) (+.f64 1/9 (*.f64 x (+.f64 x -1/3)))))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)) 0) (/.f64 (-.f64 (+.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (*.f64 x 1/3))) (/.f64 1 (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (cbrt.f64 (*.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) 2) (+.f64 x 1/3))) 0) (/.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (/.f64 1 (cbrt.f64 (*.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) 2) (+.f64 x 1/3))))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 2 0) (+.f64 x 1/3) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 1/81 (*.f64 (*.f64 x (+.f64 x -1/3)) (-.f64 (*.f64 x (+.f64 x -1/3)) 1/9))) 0) (*.f64 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (+.f64 1/729 (pow.f64 (*.f64 x (+.f64 x -1/3)) 3))) (+.f64 1/81 (*.f64 (*.f64 x (+.f64 x -1/3)) (-.f64 (*.f64 x (+.f64 x -1/3)) 1/9)))) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 -1/3 0) (+.f64 x 1/3) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 (+.f64 x 1/3) 3) 0) (/.f64 1 (pow.f64 (pow.f64 (+.f64 x 1/3) 3) -1/3)) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 1 0) (+.f64 x 1/3) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 x 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1/3 x)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 x 0) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 (+.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (*.f64 x 1/3))) (cbrt.f64 x)) (*.f64 (-.f64 (+.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (*.f64 x 1/3))) (cbrt.f64 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 (cbrt.f64 1/9) (*.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3)))) (cbrt.f64 1/3)) (*.f64 (+.f64 (cbrt.f64 1/9) (*.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3)))) (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))) (*.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) x)) (*.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))) (*.f64 1/3 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))) (pow.f64 x 3)) (*.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))) 1/27))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))) 1/27) (*.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))) (*.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) x)) (*.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))) (*.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))) (*.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 1/3)) (*.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))) (*.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))) (*.f64 1/3 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))) (*.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))) (*.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 x 1/3) (*.f64 (+.f64 x 1/3) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (cbrt.f64 x) (-.f64 (+.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (*.f64 x 1/3)))) (*.f64 (cbrt.f64 1/3) (-.f64 (+.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (*.f64 x 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (cbrt.f64 1/3) (+.f64 (cbrt.f64 1/9) (*.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3))))) (*.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 1/9) (*.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) x) (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))) (*.f64 (*.f64 1/3 (+.f64 1/9 (*.f64 x (+.f64 x -1/3)))) (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 3) (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))) (*.f64 1/27 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1/27 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))) (*.f64 (pow.f64 x 3) (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) x) (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))) (*.f64 (*.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 1/3) (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 1/3) (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))) (*.f64 (*.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) x) (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 1/3 (+.f64 1/9 (*.f64 x (+.f64 x -1/3)))) (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))) (*.f64 (*.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) x) (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 x 1/3) (*.f64 0 (+.f64 x 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 x -1/3)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (+.f64 x 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 0 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))) (neg.f64 (+.f64 x 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (cbrt.f64 (cbrt.f64 (+.f64 x 1/3)))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 x 3) 1/27) (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (cbrt.f64 (*.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) 2) (+.f64 x 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (/.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)) (+.f64 1/9 (*.f64 x (+.f64 x -1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (/.f64 (+.f64 x 1/3) (+.f64 1/9 (*.f64 x (+.f64 x -1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 -1/27 (pow.f64 x 3)) (/.f64 1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (cbrt.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))) (/.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))) (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 x 1/3)) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (+.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (*.f64 x 1/3))) (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (cbrt.f64 1/9) (*.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3)))) (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (cbrt.f64 (+.f64 x 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))) (+.f64 (pow.f64 x 3) 1/27))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x 1/3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (*.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (cbrt.f64 (cbrt.f64 (+.f64 x 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) 2) (cbrt.f64 (*.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)) (+.f64 1/9 (*.f64 x (+.f64 x -1/3)))) (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 x 1/3) (+.f64 1/9 (*.f64 x (+.f64 x -1/3)))) (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))) (-.f64 -1/27 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)) (+.f64 (cbrt.f64 1/9) (*.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))) (/.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (cbrt.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)) (-.f64 (+.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (*.f64 x 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) 2) (+.f64 x 1/3))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))) (pow.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))) (cbrt.f64 (pow.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))) (*.f64 (pow.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))) 2) (+.f64 (pow.f64 x 3) 1/27)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))) (*.f64 (cbrt.f64 (pow.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))) 2)) (+.f64 (pow.f64 x 3) 1/27)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 x 1/3) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 (+.f64 x 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (pow.f64 (+.f64 x 1/3) 2) (+.f64 (pow.f64 x 3) 1/27))) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (+.f64 1/9 (*.f64 x (+.f64 x -1/3)))) (/.f64 1 (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (/.f64 1 (*.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 x 3) 1/27) (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (+.f64 1/9 (*.f64 x (+.f64 x -1/3)))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (*.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 -1/27 (pow.f64 x 3)) (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cbrt.f64 (*.f64 (pow.f64 (+.f64 x 1/3) 2) (+.f64 (pow.f64 x 3) 1/27))) (cbrt.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) (cbrt.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x 1/3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (pow.f64 x 3) 1/27) -1) (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (cbrt.f64 (-.f64 -1/27 (pow.f64 x 3)))) (cbrt.f64 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (neg.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)))) (cbrt.f64 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (cbrt.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))) (+.f64 x 1/3)) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x 1/3) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))) (+.f64 (pow.f64 x 3) 1/27)) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cbrt.f64 (-.f64 -1/27 (pow.f64 x 3))) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) (cbrt.f64 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27))) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) (cbrt.f64 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683)) (/.f64 1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27))) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))) (cbrt.f64 (cbrt.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 -1/27 (pow.f64 x 3)) (/.f64 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (/.f64 (*.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (*.f64 1 (*.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683)) (*.f64 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683)) (*.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (neg.f64 (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (+.f64 (pow.f64 x 3) 1/27)) (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (-.f64 -1/27 (pow.f64 x 3))) (neg.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (neg.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27))) 3) (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 x 3) -1/27) (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (-.f64 -1/27 (pow.f64 x 3))) 1) (neg.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683)) 1) (*.f64 (neg.f64 (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))) (+.f64 1/9 (*.f64 x (+.f64 x -1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (+.f64 (pow.f64 x 3) 1/27)) 1) (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (-.f64 -1/27 (pow.f64 x 3))) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))))) (*.f64 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))))) (*.f64 (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683)) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))))) (*.f64 (neg.f64 (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (+.f64 (pow.f64 x 3) 1/27)) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))))) (*.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (-.f64 -1/27 (pow.f64 x 3))) -1) (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) -1) (*.f64 (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))) (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683)) -1) (*.f64 (neg.f64 (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))) (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (+.f64 (pow.f64 x 3) 1/27)) -1) (neg.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cbrt.f64 (*.f64 (+.f64 x 1/3) (+.f64 (pow.f64 x 3) 1/27))) (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27))) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)) (cbrt.f64 (-.f64 -1/27 (pow.f64 x 3)))) (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cbrt.f64 (*.f64 (+.f64 x 1/3) (+.f64 (pow.f64 x 3) 1/27))) (cbrt.f64 (-.f64 -1/27 (pow.f64 x 3)))) (*.f64 (cbrt.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3)))) (cbrt.f64 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)) (neg.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)))) (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cbrt.f64 (*.f64 (+.f64 x 1/3) (+.f64 (pow.f64 x 3) 1/27))) (neg.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)))) (*.f64 (cbrt.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3)))) (cbrt.f64 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))) (cbrt.f64 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (cbrt.f64 (*.f64 (pow.f64 (+.f64 x 1/3) 2) (+.f64 (pow.f64 x 3) 1/27)))) (cbrt.f64 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))) (neg.f64 (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683)) (neg.f64 (*.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3)))))) (neg.f64 (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 x 1/3)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cbrt.f64 (*.f64 (pow.f64 (+.f64 x 1/3) 2) (-.f64 -1/27 (pow.f64 x 3)))) (cbrt.f64 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 1/729 (pow.f64 (*.f64 x (+.f64 x -1/3)) 3)) (/.f64 (+.f64 x 1/3) (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))) (+.f64 1/81 (*.f64 (*.f64 x (+.f64 x -1/3)) (-.f64 (*.f64 x (+.f64 x -1/3)) 1/9))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 x 1/3)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 x 1/3) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 x 1/3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (neg.f64 (+.f64 x 1/3)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 -1/3 x))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (+.f64 x 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 x 1/3) 3))))))

simplify312.0ms (14.8%)

Algorithm

1×

egglog

Counts

165 → 208

Calls

Call 1

Inputs
1/3
x
x
(fma.f64 (cbrt.f64 1/3) (cbrt.f64 1/9) x)
(fma.f64 (cbrt.f64 1/9) (cbrt.f64 1/3) x)
(fma.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 x x)) 1/3)
(fma.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 x) 1/3)
(fma.f64 1 1/3 x)
(fma.f64 1 x 1/3)
(fma.f64 1/3 1 x)
(fma.f64 x 1 1/3)
(fma.f64 (cbrt.f64 (cbrt.f64 (.f64 x x))) (.f64 (cbrt.f64 (*.f64 x (cbrt.f64 x))) (cbrt.f64 x)) 1/3)
(fma.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (pow.f64 (*.f64 x (cbrt.f64 x)) 2)) 1/3)
(fma.f64 (cbrt.f64 (.f64 x (.f64 x (cbrt.f64 x)))) (cbrt.f64 (cbrt.f64 (*.f64 x x))) 1/3)
(fma.f64 (cbrt.f64 (.f64 (cbrt.f64 (.f64 x x)) x)) (cbrt.f64 (*.f64 x (cbrt.f64 x))) 1/3)
(fma.f64 (sqrt.f64 1/3) (sqrt.f64 1/3) x)
(if (!=.f64 x 0) (+.f64 x 1/3) (+.f64 x 1/3))
(if (!=.f64 1/3 0) (+.f64 x 1/3) (+.f64 x 1/3))
(if (!=.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 0) (+.f64 x 1/3) (+.f64 x 1/3))
(if (!=.f64 (+.f64 x -1/3) 0) (/.f64 (fma.f64 x x -1/9) (+.f64 x -1/3)) (+.f64 x 1/3))
(if (!=.f64 (-.f64 1/3 x) 0) (/.f64 (fma.f64 x x -1/9) (+.f64 x -1/3)) (+.f64 x 1/3))
(if (!=.f64 (+.f64 (pow.f64 x 3) 1/27) 0) (/.f64 1 (/.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (+.f64 (pow.f64 x 3) 1/27))) (+.f64 x 1/3))
(if (!=.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)) 0) (/.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (/.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)))) (+.f64 x 1/3))
(if (!=.f64 (+.f64 x 1/3) 0) (/.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (/.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 x 1/3))) (+.f64 x 1/3))
(if (!=.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) 0) (/.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (cbrt.f64 (cbrt.f64 (+.f64 x 1/3)))) (/.f64 1 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2))) (+.f64 x 1/3))
(if (!=.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) 0) (/.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) (/.f64 1 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))))) (+.f64 x 1/3))
(if (!=.f64 (+.f64 (pow.f64 x 3) 1/27) 0) (/.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))) (/.f64 1 (+.f64 (pow.f64 x 3) 1/27))) (+.f64 x 1/3))
(if (!=.f64 (cbrt.f64 (+.f64 x 1/3)) 0) (/.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (cbrt.f64 (/.f64 1 (+.f64 x 1/3)))) (+.f64 x 1/3))
(if (!=.f64 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))) 0) (/.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (/.f64 1 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))))) (+.f64 x 1/3))
(if (!=.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) 2) 0) (/.f64 (cbrt.f64 (*.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))) (/.f64 1 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) 2))) (+.f64 x 1/3))
(if (!=.f64 (+.f64 x 1/3) 0) (/.f64 1 (/.f64 1 (+.f64 x 1/3))) (+.f64 x 1/3))
(if (!=.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) 0) (/.f64 (cbrt.f64 (+.f64 x 1/3)) (/.f64 1 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))) (+.f64 x 1/3))
(if (!=.f64 (/.f64 1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) 0) (/.f64 (-.f64 -1/27 (pow.f64 x 3)) (/.f64 1 (/.f64 1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))) (+.f64 x 1/3))
(if (!=.f64 (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)) 0) (/.f64 (+.f64 (cbrt.f64 1/9) (*.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3)))) (/.f64 1 (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)))) (+.f64 x 1/3))
(if (!=.f64 (/.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) 0) (/.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (/.f64 1 (/.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))))) (+.f64 x 1/3))
(if (!=.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) 0) (/.f64 (+.f64 (pow.f64 x 3) 1/27) (/.f64 1 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))) (+.f64 x 1/3))
(if (!=.f64 (/.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))) 0) (/.f64 (/.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))) (/.f64 1 (/.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))))) (+.f64 x 1/3))
(if (!=.f64 (/.f64 (+.f64 x 1/3) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) 0) (/.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (/.f64 1 (/.f64 (+.f64 x 1/3) (+.f64 1/9 (*.f64 x (+.f64 x -1/3)))))) (+.f64 x 1/3))
(if (!=.f64 (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)) 0) (/.f64 (-.f64 (+.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (.f64 x 1/3))) (/.f64 1 (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)))) (+.f64 x 1/3))
(if (!=.f64 (cbrt.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) 2) (+.f64 x 1/3))) 0) (/.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (/.f64 1 (cbrt.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) 2) (+.f64 x 1/3))))) (+.f64 x 1/3))
(if (!=.f64 2 0) (+.f64 x 1/3) (+.f64 x 1/3))
(if (!=.f64 (+.f64 1/81 (.f64 (.f64 x (+.f64 x -1/3)) (-.f64 (.f64 x (+.f64 x -1/3)) 1/9))) 0) (.f64 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (+.f64 1/729 (pow.f64 (.f64 x (+.f64 x -1/3)) 3))) (+.f64 1/81 (.f64 (.f64 x (+.f64 x -1/3)) (-.f64 (.f64 x (+.f64 x -1/3)) 1/9)))) (+.f64 x 1/3))
(if (!=.f64 -1/3 0) (+.f64 x 1/3) (+.f64 x 1/3))
(if (!=.f64 (pow.f64 (+.f64 x 1/3) 3) 0) (/.f64 1 (pow.f64 (pow.f64 (+.f64 x 1/3) 3) -1/3)) (+.f64 x 1/3))
(if (!=.f64 1 0) (+.f64 x 1/3) (+.f64 x 1/3))
(+.f64 x 1/3)
(+.f64 1/3 x)
(+.f64 (-.f64 x 0) 1/3)
(+.f64 (.f64 (-.f64 (+.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (.f64 x 1/3))) (cbrt.f64 x)) (.f64 (-.f64 (+.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (.f64 x 1/3))) (cbrt.f64 1/3)))
(+.f64 (.f64 (+.f64 (cbrt.f64 1/9) (.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3)))) (cbrt.f64 1/3)) (.f64 (+.f64 (cbrt.f64 1/9) (.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3)))) (cbrt.f64 x)))
(+.f64 (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x)) (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (.f64 1/3 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))))
(+.f64 (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (pow.f64 x 3)) (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) 1/27))
(+.f64 (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) 1/27) (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (pow.f64 x 3)))
(+.f64 (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x)) (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 1/3)))
(+.f64 (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 1/3)) (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x)))
(+.f64 (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (.f64 1/3 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))) (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x)))
(+.f64 (+.f64 x 1/3) (*.f64 (+.f64 x 1/3) 0))
(+.f64 (.f64 (cbrt.f64 x) (-.f64 (+.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (.f64 x 1/3)))) (.f64 (cbrt.f64 1/3) (-.f64 (+.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (.f64 x 1/3)))))
(+.f64 (.f64 (cbrt.f64 1/3) (+.f64 (cbrt.f64 1/9) (.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3))))) (.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 1/9) (.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3))))))
(+.f64 (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (.f64 (.f64 1/3 (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))
(+.f64 (.f64 (pow.f64 x 3) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (.f64 1/27 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))
(+.f64 (.f64 1/27 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (.f64 (pow.f64 x 3) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))
(+.f64 (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 1/3) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))
(+.f64 (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 1/3) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))
(+.f64 (.f64 (.f64 1/3 (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))
(+.f64 (+.f64 x 1/3) (*.f64 0 (+.f64 x 1/3)))
(-.f64 x -1/3)
(-.f64 0 (neg.f64 (+.f64 x 1/3)))
(-.f64 (/.f64 0 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))) (neg.f64 (+.f64 x 1/3)))
(.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (cbrt.f64 (cbrt.f64 (+.f64 x 1/3)))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2))
(.f64 (+.f64 (pow.f64 x 3) 1/27) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))
(.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (cbrt.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) 2) (+.f64 x 1/3))))
(.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (/.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))))
(.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (/.f64 (+.f64 x 1/3) (+.f64 1/9 (*.f64 x (+.f64 x -1/3)))))
(.f64 (-.f64 -1/27 (pow.f64 x 3)) (/.f64 1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))
(.f64 (/.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))) (/.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))))
(.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))))
(*.f64 (cbrt.f64 (+.f64 x 1/3)) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))
(.f64 (-.f64 (+.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (*.f64 x 1/3))) (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)))
(.f64 (+.f64 (cbrt.f64 1/9) (.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3)))) (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)))
(*.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (cbrt.f64 (+.f64 x 1/3)))
(.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (+.f64 (pow.f64 x 3) 1/27))
(.f64 (cbrt.f64 (.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) 2))
(*.f64 1 (+.f64 x 1/3))
(*.f64 (+.f64 x 1/3) 1)
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (cbrt.f64 (cbrt.f64 (+.f64 x 1/3)))))
(.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))))
(.f64 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) 2) (cbrt.f64 (.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))))
(.f64 (/.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)))
(.f64 (/.f64 (+.f64 x 1/3) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))
(.f64 (/.f64 1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (-.f64 -1/27 (pow.f64 x 3)))
(.f64 (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)) (+.f64 (cbrt.f64 1/9) (.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3)))))
(.f64 (/.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))) (/.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))))
(.f64 (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)) (-.f64 (+.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (*.f64 x 1/3))))
(.f64 (cbrt.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) 2) (+.f64 x 1/3))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2))
(.f64 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))) (pow.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))) 2))
(.f64 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))) (cbrt.f64 (pow.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))) 2)))
(.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (.f64 (pow.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) 2) (+.f64 (pow.f64 x 3) 1/27)))
(.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (.f64 (cbrt.f64 (pow.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) 2)) (+.f64 (pow.f64 x 3) 1/27)))
(*.f64 (/.f64 (+.f64 x 1/3) 2) 2)
(*.f64 -1 (neg.f64 (+.f64 x 1/3)))
(.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))
(.f64 (cbrt.f64 (.f64 (pow.f64 (+.f64 x 1/3) 2) (+.f64 (pow.f64 x 3) 1/27))) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))
(.f64 (/.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (/.f64 1 (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))))
(.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (/.f64 1 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))))))
(/.f64 (+.f64 (pow.f64 x 3) 1/27) (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))
(/.f64 (/.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))))
(/.f64 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2)))
(/.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))))
(/.f64 (-.f64 -1/27 (pow.f64 x 3)) (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))
(/.f64 (cbrt.f64 (.f64 (pow.f64 (+.f64 x 1/3) 2) (+.f64 (pow.f64 x 3) 1/27))) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3)))))
(/.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3)))))
(/.f64 (+.f64 x 1/3) 1)
(/.f64 (.f64 (+.f64 (pow.f64 x 3) 1/27) -1) (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))
(/.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (cbrt.f64 (-.f64 -1/27 (pow.f64 x 3)))) (cbrt.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))
(/.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (neg.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)))) (cbrt.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))
(/.f64 (.f64 (/.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))) (+.f64 x 1/3)) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2)))
(/.f64 (*.f64 (+.f64 x 1/3) 2) 2)
(/.f64 (.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (+.f64 (pow.f64 x 3) 1/27)) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2)))
(/.f64 (.f64 (cbrt.f64 (-.f64 -1/27 (pow.f64 x 3))) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) (cbrt.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))
(/.f64 (.f64 (neg.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27))) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) (cbrt.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))
(/.f64 (.f64 (neg.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683)) (/.f64 1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))))
(/.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))) (cbrt.f64 (cbrt.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))))
(/.f64 (-.f64 -1/27 (pow.f64 x 3)) (/.f64 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))) 1))
(/.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (/.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))) 1))
(/.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (.f64 1 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683)) (.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683)) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (neg.f64 (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))))))
(/.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 (pow.f64 x 3) 1/27)) (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))
(/.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (-.f64 -1/27 (pow.f64 x 3))) (neg.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2)))
(/.f64 (pow.f64 (neg.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27))) 3) (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))
(/.f64 (-.f64 (pow.f64 x 3) -1/27) (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))
(/.f64 (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (-.f64 -1/27 (pow.f64 x 3))) 1) (neg.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2)))
(/.f64 (.f64 (neg.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683)) 1) (.f64 (neg.f64 (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))))
(/.f64 (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 (pow.f64 x 3) 1/27)) 1) (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))
(/.f64 (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (-.f64 -1/27 (pow.f64 x 3))) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))) (.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))))
(/.f64 (.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))) (.f64 (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))))
(/.f64 (.f64 (neg.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683)) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))) (.f64 (neg.f64 (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))))
(/.f64 (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 (pow.f64 x 3) 1/27)) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))))
(/.f64 (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (-.f64 -1/27 (pow.f64 x 3))) -1) (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))
(/.f64 (.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) -1) (.f64 (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))) (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))
(/.f64 (.f64 (neg.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683)) -1) (.f64 (neg.f64 (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))) (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))
(/.f64 (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 (pow.f64 x 3) 1/27)) -1) (neg.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2)))
(/.f64 (.f64 (cbrt.f64 (.f64 (+.f64 x 1/3) (+.f64 (pow.f64 x 3) 1/27))) (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27))) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2)))
(/.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)) (cbrt.f64 (-.f64 -1/27 (pow.f64 x 3)))) (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))
(/.f64 (.f64 (cbrt.f64 (.f64 (+.f64 x 1/3) (+.f64 (pow.f64 x 3) 1/27))) (cbrt.f64 (-.f64 -1/27 (pow.f64 x 3)))) (.f64 (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (cbrt.f64 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))
(/.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)) (neg.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)))) (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))
(/.f64 (.f64 (cbrt.f64 (.f64 (+.f64 x 1/3) (+.f64 (pow.f64 x 3) 1/27))) (neg.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)))) (.f64 (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (cbrt.f64 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))
(/.f64 (neg.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))) (cbrt.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))
(/.f64 (neg.f64 (cbrt.f64 (.f64 (pow.f64 (+.f64 x 1/3) 2) (+.f64 (pow.f64 x 3) 1/27)))) (cbrt.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))
(/.f64 (neg.f64 (/.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (+.f64 1/9 (.f64 x (+.f64 x -1/3))))) (neg.f64 (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683)) (neg.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))))))
(/.f64 (neg.f64 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3)))))) (neg.f64 (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))))
(/.f64 (neg.f64 (+.f64 x 1/3)) -1)
(/.f64 (cbrt.f64 (.f64 (pow.f64 (+.f64 x 1/3) 2) (-.f64 -1/27 (pow.f64 x 3)))) (cbrt.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))
(/.f64 (.f64 (+.f64 1/729 (pow.f64 (.f64 x (+.f64 x -1/3)) 3)) (/.f64 (+.f64 x 1/3) (+.f64 1/9 (.f64 x (+.f64 x -1/3))))) (+.f64 1/81 (.f64 (.f64 x (+.f64 x -1/3)) (-.f64 (.f64 x (+.f64 x -1/3)) 1/9))))
(pow.f64 (cbrt.f64 (+.f64 x 1/3)) 3)
(pow.f64 (pow.f64 (+.f64 x 1/3) 3) 1/3)
(pow.f64 (+.f64 x 1/3) 1)
(neg.f64 (/.f64 (neg.f64 (+.f64 x 1/3)) 1))
(neg.f64 (-.f64 -1/3 x))
(neg.f64 (neg.f64 (+.f64 x 1/3)))
(cbrt.f64 (pow.f64 (+.f64 x 1/3) 3))

Outputs
1/3
x
x
(fma.f64 (cbrt.f64 1/3) (cbrt.f64 1/9) x)
(fma.f64 (cbrt.f64 1/9) (cbrt.f64 1/3) x)
(fma.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 x x)) 1/3)
(+.f64 x 1/3)
(fma.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 x) 1/3)
(fma.f64 1 1/3 x)
(+.f64 x 1/3)
(fma.f64 1 x 1/3)
(+.f64 x 1/3)
(fma.f64 1/3 1 x)
(+.f64 x 1/3)
(fma.f64 x 1 1/3)
(+.f64 x 1/3)
(fma.f64 (cbrt.f64 (cbrt.f64 (.f64 x x))) (.f64 (cbrt.f64 (*.f64 x (cbrt.f64 x))) (cbrt.f64 x)) 1/3)
(fma.f64 (cbrt.f64 (cbrt.f64 (.f64 x x))) (cbrt.f64 (.f64 (*.f64 x x) (cbrt.f64 x))) 1/3)
(fma.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (pow.f64 (*.f64 x (cbrt.f64 x)) 2)) 1/3)
(fma.f64 (cbrt.f64 (.f64 x (.f64 x (cbrt.f64 x)))) (cbrt.f64 (cbrt.f64 (*.f64 x x))) 1/3)
(fma.f64 (cbrt.f64 (.f64 (.f64 x x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 (*.f64 x x))) 1/3)
(fma.f64 (cbrt.f64 (.f64 (cbrt.f64 (.f64 x x)) x)) (cbrt.f64 (*.f64 x (cbrt.f64 x))) 1/3)
(fma.f64 (sqrt.f64 1/3) (sqrt.f64 1/3) x)
(+.f64 x 1/3)
(if (!=.f64 x 0) (+.f64 x 1/3) (+.f64 x 1/3))
(if (!=.f64 1/3 0) (+.f64 x 1/3) (+.f64 x 1/3))
(if (!=.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 0) (+.f64 x 1/3) (+.f64 x 1/3))
(if (!=.f64 (+.f64 x -1/3) 0) (/.f64 (fma.f64 x x -1/9) (+.f64 x -1/3)) (+.f64 x 1/3))
(if (!=.f64 (-.f64 1/3 x) 0) (/.f64 (fma.f64 x x -1/9) (+.f64 x -1/3)) (+.f64 x 1/3))
(if (!=.f64 (+.f64 (pow.f64 x 3) 1/27) 0) (/.f64 1 (/.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (+.f64 (pow.f64 x 3) 1/27))) (+.f64 x 1/3))
(if (!=.f64 (+.f64 1/27 (pow.f64 x 3)) 0) (/.f64 1 (/.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (+.f64 1/27 (pow.f64 x 3)))) (+.f64 x 1/3))
(if (!=.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)) 0) (/.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (/.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)))) (+.f64 x 1/3))
(if (!=.f64 (cbrt.f64 (pow.f64 (+.f64 1/27 (pow.f64 x 3)) 2)) 0) (/.f64 (cbrt.f64 (+.f64 1/27 (pow.f64 x 3))) (/.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) (cbrt.f64 (pow.f64 (+.f64 1/27 (pow.f64 x 3)) 2)))) (+.f64 x 1/3))
(if (!=.f64 (+.f64 x 1/3) 0) (/.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (/.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 x 1/3))) (+.f64 x 1/3))
(if (!=.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) 0) (/.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (cbrt.f64 (cbrt.f64 (+.f64 x 1/3)))) (/.f64 1 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2))) (+.f64 x 1/3))
(if (!=.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) 0) (/.f64 (cbrt.f64 (*.f64 (pow.f64 (+.f64 x 1/3) 2) (cbrt.f64 (+.f64 x 1/3)))) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) -1)) (+.f64 x 1/3))
(if (!=.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) 0) (/.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) (/.f64 1 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))))) (+.f64 x 1/3))
(if (!=.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) 0) (/.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) (/.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) -1) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))) (+.f64 x 1/3))
(if (!=.f64 (+.f64 (pow.f64 x 3) 1/27) 0) (/.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))) (/.f64 1 (+.f64 (pow.f64 x 3) 1/27))) (+.f64 x 1/3))
(if (!=.f64 (+.f64 1/27 (pow.f64 x 3)) 0) (/.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))) (/.f64 -1 (-.f64 -1/27 (pow.f64 x 3)))) (+.f64 x 1/3))
(if (!=.f64 (cbrt.f64 (+.f64 x 1/3)) 0) (/.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (cbrt.f64 (/.f64 1 (+.f64 x 1/3)))) (+.f64 x 1/3))
(if (!=.f64 (cbrt.f64 (+.f64 x 1/3)) 0) (cbrt.f64 (/.f64 (pow.f64 (+.f64 x 1/3) 2) (/.f64 -1 (-.f64 -1/3 x)))) (+.f64 x 1/3))
(if (!=.f64 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))) 0) (/.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (/.f64 1 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))))) (+.f64 x 1/3))
(if (!=.f64 (/.f64 (+.f64 1/27 (pow.f64 x 3)) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))) 0) (/.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (/.f64 1 (/.f64 (+.f64 1/27 (pow.f64 x 3)) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))))) (+.f64 x 1/3))
(if (!=.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) 2) 0) (/.f64 (cbrt.f64 (*.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))) (/.f64 1 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) 2))) (+.f64 x 1/3))
(if (!=.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) 2) 0) (/.f64 (cbrt.f64 (*.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))) (pow.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) 2) -1)) (+.f64 x 1/3))
(if (!=.f64 (+.f64 x 1/3) 0) (/.f64 1 (/.f64 1 (+.f64 x 1/3))) (+.f64 x 1/3))
(if (!=.f64 (+.f64 x 1/3) 0) (/.f64 1 (/.f64 -1 (-.f64 -1/3 x))) (+.f64 x 1/3))
(if (!=.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) 0) (/.f64 (cbrt.f64 (+.f64 x 1/3)) (/.f64 1 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))) (+.f64 x 1/3))
(if (!=.f64 (/.f64 1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) 0) (/.f64 (-.f64 -1/27 (pow.f64 x 3)) (/.f64 1 (/.f64 1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))) (+.f64 x 1/3))
(if (!=.f64 (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)) 0) (/.f64 (+.f64 (cbrt.f64 1/9) (*.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3)))) (/.f64 1 (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)))) (+.f64 x 1/3))
(if (!=.f64 (/.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) 0) (/.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (/.f64 1 (/.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))))) (+.f64 x 1/3))
(if (!=.f64 (/.f64 (cbrt.f64 (pow.f64 (+.f64 1/27 (pow.f64 x 3)) 2)) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) 0) (/.f64 (cbrt.f64 (+.f64 1/27 (pow.f64 x 3))) (/.f64 1 (/.f64 (cbrt.f64 (pow.f64 (+.f64 1/27 (pow.f64 x 3)) 2)) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))))) (+.f64 x 1/3))
(if (!=.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) 0) (/.f64 (+.f64 (pow.f64 x 3) 1/27) (/.f64 1 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))) (+.f64 x 1/3))
(if (!=.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) 0) (/.f64 (+.f64 1/27 (pow.f64 x 3)) (/.f64 1 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))) (+.f64 x 1/3))
(if (!=.f64 (/.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))) 0) (/.f64 (/.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))) (/.f64 1 (/.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))))) (+.f64 x 1/3))
(if (!=.f64 (/.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))) 0) (/.f64 (/.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))) (pow.f64 (/.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))) -1)) (+.f64 x 1/3))
(if (!=.f64 (/.f64 (+.f64 x 1/3) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) 0) (/.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (/.f64 1 (/.f64 (+.f64 x 1/3) (+.f64 1/9 (*.f64 x (+.f64 x -1/3)))))) (+.f64 x 1/3))
(if (!=.f64 (/.f64 (+.f64 x 1/3) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) 0) (/.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (pow.f64 (/.f64 (+.f64 x 1/3) (+.f64 1/9 (*.f64 x (+.f64 x -1/3)))) -1)) (+.f64 x 1/3))
(if (!=.f64 (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)) 0) (/.f64 (-.f64 (+.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (.f64 x 1/3))) (/.f64 1 (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)))) (+.f64 x 1/3))
(if (!=.f64 (cbrt.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) 2) (+.f64 x 1/3))) 0) (/.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (/.f64 1 (cbrt.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) 2) (+.f64 x 1/3))))) (+.f64 x 1/3))
(if (!=.f64 2 0) (+.f64 x 1/3) (+.f64 x 1/3))
(if (!=.f64 (+.f64 1/81 (.f64 (.f64 x (+.f64 x -1/3)) (-.f64 (.f64 x (+.f64 x -1/3)) 1/9))) 0) (.f64 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (+.f64 1/729 (pow.f64 (.f64 x (+.f64 x -1/3)) 3))) (+.f64 1/81 (.f64 (.f64 x (+.f64 x -1/3)) (-.f64 (.f64 x (+.f64 x -1/3)) 1/9)))) (+.f64 x 1/3))
(if (!=.f64 (+.f64 1/81 (.f64 (.f64 x (+.f64 x -1/3)) (fma.f64 x (+.f64 x -1/3) -1/9))) 0) (.f64 (/.f64 (+.f64 1/27 (pow.f64 x 3)) (+.f64 1/729 (pow.f64 (.f64 x (+.f64 x -1/3)) 3))) (+.f64 1/81 (.f64 (.f64 x (+.f64 x -1/3)) (fma.f64 x (+.f64 x -1/3) -1/9)))) (+.f64 x 1/3))
(if (!=.f64 -1/3 0) (+.f64 x 1/3) (+.f64 x 1/3))
(if (!=.f64 (pow.f64 (+.f64 x 1/3) 3) 0) (/.f64 1 (pow.f64 (pow.f64 (+.f64 x 1/3) 3) -1/3)) (+.f64 x 1/3))
(if (!=.f64 1 0) (+.f64 x 1/3) (+.f64 x 1/3))
(+.f64 x 1/3)
(+.f64 1/3 x)
(+.f64 x 1/3)
(+.f64 (-.f64 x 0) 1/3)
(+.f64 x 1/3)
(+.f64 (.f64 (-.f64 (+.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (.f64 x 1/3))) (cbrt.f64 x)) (.f64 (-.f64 (+.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (.f64 x 1/3))) (cbrt.f64 1/3)))
(.f64 (-.f64 (+.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (*.f64 x 1/3))) (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)))
(+.f64 (.f64 (+.f64 (cbrt.f64 1/9) (.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3)))) (cbrt.f64 1/3)) (.f64 (+.f64 (cbrt.f64 1/9) (.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3)))) (cbrt.f64 x)))
(.f64 (+.f64 (cbrt.f64 1/9) (.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3)))) (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)))
(+.f64 (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x)) (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (.f64 1/3 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))))
(.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (+.f64 (.f64 1/3 (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x)))
(+.f64 (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (pow.f64 x 3)) (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) 1/27))
(/.f64 (.f64 (+.f64 1/27 (pow.f64 x 3)) -1) (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))
(+.f64 (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) 1/27) (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (pow.f64 x 3)))
(/.f64 (.f64 (+.f64 1/27 (pow.f64 x 3)) -1) (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))
(+.f64 (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x)) (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 1/3)))
(.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (+.f64 (.f64 1/3 (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x)))
(+.f64 (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 1/3)) (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x)))
(.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (+.f64 (.f64 1/3 (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x)))
(+.f64 (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (.f64 1/3 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))) (.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x)))
(.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (+.f64 (.f64 1/3 (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x)))
(+.f64 (+.f64 x 1/3) (*.f64 (+.f64 x 1/3) 0))
(+.f64 x 1/3)
(+.f64 (.f64 (cbrt.f64 x) (-.f64 (+.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (.f64 x 1/3)))) (.f64 (cbrt.f64 1/3) (-.f64 (+.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (.f64 x 1/3)))))
(.f64 (-.f64 (+.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (*.f64 x 1/3))) (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)))
(+.f64 (.f64 (cbrt.f64 1/3) (+.f64 (cbrt.f64 1/9) (.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3))))) (.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 1/9) (.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3))))))
(.f64 (+.f64 (cbrt.f64 1/9) (.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3)))) (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)))
(+.f64 (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (.f64 (.f64 1/3 (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))
(.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (+.f64 (.f64 1/3 (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x)))
(+.f64 (.f64 (pow.f64 x 3) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (.f64 1/27 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))
(/.f64 (.f64 (+.f64 1/27 (pow.f64 x 3)) -1) (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))
(+.f64 (.f64 1/27 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (.f64 (pow.f64 x 3) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))
(/.f64 (.f64 (+.f64 1/27 (pow.f64 x 3)) -1) (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))
(+.f64 (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 1/3) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))
(.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (+.f64 (.f64 1/3 (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x)))
(+.f64 (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 1/3) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))
(.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (+.f64 (.f64 1/3 (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x)))
(+.f64 (.f64 (.f64 1/3 (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))
(.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (+.f64 (.f64 1/3 (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) x)))
(+.f64 (+.f64 x 1/3) (*.f64 0 (+.f64 x 1/3)))
(+.f64 x 1/3)
(-.f64 x -1/3)
(+.f64 x 1/3)
(-.f64 0 (neg.f64 (+.f64 x 1/3)))
(+.f64 x 1/3)
(-.f64 (/.f64 0 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))) (neg.f64 (+.f64 x 1/3)))
(+.f64 (/.f64 0 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))) (+.f64 x 1/3))
(.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (cbrt.f64 (cbrt.f64 (+.f64 x 1/3)))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2))
(+.f64 x 1/3)
(.f64 (+.f64 (pow.f64 x 3) 1/27) (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))
(/.f64 (.f64 (+.f64 1/27 (pow.f64 x 3)) -1) (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))
(.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))))
(+.f64 x 1/3)
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (cbrt.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) 2) (+.f64 x 1/3))))
(.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (/.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))))
(/.f64 (.f64 (cbrt.f64 (+.f64 1/27 (pow.f64 x 3))) (cbrt.f64 (pow.f64 (+.f64 1/27 (pow.f64 x 3)) 2))) (+.f64 1/9 (.f64 x (+.f64 x -1/3))))
(.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (/.f64 (+.f64 x 1/3) (+.f64 1/9 (*.f64 x (+.f64 x -1/3)))))
(/.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 x 1/3)) (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))
(.f64 (-.f64 -1/27 (pow.f64 x 3)) (/.f64 1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))
(/.f64 (-.f64 -1/27 (pow.f64 x 3)) (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))
(.f64 (/.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))) (/.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))))
(/.f64 (.f64 (+.f64 x 1/3) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (.f64 (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2)) (cbrt.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))))
(.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))))
(/.f64 (.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (+.f64 1/27 (pow.f64 x 3))) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2)))
(*.f64 (cbrt.f64 (+.f64 x 1/3)) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))
(+.f64 x 1/3)
(.f64 (-.f64 (+.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (*.f64 x 1/3))) (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)))
(.f64 (+.f64 (cbrt.f64 1/9) (.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3)))) (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)))
(*.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (cbrt.f64 (+.f64 x 1/3)))
(+.f64 x 1/3)
(.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (+.f64 (pow.f64 x 3) 1/27))
(/.f64 (.f64 (+.f64 1/27 (pow.f64 x 3)) -1) (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))
(.f64 (cbrt.f64 (.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) 2))
(*.f64 1 (+.f64 x 1/3))
(+.f64 x 1/3)
(*.f64 (+.f64 x 1/3) 1)
(+.f64 x 1/3)
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (cbrt.f64 (cbrt.f64 (+.f64 x 1/3)))))
(+.f64 x 1/3)
(.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))))
(+.f64 x 1/3)
(.f64 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))
(/.f64 (.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (+.f64 1/27 (pow.f64 x 3))) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2)))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) 2) (cbrt.f64 (.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))))
(.f64 (cbrt.f64 (.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) 2))
(.f64 (/.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)))
(/.f64 (.f64 (cbrt.f64 (+.f64 1/27 (pow.f64 x 3))) (cbrt.f64 (pow.f64 (+.f64 1/27 (pow.f64 x 3)) 2))) (+.f64 1/9 (.f64 x (+.f64 x -1/3))))
(.f64 (/.f64 (+.f64 x 1/3) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))
(/.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 x 1/3)) (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))
(.f64 (/.f64 1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) (-.f64 -1/27 (pow.f64 x 3)))
(/.f64 (-.f64 -1/27 (pow.f64 x 3)) (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))
(.f64 (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)) (+.f64 (cbrt.f64 1/9) (.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3)))))
(.f64 (+.f64 (cbrt.f64 1/9) (.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 -1/3)))) (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)))
(.f64 (/.f64 (+.f64 x 1/3) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))) (/.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))))
(/.f64 (.f64 (+.f64 x 1/3) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (.f64 (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2)) (cbrt.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))))
(.f64 (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)) (-.f64 (+.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (*.f64 x 1/3))))
(.f64 (-.f64 (+.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 1/9)) (cbrt.f64 (*.f64 x 1/3))) (+.f64 (cbrt.f64 x) (cbrt.f64 1/3)))
(.f64 (cbrt.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) 2) (+.f64 x 1/3))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (cbrt.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) 2) (+.f64 x 1/3))))
(.f64 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))) (pow.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))) 2))
(.f64 (/.f64 (+.f64 1/27 (pow.f64 x 3)) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))) (pow.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))) 2))
(.f64 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))) (cbrt.f64 (pow.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x)))) 2)))
(/.f64 (.f64 (cbrt.f64 (pow.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) 2)) (+.f64 1/27 (pow.f64 x 3))) (cbrt.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3)))))
(.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (.f64 (pow.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) 2) (+.f64 (pow.f64 x 3) 1/27)))
(/.f64 (.f64 (+.f64 1/27 (pow.f64 x 3)) -1) (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))
(.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (.f64 (cbrt.f64 (pow.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) 2)) (+.f64 (pow.f64 x 3) 1/27)))
(.f64 (.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (cbrt.f64 (pow.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))) 2))) (+.f64 1/27 (pow.f64 x 3)))
(*.f64 (/.f64 (+.f64 x 1/3) 2) 2)
(+.f64 x 1/3)
(*.f64 -1 (neg.f64 (+.f64 x 1/3)))
(+.f64 x 1/3)
(.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))
(cbrt.f64 (.f64 (.f64 (pow.f64 (+.f64 x 1/3) 2) (+.f64 1/27 (pow.f64 x 3))) (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))
(.f64 (cbrt.f64 (.f64 (pow.f64 (+.f64 x 1/3) 2) (+.f64 (pow.f64 x 3) 1/27))) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))
(cbrt.f64 (.f64 (.f64 (pow.f64 (+.f64 x 1/3) 2) (+.f64 1/27 (pow.f64 x 3))) (/.f64 -1 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))
(.f64 (/.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (/.f64 1 (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))))
(/.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))))
(.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (/.f64 1 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))))))
(/.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))))
(/.f64 (+.f64 (pow.f64 x 3) 1/27) (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))
(/.f64 (+.f64 1/27 (pow.f64 x 3)) (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))
(/.f64 (/.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))))
(/.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))))
(/.f64 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2)))
(/.f64 (+.f64 1/27 (pow.f64 x 3)) (.f64 (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2)) (cbrt.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))))
(/.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))))
(/.f64 (-.f64 -1/27 (pow.f64 x 3)) (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))
(/.f64 (cbrt.f64 (.f64 (pow.f64 (+.f64 x 1/3) 2) (+.f64 (pow.f64 x 3) 1/27))) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3)))))
(cbrt.f64 (/.f64 (.f64 (pow.f64 (+.f64 x 1/3) 2) (+.f64 1/27 (pow.f64 x 3))) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))))
(/.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3)))))
(cbrt.f64 (/.f64 (.f64 (pow.f64 (+.f64 x 1/3) 2) (+.f64 1/27 (pow.f64 x 3))) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))))
(/.f64 (+.f64 x 1/3) 1)
(+.f64 x 1/3)
(/.f64 (.f64 (+.f64 (pow.f64 x 3) 1/27) -1) (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))
(/.f64 (.f64 (+.f64 1/27 (pow.f64 x 3)) -1) (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))
(/.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (cbrt.f64 (-.f64 -1/27 (pow.f64 x 3)))) (cbrt.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))
(cbrt.f64 (/.f64 (.f64 (pow.f64 (+.f64 x 1/3) 2) (-.f64 -1/27 (pow.f64 x 3))) (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))
(/.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (neg.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)))) (cbrt.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))
(neg.f64 (/.f64 (cbrt.f64 (.f64 (pow.f64 (+.f64 x 1/3) 2) (+.f64 1/27 (pow.f64 x 3)))) (cbrt.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))
(/.f64 (.f64 (/.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))))) (+.f64 x 1/3)) (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2)))
(/.f64 (.f64 (+.f64 x 1/3) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (.f64 (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2)) (cbrt.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))))
(/.f64 (*.f64 (+.f64 x 1/3) 2) 2)
(+.f64 x 1/3)
(/.f64 (.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (+.f64 (pow.f64 x 3) 1/27)) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2)))
(/.f64 (.f64 (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (+.f64 1/27 (pow.f64 x 3))) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2)))
(/.f64 (.f64 (cbrt.f64 (-.f64 -1/27 (pow.f64 x 3))) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) (cbrt.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))
(cbrt.f64 (/.f64 (.f64 (pow.f64 (+.f64 x 1/3) 2) (-.f64 -1/27 (pow.f64 x 3))) (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))
(/.f64 (.f64 (neg.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27))) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) (cbrt.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))
(neg.f64 (/.f64 (cbrt.f64 (.f64 (pow.f64 (+.f64 x 1/3) 2) (+.f64 1/27 (pow.f64 x 3)))) (cbrt.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))
(/.f64 (.f64 (neg.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683)) (/.f64 1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))))
(/.f64 (+.f64 (neg.f64 (pow.f64 (pow.f64 x 3) 3)) -1/19683) (.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))))
(/.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))) (cbrt.f64 (cbrt.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))))
(/.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 1/27 (pow.f64 x 3)))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))) (cbrt.f64 (cbrt.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))))
(/.f64 (-.f64 -1/27 (pow.f64 x 3)) (/.f64 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))) 1))
(/.f64 (-.f64 -1/27 (pow.f64 x 3)) (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))
(/.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (/.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))) 1))
(/.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))))
(/.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (.f64 1 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))))))
(/.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683)) (.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))))
(/.f64 (+.f64 (neg.f64 (pow.f64 (pow.f64 x 3) 3)) -1/19683) (.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683)) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (neg.f64 (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))))))
(/.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))))
(/.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 (pow.f64 x 3) 1/27)) (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))
(/.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 1/27 (pow.f64 x 3))) (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))
(/.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (-.f64 -1/27 (pow.f64 x 3))) (neg.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2)))
(/.f64 (pow.f64 (neg.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27))) 3) (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))
(/.f64 (neg.f64 (pow.f64 (cbrt.f64 (+.f64 1/27 (pow.f64 x 3))) 3)) (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))
(/.f64 (-.f64 (pow.f64 x 3) -1/27) (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))
(/.f64 (+.f64 1/27 (pow.f64 x 3)) (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))
(/.f64 (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (-.f64 -1/27 (pow.f64 x 3))) 1) (neg.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2)))
(/.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (-.f64 -1/27 (pow.f64 x 3))) (neg.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2)))
(/.f64 (.f64 (neg.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683)) 1) (.f64 (neg.f64 (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))))
(/.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))))
(/.f64 (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 (pow.f64 x 3) 1/27)) 1) (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))
(/.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 1/27 (pow.f64 x 3))) (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))
(/.f64 (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (-.f64 -1/27 (pow.f64 x 3))) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))) (.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))))
(/.f64 (.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))) (.f64 (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))))
(/.f64 (.f64 (neg.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683)) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))) (.f64 (neg.f64 (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))))
(/.f64 (.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))) (.f64 (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))))
(/.f64 (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 (pow.f64 x 3) 1/27)) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))))
(/.f64 (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 1/27 (pow.f64 x 3))) (cbrt.f64 (/.f64 -1 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2))))
(/.f64 (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (-.f64 -1/27 (pow.f64 x 3))) -1) (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))
(/.f64 (.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) -1) (.f64 (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))) (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))
(/.f64 (+.f64 (neg.f64 (pow.f64 (pow.f64 x 3) 3)) -1/19683) (.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))))
(/.f64 (.f64 (neg.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683)) -1) (.f64 (neg.f64 (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))) (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))
(/.f64 (+.f64 (neg.f64 (pow.f64 (pow.f64 x 3) 3)) -1/19683) (.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))))
(/.f64 (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 (pow.f64 x 3) 1/27)) -1) (neg.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2)))
(/.f64 (.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 1/27 (pow.f64 x 3))) -1) (neg.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2)))
(/.f64 (.f64 (cbrt.f64 (.f64 (+.f64 x 1/3) (+.f64 (pow.f64 x 3) 1/27))) (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27))) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2)))
(/.f64 (cbrt.f64 (.f64 (.f64 (+.f64 x 1/3) (+.f64 1/27 (pow.f64 x 3))) (+.f64 1/27 (pow.f64 x 3)))) (cbrt.f64 (pow.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))) 2)))
(/.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)) (cbrt.f64 (-.f64 -1/27 (pow.f64 x 3)))) (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))
(/.f64 (cbrt.f64 (.f64 (pow.f64 (+.f64 1/27 (pow.f64 x 3)) 2) (-.f64 -1/27 (pow.f64 x 3)))) (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))
(/.f64 (.f64 (cbrt.f64 (.f64 (+.f64 x 1/3) (+.f64 (pow.f64 x 3) 1/27))) (cbrt.f64 (-.f64 -1/27 (pow.f64 x 3)))) (.f64 (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (cbrt.f64 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))
(/.f64 (cbrt.f64 (.f64 (.f64 (+.f64 x 1/3) (+.f64 1/27 (pow.f64 x 3))) (-.f64 -1/27 (pow.f64 x 3)))) (cbrt.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))
(/.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 (pow.f64 x 3) 1/27) 2)) (neg.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)))) (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))
(/.f64 (neg.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 1/27 (pow.f64 x 3)) 2)) (cbrt.f64 (+.f64 1/27 (pow.f64 x 3))))) (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))
(/.f64 (.f64 (cbrt.f64 (.f64 (+.f64 x 1/3) (+.f64 (pow.f64 x 3) 1/27))) (neg.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)))) (.f64 (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (cbrt.f64 (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))
(/.f64 (neg.f64 (cbrt.f64 (.f64 (.f64 (+.f64 x 1/3) (+.f64 1/27 (pow.f64 x 3))) (+.f64 1/27 (pow.f64 x 3))))) (cbrt.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 -1/9 (*.f64 x (-.f64 1/3 x))))))
(/.f64 (neg.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 x 3) 1/27)) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))) (cbrt.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))
(neg.f64 (/.f64 (cbrt.f64 (.f64 (pow.f64 (+.f64 x 1/3) 2) (+.f64 1/27 (pow.f64 x 3)))) (cbrt.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))
(/.f64 (neg.f64 (cbrt.f64 (.f64 (pow.f64 (+.f64 x 1/3) 2) (+.f64 (pow.f64 x 3) 1/27)))) (cbrt.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))
(neg.f64 (/.f64 (cbrt.f64 (.f64 (pow.f64 (+.f64 x 1/3) 2) (+.f64 1/27 (pow.f64 x 3)))) (cbrt.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x))))))
(/.f64 (neg.f64 (/.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (+.f64 1/9 (.f64 x (+.f64 x -1/3))))) (neg.f64 (+.f64 1/729 (.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))))
(/.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683)) (neg.f64 (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27))))))
(/.f64 (+.f64 (pow.f64 (pow.f64 x 3) 3) 1/19683) (.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) (+.f64 1/729 (*.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 3) -1/27)))))
(/.f64 (neg.f64 (/.f64 (+.f64 (pow.f64 x 3) 1/27) (cbrt.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3)))))) (neg.f64 (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2))))
(/.f64 (+.f64 1/27 (pow.f64 x 3)) (.f64 (cbrt.f64 (pow.f64 (+.f64 1/9 (.f64 x (+.f64 x -1/3))) 2)) (cbrt.f64 (+.f64 1/9 (*.f64 x (+.f64 x -1/3))))))
(/.f64 (neg.f64 (+.f64 x 1/3)) -1)
(+.f64 x 1/3)
(/.f64 (cbrt.f64 (.f64 (pow.f64 (+.f64 x 1/3) 2) (-.f64 -1/27 (pow.f64 x 3)))) (cbrt.f64 (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))
(cbrt.f64 (/.f64 (.f64 (pow.f64 (+.f64 x 1/3) 2) (-.f64 -1/27 (pow.f64 x 3))) (+.f64 -1/9 (.f64 x (-.f64 1/3 x)))))
(/.f64 (.f64 (+.f64 1/729 (pow.f64 (.f64 x (+.f64 x -1/3)) 3)) (/.f64 (+.f64 x 1/3) (+.f64 1/9 (.f64 x (+.f64 x -1/3))))) (+.f64 1/81 (.f64 (.f64 x (+.f64 x -1/3)) (-.f64 (.f64 x (+.f64 x -1/3)) 1/9))))
(/.f64 (/.f64 (.f64 (+.f64 1/729 (pow.f64 (.f64 x (+.f64 x -1/3)) 3)) (+.f64 x 1/3)) (+.f64 1/9 (.f64 x (+.f64 x -1/3)))) (+.f64 1/81 (.f64 (*.f64 x (+.f64 x -1/3)) (fma.f64 x (+.f64 x -1/3) -1/9))))
(pow.f64 (cbrt.f64 (+.f64 x 1/3)) 3)
(+.f64 x 1/3)
(pow.f64 (pow.f64 (+.f64 x 1/3) 3) 1/3)
(+.f64 x 1/3)
(pow.f64 (+.f64 x 1/3) 1)
(+.f64 x 1/3)
(neg.f64 (/.f64 (neg.f64 (+.f64 x 1/3)) 1))
(+.f64 x 1/3)
(neg.f64 (-.f64 -1/3 x))
(+.f64 x 1/3)
(neg.f64 (neg.f64 (+.f64 x 1/3)))
(+.f64 x 1/3)
(cbrt.f64 (pow.f64 (+.f64 x 1/3) 3))
(+.f64 x 1/3)

eval171.0ms (8.1%)

Compiler: Compiled 4858 to 3838 computations (21% saved)

prune28.0ms (1.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	206	2	208
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	206	3	209

Error

Counts

209 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 x 1/3)
	32.1b	x
	30.3b	1/3

Compiler

Compiled 8 to 6 computations (25% saved)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 x 1/3)
	32.1b	x
	30.3b	1/3

Compiler

Compiled 8 to 6 computations (25% saved)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 x 1/3)
	32.1b	x
	30.3b	1/3

Compiler

Compiled 8 to 6 computations (25% saved)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 x 1/3)
	32.1b	x
	30.3b	1/3

Compiler

Compiled 8 to 6 computations (25% saved)

regimes9.0ms (0.4%)

Counts

4 → 1

Calls

Call 1

Inputs
1/3
x
(+.f64 x 1/3)
(+.f64 x (/.f64 1 3))

Outputs
(+.f64 x 1/3)

Calls

2 calls:

4.0ms	x
3.0ms	(+.f64 x (/.f64 1 3))

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`(+.f64 x (/.f64 1 3))`

Compiler

Compiled 19 to 14 computations (26.3% saved)

regimes10.0ms (0.5%)

Accuracy

Total -61.2b remaining (-10272.3%)

Threshold costs -61.2b (-10272.3%)

Counts

2 → 3

Calls

Call 1

Inputs
1/3
x

Outputs
x
1/3
x

Calls

1 calls:

9.0ms

Results

Error	Segments	Branch
0.6b	3	`x`

Compiler

Compiled 5 to 3 computations (40% saved)

bsearch29.0ms (1.4%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
10.0ms	0.026294256179242113	0.35011244807901976
18.0ms	-195513382717582.06	-3.2587466793049145e-17

Results

24.0ms

272×

body

256

valid

Compiler

Compiled 112 to 93 computations (17% saved)

simplify1.0ms (0.1%)

Stop Event

1×

fuel

Compiler

Compiled 18 to 13 computations (27.8% saved)

soundness0.0ms (0%)

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

end24.0ms (1.1%)

Compiler: Compiled 16 to 11 computations (31.3% saved)

Details

analyze3.0ms (0.1%)

sample942.0ms (44.8%)

preprocess176.0ms (8.4%)

simplify80.0ms (3.8%)

eval1.0ms (0%)

prune2.0ms (0.1%)

localize5.0ms (0.3%)

series6.0ms (0.3%)

rewrite302.0ms (14.3%)

simplify312.0ms (14.8%)

eval171.0ms (8.1%)

prune28.0ms (1.3%)

eval0.0ms (0%)

prune1.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0.1%)

regimes9.0ms (0.4%)

regimes10.0ms (0.5%)

bsearch29.0ms (1.4%)

simplify1.0ms (0.1%)

soundness0.0ms (0%)

end24.0ms (1.1%)

Profiling