Details

analyze7.0ms (0.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.6%	0.4%	0%	0%	0%	0
0%	0%	99.6%	0.4%	0%	0%	0%	1
0%	0%	99.6%	0.4%	0%	0%	0%	2
0%	0%	49.8%	0.4%	0%	49.8%	0%	3
50%	24.9%	24.9%	0.4%	0%	49.8%	0%	4
75%	37.4%	12.5%	0.4%	0%	49.8%	0%	5
87.5%	43.6%	6.2%	0.4%	0%	49.8%	0%	6
93.8%	46.7%	3.1%	0.4%	0%	49.8%	0%	7
96.9%	48.2%	1.6%	0.4%	0%	49.8%	0%	8
98.4%	49%	0.8%	0.4%	0%	49.8%	0%	9
99.2%	49.4%	0.4%	0.4%	0%	49.8%	0%	10
99.6%	49.4%	0.2%	0.4%	0%	50%	0%	11
99.8%	49.5%	0.1%	0.4%	0%	50%	0%	12

Compiler

Compiled 4 to 3 computations (25% saved)

sample2.5s (43.9%)

Results

2.5s

8256×

body

256

valid

Bogosity

preprocess16.0ms (0.3%)

Algorithm

2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	5
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(atanh.f32 x)

Outputs
(atanh.f32 x)

Compiler

Compiled 12 to 10 computations (16.7% saved)

simplify180.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

1496×	`rational.json-simplify-35`
1380×	`rational.json-simplify-2`
1344×	`rational.json-simplify-55`
868×	`rational.json-simplify-51`
820×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	29
1	22	29
2	48	29
3	97	29
4	220	29
5	571	29
6	2154	29
7	3803	29
8	5517	29
9	6649	29
10	7552	29

Stop Event

1×	node limit

Counts

1 → 3

Calls

Call 1

Inputs
(.f32 1/2 (log1p.f32 (/.f32 (.f32 2 x) (-.f32 1 x))))

Outputs
(.f32 1/2 (log1p.f32 (/.f32 (.f32 2 x) (-.f32 1 x))))
(.f32 1/2 (log1p.f32 (.f32 2 (/.f32 x (-.f32 1 x)))))
(.f32 1/2 (log1p.f32 (.f32 -2 (/.f32 x (+.f32 x -1)))))

eval1.0ms (0%)

Compiler: Compiled 31 to 25 computations (19.4% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.1b

Counts

4 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.1b	(.f32 1/2 (log1p.f32 (/.f32 (.f32 2 x) (-.f32 1 x))))

Compiler

Compiled 11 to 9 computations (18.2% saved)

localize36.0ms (0.6%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(log1p.f32 (/.f32 (*.f32 2 x) (-.f32 1 x)))
✓	0.1b	(/.f32 (*.f32 2 x) (-.f32 1 x))

Compiler

Compiled 36 to 27 computations (25% saved)

series2.0ms (0%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(log1p.f32 (/.f32 (*.f32 2 x) (-.f32 1 x)))
0.0ms	x	@	-inf	(log1p.f32 (/.f32 (*.f32 2 x) (-.f32 1 x)))
0.0ms	x	@	inf	(log1p.f32 (/.f32 (*.f32 2 x) (-.f32 1 x)))
0.0ms	x	@	inf	(/.f32 (*.f32 2 x) (-.f32 1 x))
0.0ms	x	@	0	(/.f32 (*.f32 2 x) (-.f32 1 x))

rewrite113.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

1916×	`rational.json-1`
1916×	`rational.json-2`
1528×	`rational.json-simplify-35`
918×	`rational.json-simplify-2`
916×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	42
1	79	42
2	213	42
3	529	42
4	1522	42
5	3450	42
6	7120	42

Stop Event

1×	node limit

Counts

2 → 79

Calls

Call 1

Inputs
(/.f32 (*.f32 2 x) (-.f32 1 x))
(log1p.f32 (/.f32 (*.f32 2 x) (-.f32 1 x)))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (/.f32 2 (+.f32 -1 (/.f32 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (/.f32 x (-.f32 1 x)) (/.f32 x (-.f32 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 0 (/.f32 2 (+.f32 1 (/.f32 -1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (/.f32 2 (-.f32 1 x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 2 (/.f32 x (-.f32 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 2 (.f32 (.f32 1/2 (/.f32 2 (-.f32 1 x))) x))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 2 (.f32 (.f32 (/.f32 1 (-.f32 1 x)) 1/2) (+.f32 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 2 (.f32 (/.f32 1 (.f32 (-.f32 1 x) 4)) (.f32 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 2 (.f32 (/.f32 2 (.f32 (+.f32 x -1) 4)) (.f32 x -2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 x (/.f32 2 (-.f32 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 x (.f32 4 (/.f32 1/2 (-.f32 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (+.f32 x x) (/.f32 1 (-.f32 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (+.f32 x x) (.f32 1/2 (/.f32 2 (-.f32 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (/.f32 2 (+.f32 -1 (/.f32 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 2 (+.f32 -1 (/.f32 1 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 x 4) (/.f32 1/2 (-.f32 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 x 4) (.f32 (/.f32 1 (-.f32 1 x)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 x -2) (/.f32 1 (+.f32 x -1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 x -2) (.f32 -2 (/.f32 1/2 (-.f32 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 -1 (/.f32 2 (+.f32 1 (/.f32 -1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 4 (/.f32 (.f32 x 1/2) (-.f32 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (-.f32 (/.f32 4 (-.f32 1 x)) 4) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 x 8) (/.f32 1 (.f32 (-.f32 1 x) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 x 8) (.f32 (/.f32 1 (-.f32 1 x)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 x 8) (.f32 1/2 (/.f32 1/2 (-.f32 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 x (-.f32 1 x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 (-.f32 1 x)) (+.f32 x x))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 -2 (/.f32 x (+.f32 x -1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 -2 (.f32 (.f32 x -2) (/.f32 1/2 (-.f32 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 8 (.f32 (/.f32 1 (-.f32 1 x)) (/.f32 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 8 (.f32 (.f32 x 1/2) (/.f32 1/2 (-.f32 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 2 (.f32 x 8)) (.f32 1/4 (/.f32 1/2 (-.f32 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 2 (/.f32 2 (-.f32 1 x))) (.f32 x 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 -4 (.f32 (neg.f32 x) (/.f32 1/2 (-.f32 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 2 (+.f32 1 (/.f32 -1 x))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1/2 (-.f32 (/.f32 4 (-.f32 1 x)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (neg.f32 x) (/.f32 2 (+.f32 x -1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (.f32 x 1/2) (-.f32 1 x)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1/2 (-.f32 1 x)) (.f32 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 (+.f32 x -1)) (.f32 x -2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 x 1/2) (.f32 2 (/.f32 2 (-.f32 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 x 1/2) (/.f32 4 (-.f32 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 x -4) (/.f32 2 (.f32 (+.f32 x -1) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 x -4) (.f32 -1 (/.f32 1/2 (-.f32 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 2 (-.f32 1 x)) x)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (/.f32 1 (-.f32 1 x)) 1/2) (.f32 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 1/2 (/.f32 2 (-.f32 1 x))) (+.f32 x x))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 4 (-.f32 1 x)) (.f32 x 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 2 (+.f32 x -1)) (neg.f32 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 x (+.f32 x -1)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 1 (.f32 (-.f32 1 x) 4)) (.f32 x 8))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 2 (.f32 (+.f32 x -1) 4)) (.f32 x -4))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 2 (/.f32 1 (+.f32 x -1))) (neg.f32 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (/.f32 1 (-.f32 1 x)) 1/4) (.f32 x 8))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (/.f32 1 (-.f32 1 x)) (/.f32 x 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (+.f32 (/.f32 x 4) (/.f32 x 4)) (*.f32 4 (/.f32 1 (-.f32 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (/.f32 2 (+.f32 1 (/.f32 -1 x))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (/.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 2) (/.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 2 (/.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 2 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x))))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1/2 (.f32 2 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (.f32 2 (.f32 2 (.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 4))) (.f32 2 (.f32 2 (*.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 4)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 1)))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (/.f32 2 (+.f32 -1 (/.f32 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (/.f32 x (-.f32 1 x)) (/.f32 x (-.f32 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 0 (/.f32 2 (+.f32 1 (/.f32 -1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (/.f32 2 (-.f32 1 x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 2 (/.f32 x (-.f32 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 2 (*.f32 (*.f32 1/2 (/.f32 2 (-.f32 1 x))) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 2 (*.f32 (*.f32 (/.f32 1 (-.f32 1 x)) 1/2) (+.f32 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 2 (*.f32 (/.f32 1 (*.f32 (-.f32 1 x) 4)) (*.f32 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 2 (*.f32 (/.f32 2 (*.f32 (+.f32 x -1) 4)) (*.f32 x -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 x (/.f32 2 (-.f32 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 x (*.f32 4 (/.f32 1/2 (-.f32 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (+.f32 x x) (/.f32 1 (-.f32 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (+.f32 x x) (*.f32 1/2 (/.f32 2 (-.f32 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (/.f32 2 (+.f32 -1 (/.f32 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 x 4) (/.f32 1/2 (-.f32 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 x 4) (*.f32 (/.f32 1 (-.f32 1 x)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 x -2) (/.f32 1 (+.f32 x -1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 x -2) (*.f32 -2 (/.f32 1/2 (-.f32 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 -1 (/.f32 2 (+.f32 1 (/.f32 -1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 4 (/.f32 (*.f32 x 1/2) (-.f32 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (-.f32 (/.f32 4 (-.f32 1 x)) 4) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 x 8) (/.f32 1 (*.f32 (-.f32 1 x) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 x 8) (*.f32 (/.f32 1 (-.f32 1 x)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 x 8) (*.f32 1/2 (/.f32 1/2 (-.f32 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 x (-.f32 1 x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 1 (-.f32 1 x)) (+.f32 x x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 -2 (/.f32 x (+.f32 x -1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 -2 (*.f32 (*.f32 x -2) (/.f32 1/2 (-.f32 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 8 (*.f32 (/.f32 1 (-.f32 1 x)) (/.f32 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 8 (*.f32 (*.f32 x 1/2) (/.f32 1/2 (-.f32 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 2 (*.f32 x 8)) (*.f32 1/4 (/.f32 1/2 (-.f32 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 2 (/.f32 2 (-.f32 1 x))) (*.f32 x 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 -4 (*.f32 (neg.f32 x) (/.f32 1/2 (-.f32 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 2 (+.f32 1 (/.f32 -1 x))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1/2 (-.f32 (/.f32 4 (-.f32 1 x)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (neg.f32 x) (/.f32 2 (+.f32 x -1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (*.f32 x 1/2) (-.f32 1 x)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 1/2 (-.f32 1 x)) (*.f32 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 1 (+.f32 x -1)) (*.f32 x -2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 x 1/2) (*.f32 2 (/.f32 2 (-.f32 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 x 1/2) (/.f32 4 (-.f32 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 x -4) (/.f32 2 (*.f32 (+.f32 x -1) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 x -4) (*.f32 -1 (/.f32 1/2 (-.f32 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 2 (-.f32 1 x)) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (/.f32 1 (-.f32 1 x)) 1/2) (*.f32 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 1/2 (/.f32 2 (-.f32 1 x))) (+.f32 x x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 4 (-.f32 1 x)) (*.f32 x 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 2 (+.f32 x -1)) (neg.f32 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 x (+.f32 x -1)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 1 (*.f32 (-.f32 1 x) 4)) (*.f32 x 8))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 2 (*.f32 (+.f32 x -1) 4)) (*.f32 x -4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 2 (/.f32 1 (+.f32 x -1))) (neg.f32 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (/.f32 1 (-.f32 1 x)) 1/4) (*.f32 x 8))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (/.f32 1 (-.f32 1 x)) (/.f32 x 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (+.f32 (/.f32 x 4) (/.f32 x 4)) (*.f32 4 (/.f32 1 (-.f32 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (/.f32 2 (+.f32 1 (/.f32 -1 x))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (/.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 2) (/.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 2 (/.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 2 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x))))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1/2 (*.f32 2 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 2 (*.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (*.f32 2 (*.f32 2 (*.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 4))) (*.f32 2 (*.f32 2 (*.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 4)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 1)))))

simplify132.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

1446×	`rational.json-simplify-52`
1090×	`rational.json-simplify-1`
1050×	`rational.json-simplify-53`
1008×	`rational.json-simplify-35`
956×	`rational.json-simplify-2`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	205	3053
1	451	2435
2	933	2411
3	1823	2405
4	3573	2387
5	5159	2387
6	6704	2387

Stop Event

1×	node limit

Counts

103 → 142

Calls

Call 1

Inputs
(*.f32 2 x)
(+.f32 (.f32 2 (pow.f32 x 2)) (.f32 2 x))
(+.f32 (.f32 2 (pow.f32 x 2)) (+.f32 (.f32 2 (pow.f32 x 3)) (*.f32 2 x)))
(+.f32 (.f32 2 (pow.f32 x 2)) (+.f32 (.f32 2 (pow.f32 x 3)) (+.f32 (.f32 2 x) (.f32 2 (pow.f32 x 4)))))
-2
(neg.f32 (+.f32 2 (*.f32 2 (/.f32 1 x))))
(neg.f32 (+.f32 2 (+.f32 (.f32 2 (/.f32 1 x)) (.f32 2 (/.f32 1 (pow.f32 x 2))))))
(neg.f32 (+.f32 2 (+.f32 (.f32 2 (/.f32 1 x)) (+.f32 (.f32 2 (/.f32 1 (pow.f32 x 2))) (*.f32 2 (/.f32 1 (pow.f32 x 3)))))))
-2
(neg.f32 (+.f32 2 (*.f32 2 (/.f32 1 x))))
(neg.f32 (+.f32 2 (+.f32 (.f32 2 (/.f32 1 x)) (.f32 2 (/.f32 1 (pow.f32 x 2))))))
(neg.f32 (+.f32 2 (+.f32 (.f32 2 (/.f32 1 x)) (+.f32 (.f32 2 (/.f32 1 (pow.f32 x 2))) (*.f32 2 (/.f32 1 (pow.f32 x 3)))))))
(*.f32 2 x)
(+.f32 (.f32 2 x) (.f32 2/3 (pow.f32 x 3)))
(+.f32 (.f32 2 x) (+.f32 (.f32 2/3 (pow.f32 x 3)) (*.f32 2/5 (pow.f32 x 5))))
(+.f32 (.f32 2/7 (pow.f32 x 7)) (+.f32 (.f32 2 x) (+.f32 (.f32 2/3 (pow.f32 x 3)) (.f32 2/5 (pow.f32 x 5)))))
(log.f32 -1)
(+.f32 (log.f32 -1) (*.f32 2 (/.f32 1 x)))
(+.f32 (.f32 2/3 (/.f32 1 (pow.f32 x 3))) (+.f32 (log.f32 -1) (.f32 2 (/.f32 1 x))))
(+.f32 (.f32 2/3 (/.f32 1 (pow.f32 x 3))) (+.f32 (log.f32 -1) (+.f32 (.f32 2 (/.f32 1 x)) (*.f32 2/5 (/.f32 1 (pow.f32 x 5))))))
(log.f32 -1)
(+.f32 (log.f32 -1) (*.f32 2 (/.f32 1 x)))
(+.f32 (.f32 2/3 (/.f32 1 (pow.f32 x 3))) (+.f32 (log.f32 -1) (.f32 2 (/.f32 1 x))))
(+.f32 (.f32 2/3 (/.f32 1 (pow.f32 x 3))) (+.f32 (log.f32 -1) (+.f32 (.f32 2 (/.f32 1 x)) (*.f32 2/5 (/.f32 1 (pow.f32 x 5))))))
(+.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x))) 0)
(+.f32 0 (/.f32 2 (+.f32 -1 (/.f32 1 x))))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(+.f32 (/.f32 x (-.f32 1 x)) (/.f32 x (-.f32 1 x)))
(+.f32 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))) -1)
(-.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x))) 0)
(-.f32 0 (/.f32 2 (+.f32 1 (/.f32 -1 x))))
(-.f32 (/.f32 2 (-.f32 1 x)) 2)
(*.f32 2 (/.f32 x (-.f32 1 x)))
(.f32 2 (.f32 (*.f32 1/2 (/.f32 2 (-.f32 1 x))) x))
(.f32 2 (.f32 (*.f32 (/.f32 1 (-.f32 1 x)) 1/2) (+.f32 x x)))
(.f32 2 (.f32 (/.f32 1 (.f32 (-.f32 1 x) 4)) (.f32 x 4)))
(.f32 2 (.f32 (/.f32 2 (.f32 (+.f32 x -1) 4)) (.f32 x -2)))
(*.f32 x (/.f32 2 (-.f32 1 x)))
(.f32 x (.f32 4 (/.f32 1/2 (-.f32 1 x))))
(*.f32 (+.f32 x x) (/.f32 1 (-.f32 1 x)))
(.f32 (+.f32 x x) (.f32 1/2 (/.f32 2 (-.f32 1 x))))
(*.f32 1 (/.f32 2 (+.f32 -1 (/.f32 1 x))))
(*.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x))) 1)
(.f32 (.f32 x 4) (/.f32 1/2 (-.f32 1 x)))
(.f32 (.f32 x 4) (*.f32 (/.f32 1 (-.f32 1 x)) 1/2))
(.f32 (.f32 x -2) (/.f32 1 (+.f32 x -1)))
(.f32 (.f32 x -2) (*.f32 -2 (/.f32 1/2 (-.f32 1 x))))
(*.f32 -1 (/.f32 2 (+.f32 1 (/.f32 -1 x))))
(.f32 4 (/.f32 (.f32 x 1/2) (-.f32 1 x)))
(*.f32 (-.f32 (/.f32 4 (-.f32 1 x)) 4) 1/2)
(.f32 (.f32 x 8) (/.f32 1 (*.f32 (-.f32 1 x) 4)))
(.f32 (.f32 x 8) (*.f32 (/.f32 1 (-.f32 1 x)) 1/4))
(.f32 (.f32 x 8) (*.f32 1/2 (/.f32 1/2 (-.f32 1 x))))
(*.f32 (/.f32 x (-.f32 1 x)) 2)
(*.f32 (/.f32 1 (-.f32 1 x)) (+.f32 x x))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 -2 (.f32 (*.f32 x -2) (/.f32 1/2 (-.f32 1 x))))
(.f32 8 (.f32 (/.f32 1 (-.f32 1 x)) (/.f32 x 4)))
(.f32 8 (.f32 (*.f32 x 1/2) (/.f32 1/2 (-.f32 1 x))))
(.f32 (.f32 2 (.f32 x 8)) (.f32 1/4 (/.f32 1/2 (-.f32 1 x))))
(.f32 (.f32 2 (/.f32 2 (-.f32 1 x))) (*.f32 x 1/2))
(.f32 -4 (.f32 (neg.f32 x) (/.f32 1/2 (-.f32 1 x))))
(*.f32 (/.f32 2 (+.f32 1 (/.f32 -1 x))) -1)
(*.f32 1/2 (-.f32 (/.f32 4 (-.f32 1 x)) 4))
(*.f32 (neg.f32 x) (/.f32 2 (+.f32 x -1)))
(.f32 (/.f32 (.f32 x 1/2) (-.f32 1 x)) 4)
(.f32 (/.f32 1/2 (-.f32 1 x)) (.f32 x 4))
(.f32 (/.f32 1 (+.f32 x -1)) (.f32 x -2))
(.f32 (.f32 x 1/2) (*.f32 2 (/.f32 2 (-.f32 1 x))))
(.f32 (.f32 x 1/2) (/.f32 4 (-.f32 1 x)))
(.f32 (.f32 x -4) (/.f32 2 (*.f32 (+.f32 x -1) 4)))
(.f32 (.f32 x -4) (*.f32 -1 (/.f32 1/2 (-.f32 1 x))))
(*.f32 (/.f32 2 (-.f32 1 x)) x)
(.f32 (.f32 (/.f32 1 (-.f32 1 x)) 1/2) (*.f32 x 4))
(.f32 (.f32 1/2 (/.f32 2 (-.f32 1 x))) (+.f32 x x))
(.f32 (/.f32 4 (-.f32 1 x)) (.f32 x 1/2))
(*.f32 (/.f32 2 (+.f32 x -1)) (neg.f32 x))
(*.f32 (/.f32 x (+.f32 x -1)) -2)
(.f32 (/.f32 1 (.f32 (-.f32 1 x) 4)) (*.f32 x 8))
(.f32 (/.f32 2 (.f32 (+.f32 x -1) 4)) (*.f32 x -4))
(.f32 (.f32 2 (/.f32 1 (+.f32 x -1))) (neg.f32 x))
(.f32 (.f32 (/.f32 1 (-.f32 1 x)) 1/4) (*.f32 x 8))
(.f32 (.f32 (/.f32 1 (-.f32 1 x)) (/.f32 x 4)) 8)
(.f32 (+.f32 (/.f32 x 4) (/.f32 x 4)) (.f32 4 (/.f32 1 (-.f32 1 x))))
(pow.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x))) 1)
(neg.f32 (/.f32 2 (+.f32 1 (/.f32 -1 x))))
(+.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 0)
(+.f32 0 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))))
(+.f32 (/.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 2) (/.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 2))
(-.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 0)
(*.f32 2 (/.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 2))
(*.f32 1 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))))
(*.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 1)
(.f32 (.f32 2 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x))))) 1/2)
(.f32 1/2 (.f32 2 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x))))))
(*.f32 (/.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 2) 2)
(/.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 1)
(/.f32 (*.f32 2 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x))))) 2)
(/.f32 (*.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 4) 4)
(/.f32 (.f32 2 (.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 4)) 8)
(/.f32 (.f32 2 (.f32 2 (*.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 4))) 16)
(/.f32 (+.f32 (.f32 2 (.f32 2 (.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 4))) (.f32 2 (.f32 2 (.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 4)))) 32)
(pow.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 1)

Outputs
(*.f32 2 x)
(+.f32 x x)
(+.f32 (.f32 2 (pow.f32 x 2)) (.f32 2 x))
(+.f32 (.f32 2 x) (.f32 2 (pow.f32 x 2)))
(*.f32 2 (+.f32 (pow.f32 x 2) x))
(*.f32 2 (+.f32 x (pow.f32 x 2)))
(+.f32 (.f32 2 (pow.f32 x 2)) (+.f32 (.f32 2 (pow.f32 x 3)) (*.f32 2 x)))
(+.f32 (.f32 2 (pow.f32 x 2)) (+.f32 (.f32 2 x) (*.f32 2 (pow.f32 x 3))))
(+.f32 (.f32 2 (pow.f32 x 2)) (.f32 2 (+.f32 x (pow.f32 x 3))))
(*.f32 2 (+.f32 (pow.f32 x 3) (+.f32 x (pow.f32 x 2))))
(*.f32 2 (+.f32 (pow.f32 x 2) (+.f32 x (pow.f32 x 3))))
(*.f32 2 (+.f32 x (+.f32 (pow.f32 x 2) (pow.f32 x 3))))
(+.f32 (.f32 2 (pow.f32 x 2)) (+.f32 (.f32 2 (pow.f32 x 3)) (+.f32 (.f32 2 x) (.f32 2 (pow.f32 x 4)))))
(+.f32 (.f32 2 (pow.f32 x 2)) (+.f32 (.f32 2 x) (+.f32 (.f32 2 (pow.f32 x 4)) (.f32 2 (pow.f32 x 3)))))
(+.f32 (.f32 2 (pow.f32 x 2)) (+.f32 (.f32 2 (pow.f32 x 3)) (*.f32 2 (+.f32 (pow.f32 x 4) x))))
(+.f32 (.f32 2 x) (.f32 2 (+.f32 (pow.f32 x 2) (+.f32 (pow.f32 x 3) (pow.f32 x 4)))))
(*.f32 2 (+.f32 (pow.f32 x 2) (+.f32 (pow.f32 x 3) (+.f32 x (pow.f32 x 4)))))
(*.f32 2 (+.f32 (pow.f32 x 3) (+.f32 (pow.f32 x 2) (+.f32 x (pow.f32 x 4)))))
-2
(neg.f32 (+.f32 2 (*.f32 2 (/.f32 1 x))))
(neg.f32 (+.f32 2 (+.f32 (.f32 2 (/.f32 1 x)) (.f32 2 (/.f32 1 (pow.f32 x 2))))))
(neg.f32 (+.f32 2 (*.f32 2 (+.f32 (/.f32 1 (pow.f32 x 2)) (/.f32 1 x)))))
(neg.f32 (+.f32 2 (*.f32 2 (+.f32 (/.f32 1 x) (/.f32 1 (pow.f32 x 2))))))
(neg.f32 (+.f32 2 (+.f32 (.f32 2 (/.f32 1 x)) (+.f32 (.f32 2 (/.f32 1 (pow.f32 x 2))) (*.f32 2 (/.f32 1 (pow.f32 x 3)))))))
(neg.f32 (+.f32 2 (+.f32 (.f32 2 (/.f32 1 x)) (.f32 2 (+.f32 (/.f32 1 (pow.f32 x 2)) (/.f32 1 (pow.f32 x 3)))))))
(neg.f32 (+.f32 2 (*.f32 2 (+.f32 (/.f32 1 x) (+.f32 (/.f32 1 (pow.f32 x 2)) (/.f32 1 (pow.f32 x 3)))))))
(neg.f32 (+.f32 2 (*.f32 2 (+.f32 (/.f32 1 (pow.f32 x 3)) (+.f32 (/.f32 1 x) (/.f32 1 (pow.f32 x 2)))))))
-2
(neg.f32 (+.f32 2 (*.f32 2 (/.f32 1 x))))
(neg.f32 (+.f32 2 (+.f32 (.f32 2 (/.f32 1 x)) (.f32 2 (/.f32 1 (pow.f32 x 2))))))
(neg.f32 (+.f32 2 (*.f32 2 (+.f32 (/.f32 1 (pow.f32 x 2)) (/.f32 1 x)))))
(neg.f32 (+.f32 2 (*.f32 2 (+.f32 (/.f32 1 x) (/.f32 1 (pow.f32 x 2))))))
(neg.f32 (+.f32 2 (+.f32 (.f32 2 (/.f32 1 x)) (+.f32 (.f32 2 (/.f32 1 (pow.f32 x 2))) (*.f32 2 (/.f32 1 (pow.f32 x 3)))))))
(neg.f32 (+.f32 2 (+.f32 (.f32 2 (/.f32 1 x)) (.f32 2 (+.f32 (/.f32 1 (pow.f32 x 2)) (/.f32 1 (pow.f32 x 3)))))))
(neg.f32 (+.f32 2 (*.f32 2 (+.f32 (/.f32 1 x) (+.f32 (/.f32 1 (pow.f32 x 2)) (/.f32 1 (pow.f32 x 3)))))))
(neg.f32 (+.f32 2 (*.f32 2 (+.f32 (/.f32 1 (pow.f32 x 3)) (+.f32 (/.f32 1 x) (/.f32 1 (pow.f32 x 2)))))))
(*.f32 2 x)
(+.f32 x x)
(+.f32 (.f32 2 x) (.f32 2/3 (pow.f32 x 3)))
(+.f32 (.f32 2 x) (.f32 (pow.f32 x 3) 2/3))
(+.f32 (*.f32 (pow.f32 x 3) 2/3) (+.f32 x x))
(+.f32 (.f32 2 x) (+.f32 (.f32 2/3 (pow.f32 x 3)) (*.f32 2/5 (pow.f32 x 5))))
(+.f32 (.f32 (pow.f32 x 3) 2/3) (+.f32 (.f32 2/5 (pow.f32 x 5)) (*.f32 2 x)))
(+.f32 (.f32 (pow.f32 x 3) 2/3) (+.f32 (.f32 2 x) (*.f32 2/5 (pow.f32 x 5))))
(+.f32 (.f32 (pow.f32 x 3) 2/3) (+.f32 (.f32 2/5 (pow.f32 x 5)) (+.f32 x x)))
(+.f32 (.f32 2/7 (pow.f32 x 7)) (+.f32 (.f32 2 x) (+.f32 (.f32 2/3 (pow.f32 x 3)) (.f32 2/5 (pow.f32 x 5)))))
(+.f32 (+.f32 (.f32 (pow.f32 x 3) 2/3) (+.f32 (.f32 2/5 (pow.f32 x 5)) (.f32 2 x))) (.f32 2/7 (pow.f32 x 7)))
(+.f32 (+.f32 (.f32 (pow.f32 x 3) 2/3) (+.f32 (.f32 2 x) (.f32 2/5 (pow.f32 x 5)))) (.f32 2/7 (pow.f32 x 7)))
(+.f32 (.f32 2 x) (+.f32 (.f32 (pow.f32 x 3) 2/3) (+.f32 (.f32 2/5 (pow.f32 x 5)) (.f32 2/7 (pow.f32 x 7)))))
(+.f32 (.f32 (pow.f32 x 3) 2/3) (+.f32 (.f32 2/5 (pow.f32 x 5)) (+.f32 (*.f32 2/7 (pow.f32 x 7)) (+.f32 x x))))
(log.f32 -1)
(+.f32 (log.f32 -1) (*.f32 2 (/.f32 1 x)))
(+.f32 (*.f32 2 (/.f32 1 x)) (log.f32 -1))
(+.f32 (.f32 2/3 (/.f32 1 (pow.f32 x 3))) (+.f32 (log.f32 -1) (.f32 2 (/.f32 1 x))))
(+.f32 (+.f32 (.f32 2 (/.f32 1 x)) (log.f32 -1)) (.f32 (/.f32 1 (pow.f32 x 3)) 2/3))
(+.f32 (.f32 2 (/.f32 1 x)) (+.f32 (.f32 (/.f32 1 (pow.f32 x 3)) 2/3) (log.f32 -1)))
(+.f32 (.f32 2 (/.f32 1 x)) (+.f32 (log.f32 -1) (.f32 (/.f32 1 (pow.f32 x 3)) 2/3)))
(+.f32 (.f32 2/3 (/.f32 1 (pow.f32 x 3))) (+.f32 (log.f32 -1) (+.f32 (.f32 2 (/.f32 1 x)) (*.f32 2/5 (/.f32 1 (pow.f32 x 5))))))
(+.f32 (.f32 (/.f32 1 (pow.f32 x 3)) 2/3) (+.f32 (.f32 2 (/.f32 1 x)) (+.f32 (*.f32 2/5 (/.f32 1 (pow.f32 x 5))) (log.f32 -1))))
(+.f32 (.f32 2 (/.f32 1 x)) (+.f32 (+.f32 (log.f32 -1) (.f32 2/5 (/.f32 1 (pow.f32 x 5)))) (*.f32 (/.f32 1 (pow.f32 x 3)) 2/3)))
(+.f32 (.f32 2 (/.f32 1 x)) (+.f32 (.f32 (/.f32 1 (pow.f32 x 3)) 2/3) (+.f32 (log.f32 -1) (*.f32 2/5 (/.f32 1 (pow.f32 x 5))))))
(+.f32 (.f32 2 (/.f32 1 x)) (+.f32 (log.f32 -1) (+.f32 (.f32 (/.f32 1 (pow.f32 x 3)) 2/3) (*.f32 2/5 (/.f32 1 (pow.f32 x 5))))))
(log.f32 -1)
(+.f32 (log.f32 -1) (*.f32 2 (/.f32 1 x)))
(+.f32 (*.f32 2 (/.f32 1 x)) (log.f32 -1))
(+.f32 (.f32 2/3 (/.f32 1 (pow.f32 x 3))) (+.f32 (log.f32 -1) (.f32 2 (/.f32 1 x))))
(+.f32 (+.f32 (.f32 2 (/.f32 1 x)) (log.f32 -1)) (.f32 (/.f32 1 (pow.f32 x 3)) 2/3))
(+.f32 (.f32 2 (/.f32 1 x)) (+.f32 (.f32 (/.f32 1 (pow.f32 x 3)) 2/3) (log.f32 -1)))
(+.f32 (.f32 2 (/.f32 1 x)) (+.f32 (log.f32 -1) (.f32 (/.f32 1 (pow.f32 x 3)) 2/3)))
(+.f32 (.f32 2/3 (/.f32 1 (pow.f32 x 3))) (+.f32 (log.f32 -1) (+.f32 (.f32 2 (/.f32 1 x)) (*.f32 2/5 (/.f32 1 (pow.f32 x 5))))))
(+.f32 (.f32 (/.f32 1 (pow.f32 x 3)) 2/3) (+.f32 (.f32 2 (/.f32 1 x)) (+.f32 (*.f32 2/5 (/.f32 1 (pow.f32 x 5))) (log.f32 -1))))
(+.f32 (.f32 2 (/.f32 1 x)) (+.f32 (+.f32 (log.f32 -1) (.f32 2/5 (/.f32 1 (pow.f32 x 5)))) (*.f32 (/.f32 1 (pow.f32 x 3)) 2/3)))
(+.f32 (.f32 2 (/.f32 1 x)) (+.f32 (.f32 (/.f32 1 (pow.f32 x 3)) 2/3) (+.f32 (log.f32 -1) (*.f32 2/5 (/.f32 1 (pow.f32 x 5))))))
(+.f32 (.f32 2 (/.f32 1 x)) (+.f32 (log.f32 -1) (+.f32 (.f32 (/.f32 1 (pow.f32 x 3)) 2/3) (*.f32 2/5 (/.f32 1 (pow.f32 x 5))))))
(+.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x))) 0)
(/.f32 2 (+.f32 (/.f32 1 x) -1))
(/.f32 -2 (-.f32 1 (/.f32 1 x)))
(+.f32 0 (/.f32 2 (+.f32 -1 (/.f32 1 x))))
(/.f32 2 (+.f32 (/.f32 1 x) -1))
(/.f32 -2 (-.f32 1 (/.f32 1 x)))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(+.f32 (/.f32 x (-.f32 1 x)) (/.f32 x (-.f32 1 x)))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(+.f32 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))) -1)
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(-.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x))) 0)
(/.f32 2 (+.f32 (/.f32 1 x) -1))
(/.f32 -2 (-.f32 1 (/.f32 1 x)))
(-.f32 0 (/.f32 2 (+.f32 1 (/.f32 -1 x))))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(-.f32 (/.f32 2 (-.f32 1 x)) 2)
(-.f32 (/.f32 -2 (+.f32 x -1)) 2)
(*.f32 2 (/.f32 x (-.f32 1 x)))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 2 (.f32 (*.f32 1/2 (/.f32 2 (-.f32 1 x))) x))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 2 (.f32 (*.f32 (/.f32 1 (-.f32 1 x)) 1/2) (+.f32 x x)))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 2 (.f32 (/.f32 1 (.f32 (-.f32 1 x) 4)) (.f32 x 4)))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 2 (.f32 (/.f32 2 (.f32 (+.f32 x -1) 4)) (.f32 x -2)))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(*.f32 x (/.f32 2 (-.f32 1 x)))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 x (.f32 4 (/.f32 1/2 (-.f32 1 x))))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(*.f32 (+.f32 x x) (/.f32 1 (-.f32 1 x)))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 (+.f32 x x) (.f32 1/2 (/.f32 2 (-.f32 1 x))))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(*.f32 1 (/.f32 2 (+.f32 -1 (/.f32 1 x))))
(/.f32 2 (+.f32 (/.f32 1 x) -1))
(/.f32 -2 (-.f32 1 (/.f32 1 x)))
(*.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x))) 1)
(/.f32 2 (+.f32 (/.f32 1 x) -1))
(/.f32 -2 (-.f32 1 (/.f32 1 x)))
(.f32 (.f32 x 4) (/.f32 1/2 (-.f32 1 x)))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 (.f32 x 4) (*.f32 (/.f32 1 (-.f32 1 x)) 1/2))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 (.f32 x -2) (/.f32 1 (+.f32 x -1)))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 (.f32 x -2) (*.f32 -2 (/.f32 1/2 (-.f32 1 x))))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(*.f32 -1 (/.f32 2 (+.f32 1 (/.f32 -1 x))))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 4 (/.f32 (.f32 x 1/2) (-.f32 1 x)))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(*.f32 (-.f32 (/.f32 4 (-.f32 1 x)) 4) 1/2)
(*.f32 1/2 (-.f32 (/.f32 4 (-.f32 1 x)) 4))
(.f32 (.f32 x 8) (/.f32 1 (*.f32 (-.f32 1 x) 4)))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 (.f32 x 8) (*.f32 (/.f32 1 (-.f32 1 x)) 1/4))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 (.f32 x 8) (*.f32 1/2 (/.f32 1/2 (-.f32 1 x))))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(*.f32 (/.f32 x (-.f32 1 x)) 2)
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(*.f32 (/.f32 1 (-.f32 1 x)) (+.f32 x x))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(.f32 -2 (.f32 (*.f32 x -2) (/.f32 1/2 (-.f32 1 x))))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 8 (.f32 (/.f32 1 (-.f32 1 x)) (/.f32 x 4)))
(.f32 (/.f32 -1 (+.f32 x -1)) (.f32 (/.f32 x 4) 8))
(.f32 (/.f32 -1 (+.f32 x -1)) (.f32 8 (/.f32 x 4)))
(.f32 (/.f32 1 (-.f32 1 x)) (.f32 8 (/.f32 x 4)))
(*.f32 8 (/.f32 (/.f32 x (-.f32 1 x)) 4))
(.f32 8 (.f32 (*.f32 x 1/2) (/.f32 1/2 (-.f32 1 x))))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 (.f32 2 (.f32 x 8)) (.f32 1/4 (/.f32 1/2 (-.f32 1 x))))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 (.f32 2 (/.f32 2 (-.f32 1 x))) (*.f32 x 1/2))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 -4 (.f32 (neg.f32 x) (/.f32 1/2 (-.f32 1 x))))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(*.f32 (/.f32 2 (+.f32 1 (/.f32 -1 x))) -1)
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(*.f32 1/2 (-.f32 (/.f32 4 (-.f32 1 x)) 4))
(*.f32 (neg.f32 x) (/.f32 2 (+.f32 x -1)))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 (/.f32 (.f32 x 1/2) (-.f32 1 x)) 4)
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 (/.f32 1/2 (-.f32 1 x)) (.f32 x 4))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 (/.f32 1 (+.f32 x -1)) (.f32 x -2))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 (.f32 x 1/2) (*.f32 2 (/.f32 2 (-.f32 1 x))))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 (.f32 x 1/2) (/.f32 4 (-.f32 1 x)))
(.f32 1/2 (.f32 x (/.f32 4 (-.f32 1 x))))
(.f32 (.f32 x -4) (/.f32 2 (*.f32 (+.f32 x -1) 4)))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 (.f32 x -4) (*.f32 -1 (/.f32 1/2 (-.f32 1 x))))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(*.f32 (/.f32 2 (-.f32 1 x)) x)
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 (.f32 (/.f32 1 (-.f32 1 x)) 1/2) (*.f32 x 4))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 (.f32 1/2 (/.f32 2 (-.f32 1 x))) (+.f32 x x))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 (/.f32 4 (-.f32 1 x)) (.f32 x 1/2))
(.f32 (.f32 x 1/2) (/.f32 4 (-.f32 1 x)))
(.f32 1/2 (.f32 x (/.f32 4 (-.f32 1 x))))
(*.f32 (/.f32 2 (+.f32 x -1)) (neg.f32 x))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(*.f32 (/.f32 x (+.f32 x -1)) -2)
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 (/.f32 1 (.f32 (-.f32 1 x) 4)) (*.f32 x 8))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 (/.f32 2 (.f32 (+.f32 x -1) 4)) (*.f32 x -4))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 (.f32 2 (/.f32 1 (+.f32 x -1))) (neg.f32 x))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 (.f32 (/.f32 1 (-.f32 1 x)) 1/4) (*.f32 x 8))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(.f32 (.f32 (/.f32 1 (-.f32 1 x)) (/.f32 x 4)) 8)
(.f32 (/.f32 -1 (+.f32 x -1)) (.f32 (/.f32 x 4) 8))
(.f32 (/.f32 -1 (+.f32 x -1)) (.f32 8 (/.f32 x 4)))
(.f32 (/.f32 1 (-.f32 1 x)) (.f32 8 (/.f32 x 4)))
(*.f32 8 (/.f32 (/.f32 x (-.f32 1 x)) 4))
(.f32 (+.f32 (/.f32 x 4) (/.f32 x 4)) (.f32 4 (/.f32 1 (-.f32 1 x))))
(.f32 (/.f32 -1 (+.f32 x -1)) (.f32 (/.f32 x 4) 8))
(.f32 (/.f32 -1 (+.f32 x -1)) (.f32 8 (/.f32 x 4)))
(.f32 (/.f32 1 (-.f32 1 x)) (.f32 8 (/.f32 x 4)))
(*.f32 8 (/.f32 (/.f32 x (-.f32 1 x)) 4))
(pow.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x))) 1)
(/.f32 2 (+.f32 (/.f32 1 x) -1))
(/.f32 -2 (-.f32 1 (/.f32 1 x)))
(neg.f32 (/.f32 2 (+.f32 1 (/.f32 -1 x))))
(+.f32 -1 (-.f32 1 (/.f32 2 (+.f32 1 (/.f32 -1 x)))))
(/.f32 -2 (+.f32 1 (/.f32 -1 x)))
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(*.f32 -2 (/.f32 x (+.f32 x -1)))
(+.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 0)
(log1p.f32 (/.f32 2 (+.f32 (/.f32 1 x) -1)))
(log1p.f32 (/.f32 -2 (-.f32 1 (/.f32 1 x))))
(+.f32 0 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))))
(log1p.f32 (/.f32 2 (+.f32 (/.f32 1 x) -1)))
(log1p.f32 (/.f32 -2 (-.f32 1 (/.f32 1 x))))
(+.f32 (/.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 2) (/.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 2))
(log1p.f32 (/.f32 2 (+.f32 (/.f32 1 x) -1)))
(log1p.f32 (/.f32 -2 (-.f32 1 (/.f32 1 x))))
(-.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 0)
(log1p.f32 (/.f32 2 (+.f32 (/.f32 1 x) -1)))
(log1p.f32 (/.f32 -2 (-.f32 1 (/.f32 1 x))))
(*.f32 2 (/.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 2))
(log1p.f32 (/.f32 2 (+.f32 (/.f32 1 x) -1)))
(log1p.f32 (/.f32 -2 (-.f32 1 (/.f32 1 x))))
(*.f32 1 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))))
(log1p.f32 (/.f32 2 (+.f32 (/.f32 1 x) -1)))
(log1p.f32 (/.f32 -2 (-.f32 1 (/.f32 1 x))))
(*.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 1)
(log1p.f32 (/.f32 2 (+.f32 (/.f32 1 x) -1)))
(log1p.f32 (/.f32 -2 (-.f32 1 (/.f32 1 x))))
(.f32 (.f32 2 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x))))) 1/2)
(log1p.f32 (/.f32 2 (+.f32 (/.f32 1 x) -1)))
(log1p.f32 (/.f32 -2 (-.f32 1 (/.f32 1 x))))
(.f32 1/2 (.f32 2 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x))))))
(log1p.f32 (/.f32 2 (+.f32 (/.f32 1 x) -1)))
(log1p.f32 (/.f32 -2 (-.f32 1 (/.f32 1 x))))
(*.f32 (/.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 2) 2)
(log1p.f32 (/.f32 2 (+.f32 (/.f32 1 x) -1)))
(log1p.f32 (/.f32 -2 (-.f32 1 (/.f32 1 x))))
(/.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 1)
(log1p.f32 (/.f32 2 (+.f32 (/.f32 1 x) -1)))
(log1p.f32 (/.f32 -2 (-.f32 1 (/.f32 1 x))))
(/.f32 (*.f32 2 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x))))) 2)
(log1p.f32 (/.f32 2 (+.f32 (/.f32 1 x) -1)))
(log1p.f32 (/.f32 -2 (-.f32 1 (/.f32 1 x))))
(/.f32 (*.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 4) 4)
(log1p.f32 (/.f32 2 (+.f32 (/.f32 1 x) -1)))
(log1p.f32 (/.f32 -2 (-.f32 1 (/.f32 1 x))))
(/.f32 (.f32 2 (.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 4)) 8)
(log1p.f32 (/.f32 2 (+.f32 (/.f32 1 x) -1)))
(log1p.f32 (/.f32 -2 (-.f32 1 (/.f32 1 x))))
(/.f32 (.f32 2 (.f32 2 (*.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 4))) 16)
(log1p.f32 (/.f32 2 (+.f32 (/.f32 1 x) -1)))
(log1p.f32 (/.f32 -2 (-.f32 1 (/.f32 1 x))))
(/.f32 (+.f32 (.f32 2 (.f32 2 (.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 4))) (.f32 2 (.f32 2 (.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 4)))) 32)
(log1p.f32 (/.f32 2 (+.f32 (/.f32 1 x) -1)))
(log1p.f32 (/.f32 -2 (-.f32 1 (/.f32 1 x))))
(pow.f32 (log1p.f32 (/.f32 2 (+.f32 -1 (/.f32 1 x)))) 1)
(log1p.f32 (/.f32 2 (+.f32 (/.f32 1 x) -1)))
(log1p.f32 (/.f32 -2 (-.f32 1 (/.f32 1 x))))

eval77.0ms (1.3%)

Compiler: Compiled 2076 to 1774 computations (14.5% saved)

prune90.0ms (1.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	136	6	142
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	136	7	143

Error

Counts

143 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.1b	(.f32 1/2 (+.f32 (+.f32 (.f32 (pow.f32 x 3) 2/3) (+.f32 (.f32 2 x) (.f32 2/5 (pow.f32 x 5)))) (*.f32 2/7 (pow.f32 x 7))))
	0.2b	(.f32 1/2 (+.f32 (.f32 (pow.f32 x 3) 2/3) (+.f32 (.f32 2 x) (.f32 2/5 (pow.f32 x 5)))))
▶	0.3b	(.f32 1/2 (+.f32 (.f32 (pow.f32 x 3) 2/3) (+.f32 x x)))
✓	0.1b	(.f32 1/2 (log1p.f32 (/.f32 (.f32 2 x) (-.f32 1 x))))
▶	0.2b	(*.f32 1/2 (log1p.f32 (/.f32 2 (-.f32 -1 (/.f32 -1 x)))))
▶	2.4b	(*.f32 1/2 (log1p.f32 (+.f32 x x)))
▶	32.0b	(*.f32 1/2 (log1p.f32 -2))

Compiler

Compiled 165 to 137 computations (17% saved)

localize211.0ms (3.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f32 x 3)
✓	0.1b	(*.f32 2/7 (pow.f32 x 7))
✓	0.1b	(*.f32 2/5 (pow.f32 x 5))
✓	0.2b	(*.f32 (pow.f32 x 3) 2/3)

Compiler

Compiled 105 to 84 computations (20% saved)

series4.0ms (0.1%)

Counts

4 → 12

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	(pow.f32 x 3)
1.0ms	x	@	0	(*.f32 2/7 (pow.f32 x 7))
0.0ms	x	@	0	(*.f32 (pow.f32 x 3) 2/3)
0.0ms	x	@	0	(*.f32 2/5 (pow.f32 x 5))
0.0ms	x	@	inf	(pow.f32 x 3)

rewrite258.0ms (4.5%)

Algorithm

1×	batch-egg-rewrite

Rules

3236×	`rational.json-simplify-35`
2072×	`rational.json-simplify-2`
1150×	`exponential.json-3`
1150×	`rational.json-1`
1150×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	46
1	95	46
2	168	46
3	306	46
4	539	46
5	1176	46
6	2381	46
7	3618	46
8	4312	46
9	5305	46
10	5910	46
11	5910	46
12	6505	46
13	6705	46
14	7249	46

Stop Event

1×	node limit

Counts

4 → 91

Calls

Call 1

Inputs
(*.f32 (pow.f32 x 3) 2/3)
(*.f32 2/5 (pow.f32 x 5))
(*.f32 2/7 (pow.f32 x 7))
(pow.f32 x 3)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (.f32 (pow.f32 x 3) 2/3) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (.f32 (pow.f32 x 3) 2/3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (.f32 (pow.f32 x 3) 1/3) (.f32 (pow.f32 x 3) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (.f32 (pow.f32 x 3) 2/3) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (pow.f32 x 3) 2/3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (pow.f32 x 3) 4/3) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (pow.f32 x 3) 8/3) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (.f32 (pow.f32 x 3) 2/3) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 (.f32 (pow.f32 x 3) 2/3) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 (.f32 (pow.f32 x 3) 2/3) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 (pow.f32 x 3) 2/3) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 (pow.f32 x 3) 2/3) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 (pow.f32 x 3) 2/3) 8)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 (pow.f32 x 3) 2/3) 8))))))) 512)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 (pow.f32 x 3) 2/3) 8))))))) (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 (pow.f32 x 3) 2/3) 8)))))))) 1024)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (.f32 (pow.f32 x 3) 2/3) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (.f32 2/5 (pow.f32 x 5)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (.f32 2/5 (pow.f32 x 5)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (.f32 (pow.f32 x 5) 1/5) (.f32 (pow.f32 x 5) 1/5))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (.f32 2/5 (pow.f32 x 5)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2/5 (pow.f32 x 5)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (pow.f32 x 5) 4/5) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (pow.f32 x 5) 8/5) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (.f32 2/5 (pow.f32 x 5)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 (.f32 2/5 (pow.f32 x 5)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 (.f32 2/5 (pow.f32 x 5)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 2/5 (pow.f32 x 5)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 2/5 (pow.f32 x 5)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 2/5 (pow.f32 x 5)) 8)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 2/5 (pow.f32 x 5)) 8))))))) 512)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 2/5 (pow.f32 x 5)) 8))))))) (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 2/5 (pow.f32 x 5)) 8)))))))) 1024)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (.f32 2/5 (pow.f32 x 5)) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (.f32 2/7 (pow.f32 x 7)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (.f32 2/7 (pow.f32 x 7)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (.f32 (pow.f32 x 7) 1/7) (.f32 (pow.f32 x 7) 1/7))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (.f32 2/7 (pow.f32 x 7)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2/7 (pow.f32 x 7)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (pow.f32 x 7) 4/7) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (pow.f32 x 7) 8/7) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (.f32 2/7 (pow.f32 x 7)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 (.f32 2/7 (pow.f32 x 7)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 (.f32 2/7 (pow.f32 x 7)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 2/7 (pow.f32 x 7)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 2/7 (pow.f32 x 7)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 2/7 (pow.f32 x 7)) 8)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 2/7 (pow.f32 x 7)) 8))))))) 512)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 2/7 (pow.f32 x 7)) 8))))))) (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 2/7 (pow.f32 x 7)) 8)))))))) 1024)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (.f32 2/7 (pow.f32 x 7)) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (pow.f32 x 3) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (.f32 (pow.f32 x 3) 2/3) (.f32 (pow.f32 x 3) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (pow.f32 x 3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (.f32 (pow.f32 x 3) 1/2) (.f32 (pow.f32 x 3) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (.f32 (pow.f32 x 3) 1/3) (.f32 (pow.f32 x 3) 2/3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (pow.f32 x 3) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 3 (.f32 (pow.f32 x 3) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 x 3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 2/3 (.f32 (pow.f32 x 3) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (pow.f32 x 3) 2/3) 3/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (pow.f32 x 3))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 2 (.f32 (pow.f32 x 3) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (pow.f32 x 3) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 4 (/.f32 (pow.f32 x 3) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (pow.f32 x 3) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 8 (pow.f32 (.f32 x 1/2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (pow.f32 x 3) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 3 (pow.f32 x 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1/2 (.f32 (pow.f32 x 3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (pow.f32 x 3) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1/3 (.f32 3 (pow.f32 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (pow.f32 x 3) 1/3) 3)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1/4 (.f32 (pow.f32 x 3) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (/.f32 (pow.f32 x 3) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 3/2 (.f32 (pow.f32 x 3) 2/3))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (pow.f32 x 3) 3/2) 2/3)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (.f32 x 1/2) 3) 8)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1/8 (.f32 (pow.f32 x 3) 8))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 64 (pow.f32 (/.f32 x 4) 3))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (pow.f32 (/.f32 x 4) 3) 64)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (pow.f32 x 3) 64) 1/64)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1/64 (.f32 (pow.f32 x 3) 64))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (pow.f32 x 3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (pow.f32 x 3) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (pow.f32 x 3) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (pow.f32 x 3) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 (pow.f32 x 3) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 (pow.f32 x 3) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (pow.f32 x 3) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (pow.f32 x 3) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (pow.f32 x 3) 8)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (pow.f32 x 3) 8))))))) 512)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (pow.f32 x 3) 8))))))) (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (pow.f32 x 3) 8)))))))) 1024)))))

simplify405.0ms (7.1%)

Algorithm

1×	egg-herbie

Rules

4030×	`rational.json-simplify-51`
3072×	`rational.json-simplify-35`
1104×	`rational.json-simplify-2`
898×	`rational.json-simplify-1`
528×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	185	1105
1	405	1105
2	1413	1105
3	2885	1105
4	3768	1105
5	4354	1105
6	4567	1105
7	4701	1105
8	4831	1105
9	4953	1105
10	4953	1105
11	4953	1105
12	5083	1105
13	5213	1105
14	5343	1105
15	5473	1105

Stop Event

1×	node limit

Counts

103 → 95

Calls

Call 1

Inputs
(*.f32 2/3 (pow.f32 x 3))
(*.f32 2/3 (pow.f32 x 3))
(*.f32 2/3 (pow.f32 x 3))
(*.f32 2/3 (pow.f32 x 3))
(*.f32 2/3 (pow.f32 x 3))
(*.f32 2/3 (pow.f32 x 3))
(*.f32 2/3 (pow.f32 x 3))
(*.f32 2/3 (pow.f32 x 3))
(*.f32 2/3 (pow.f32 x 3))
(*.f32 2/3 (pow.f32 x 3))
(*.f32 2/3 (pow.f32 x 3))
(*.f32 2/3 (pow.f32 x 3))
(+.f32 (*.f32 (pow.f32 x 3) 2/3) 0)
(+.f32 0 (*.f32 (pow.f32 x 3) 2/3))
(+.f32 (.f32 (pow.f32 x 3) 1/3) (.f32 (pow.f32 x 3) 1/3))
(-.f32 (*.f32 (pow.f32 x 3) 2/3) 0)
(/.f32 (*.f32 (pow.f32 x 3) 2/3) 1)
(/.f32 (*.f32 (pow.f32 x 3) 4/3) 2)
(/.f32 (*.f32 (pow.f32 x 3) 8/3) 4)
(/.f32 (.f32 (.f32 (pow.f32 x 3) 2/3) 8) 8)
(/.f32 (.f32 2 (.f32 (*.f32 (pow.f32 x 3) 2/3) 8)) 16)
(/.f32 (.f32 2 (.f32 2 (.f32 (.f32 (pow.f32 x 3) 2/3) 8))) 32)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (*.f32 (pow.f32 x 3) 2/3) 8)))) 64)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 (pow.f32 x 3) 2/3) 8))))) 128)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (*.f32 (pow.f32 x 3) 2/3) 8)))))) 256)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 (pow.f32 x 3) 2/3) 8))))))) 512)
(/.f32 (+.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 (pow.f32 x 3) 2/3) 8))))))) (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 (pow.f32 x 3) 2/3) 8)))))))) 1024)
(pow.f32 (*.f32 (pow.f32 x 3) 2/3) 1)
(+.f32 (*.f32 2/5 (pow.f32 x 5)) 0)
(+.f32 0 (*.f32 2/5 (pow.f32 x 5)))
(+.f32 (.f32 (pow.f32 x 5) 1/5) (.f32 (pow.f32 x 5) 1/5))
(-.f32 (*.f32 2/5 (pow.f32 x 5)) 0)
(/.f32 (*.f32 2/5 (pow.f32 x 5)) 1)
(/.f32 (*.f32 (pow.f32 x 5) 4/5) 2)
(/.f32 (*.f32 (pow.f32 x 5) 8/5) 4)
(/.f32 (.f32 (.f32 2/5 (pow.f32 x 5)) 8) 8)
(/.f32 (.f32 2 (.f32 (*.f32 2/5 (pow.f32 x 5)) 8)) 16)
(/.f32 (.f32 2 (.f32 2 (.f32 (.f32 2/5 (pow.f32 x 5)) 8))) 32)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (*.f32 2/5 (pow.f32 x 5)) 8)))) 64)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 2/5 (pow.f32 x 5)) 8))))) 128)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (*.f32 2/5 (pow.f32 x 5)) 8)))))) 256)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 2/5 (pow.f32 x 5)) 8))))))) 512)
(/.f32 (+.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 2/5 (pow.f32 x 5)) 8))))))) (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 2/5 (pow.f32 x 5)) 8)))))))) 1024)
(pow.f32 (*.f32 2/5 (pow.f32 x 5)) 1)
(+.f32 (*.f32 2/7 (pow.f32 x 7)) 0)
(+.f32 0 (*.f32 2/7 (pow.f32 x 7)))
(+.f32 (.f32 (pow.f32 x 7) 1/7) (.f32 (pow.f32 x 7) 1/7))
(-.f32 (*.f32 2/7 (pow.f32 x 7)) 0)
(/.f32 (*.f32 2/7 (pow.f32 x 7)) 1)
(/.f32 (*.f32 (pow.f32 x 7) 4/7) 2)
(/.f32 (*.f32 (pow.f32 x 7) 8/7) 4)
(/.f32 (.f32 (.f32 2/7 (pow.f32 x 7)) 8) 8)
(/.f32 (.f32 2 (.f32 (*.f32 2/7 (pow.f32 x 7)) 8)) 16)
(/.f32 (.f32 2 (.f32 2 (.f32 (.f32 2/7 (pow.f32 x 7)) 8))) 32)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (*.f32 2/7 (pow.f32 x 7)) 8)))) 64)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 2/7 (pow.f32 x 7)) 8))))) 128)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (*.f32 2/7 (pow.f32 x 7)) 8)))))) 256)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 2/7 (pow.f32 x 7)) 8))))))) 512)
(/.f32 (+.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 2/7 (pow.f32 x 7)) 8))))))) (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 2/7 (pow.f32 x 7)) 8)))))))) 1024)
(pow.f32 (*.f32 2/7 (pow.f32 x 7)) 1)
(+.f32 (pow.f32 x 3) 0)
(+.f32 (.f32 (pow.f32 x 3) 2/3) (.f32 (pow.f32 x 3) 1/3))
(+.f32 0 (pow.f32 x 3))
(+.f32 (.f32 (pow.f32 x 3) 1/2) (.f32 (pow.f32 x 3) 1/2))
(+.f32 (.f32 (pow.f32 x 3) 1/3) (.f32 (pow.f32 x 3) 2/3))
(-.f32 (pow.f32 x 3) 0)
(.f32 3 (.f32 (pow.f32 x 3) 1/3))
(*.f32 (pow.f32 x 3) 1)
(.f32 2/3 (.f32 (pow.f32 x 3) 3/2))
(.f32 (.f32 (pow.f32 x 3) 2/3) 3/2)
(*.f32 1 (pow.f32 x 3))
(.f32 2 (.f32 (pow.f32 x 3) 1/2))
(.f32 (.f32 (pow.f32 x 3) 2) 1/2)
(*.f32 4 (/.f32 (pow.f32 x 3) 4))
(.f32 (.f32 (pow.f32 x 3) 4) 1/4)
(.f32 8 (pow.f32 (.f32 x 1/2) 3))
(.f32 (.f32 (pow.f32 x 3) 8) 1/8)
(.f32 (.f32 3 (pow.f32 x 3)) 1/3)
(.f32 1/2 (.f32 (pow.f32 x 3) 2))
(.f32 (.f32 (pow.f32 x 3) 1/2) 2)
(.f32 1/3 (.f32 3 (pow.f32 x 3)))
(.f32 (.f32 (pow.f32 x 3) 1/3) 3)
(.f32 1/4 (.f32 (pow.f32 x 3) 4))
(*.f32 (/.f32 (pow.f32 x 3) 4) 4)
(.f32 3/2 (.f32 (pow.f32 x 3) 2/3))
(.f32 (.f32 (pow.f32 x 3) 3/2) 2/3)
(.f32 (pow.f32 (.f32 x 1/2) 3) 8)
(.f32 1/8 (.f32 (pow.f32 x 3) 8))
(*.f32 64 (pow.f32 (/.f32 x 4) 3))
(*.f32 (pow.f32 (/.f32 x 4) 3) 64)
(.f32 (.f32 (pow.f32 x 3) 64) 1/64)
(.f32 1/64 (.f32 (pow.f32 x 3) 64))
(/.f32 (pow.f32 x 3) 1)
(/.f32 (*.f32 (pow.f32 x 3) 2) 2)
(/.f32 (*.f32 (pow.f32 x 3) 4) 4)
(/.f32 (*.f32 (pow.f32 x 3) 8) 8)
(/.f32 (.f32 2 (.f32 (pow.f32 x 3) 8)) 16)
(/.f32 (.f32 2 (.f32 2 (*.f32 (pow.f32 x 3) 8))) 32)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (pow.f32 x 3) 8)))) 64)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (*.f32 (pow.f32 x 3) 8))))) 128)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (pow.f32 x 3) 8)))))) 256)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (*.f32 (pow.f32 x 3) 8))))))) 512)
(/.f32 (+.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (pow.f32 x 3) 8))))))) (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (pow.f32 x 3) 8)))))))) 1024)

Outputs
(*.f32 2/3 (pow.f32 x 3))
(*.f32 2/3 (pow.f32 x 3))
(*.f32 2/3 (pow.f32 x 3))
(*.f32 2/3 (pow.f32 x 3))
(*.f32 2/3 (pow.f32 x 3))
(*.f32 2/3 (pow.f32 x 3))
(*.f32 2/3 (pow.f32 x 3))
(*.f32 2/3 (pow.f32 x 3))
(*.f32 2/3 (pow.f32 x 3))
(*.f32 2/3 (pow.f32 x 3))
(*.f32 2/3 (pow.f32 x 3))
(*.f32 2/3 (pow.f32 x 3))
(+.f32 (*.f32 (pow.f32 x 3) 2/3) 0)
(*.f32 2/3 (pow.f32 x 3))
(+.f32 0 (*.f32 (pow.f32 x 3) 2/3))
(*.f32 2/3 (pow.f32 x 3))
(+.f32 (.f32 (pow.f32 x 3) 1/3) (.f32 (pow.f32 x 3) 1/3))
(*.f32 2/3 (pow.f32 x 3))
(-.f32 (*.f32 (pow.f32 x 3) 2/3) 0)
(*.f32 2/3 (pow.f32 x 3))
(/.f32 (*.f32 (pow.f32 x 3) 2/3) 1)
(*.f32 2/3 (pow.f32 x 3))
(/.f32 (*.f32 (pow.f32 x 3) 4/3) 2)
(*.f32 2/3 (pow.f32 x 3))
(/.f32 (*.f32 (pow.f32 x 3) 8/3) 4)
(*.f32 2/3 (pow.f32 x 3))
(/.f32 (.f32 (.f32 (pow.f32 x 3) 2/3) 8) 8)
(*.f32 2/3 (pow.f32 x 3))
(/.f32 (.f32 2 (.f32 (*.f32 (pow.f32 x 3) 2/3) 8)) 16)
(*.f32 2/3 (pow.f32 x 3))
(/.f32 (.f32 2 (.f32 2 (.f32 (.f32 (pow.f32 x 3) 2/3) 8))) 32)
(*.f32 2/3 (pow.f32 x 3))
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (*.f32 (pow.f32 x 3) 2/3) 8)))) 64)
(*.f32 2/3 (pow.f32 x 3))
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 (pow.f32 x 3) 2/3) 8))))) 128)
(*.f32 2/3 (pow.f32 x 3))
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (*.f32 (pow.f32 x 3) 2/3) 8)))))) 256)
(*.f32 2/3 (pow.f32 x 3))
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 (pow.f32 x 3) 2/3) 8))))))) 512)
(*.f32 2/3 (pow.f32 x 3))
(/.f32 (+.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 (pow.f32 x 3) 2/3) 8))))))) (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 (pow.f32 x 3) 2/3) 8)))))))) 1024)
(*.f32 2/3 (pow.f32 x 3))
(pow.f32 (*.f32 (pow.f32 x 3) 2/3) 1)
(*.f32 2/3 (pow.f32 x 3))
(+.f32 (*.f32 2/5 (pow.f32 x 5)) 0)
(*.f32 2/5 (pow.f32 x 5))
(+.f32 0 (*.f32 2/5 (pow.f32 x 5)))
(*.f32 2/5 (pow.f32 x 5))
(+.f32 (.f32 (pow.f32 x 5) 1/5) (.f32 (pow.f32 x 5) 1/5))
(*.f32 2/5 (pow.f32 x 5))
(-.f32 (*.f32 2/5 (pow.f32 x 5)) 0)
(*.f32 2/5 (pow.f32 x 5))
(/.f32 (*.f32 2/5 (pow.f32 x 5)) 1)
(*.f32 2/5 (pow.f32 x 5))
(/.f32 (*.f32 (pow.f32 x 5) 4/5) 2)
(*.f32 2/5 (pow.f32 x 5))
(/.f32 (*.f32 (pow.f32 x 5) 8/5) 4)
(*.f32 2/5 (pow.f32 x 5))
(/.f32 (.f32 (.f32 2/5 (pow.f32 x 5)) 8) 8)
(*.f32 2/5 (pow.f32 x 5))
(/.f32 (.f32 2 (.f32 (*.f32 2/5 (pow.f32 x 5)) 8)) 16)
(*.f32 2/5 (pow.f32 x 5))
(/.f32 (.f32 2 (.f32 2 (.f32 (.f32 2/5 (pow.f32 x 5)) 8))) 32)
(*.f32 2/5 (pow.f32 x 5))
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (*.f32 2/5 (pow.f32 x 5)) 8)))) 64)
(*.f32 2/5 (pow.f32 x 5))
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 2/5 (pow.f32 x 5)) 8))))) 128)
(*.f32 2/5 (pow.f32 x 5))
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (*.f32 2/5 (pow.f32 x 5)) 8)))))) 256)
(*.f32 2/5 (pow.f32 x 5))
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 2/5 (pow.f32 x 5)) 8))))))) 512)
(*.f32 2/5 (pow.f32 x 5))
(/.f32 (+.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 2/5 (pow.f32 x 5)) 8))))))) (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 2/5 (pow.f32 x 5)) 8)))))))) 1024)
(*.f32 2/5 (pow.f32 x 5))
(pow.f32 (*.f32 2/5 (pow.f32 x 5)) 1)
(*.f32 2/5 (pow.f32 x 5))
(+.f32 (*.f32 2/7 (pow.f32 x 7)) 0)
(*.f32 2/7 (pow.f32 x 7))
(+.f32 0 (*.f32 2/7 (pow.f32 x 7)))
(*.f32 2/7 (pow.f32 x 7))
(+.f32 (.f32 (pow.f32 x 7) 1/7) (.f32 (pow.f32 x 7) 1/7))
(*.f32 2/7 (pow.f32 x 7))
(-.f32 (*.f32 2/7 (pow.f32 x 7)) 0)
(*.f32 2/7 (pow.f32 x 7))
(/.f32 (*.f32 2/7 (pow.f32 x 7)) 1)
(*.f32 2/7 (pow.f32 x 7))
(/.f32 (*.f32 (pow.f32 x 7) 4/7) 2)
(*.f32 2/7 (pow.f32 x 7))
(/.f32 (*.f32 (pow.f32 x 7) 8/7) 4)
(*.f32 2/7 (pow.f32 x 7))
(/.f32 (.f32 (.f32 2/7 (pow.f32 x 7)) 8) 8)
(*.f32 2/7 (pow.f32 x 7))
(/.f32 (.f32 2 (.f32 (*.f32 2/7 (pow.f32 x 7)) 8)) 16)
(*.f32 2/7 (pow.f32 x 7))
(/.f32 (.f32 2 (.f32 2 (.f32 (.f32 2/7 (pow.f32 x 7)) 8))) 32)
(*.f32 2/7 (pow.f32 x 7))
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (*.f32 2/7 (pow.f32 x 7)) 8)))) 64)
(*.f32 2/7 (pow.f32 x 7))
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 2/7 (pow.f32 x 7)) 8))))) 128)
(*.f32 2/7 (pow.f32 x 7))
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (*.f32 2/7 (pow.f32 x 7)) 8)))))) 256)
(*.f32 2/7 (pow.f32 x 7))
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 2/7 (pow.f32 x 7)) 8))))))) 512)
(*.f32 2/7 (pow.f32 x 7))
(/.f32 (+.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 2/7 (pow.f32 x 7)) 8))))))) (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 2/7 (pow.f32 x 7)) 8)))))))) 1024)
(*.f32 2/7 (pow.f32 x 7))
(pow.f32 (*.f32 2/7 (pow.f32 x 7)) 1)
(*.f32 2/7 (pow.f32 x 7))
(+.f32 (pow.f32 x 3) 0)
(pow.f32 x 3)
(+.f32 (.f32 (pow.f32 x 3) 2/3) (.f32 (pow.f32 x 3) 1/3))
(pow.f32 x 3)
(+.f32 0 (pow.f32 x 3))
(pow.f32 x 3)
(+.f32 (.f32 (pow.f32 x 3) 1/2) (.f32 (pow.f32 x 3) 1/2))
(pow.f32 x 3)
(+.f32 (.f32 (pow.f32 x 3) 1/3) (.f32 (pow.f32 x 3) 2/3))
(pow.f32 x 3)
(-.f32 (pow.f32 x 3) 0)
(pow.f32 x 3)
(.f32 3 (.f32 (pow.f32 x 3) 1/3))
(pow.f32 x 3)
(*.f32 (pow.f32 x 3) 1)
(pow.f32 x 3)
(.f32 2/3 (.f32 (pow.f32 x 3) 3/2))
(pow.f32 x 3)
(.f32 (.f32 (pow.f32 x 3) 2/3) 3/2)
(pow.f32 x 3)
(*.f32 1 (pow.f32 x 3))
(pow.f32 x 3)
(.f32 2 (.f32 (pow.f32 x 3) 1/2))
(pow.f32 x 3)
(.f32 (.f32 (pow.f32 x 3) 2) 1/2)
(pow.f32 x 3)
(*.f32 4 (/.f32 (pow.f32 x 3) 4))
(pow.f32 x 3)
(.f32 (.f32 (pow.f32 x 3) 4) 1/4)
(pow.f32 x 3)
(.f32 8 (pow.f32 (.f32 x 1/2) 3))
(pow.f32 x 3)
(.f32 (.f32 (pow.f32 x 3) 8) 1/8)
(pow.f32 x 3)
(.f32 (.f32 3 (pow.f32 x 3)) 1/3)
(pow.f32 x 3)
(.f32 1/2 (.f32 (pow.f32 x 3) 2))
(pow.f32 x 3)
(.f32 (.f32 (pow.f32 x 3) 1/2) 2)
(pow.f32 x 3)
(.f32 1/3 (.f32 3 (pow.f32 x 3)))
(pow.f32 x 3)
(.f32 (.f32 (pow.f32 x 3) 1/3) 3)
(pow.f32 x 3)
(.f32 1/4 (.f32 (pow.f32 x 3) 4))
(pow.f32 x 3)
(*.f32 (/.f32 (pow.f32 x 3) 4) 4)
(pow.f32 x 3)
(.f32 3/2 (.f32 (pow.f32 x 3) 2/3))
(pow.f32 x 3)
(.f32 (.f32 (pow.f32 x 3) 3/2) 2/3)
(pow.f32 x 3)
(.f32 (pow.f32 (.f32 x 1/2) 3) 8)
(pow.f32 x 3)
(.f32 1/8 (.f32 (pow.f32 x 3) 8))
(pow.f32 x 3)
(*.f32 64 (pow.f32 (/.f32 x 4) 3))
(*.f32 (pow.f32 (/.f32 x 4) 3) 64)
(*.f32 64 (pow.f32 (/.f32 x 4) 3))
(.f32 (.f32 (pow.f32 x 3) 64) 1/64)
(pow.f32 x 3)
(.f32 1/64 (.f32 (pow.f32 x 3) 64))
(pow.f32 x 3)
(/.f32 (pow.f32 x 3) 1)
(pow.f32 x 3)
(/.f32 (*.f32 (pow.f32 x 3) 2) 2)
(pow.f32 x 3)
(/.f32 (*.f32 (pow.f32 x 3) 4) 4)
(pow.f32 x 3)
(/.f32 (*.f32 (pow.f32 x 3) 8) 8)
(pow.f32 x 3)
(/.f32 (.f32 2 (.f32 (pow.f32 x 3) 8)) 16)
(pow.f32 x 3)
(/.f32 (.f32 2 (.f32 2 (*.f32 (pow.f32 x 3) 8))) 32)
(pow.f32 x 3)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (pow.f32 x 3) 8)))) 64)
(pow.f32 x 3)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (*.f32 (pow.f32 x 3) 8))))) 128)
(pow.f32 x 3)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (pow.f32 x 3) 8)))))) 256)
(pow.f32 x 3)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (*.f32 (pow.f32 x 3) 8))))))) 512)
(pow.f32 x 3)
(/.f32 (+.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (pow.f32 x 3) 8))))))) (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (pow.f32 x 3) 8)))))))) 1024)
(pow.f32 x 3)

localize11.0ms (0.2%)

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

localize17.0ms (0.3%)

Compiler: Compiled 16 to 6 computations (62.5% saved)

localize84.0ms (1.5%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f32 -1 (/.f32 -1 x))
✓	0.0b	(log1p.f32 (/.f32 2 (-.f32 -1 (/.f32 -1 x))))
✓	0.2b	(/.f32 2 (-.f32 -1 (/.f32 -1 x)))

Compiler

Compiled 38 to 32 computations (15.8% saved)

series3.0ms (0%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
0.0ms	x	@	0	(log1p.f32 (/.f32 2 (-.f32 -1 (/.f32 -1 x))))
0.0ms	x	@	inf	(log1p.f32 (/.f32 2 (-.f32 -1 (/.f32 -1 x))))
0.0ms	x	@	0	(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
0.0ms	x	@	-inf	(log1p.f32 (/.f32 2 (-.f32 -1 (/.f32 -1 x))))

rewrite88.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1666×	`rational.json-1`
1666×	`rational.json-2`
1666×	`rational.json-3`
1660×	`rational.json-4`
1290×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	55
1	76	55
2	196	55
3	420	55
4	901	55
5	2654	55
6	6618	55

Stop Event

1×	node limit

Counts

3 → 97

Calls

Call 1

Inputs
(/.f32 2 (-.f32 -1 (/.f32 -1 x)))
(log1p.f32 (/.f32 2 (-.f32 -1 (/.f32 -1 x))))
(-.f32 -1 (/.f32 -1 x))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (/.f32 -2 (+.f32 2 (/.f32 -2 x))) (/.f32 -2 (+.f32 2 (/.f32 -2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (/.f32 -2 (+.f32 2 (/.f32 -2 x))) (/.f32 2 (+.f32 2 (/.f32 -2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 2 (/.f32 -2 (+.f32 2 (/.f32 -2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 -1 (/.f32 (+.f32 (/.f32 -1 x) 1) (*.f32 (-.f32 -1 (/.f32 -1 x)) (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (-.f32 -1 (/.f32 -1 x)) (/.f32 1 (*.f32 (-.f32 -1 (/.f32 -1 x)) (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 4 (/.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (neg.f32 (+.f32 2 (/.f32 -2 x))) (/.f32 1/2 (*.f32 (-.f32 -1 (/.f32 -1 x)) (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 -8 (+.f32 2 (/.f32 -2 x))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2) (/.f32 2 (*.f32 (-.f32 -1 (/.f32 -1 x)) (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 2 (/.f32 -8 (+.f32 2 (/.f32 -2 x)))) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1/2 (/.f32 -8 (+.f32 2 (/.f32 -2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 -2 (+.f32 2 (/.f32 -2 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (+.f32 2 (/.f32 -2 x)) -8) (/.f32 4 (*.f32 (-.f32 -1 (/.f32 -1 x)) (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1/4 (*.f32 2 (/.f32 -8 (+.f32 2 (/.f32 -2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1/4 (/.f32 (neg.f32 (+.f32 2 (/.f32 -2 x))) (*.f32 (-.f32 -1 (/.f32 -1 x)) (/.f32 (+.f32 2 (/.f32 -2 x)) -8))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (+.f32 (/.f32 -1 x) 1) (*.f32 (-.f32 -1 (/.f32 -1 x)) (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (neg.f32 (+.f32 2 (/.f32 -2 x))) (*.f32 (-.f32 -1 (/.f32 -1 x)) (/.f32 (+.f32 2 (/.f32 -2 x)) -8))) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 1/2 (*.f32 (-.f32 -1 (/.f32 -1 x)) (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))) (neg.f32 (+.f32 2 (/.f32 -2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 4 (*.f32 (-.f32 -1 (/.f32 -1 x)) (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))) (/.f32 (+.f32 2 (/.f32 -2 x)) -8))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 2 (*.f32 (-.f32 -1 (/.f32 -1 x)) (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))) (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 1 (*.f32 (-.f32 -1 (/.f32 -1 x)) (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))) (-.f32 -1 (/.f32 -1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (/.f32 (+.f32 (/.f32 -1 x) 1) (*.f32 (-.f32 -1 (/.f32 -1 x)) (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (/.f32 4 (+.f32 2 (/.f32 -2 x))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 1/2) (*.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 2 (*.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 4 (/.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 2 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1/2 (*.f32 2 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1/4 (*.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (*.f32 2 (*.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 8)) (*.f32 2 (*.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 1)))))

((#(struct:change #<rule egg-rr> (2) ((x +.f32 -1 (neg.f32 (/.f32 -1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (-.f32 -1 (/.f32 -1 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (-.f32 -1 (/.f32 -1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2) (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (neg.f32 (/.f32 -1 x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 2 (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 -1 (+.f32 (/.f32 -1 x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 -1 x) (+.f32 x -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 -1 x) (+.f32 (*.f32 (-.f32 1 x) -1/2) (*.f32 (-.f32 1 x) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (-.f32 -1 (/.f32 -1 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (-.f32 -1 (/.f32 -1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 4 (/.f32 (+.f32 2 (/.f32 -2 x)) -8))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (neg.f32 (+.f32 2 (/.f32 -2 x))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (+.f32 (/.f32 -1 x) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (+.f32 2 (/.f32 -2 x)) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (-.f32 -1 (/.f32 -1 x)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 -2 x) (*.f32 (-.f32 1 x) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (-.f32 1 x) (neg.f32 (/.f32 -1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (-.f32 -1 (/.f32 -1 x)) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1/2 (neg.f32 (+.f32 2 (/.f32 -2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (neg.f32 (/.f32 -1 x)) (-.f32 1 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 -1/2 (+.f32 2 (/.f32 -2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (+.f32 2 (/.f32 -2 x)) -8) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1/4 (*.f32 (-.f32 -1 (/.f32 -1 x)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (-.f32 1 x) -1/2) (/.f32 -2 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 2 (-.f32 1 x)) (*.f32 -1/2 (/.f32 -1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1/8 (*.f32 (-.f32 -1 (/.f32 -1 x)) 8))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (+.f32 x -1) (/.f32 -1 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 -1 (/.f32 -1 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (neg.f32 (+.f32 2 (/.f32 -2 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (/.f32 -1 x) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 2 (/.f32 -2 x)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (-.f32 -1 (/.f32 -1 x)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (+.f32 2 (/.f32 -2 x))) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (-.f32 -1 (/.f32 -1 x)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (+.f32 2 (/.f32 -2 x)) 4) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 (-.f32 -1 (/.f32 -1 x)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (-.f32 1 x) -1/2) (*.f32 x -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (-.f32 1 x) -1/2) (/.f32 (*.f32 x x) (*.f32 x -2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 2 (*.f32 (-.f32 -1 (/.f32 -1 x)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 x -1) (neg.f32 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (neg.f32 (*.f32 2 (+.f32 2 (/.f32 -2 x)))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (neg.f32 (*.f32 2 (+.f32 2 (/.f32 -2 x)))) (neg.f32 (*.f32 2 (+.f32 2 (/.f32 -2 x))))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (-.f32 -1 (/.f32 -1 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (+.f32 (/.f32 -1 x) 1))))))

simplify91.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

1148×	`rational.json-simplify-51`
1004×	`rational.json-simplify-46`
916×	`rational.json-simplify-41`
894×	`rational.json-simplify-43`
894×	`rational.json-simplify-44`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	220	3473
1	469	3351
2	1329	3055
3	5870	2987

Stop Event

1×	node limit

Counts

133 → 168

Calls

Call 1

Inputs
(*.f32 2 x)
(+.f32 (.f32 2 (pow.f32 x 2)) (.f32 2 x))
(+.f32 (.f32 2 (pow.f32 x 2)) (+.f32 (.f32 2 (pow.f32 x 3)) (*.f32 2 x)))
(+.f32 (.f32 2 (pow.f32 x 2)) (+.f32 (.f32 2 (pow.f32 x 3)) (+.f32 (.f32 2 x) (.f32 2 (pow.f32 x 4)))))
-2
(neg.f32 (+.f32 2 (*.f32 2 (/.f32 1 x))))
(neg.f32 (+.f32 2 (+.f32 (.f32 2 (/.f32 1 x)) (.f32 2 (/.f32 1 (pow.f32 x 2))))))
(neg.f32 (+.f32 2 (+.f32 (.f32 2 (/.f32 1 x)) (+.f32 (.f32 2 (/.f32 1 (pow.f32 x 2))) (*.f32 2 (/.f32 1 (pow.f32 x 3)))))))
-2
(neg.f32 (+.f32 2 (*.f32 2 (/.f32 1 x))))
(neg.f32 (+.f32 2 (+.f32 (.f32 2 (/.f32 1 x)) (.f32 2 (/.f32 1 (pow.f32 x 2))))))
(neg.f32 (+.f32 2 (+.f32 (.f32 2 (/.f32 1 x)) (+.f32 (.f32 2 (/.f32 1 (pow.f32 x 2))) (*.f32 2 (/.f32 1 (pow.f32 x 3)))))))
(*.f32 2 x)
(+.f32 (.f32 2 x) (.f32 2/3 (pow.f32 x 3)))
(+.f32 (.f32 2 x) (+.f32 (.f32 2/3 (pow.f32 x 3)) (*.f32 2/5 (pow.f32 x 5))))
(+.f32 (.f32 2/7 (pow.f32 x 7)) (+.f32 (.f32 2 x) (+.f32 (.f32 2/3 (pow.f32 x 3)) (.f32 2/5 (pow.f32 x 5)))))
(log.f32 -1)
(+.f32 (log.f32 -1) (*.f32 2 (/.f32 1 x)))
(+.f32 (.f32 2/3 (/.f32 1 (pow.f32 x 3))) (+.f32 (log.f32 -1) (.f32 2 (/.f32 1 x))))
(+.f32 (.f32 2/3 (/.f32 1 (pow.f32 x 3))) (+.f32 (log.f32 -1) (+.f32 (.f32 2 (/.f32 1 x)) (*.f32 2/5 (/.f32 1 (pow.f32 x 5))))))
(log.f32 -1)
(+.f32 (log.f32 -1) (*.f32 2 (/.f32 1 x)))
(+.f32 (.f32 2/3 (/.f32 1 (pow.f32 x 3))) (+.f32 (log.f32 -1) (.f32 2 (/.f32 1 x))))
(+.f32 (.f32 2/3 (/.f32 1 (pow.f32 x 3))) (+.f32 (log.f32 -1) (+.f32 (.f32 2 (/.f32 1 x)) (*.f32 2/5 (/.f32 1 (pow.f32 x 5))))))
(/.f32 1 x)
(-.f32 (/.f32 1 x) 1)
(-.f32 (/.f32 1 x) 1)
(-.f32 (/.f32 1 x) 1)
-1
(-.f32 (/.f32 1 x) 1)
(-.f32 (/.f32 1 x) 1)
(-.f32 (/.f32 1 x) 1)
-1
(-.f32 (/.f32 1 x) 1)
(-.f32 (/.f32 1 x) 1)
(-.f32 (/.f32 1 x) 1)
(+.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))) 0)
(+.f32 0 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))
(+.f32 (/.f32 -2 (+.f32 2 (/.f32 -2 x))) (/.f32 -2 (+.f32 2 (/.f32 -2 x))))
(-.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))) 0)
(-.f32 (/.f32 -2 (+.f32 2 (/.f32 -2 x))) (/.f32 2 (+.f32 2 (/.f32 -2 x))))
(*.f32 2 (/.f32 -2 (+.f32 2 (/.f32 -2 x))))
(.f32 -1 (/.f32 (+.f32 (/.f32 -1 x) 1) (.f32 (-.f32 -1 (/.f32 -1 x)) (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))))
(.f32 (-.f32 -1 (/.f32 -1 x)) (/.f32 1 (.f32 (-.f32 -1 (/.f32 -1 x)) (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))))
(*.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))) 1)
(*.f32 1 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))
(*.f32 4 (/.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))) 4))
(.f32 (neg.f32 (+.f32 2 (/.f32 -2 x))) (/.f32 1/2 (.f32 (-.f32 -1 (/.f32 -1 x)) (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))))
(*.f32 (/.f32 -8 (+.f32 2 (/.f32 -2 x))) 1/2)
(.f32 (.f32 (+.f32 (/.f32 -1 x) 1) -1/2) (/.f32 2 (.f32 (-.f32 -1 (/.f32 -1 x)) (.f32 (+.f32 (/.f32 -1 x) 1) -1/2))))
(.f32 (.f32 2 (/.f32 -8 (+.f32 2 (/.f32 -2 x)))) 1/4)
(*.f32 1/2 (/.f32 -8 (+.f32 2 (/.f32 -2 x))))
(*.f32 (/.f32 -2 (+.f32 2 (/.f32 -2 x))) 2)
(.f32 (/.f32 (+.f32 2 (/.f32 -2 x)) -8) (/.f32 4 (.f32 (-.f32 -1 (/.f32 -1 x)) (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))))
(.f32 1/4 (.f32 2 (/.f32 -8 (+.f32 2 (/.f32 -2 x)))))
(.f32 1/4 (/.f32 (neg.f32 (+.f32 2 (/.f32 -2 x))) (.f32 (-.f32 -1 (/.f32 -1 x)) (/.f32 (+.f32 2 (/.f32 -2 x)) -8))))
(.f32 (/.f32 (+.f32 (/.f32 -1 x) 1) (.f32 (-.f32 -1 (/.f32 -1 x)) (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))) -1)
(.f32 (/.f32 (neg.f32 (+.f32 2 (/.f32 -2 x))) (.f32 (-.f32 -1 (/.f32 -1 x)) (/.f32 (+.f32 2 (/.f32 -2 x)) -8))) 1/4)
(.f32 (/.f32 1/2 (.f32 (-.f32 -1 (/.f32 -1 x)) (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))) (neg.f32 (+.f32 2 (/.f32 -2 x))))
(.f32 (/.f32 4 (.f32 (-.f32 -1 (/.f32 -1 x)) (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))) (/.f32 (+.f32 2 (/.f32 -2 x)) -8))
(.f32 (/.f32 2 (.f32 (-.f32 -1 (/.f32 -1 x)) (.f32 (+.f32 (/.f32 -1 x) 1) -1/2))) (.f32 (+.f32 (/.f32 -1 x) 1) -1/2))
(.f32 (/.f32 1 (.f32 (-.f32 -1 (/.f32 -1 x)) (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))) (-.f32 -1 (/.f32 -1 x)))
(*.f32 (/.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))) 4) 4)
(pow.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))) 1)
(neg.f32 (/.f32 (+.f32 (/.f32 -1 x) 1) (.f32 (-.f32 -1 (/.f32 -1 x)) (.f32 (+.f32 (/.f32 -1 x) 1) -1/2))))
(neg.f32 (/.f32 4 (+.f32 2 (/.f32 -2 x))))
(+.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 0)
(+.f32 0 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))))
(+.f32 (.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 1/2) (.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 1/2))
(-.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 0)
(.f32 2 (.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 1/2))
(*.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 1)
(*.f32 1 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))))
(*.f32 4 (/.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 4))
(.f32 (.f32 2 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))) 1/2)
(.f32 (.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 4) 1/4)
(.f32 1/2 (.f32 2 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))))
(.f32 1/4 (.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 4))
(.f32 (.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 1/2) 2)
(*.f32 (/.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 4) 4)
(/.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 1)
(/.f32 (*.f32 2 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))) 2)
(/.f32 (*.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 4) 4)
(/.f32 (*.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 8) 8)
(/.f32 (.f32 2 (.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 8)) 16)
(/.f32 (+.f32 (.f32 2 (.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 8)) (.f32 2 (.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 8))) 32)
(pow.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 1)
(+.f32 -1 (neg.f32 (/.f32 -1 x)))
(+.f32 (-.f32 -1 (/.f32 -1 x)) 0)
(+.f32 0 (-.f32 -1 (/.f32 -1 x)))
(+.f32 (.f32 (+.f32 (/.f32 -1 x) 1) -1/2) (.f32 (+.f32 (/.f32 -1 x) 1) -1/2))
(+.f32 (neg.f32 (/.f32 -1 x)) -1)
(.f32 2 (.f32 (+.f32 (/.f32 -1 x) 1) -1/2))
(*.f32 -1 (+.f32 (/.f32 -1 x) 1))
(*.f32 (/.f32 -1 x) (+.f32 x -1))
(.f32 (/.f32 -1 x) (+.f32 (.f32 (-.f32 1 x) -1/2) (*.f32 (-.f32 1 x) -1/2)))
(*.f32 (-.f32 -1 (/.f32 -1 x)) 1)
(*.f32 1 (-.f32 -1 (/.f32 -1 x)))
(*.f32 4 (/.f32 (+.f32 2 (/.f32 -2 x)) -8))
(*.f32 (neg.f32 (+.f32 2 (/.f32 -2 x))) 1/2)
(*.f32 (+.f32 (/.f32 -1 x) 1) -1)
(*.f32 (+.f32 2 (/.f32 -2 x)) -1/2)
(.f32 (.f32 (-.f32 -1 (/.f32 -1 x)) 4) 1/4)
(.f32 (/.f32 -2 x) (.f32 (-.f32 1 x) -1/2))
(.f32 (.f32 (+.f32 (/.f32 -1 x) 1) -1/2) 2)
(*.f32 (-.f32 1 x) (neg.f32 (/.f32 -1 x)))
(.f32 (.f32 (-.f32 -1 (/.f32 -1 x)) 8) 1/8)
(*.f32 1/2 (neg.f32 (+.f32 2 (/.f32 -2 x))))
(*.f32 (neg.f32 (/.f32 -1 x)) (-.f32 1 x))
(*.f32 -1/2 (+.f32 2 (/.f32 -2 x)))
(*.f32 (/.f32 (+.f32 2 (/.f32 -2 x)) -8) 4)
(.f32 1/4 (.f32 (-.f32 -1 (/.f32 -1 x)) 4))
(.f32 (.f32 (-.f32 1 x) -1/2) (/.f32 -2 x))
(.f32 (.f32 2 (-.f32 1 x)) (*.f32 -1/2 (/.f32 -1 x)))
(.f32 1/8 (.f32 (-.f32 -1 (/.f32 -1 x)) 8))
(*.f32 (+.f32 x -1) (/.f32 -1 x))
(/.f32 (-.f32 -1 (/.f32 -1 x)) 1)
(/.f32 (neg.f32 (+.f32 2 (/.f32 -2 x))) 2)
(/.f32 (+.f32 (/.f32 -1 x) 1) -1)
(/.f32 (+.f32 2 (/.f32 -2 x)) -2)
(/.f32 (*.f32 (-.f32 -1 (/.f32 -1 x)) 4) 4)
(/.f32 (*.f32 2 (+.f32 2 (/.f32 -2 x))) -4)
(/.f32 (*.f32 (-.f32 -1 (/.f32 -1 x)) 8) 8)
(/.f32 (*.f32 (+.f32 2 (/.f32 -2 x)) 4) -8)
(/.f32 (.f32 2 (.f32 (-.f32 -1 (/.f32 -1 x)) 8)) 16)
(/.f32 (.f32 (-.f32 1 x) -1/2) (.f32 x -1/2))
(/.f32 (.f32 (-.f32 1 x) -1/2) (/.f32 (.f32 x x) (*.f32 x -2)))
(/.f32 (.f32 2 (.f32 2 (*.f32 (-.f32 -1 (/.f32 -1 x)) 8))) 32)
(/.f32 (+.f32 x -1) (neg.f32 x))
(/.f32 (neg.f32 (*.f32 2 (+.f32 2 (/.f32 -2 x)))) 4)
(/.f32 (+.f32 (neg.f32 (.f32 2 (+.f32 2 (/.f32 -2 x)))) (neg.f32 (.f32 2 (+.f32 2 (/.f32 -2 x))))) 8)
(pow.f32 (-.f32 -1 (/.f32 -1 x)) 1)
(neg.f32 (+.f32 (/.f32 -1 x) 1))

Outputs
(*.f32 2 x)
(+.f32 (.f32 2 (pow.f32 x 2)) (.f32 2 x))
(+.f32 (.f32 2 x) (.f32 2 (pow.f32 x 2)))
(*.f32 2 (+.f32 (pow.f32 x 2) x))
(*.f32 2 (+.f32 x (pow.f32 x 2)))
(+.f32 (.f32 2 (pow.f32 x 2)) (+.f32 (.f32 2 (pow.f32 x 3)) (*.f32 2 x)))
(+.f32 (.f32 2 (pow.f32 x 2)) (+.f32 (.f32 2 x) (*.f32 2 (pow.f32 x 3))))
(+.f32 (.f32 2 (pow.f32 x 2)) (.f32 2 (+.f32 (pow.f32 x 3) x)))
(*.f32 2 (+.f32 (pow.f32 x 3) (+.f32 x (pow.f32 x 2))))
(+.f32 (.f32 2 (pow.f32 x 2)) (+.f32 (.f32 2 (pow.f32 x 3)) (+.f32 (.f32 2 x) (.f32 2 (pow.f32 x 4)))))
(+.f32 (.f32 2 (+.f32 (pow.f32 x 4) x)) (+.f32 (.f32 2 (pow.f32 x 2)) (*.f32 2 (pow.f32 x 3))))
(+.f32 (.f32 2 (+.f32 x (pow.f32 x 4))) (.f32 2 (+.f32 (pow.f32 x 3) (pow.f32 x 2))))
(*.f32 2 (+.f32 (+.f32 x (pow.f32 x 2)) (+.f32 (pow.f32 x 3) (pow.f32 x 4))))
-2
(neg.f32 (+.f32 2 (*.f32 2 (/.f32 1 x))))
(neg.f32 (+.f32 2 (+.f32 (.f32 2 (/.f32 1 x)) (.f32 2 (/.f32 1 (pow.f32 x 2))))))
(neg.f32 (+.f32 2 (*.f32 2 (+.f32 (/.f32 1 x) (/.f32 1 (pow.f32 x 2))))))
(neg.f32 (+.f32 2 (*.f32 2 (+.f32 (/.f32 1 (pow.f32 x 2)) (/.f32 1 x)))))
(neg.f32 (+.f32 2 (+.f32 (.f32 2 (/.f32 1 x)) (+.f32 (.f32 2 (/.f32 1 (pow.f32 x 2))) (*.f32 2 (/.f32 1 (pow.f32 x 3)))))))
(neg.f32 (+.f32 2 (+.f32 (.f32 2 (/.f32 1 (pow.f32 x 3))) (.f32 2 (+.f32 (/.f32 1 x) (/.f32 1 (pow.f32 x 2)))))))
(neg.f32 (+.f32 2 (*.f32 2 (+.f32 (/.f32 1 (pow.f32 x 2)) (+.f32 (/.f32 1 (pow.f32 x 3)) (/.f32 1 x))))))
-2
(neg.f32 (+.f32 2 (*.f32 2 (/.f32 1 x))))
(neg.f32 (+.f32 2 (+.f32 (.f32 2 (/.f32 1 x)) (.f32 2 (/.f32 1 (pow.f32 x 2))))))
(neg.f32 (+.f32 2 (*.f32 2 (+.f32 (/.f32 1 x) (/.f32 1 (pow.f32 x 2))))))
(neg.f32 (+.f32 2 (*.f32 2 (+.f32 (/.f32 1 (pow.f32 x 2)) (/.f32 1 x)))))
(neg.f32 (+.f32 2 (+.f32 (.f32 2 (/.f32 1 x)) (+.f32 (.f32 2 (/.f32 1 (pow.f32 x 2))) (*.f32 2 (/.f32 1 (pow.f32 x 3)))))))
(neg.f32 (+.f32 2 (+.f32 (.f32 2 (/.f32 1 (pow.f32 x 3))) (.f32 2 (+.f32 (/.f32 1 x) (/.f32 1 (pow.f32 x 2)))))))
(neg.f32 (+.f32 2 (*.f32 2 (+.f32 (/.f32 1 (pow.f32 x 2)) (+.f32 (/.f32 1 (pow.f32 x 3)) (/.f32 1 x))))))
(*.f32 2 x)
(+.f32 (.f32 2 x) (.f32 2/3 (pow.f32 x 3)))
(+.f32 (.f32 2 x) (.f32 (pow.f32 x 3) 2/3))
(+.f32 (.f32 2 x) (+.f32 (.f32 2/3 (pow.f32 x 3)) (*.f32 2/5 (pow.f32 x 5))))
(+.f32 (.f32 (pow.f32 x 3) 2/3) (+.f32 (.f32 2/5 (pow.f32 x 5)) (*.f32 2 x)))
(+.f32 (.f32 (pow.f32 x 3) 2/3) (+.f32 (.f32 2 x) (*.f32 2/5 (pow.f32 x 5))))
(+.f32 (.f32 2/7 (pow.f32 x 7)) (+.f32 (.f32 2 x) (+.f32 (.f32 2/3 (pow.f32 x 3)) (.f32 2/5 (pow.f32 x 5)))))
(+.f32 (+.f32 (.f32 (pow.f32 x 3) 2/3) (+.f32 (.f32 2/5 (pow.f32 x 5)) (.f32 2 x))) (.f32 2/7 (pow.f32 x 7)))
(+.f32 (.f32 (pow.f32 x 3) 2/3) (+.f32 (+.f32 (.f32 2 x) (.f32 2/5 (pow.f32 x 5))) (.f32 2/7 (pow.f32 x 7))))
(+.f32 (.f32 2 x) (+.f32 (.f32 (pow.f32 x 3) 2/3) (+.f32 (.f32 2/5 (pow.f32 x 5)) (.f32 2/7 (pow.f32 x 7)))))
(+.f32 (+.f32 (.f32 2 x) (.f32 (pow.f32 x 3) 2/3)) (+.f32 (.f32 2/5 (pow.f32 x 5)) (.f32 2/7 (pow.f32 x 7))))
(log.f32 -1)
(+.f32 (log.f32 -1) (*.f32 2 (/.f32 1 x)))
(+.f32 (*.f32 2 (/.f32 1 x)) (log.f32 -1))
(+.f32 (.f32 2/3 (/.f32 1 (pow.f32 x 3))) (+.f32 (log.f32 -1) (.f32 2 (/.f32 1 x))))
(+.f32 (+.f32 (.f32 2 (/.f32 1 x)) (log.f32 -1)) (.f32 (/.f32 1 (pow.f32 x 3)) 2/3))
(+.f32 (.f32 2 (/.f32 1 x)) (+.f32 (log.f32 -1) (.f32 (/.f32 1 (pow.f32 x 3)) 2/3)))
(+.f32 (.f32 2/3 (/.f32 1 (pow.f32 x 3))) (+.f32 (log.f32 -1) (+.f32 (.f32 2 (/.f32 1 x)) (*.f32 2/5 (/.f32 1 (pow.f32 x 5))))))
(+.f32 (log.f32 -1) (+.f32 (+.f32 (.f32 2 (/.f32 1 x)) (.f32 2/5 (/.f32 1 (pow.f32 x 5)))) (*.f32 (/.f32 1 (pow.f32 x 3)) 2/3)))
(+.f32 (.f32 2 (/.f32 1 x)) (+.f32 (+.f32 (log.f32 -1) (.f32 2/5 (/.f32 1 (pow.f32 x 5)))) (*.f32 (/.f32 1 (pow.f32 x 3)) 2/3)))
(+.f32 (.f32 2 (/.f32 1 x)) (+.f32 (.f32 (/.f32 1 (pow.f32 x 3)) 2/3) (+.f32 (log.f32 -1) (*.f32 2/5 (/.f32 1 (pow.f32 x 5))))))
(+.f32 (.f32 2 (/.f32 1 x)) (+.f32 (log.f32 -1) (+.f32 (.f32 (/.f32 1 (pow.f32 x 3)) 2/3) (*.f32 2/5 (/.f32 1 (pow.f32 x 5))))))
(log.f32 -1)
(+.f32 (log.f32 -1) (*.f32 2 (/.f32 1 x)))
(+.f32 (*.f32 2 (/.f32 1 x)) (log.f32 -1))
(+.f32 (.f32 2/3 (/.f32 1 (pow.f32 x 3))) (+.f32 (log.f32 -1) (.f32 2 (/.f32 1 x))))
(+.f32 (+.f32 (.f32 2 (/.f32 1 x)) (log.f32 -1)) (.f32 (/.f32 1 (pow.f32 x 3)) 2/3))
(+.f32 (.f32 2 (/.f32 1 x)) (+.f32 (log.f32 -1) (.f32 (/.f32 1 (pow.f32 x 3)) 2/3)))
(+.f32 (.f32 2/3 (/.f32 1 (pow.f32 x 3))) (+.f32 (log.f32 -1) (+.f32 (.f32 2 (/.f32 1 x)) (*.f32 2/5 (/.f32 1 (pow.f32 x 5))))))
(+.f32 (log.f32 -1) (+.f32 (+.f32 (.f32 2 (/.f32 1 x)) (.f32 2/5 (/.f32 1 (pow.f32 x 5)))) (*.f32 (/.f32 1 (pow.f32 x 3)) 2/3)))
(+.f32 (.f32 2 (/.f32 1 x)) (+.f32 (+.f32 (log.f32 -1) (.f32 2/5 (/.f32 1 (pow.f32 x 5)))) (*.f32 (/.f32 1 (pow.f32 x 3)) 2/3)))
(+.f32 (.f32 2 (/.f32 1 x)) (+.f32 (.f32 (/.f32 1 (pow.f32 x 3)) 2/3) (+.f32 (log.f32 -1) (*.f32 2/5 (/.f32 1 (pow.f32 x 5))))))
(+.f32 (.f32 2 (/.f32 1 x)) (+.f32 (log.f32 -1) (+.f32 (.f32 (/.f32 1 (pow.f32 x 3)) 2/3) (*.f32 2/5 (/.f32 1 (pow.f32 x 5))))))
(/.f32 1 x)
(-.f32 (/.f32 1 x) 1)
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(-.f32 (/.f32 1 x) 1)
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(-.f32 (/.f32 1 x) 1)
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
-1
(-.f32 (/.f32 1 x) 1)
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(-.f32 (/.f32 1 x) 1)
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(-.f32 (/.f32 1 x) 1)
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
-1
(-.f32 (/.f32 1 x) 1)
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(-.f32 (/.f32 1 x) 1)
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(-.f32 (/.f32 1 x) 1)
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(+.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))) 0)
(/.f32 -4 (+.f32 2 (/.f32 -2 x)))
(+.f32 0 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))
(/.f32 -4 (+.f32 2 (/.f32 -2 x)))
(+.f32 (/.f32 -2 (+.f32 2 (/.f32 -2 x))) (/.f32 -2 (+.f32 2 (/.f32 -2 x))))
(-.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))) 0)
(/.f32 -4 (+.f32 2 (/.f32 -2 x)))
(-.f32 (/.f32 -2 (+.f32 2 (/.f32 -2 x))) (/.f32 2 (+.f32 2 (/.f32 -2 x))))
(*.f32 2 (/.f32 -2 (+.f32 2 (/.f32 -2 x))))
(.f32 -1 (/.f32 (+.f32 (/.f32 -1 x) 1) (.f32 (-.f32 -1 (/.f32 -1 x)) (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))))
(neg.f32 (/.f32 (+.f32 1 (/.f32 -1 x)) (.f32 (+.f32 1 (/.f32 -1 x)) (.f32 -1/2 (-.f32 -1 (/.f32 -1 x))))))
(/.f32 (neg.f32 (+.f32 1 (/.f32 -1 x))) (.f32 (+.f32 1 (/.f32 -1 x)) (.f32 (-.f32 -1 (/.f32 -1 x)) -1/2)))
(*.f32 2 (/.f32 1 (+.f32 -1 (/.f32 1 x))))
(*.f32 2 (/.f32 x (-.f32 1 x)))
(.f32 (-.f32 -1 (/.f32 -1 x)) (/.f32 1 (.f32 (-.f32 -1 (/.f32 -1 x)) (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))))
(neg.f32 (/.f32 (+.f32 1 (/.f32 -1 x)) (.f32 (+.f32 1 (/.f32 -1 x)) (.f32 -1/2 (-.f32 -1 (/.f32 -1 x))))))
(/.f32 (neg.f32 (+.f32 1 (/.f32 -1 x))) (.f32 (+.f32 1 (/.f32 -1 x)) (.f32 (-.f32 -1 (/.f32 -1 x)) -1/2)))
(*.f32 2 (/.f32 1 (+.f32 -1 (/.f32 1 x))))
(*.f32 2 (/.f32 x (-.f32 1 x)))
(*.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))) 1)
(/.f32 -4 (+.f32 2 (/.f32 -2 x)))
(*.f32 1 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))
(/.f32 -4 (+.f32 2 (/.f32 -2 x)))
(*.f32 4 (/.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))) 4))
(/.f32 -4 (+.f32 2 (/.f32 -2 x)))
(.f32 (neg.f32 (+.f32 2 (/.f32 -2 x))) (/.f32 1/2 (.f32 (-.f32 -1 (/.f32 -1 x)) (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))))
(.f32 (neg.f32 (+.f32 2 (/.f32 -2 x))) (/.f32 1/2 (.f32 (+.f32 1 (/.f32 -1 x)) (*.f32 -1/2 (-.f32 -1 (/.f32 -1 x))))))
(.f32 (neg.f32 (+.f32 2 (/.f32 -2 x))) (/.f32 1 (.f32 (-.f32 -1 (/.f32 -1 x)) (neg.f32 (+.f32 1 (/.f32 -1 x))))))
(*.f32 (neg.f32 (+.f32 2 (/.f32 -2 x))) (/.f32 (/.f32 1 (+.f32 -1 (/.f32 1 x))) (+.f32 -1 (/.f32 1 x))))
(*.f32 (neg.f32 (+.f32 2 (/.f32 -2 x))) (/.f32 x (/.f32 (-.f32 1 x) (/.f32 x (-.f32 1 x)))))
(*.f32 (/.f32 -8 (+.f32 2 (/.f32 -2 x))) 1/2)
(*.f32 1/2 (/.f32 -8 (+.f32 2 (/.f32 -2 x))))
(.f32 (.f32 (+.f32 (/.f32 -1 x) 1) -1/2) (/.f32 2 (.f32 (-.f32 -1 (/.f32 -1 x)) (.f32 (+.f32 (/.f32 -1 x) 1) -1/2))))
(neg.f32 (/.f32 (+.f32 1 (/.f32 -1 x)) (.f32 (+.f32 1 (/.f32 -1 x)) (.f32 -1/2 (-.f32 -1 (/.f32 -1 x))))))
(/.f32 (neg.f32 (+.f32 1 (/.f32 -1 x))) (.f32 (+.f32 1 (/.f32 -1 x)) (.f32 (-.f32 -1 (/.f32 -1 x)) -1/2)))
(*.f32 2 (/.f32 1 (+.f32 -1 (/.f32 1 x))))
(*.f32 2 (/.f32 x (-.f32 1 x)))
(.f32 (.f32 2 (/.f32 -8 (+.f32 2 (/.f32 -2 x)))) 1/4)
(*.f32 1/2 (/.f32 -8 (+.f32 2 (/.f32 -2 x))))
(*.f32 1/2 (/.f32 -8 (+.f32 2 (/.f32 -2 x))))
(*.f32 (/.f32 -2 (+.f32 2 (/.f32 -2 x))) 2)
(*.f32 2 (/.f32 -2 (+.f32 2 (/.f32 -2 x))))
(.f32 (/.f32 (+.f32 2 (/.f32 -2 x)) -8) (/.f32 4 (.f32 (-.f32 -1 (/.f32 -1 x)) (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))))
(.f32 (/.f32 (+.f32 2 (/.f32 -2 x)) -8) (/.f32 (/.f32 4 (-.f32 -1 (/.f32 -1 x))) (.f32 (+.f32 1 (/.f32 -1 x)) -1/2)))
(.f32 (/.f32 (+.f32 2 (/.f32 -2 x)) -8) (/.f32 8 (.f32 (-.f32 -1 (/.f32 -1 x)) (neg.f32 (+.f32 1 (/.f32 -1 x))))))
(*.f32 (/.f32 (+.f32 2 (/.f32 -2 x)) -8) (/.f32 (/.f32 -8 (+.f32 1 (/.f32 -1 x))) (+.f32 -1 (/.f32 1 x))))
(*.f32 (/.f32 (+.f32 2 (/.f32 -2 x)) -8) (/.f32 x (/.f32 (-.f32 1 x) (/.f32 -8 (-.f32 1 (/.f32 1 x))))))
(.f32 1/4 (.f32 2 (/.f32 -8 (+.f32 2 (/.f32 -2 x)))))
(*.f32 1/2 (/.f32 -8 (+.f32 2 (/.f32 -2 x))))
(.f32 1/4 (/.f32 (neg.f32 (+.f32 2 (/.f32 -2 x))) (.f32 (-.f32 -1 (/.f32 -1 x)) (/.f32 (+.f32 2 (/.f32 -2 x)) -8))))
(*.f32 1/4 (/.f32 -8 (/.f32 (+.f32 2 (/.f32 -2 x)) (/.f32 (neg.f32 (+.f32 2 (/.f32 -2 x))) (-.f32 -1 (/.f32 -1 x))))))
(.f32 1/4 (/.f32 (neg.f32 (+.f32 2 (/.f32 -2 x))) (.f32 (+.f32 -1 (/.f32 1 x)) (/.f32 (+.f32 2 (/.f32 -2 x)) -8))))
(*.f32 1/4 (/.f32 -8 (/.f32 (+.f32 2 (/.f32 -2 x)) (/.f32 (+.f32 2 (/.f32 -2 x)) (-.f32 1 (/.f32 1 x))))))
(.f32 (/.f32 (+.f32 (/.f32 -1 x) 1) (.f32 (-.f32 -1 (/.f32 -1 x)) (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))) -1)
(neg.f32 (/.f32 (+.f32 1 (/.f32 -1 x)) (.f32 (+.f32 1 (/.f32 -1 x)) (.f32 -1/2 (-.f32 -1 (/.f32 -1 x))))))
(/.f32 (neg.f32 (+.f32 1 (/.f32 -1 x))) (.f32 (+.f32 1 (/.f32 -1 x)) (.f32 (-.f32 -1 (/.f32 -1 x)) -1/2)))
(*.f32 2 (/.f32 1 (+.f32 -1 (/.f32 1 x))))
(*.f32 2 (/.f32 x (-.f32 1 x)))
(.f32 (/.f32 (neg.f32 (+.f32 2 (/.f32 -2 x))) (.f32 (-.f32 -1 (/.f32 -1 x)) (/.f32 (+.f32 2 (/.f32 -2 x)) -8))) 1/4)
(.f32 1/4 (/.f32 (neg.f32 (+.f32 2 (/.f32 -2 x))) (.f32 (-.f32 -1 (/.f32 -1 x)) (/.f32 (+.f32 2 (/.f32 -2 x)) -8))))
(*.f32 1/4 (/.f32 -8 (/.f32 (+.f32 2 (/.f32 -2 x)) (/.f32 (neg.f32 (+.f32 2 (/.f32 -2 x))) (-.f32 -1 (/.f32 -1 x))))))
(.f32 1/4 (/.f32 (neg.f32 (+.f32 2 (/.f32 -2 x))) (.f32 (+.f32 -1 (/.f32 1 x)) (/.f32 (+.f32 2 (/.f32 -2 x)) -8))))
(*.f32 1/4 (/.f32 -8 (/.f32 (+.f32 2 (/.f32 -2 x)) (/.f32 (+.f32 2 (/.f32 -2 x)) (-.f32 1 (/.f32 1 x))))))
(.f32 (/.f32 1/2 (.f32 (-.f32 -1 (/.f32 -1 x)) (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))) (neg.f32 (+.f32 2 (/.f32 -2 x))))
(.f32 (neg.f32 (+.f32 2 (/.f32 -2 x))) (/.f32 1/2 (.f32 (+.f32 1 (/.f32 -1 x)) (*.f32 -1/2 (-.f32 -1 (/.f32 -1 x))))))
(.f32 (neg.f32 (+.f32 2 (/.f32 -2 x))) (/.f32 1 (.f32 (-.f32 -1 (/.f32 -1 x)) (neg.f32 (+.f32 1 (/.f32 -1 x))))))
(*.f32 (neg.f32 (+.f32 2 (/.f32 -2 x))) (/.f32 (/.f32 1 (+.f32 -1 (/.f32 1 x))) (+.f32 -1 (/.f32 1 x))))
(*.f32 (neg.f32 (+.f32 2 (/.f32 -2 x))) (/.f32 x (/.f32 (-.f32 1 x) (/.f32 x (-.f32 1 x)))))
(.f32 (/.f32 4 (.f32 (-.f32 -1 (/.f32 -1 x)) (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))) (/.f32 (+.f32 2 (/.f32 -2 x)) -8))
(.f32 (/.f32 (+.f32 2 (/.f32 -2 x)) -8) (/.f32 (/.f32 4 (-.f32 -1 (/.f32 -1 x))) (.f32 (+.f32 1 (/.f32 -1 x)) -1/2)))
(.f32 (/.f32 (+.f32 2 (/.f32 -2 x)) -8) (/.f32 8 (.f32 (-.f32 -1 (/.f32 -1 x)) (neg.f32 (+.f32 1 (/.f32 -1 x))))))
(*.f32 (/.f32 (+.f32 2 (/.f32 -2 x)) -8) (/.f32 (/.f32 -8 (+.f32 1 (/.f32 -1 x))) (+.f32 -1 (/.f32 1 x))))
(*.f32 (/.f32 (+.f32 2 (/.f32 -2 x)) -8) (/.f32 x (/.f32 (-.f32 1 x) (/.f32 -8 (-.f32 1 (/.f32 1 x))))))
(.f32 (/.f32 2 (.f32 (-.f32 -1 (/.f32 -1 x)) (.f32 (+.f32 (/.f32 -1 x) 1) -1/2))) (.f32 (+.f32 (/.f32 -1 x) 1) -1/2))
(neg.f32 (/.f32 (+.f32 1 (/.f32 -1 x)) (.f32 (+.f32 1 (/.f32 -1 x)) (.f32 -1/2 (-.f32 -1 (/.f32 -1 x))))))
(/.f32 (neg.f32 (+.f32 1 (/.f32 -1 x))) (.f32 (+.f32 1 (/.f32 -1 x)) (.f32 (-.f32 -1 (/.f32 -1 x)) -1/2)))
(*.f32 2 (/.f32 1 (+.f32 -1 (/.f32 1 x))))
(*.f32 2 (/.f32 x (-.f32 1 x)))
(.f32 (/.f32 1 (.f32 (-.f32 -1 (/.f32 -1 x)) (*.f32 (+.f32 (/.f32 -1 x) 1) -1/2))) (-.f32 -1 (/.f32 -1 x)))
(neg.f32 (/.f32 (+.f32 1 (/.f32 -1 x)) (.f32 (+.f32 1 (/.f32 -1 x)) (.f32 -1/2 (-.f32 -1 (/.f32 -1 x))))))
(/.f32 (neg.f32 (+.f32 1 (/.f32 -1 x))) (.f32 (+.f32 1 (/.f32 -1 x)) (.f32 (-.f32 -1 (/.f32 -1 x)) -1/2)))
(*.f32 2 (/.f32 1 (+.f32 -1 (/.f32 1 x))))
(*.f32 2 (/.f32 x (-.f32 1 x)))
(*.f32 (/.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))) 4) 4)
(/.f32 -4 (+.f32 2 (/.f32 -2 x)))
(pow.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))) 1)
(/.f32 -4 (+.f32 2 (/.f32 -2 x)))
(neg.f32 (/.f32 (+.f32 (/.f32 -1 x) 1) (.f32 (-.f32 -1 (/.f32 -1 x)) (.f32 (+.f32 (/.f32 -1 x) 1) -1/2))))
(neg.f32 (/.f32 (+.f32 1 (/.f32 -1 x)) (.f32 (+.f32 1 (/.f32 -1 x)) (.f32 -1/2 (-.f32 -1 (/.f32 -1 x))))))
(/.f32 (neg.f32 (+.f32 1 (/.f32 -1 x))) (.f32 (+.f32 1 (/.f32 -1 x)) (.f32 (-.f32 -1 (/.f32 -1 x)) -1/2)))
(*.f32 2 (/.f32 1 (+.f32 -1 (/.f32 1 x))))
(*.f32 2 (/.f32 x (-.f32 1 x)))
(neg.f32 (/.f32 4 (+.f32 2 (/.f32 -2 x))))
(/.f32 -4 (+.f32 2 (/.f32 -2 x)))
(+.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 0)
(log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))
(+.f32 0 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))))
(log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))
(+.f32 (.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 1/2) (.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 1/2))
(log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))
(-.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 0)
(log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))
(.f32 2 (.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 1/2))
(log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))
(*.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 1)
(log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))
(*.f32 1 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))))
(log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))
(*.f32 4 (/.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 4))
(log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))
(.f32 (.f32 2 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))) 1/2)
(log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))
(.f32 (.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 4) 1/4)
(log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))
(.f32 1/2 (.f32 2 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))))
(log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))
(.f32 1/4 (.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 4))
(log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))
(.f32 (.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 1/2) 2)
(log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))
(*.f32 (/.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 4) 4)
(log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))
(/.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 1)
(log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))
(/.f32 (*.f32 2 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))) 2)
(log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))
(/.f32 (*.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 4) 4)
(log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))
(/.f32 (*.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 8) 8)
(log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))
(/.f32 (.f32 2 (.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 8)) 16)
(log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))
(/.f32 (+.f32 (.f32 2 (.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 8)) (.f32 2 (.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 8))) 32)
(log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))
(pow.f32 (log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x)))) 1)
(log1p.f32 (/.f32 -4 (+.f32 2 (/.f32 -2 x))))
(+.f32 -1 (neg.f32 (/.f32 -1 x)))
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(+.f32 (-.f32 -1 (/.f32 -1 x)) 0)
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(+.f32 0 (-.f32 -1 (/.f32 -1 x)))
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(+.f32 (.f32 (+.f32 (/.f32 -1 x) 1) -1/2) (.f32 (+.f32 (/.f32 -1 x) 1) -1/2))
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(+.f32 (neg.f32 (/.f32 -1 x)) -1)
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(.f32 2 (.f32 (+.f32 (/.f32 -1 x) 1) -1/2))
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(*.f32 -1 (+.f32 (/.f32 -1 x) 1))
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(*.f32 (/.f32 -1 x) (+.f32 x -1))
(.f32 (/.f32 -1 x) (+.f32 (.f32 (-.f32 1 x) -1/2) (*.f32 (-.f32 1 x) -1/2)))
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(*.f32 (-.f32 -1 (/.f32 -1 x)) 1)
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(*.f32 1 (-.f32 -1 (/.f32 -1 x)))
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(*.f32 4 (/.f32 (+.f32 2 (/.f32 -2 x)) -8))
(*.f32 (+.f32 2 (/.f32 -2 x)) -1/2)
(*.f32 (neg.f32 (+.f32 2 (/.f32 -2 x))) 1/2)
(*.f32 4 (/.f32 (+.f32 2 (/.f32 -2 x)) -8))
(*.f32 (+.f32 2 (/.f32 -2 x)) -1/2)
(*.f32 (+.f32 (/.f32 -1 x) 1) -1)
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(*.f32 (+.f32 2 (/.f32 -2 x)) -1/2)
(*.f32 4 (/.f32 (+.f32 2 (/.f32 -2 x)) -8))
(.f32 (.f32 (-.f32 -1 (/.f32 -1 x)) 4) 1/4)
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(.f32 (/.f32 -2 x) (.f32 (-.f32 1 x) -1/2))
(.f32 (/.f32 -2 x) (.f32 -1/2 (-.f32 1 x)))
(*.f32 -1/2 (-.f32 (/.f32 -2 x) -2))
(.f32 (.f32 (+.f32 (/.f32 -1 x) 1) -1/2) 2)
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(*.f32 (-.f32 1 x) (neg.f32 (/.f32 -1 x)))
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(.f32 (.f32 (-.f32 -1 (/.f32 -1 x)) 8) 1/8)
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(*.f32 1/2 (neg.f32 (+.f32 2 (/.f32 -2 x))))
(*.f32 4 (/.f32 (+.f32 2 (/.f32 -2 x)) -8))
(*.f32 (+.f32 2 (/.f32 -2 x)) -1/2)
(*.f32 (neg.f32 (/.f32 -1 x)) (-.f32 1 x))
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(*.f32 -1/2 (+.f32 2 (/.f32 -2 x)))
(*.f32 4 (/.f32 (+.f32 2 (/.f32 -2 x)) -8))
(*.f32 (+.f32 2 (/.f32 -2 x)) -1/2)
(*.f32 (/.f32 (+.f32 2 (/.f32 -2 x)) -8) 4)
(*.f32 4 (/.f32 (+.f32 2 (/.f32 -2 x)) -8))
(*.f32 (+.f32 2 (/.f32 -2 x)) -1/2)
(.f32 1/4 (.f32 (-.f32 -1 (/.f32 -1 x)) 4))
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(.f32 (.f32 (-.f32 1 x) -1/2) (/.f32 -2 x))
(.f32 (/.f32 -2 x) (.f32 -1/2 (-.f32 1 x)))
(*.f32 -1/2 (-.f32 (/.f32 -2 x) -2))
(.f32 (.f32 2 (-.f32 1 x)) (*.f32 -1/2 (/.f32 -1 x)))
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(.f32 1/8 (.f32 (-.f32 -1 (/.f32 -1 x)) 8))
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(*.f32 (+.f32 x -1) (/.f32 -1 x))
(*.f32 (/.f32 -1 x) (+.f32 x -1))
(/.f32 (-.f32 -1 (/.f32 -1 x)) 1)
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(/.f32 (neg.f32 (+.f32 2 (/.f32 -2 x))) 2)
(*.f32 4 (/.f32 (+.f32 2 (/.f32 -2 x)) -8))
(*.f32 (+.f32 2 (/.f32 -2 x)) -1/2)
(/.f32 (+.f32 (/.f32 -1 x) 1) -1)
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(/.f32 (+.f32 2 (/.f32 -2 x)) -2)
(*.f32 4 (/.f32 (+.f32 2 (/.f32 -2 x)) -8))
(*.f32 (+.f32 2 (/.f32 -2 x)) -1/2)
(/.f32 (*.f32 (-.f32 -1 (/.f32 -1 x)) 4) 4)
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(/.f32 (*.f32 2 (+.f32 2 (/.f32 -2 x))) -4)
(*.f32 4 (/.f32 (+.f32 2 (/.f32 -2 x)) -8))
(*.f32 (+.f32 2 (/.f32 -2 x)) -1/2)
(/.f32 (*.f32 (-.f32 -1 (/.f32 -1 x)) 8) 8)
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(/.f32 (*.f32 (+.f32 2 (/.f32 -2 x)) 4) -8)
(*.f32 4 (/.f32 (+.f32 2 (/.f32 -2 x)) -8))
(*.f32 (+.f32 2 (/.f32 -2 x)) -1/2)
(/.f32 (.f32 2 (.f32 (-.f32 -1 (/.f32 -1 x)) 8)) 16)
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(/.f32 (.f32 (-.f32 1 x) -1/2) (.f32 x -1/2))
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(/.f32 (.f32 (-.f32 1 x) -1/2) (/.f32 (.f32 x x) (*.f32 x -2)))
(/.f32 (.f32 -1/2 (-.f32 1 x)) (/.f32 (.f32 x x) (*.f32 x -2)))
(/.f32 (.f32 x -2) (/.f32 (/.f32 (.f32 x x) -1/2) (-.f32 1 x)))
(/.f32 (*.f32 x -2) (/.f32 x (-.f32 (/.f32 -1/2 x) -1/2)))
(/.f32 x (/.f32 (/.f32 x -2) (-.f32 (/.f32 -1/2 x) -1/2)))
(/.f32 (.f32 2 (.f32 2 (*.f32 (-.f32 -1 (/.f32 -1 x)) 8))) 32)
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(/.f32 (+.f32 x -1) (neg.f32 x))
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(/.f32 (neg.f32 (*.f32 2 (+.f32 2 (/.f32 -2 x)))) 4)
(*.f32 4 (/.f32 (+.f32 2 (/.f32 -2 x)) -8))
(*.f32 (+.f32 2 (/.f32 -2 x)) -1/2)
(/.f32 (+.f32 (neg.f32 (.f32 2 (+.f32 2 (/.f32 -2 x)))) (neg.f32 (.f32 2 (+.f32 2 (/.f32 -2 x))))) 8)
(*.f32 4 (/.f32 (+.f32 2 (/.f32 -2 x)) -8))
(*.f32 (+.f32 2 (/.f32 -2 x)) -1/2)
(pow.f32 (-.f32 -1 (/.f32 -1 x)) 1)
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))
(neg.f32 (+.f32 (/.f32 -1 x) 1))
(+.f32 (/.f32 1 x) -1)
(-.f32 -1 (/.f32 -1 x))
(+.f32 -1 (/.f32 1 x))

localize123.0ms (2.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.0b	(pow.f32 x 3)
	0.2b	(*.f32 (pow.f32 x 3) 2/3)

Compiler

Compiled 36 to 23 computations (36.1% saved)

eval210.0ms (3.7%)

Compiler: Compiled 6576 to 5614 computations (14.6% saved)

prune64.0ms (1.1%)

Pruning

8 alts after pruning (2 fresh and 6 done)

	Pruned	Kept	Total
New	323	1	324
Fresh	0	1	1
Picked	0	1	1
Done	0	5	5
Total	323	8	331

Error

Counts

331 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(.f32 1/2 (+.f32 (+.f32 (.f32 (pow.f32 x 3) 2/3) (+.f32 (.f32 2 x) (.f32 2/5 (pow.f32 x 5)))) (*.f32 2/7 (pow.f32 x 7))))
▶	0.2b	(.f32 1/2 (+.f32 (.f32 (pow.f32 x 3) 2/3) (+.f32 (.f32 2 x) (.f32 2/5 (pow.f32 x 5)))))
✓	0.3b	(.f32 1/2 (+.f32 (.f32 (pow.f32 x 3) 2/3) (+.f32 x x)))
✓	0.1b	(.f32 1/2 (log1p.f32 (/.f32 (.f32 2 x) (-.f32 1 x))))
▶	2.6b	(*.f32 1/2 (log1p.f32 (/.f32 2 (/.f32 1 x))))
✓	0.2b	(*.f32 1/2 (log1p.f32 (/.f32 2 (-.f32 -1 (/.f32 -1 x)))))
✓	2.4b	(*.f32 1/2 (log1p.f32 (+.f32 x x)))
✓	32.0b	(*.f32 1/2 (log1p.f32 -2))

Compiler

Compiled 97 to 81 computations (16.5% saved)

localize27.0ms (0.5%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(/.f32 2 (/.f32 1 x))

Compiler

Compiled 27 to 22 computations (18.5% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	-inf	(/.f32 2 (/.f32 1 x))
0.0ms	x	@	0	(/.f32 2 (/.f32 1 x))
0.0ms	x	@	inf	(/.f32 2 (/.f32 1 x))

rewrite91.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1592×	`rational.json-1`
1592×	`rational.json-2`
1592×	`rational.json-4`
1592×	`rational.json-3`
1580×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	7
1	63	7
2	170	7
3	409	7
4	1688	7
5	5273	7

Stop Event

1×	node limit

Counts

1 → 31

Calls

Call 1

Inputs
(/.f32 2 (/.f32 1 x))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f32 x x)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (+.f32 x x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (+.f32 x x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (+.f32 x x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 2 x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (+.f32 x x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 x 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 x (+.f32 1 (*.f32 x (/.f32 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 1 x) (*.f32 2 (*.f32 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (+.f32 x x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (+.f32 x x) (*.f32 x (/.f32 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 4 (*.f32 x 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 2 x) (*.f32 x x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1/2 (*.f32 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 x x) (/.f32 2 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 x 4) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 x 4) (*.f32 (/.f32 1 x) (*.f32 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 2 (/.f32 2 x)) (*.f32 x (*.f32 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (neg.f32 x) -2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 -2 (neg.f32 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 x 1/2) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 x (*.f32 x 1/2)) (*.f32 2 (/.f32 2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 2 (*.f32 x x)) (/.f32 1 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 x (/.f32 1 x)) (+.f32 x x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (+.f32 1 (*.f32 x (/.f32 1 x))) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (+.f32 (fabs.f32 x) (fabs.f32 x)) (*.f32 (/.f32 1 x) (fabs.f32 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (/.f32 1 x) (*.f32 x 1/2)) (*.f32 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (/.f32 1 x) (fabs.f32 x)) (+.f32 (fabs.f32 x) (fabs.f32 x)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (+.f32 x x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (*.f32 2 (neg.f32 x)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (neg.f32 (+.f32 x x)))))))

simplify107.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

1236×	`rational.json-simplify-2`
872×	`rational.json-simplify-43`
852×	`rational.json-simplify-51`
616×	`rational.json-simplify-19`
588×	`rational.json-simplify-59`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	58	301
1	118	301
2	261	301
3	689	301
4	4577	301
5	7490	301

Stop Event

1×	node limit

Counts

43 → 31

Calls

Call 1

Inputs
(*.f32 2 x)
(*.f32 2 x)
(*.f32 2 x)
(*.f32 2 x)
(*.f32 2 x)
(*.f32 2 x)
(*.f32 2 x)
(*.f32 2 x)
(*.f32 2 x)
(*.f32 2 x)
(*.f32 2 x)
(*.f32 2 x)
(+.f32 x x)
(+.f32 0 (+.f32 x x))
(+.f32 (+.f32 x x) 0)
(-.f32 (+.f32 x x) 0)
(*.f32 2 x)
(*.f32 1 (+.f32 x x))
(*.f32 x 2)
(.f32 x (+.f32 1 (.f32 x (/.f32 1 x))))
(.f32 (/.f32 1 x) (.f32 2 (*.f32 x x)))
(*.f32 (+.f32 x x) 1)
(.f32 (+.f32 x x) (.f32 x (/.f32 1 x)))
(.f32 4 (.f32 x 1/2))
(.f32 (/.f32 2 x) (.f32 x x))
(.f32 1/2 (.f32 x 4))
(.f32 (.f32 x x) (/.f32 2 x))
(.f32 (.f32 x 4) 1/2)
(.f32 (.f32 x 4) (.f32 (/.f32 1 x) (.f32 x 1/2)))
(.f32 (.f32 2 (/.f32 2 x)) (.f32 x (.f32 x 1/2)))
(*.f32 (neg.f32 x) -2)
(*.f32 -2 (neg.f32 x))
(.f32 (.f32 x 1/2) 4)
(.f32 (.f32 x (.f32 x 1/2)) (.f32 2 (/.f32 2 x)))
(.f32 (.f32 2 (*.f32 x x)) (/.f32 1 x))
(.f32 (.f32 x (/.f32 1 x)) (+.f32 x x))
(.f32 (+.f32 1 (.f32 x (/.f32 1 x))) x)
(.f32 (+.f32 (fabs.f32 x) (fabs.f32 x)) (.f32 (/.f32 1 x) (fabs.f32 x)))
(.f32 (.f32 (/.f32 1 x) (.f32 x 1/2)) (.f32 x 4))
(.f32 (.f32 (/.f32 1 x) (fabs.f32 x)) (+.f32 (fabs.f32 x) (fabs.f32 x)))
(pow.f32 (+.f32 x x) 1)
(neg.f32 (*.f32 2 (neg.f32 x)))
(neg.f32 (neg.f32 (+.f32 x x)))

Outputs
(*.f32 2 x)
(+.f32 x x)
(*.f32 2 x)
(+.f32 x x)
(*.f32 2 x)
(+.f32 x x)
(*.f32 2 x)
(+.f32 x x)
(*.f32 2 x)
(+.f32 x x)
(*.f32 2 x)
(+.f32 x x)
(*.f32 2 x)
(+.f32 x x)
(*.f32 2 x)
(+.f32 x x)
(*.f32 2 x)
(+.f32 x x)
(*.f32 2 x)
(+.f32 x x)
(*.f32 2 x)
(+.f32 x x)
(*.f32 2 x)
(+.f32 x x)
(+.f32 x x)
(*.f32 2 x)
(+.f32 0 (+.f32 x x))
(*.f32 2 x)
(+.f32 x x)
(+.f32 (+.f32 x x) 0)
(*.f32 2 x)
(+.f32 x x)
(-.f32 (+.f32 x x) 0)
(*.f32 2 x)
(+.f32 x x)
(*.f32 2 x)
(+.f32 x x)
(*.f32 1 (+.f32 x x))
(*.f32 2 x)
(+.f32 x x)
(*.f32 x 2)
(*.f32 2 x)
(+.f32 x x)
(.f32 x (+.f32 1 (.f32 x (/.f32 1 x))))
(*.f32 2 x)
(+.f32 x x)
(.f32 (/.f32 1 x) (.f32 2 (*.f32 x x)))
(*.f32 2 x)
(+.f32 x x)
(*.f32 (+.f32 x x) 1)
(*.f32 2 x)
(+.f32 x x)
(.f32 (+.f32 x x) (.f32 x (/.f32 1 x)))
(*.f32 2 x)
(+.f32 x x)
(.f32 4 (.f32 x 1/2))
(*.f32 2 x)
(+.f32 x x)
(.f32 (/.f32 2 x) (.f32 x x))
(*.f32 2 x)
(+.f32 x x)
(.f32 1/2 (.f32 x 4))
(*.f32 2 x)
(+.f32 x x)
(.f32 (.f32 x x) (/.f32 2 x))
(*.f32 2 x)
(+.f32 x x)
(.f32 (.f32 x 4) 1/2)
(*.f32 2 x)
(+.f32 x x)
(.f32 (.f32 x 4) (.f32 (/.f32 1 x) (.f32 x 1/2)))
(*.f32 2 x)
(+.f32 x x)
(.f32 (.f32 2 (/.f32 2 x)) (.f32 x (.f32 x 1/2)))
(*.f32 2 x)
(+.f32 x x)
(*.f32 (neg.f32 x) -2)
(*.f32 2 x)
(+.f32 x x)
(*.f32 -2 (neg.f32 x))
(*.f32 2 x)
(+.f32 x x)
(.f32 (.f32 x 1/2) 4)
(*.f32 2 x)
(+.f32 x x)
(.f32 (.f32 x (.f32 x 1/2)) (.f32 2 (/.f32 2 x)))
(*.f32 2 x)
(+.f32 x x)
(.f32 (.f32 2 (*.f32 x x)) (/.f32 1 x))
(*.f32 2 x)
(+.f32 x x)
(.f32 (.f32 x (/.f32 1 x)) (+.f32 x x))
(*.f32 2 x)
(+.f32 x x)
(.f32 (+.f32 1 (.f32 x (/.f32 1 x))) x)
(*.f32 2 x)
(+.f32 x x)
(.f32 (+.f32 (fabs.f32 x) (fabs.f32 x)) (.f32 (/.f32 1 x) (fabs.f32 x)))
(*.f32 2 x)
(+.f32 x x)
(.f32 (.f32 (/.f32 1 x) (.f32 x 1/2)) (.f32 x 4))
(*.f32 2 x)
(+.f32 x x)
(.f32 (.f32 (/.f32 1 x) (fabs.f32 x)) (+.f32 (fabs.f32 x) (fabs.f32 x)))
(*.f32 2 x)
(+.f32 x x)
(pow.f32 (+.f32 x x) 1)
(*.f32 2 x)
(+.f32 x x)
(neg.f32 (*.f32 2 (neg.f32 x)))
(*.f32 2 x)
(+.f32 x x)
(neg.f32 (neg.f32 (+.f32 x x)))
(*.f32 2 x)
(+.f32 x x)

localize61.0ms (1.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f32 (.f32 (pow.f32 x 3) 2/3) (+.f32 (.f32 2 x) (*.f32 2/5 (pow.f32 x 5))))
	0.0b	(pow.f32 x 3)
	0.1b	(*.f32 2/5 (pow.f32 x 5))
	0.2b	(*.f32 (pow.f32 x 3) 2/3)

Compiler

Compiled 68 to 54 computations (20.6% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time

Variable

Point

Expression

0.0ms

inf

(+.f32 (*.f32 (pow.f32 x 3) 2/3) (+.f32 (*.f32 2 x) (*.f32 2/5 (pow.f32 x 5))))

0.0ms

(+.f32 (*.f32 (pow.f32 x 3) 2/3) (+.f32 (*.f32 2 x) (*.f32 2/5 (pow.f32 x 5))))

0.0ms

-inf

(+.f32 (*.f32 (pow.f32 x 3) 2/3) (+.f32 (*.f32 2 x) (*.f32 2/5 (pow.f32 x 5))))

rewrite193.0ms (3.4%)

Algorithm

1×	batch-egg-rewrite

Rules

2344×	`rational.json-simplify-2`
1810×	`rational.json-simplify-1`
1520×	`rational.json-simplify-35`
1314×	`exponential.json-3`
1314×	`rational.json-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	43
1	99	43
2	184	43
3	351	43
4	717	43
5	1903	43
6	3635	43
7	4560	43
8	5995	43
9	6967	43
10	6967	43
11	7487	43

Stop Event

1×	node limit

Counts

1 → 20

Calls

Call 1

Inputs
(+.f32 (.f32 (pow.f32 x 3) 2/3) (+.f32 (.f32 2 x) (*.f32 2/5 (pow.f32 x 5))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f32 (+.f32 x (+.f32 x (+.f32 (*.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 2 (*.f32 (+.f32 x (+.f32 x (+.f32 (*.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (+.f32 x (+.f32 x (+.f32 (*.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (+.f32 x (+.f32 x (+.f32 (*.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 2 (+.f32 x (+.f32 x (+.f32 (*.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5)))))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 4 (/.f32 (+.f32 x (+.f32 x (+.f32 (*.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (+.f32 x (+.f32 x (+.f32 (*.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1/2 (*.f32 2 (+.f32 x (+.f32 x (+.f32 (*.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (+.f32 x (+.f32 x (+.f32 (*.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1/4 (*.f32 (+.f32 x (+.f32 x (+.f32 (*.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (+.f32 x (+.f32 x (+.f32 (*.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 x (+.f32 x (+.f32 (*.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (+.f32 x (+.f32 x (+.f32 (*.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5)))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (+.f32 x (+.f32 x (+.f32 (*.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 (+.f32 x (+.f32 x (+.f32 (*.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 2 (*.f32 (+.f32 x (+.f32 x (+.f32 (*.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 (+.f32 x (+.f32 x (+.f32 (*.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))) 4)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 (+.f32 x (+.f32 x (+.f32 (*.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))) 4))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 (+.f32 x (+.f32 x (+.f32 (*.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))) 4)))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (+.f32 x (+.f32 x (+.f32 (*.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))) 1)))))

simplify283.0ms (4.9%)

Algorithm

1×	egg-herbie

Rules

3874×	`rational.json-simplify-41`
1902×	`rational.json-simplify-2`
1492×	`rational.json-simplify-49`
1474×	`rational.json-simplify-35`
1064×	`rational.json-simplify-51`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	59	1238
1	127	1238
2	304	1238
3	831	1238
4	1508	1238
5	2459	1238
6	2813	1238
7	2866	1238
8	2896	1238
9	2922	1238
10	2948	1238
11	3389	1238
12	3504	1238
13	3566	1238
14	3628	1238
15	3672	1238
16	3716	1238
17	3760	1238
18	3804	1238
19	4817	1238

Stop Event

1×	node limit

Counts

32 → 29

Calls

Call 1

Inputs
(*.f32 2 x)
(+.f32 (.f32 2 x) (.f32 2/3 (pow.f32 x 3)))
(+.f32 (.f32 2 x) (+.f32 (.f32 2/3 (pow.f32 x 3)) (*.f32 2/5 (pow.f32 x 5))))
(+.f32 (.f32 2 x) (+.f32 (.f32 2/3 (pow.f32 x 3)) (*.f32 2/5 (pow.f32 x 5))))
(*.f32 2/5 (pow.f32 x 5))
(+.f32 (.f32 2/3 (pow.f32 x 3)) (.f32 2/5 (pow.f32 x 5)))
(+.f32 (.f32 2 x) (+.f32 (.f32 2/3 (pow.f32 x 3)) (*.f32 2/5 (pow.f32 x 5))))
(+.f32 (.f32 2 x) (+.f32 (.f32 2/3 (pow.f32 x 3)) (*.f32 2/5 (pow.f32 x 5))))
(*.f32 2/5 (pow.f32 x 5))
(+.f32 (.f32 2/3 (pow.f32 x 3)) (.f32 2/5 (pow.f32 x 5)))
(+.f32 (.f32 2 x) (+.f32 (.f32 2/3 (pow.f32 x 3)) (*.f32 2/5 (pow.f32 x 5))))
(+.f32 (.f32 2 x) (+.f32 (.f32 2/3 (pow.f32 x 3)) (*.f32 2/5 (pow.f32 x 5))))
(-.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (.f32 2/5 (pow.f32 x 5))))) 0)
(.f32 2 (.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (.f32 2/5 (pow.f32 x 5))))) 1/2))
(.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))) 1)
(.f32 1 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))))
(.f32 (.f32 2 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (.f32 2/5 (pow.f32 x 5)))))) 1/2)
(.f32 4 (/.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))) 4))
(.f32 (.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (.f32 2/5 (pow.f32 x 5))))) 4) 1/4)
(.f32 1/2 (.f32 2 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (.f32 2/5 (pow.f32 x 5)))))))
(.f32 (.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (.f32 2/5 (pow.f32 x 5))))) 1/2) 2)
(.f32 1/4 (.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (.f32 2/5 (pow.f32 x 5))))) 4))
(.f32 (/.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))) 4) 4)
(/.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (.f32 2/5 (pow.f32 x 5))))) 1)
(/.f32 (.f32 2 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5)))))) 2)
(/.f32 (.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))) 4) 4)
(/.f32 (.f32 2 (.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (.f32 2/5 (pow.f32 x 5))))) 4)) 8)
(/.f32 (.f32 2 (.f32 2 (.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))) 4))) 16)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (.f32 2/5 (pow.f32 x 5))))) 4)))) 32)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))) 4))))) 64)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (.f32 2/5 (pow.f32 x 5))))) 4)))))) 128)
(pow.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (.f32 2/5 (pow.f32 x 5))))) 1)

Outputs
(*.f32 2 x)
(+.f32 (.f32 2 x) (.f32 2/3 (pow.f32 x 3)))
(+.f32 (.f32 2 x) (+.f32 (.f32 2/3 (pow.f32 x 3)) (*.f32 2/5 (pow.f32 x 5))))
(+.f32 (.f32 2 x) (+.f32 (.f32 2/3 (pow.f32 x 3)) (*.f32 2/5 (pow.f32 x 5))))
(*.f32 2/5 (pow.f32 x 5))
(+.f32 (.f32 2/3 (pow.f32 x 3)) (.f32 2/5 (pow.f32 x 5)))
(+.f32 (.f32 2 x) (+.f32 (.f32 2/3 (pow.f32 x 3)) (*.f32 2/5 (pow.f32 x 5))))
(+.f32 (.f32 2 x) (+.f32 (.f32 2/3 (pow.f32 x 3)) (*.f32 2/5 (pow.f32 x 5))))
(*.f32 2/5 (pow.f32 x 5))
(+.f32 (.f32 2/3 (pow.f32 x 3)) (.f32 2/5 (pow.f32 x 5)))
(+.f32 (.f32 2 x) (+.f32 (.f32 2/3 (pow.f32 x 3)) (*.f32 2/5 (pow.f32 x 5))))
(+.f32 (.f32 2 x) (+.f32 (.f32 2/3 (pow.f32 x 3)) (*.f32 2/5 (pow.f32 x 5))))
(-.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (.f32 2/5 (pow.f32 x 5))))) 0)
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 (.f32 2/5 (pow.f32 x 5)) x)))
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 x (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 (.f32 2/5 (pow.f32 x 5)) (+.f32 x (.f32 2/3 (pow.f32 x 3)))))
(.f32 2 (.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (.f32 2/5 (pow.f32 x 5))))) 1/2))
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 (.f32 2/5 (pow.f32 x 5)) x)))
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 x (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 (.f32 2/5 (pow.f32 x 5)) (+.f32 x (.f32 2/3 (pow.f32 x 3)))))
(.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))) 1)
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 (.f32 2/5 (pow.f32 x 5)) x)))
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 x (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 (.f32 2/5 (pow.f32 x 5)) (+.f32 x (.f32 2/3 (pow.f32 x 3)))))
(.f32 1 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))))
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 (.f32 2/5 (pow.f32 x 5)) x)))
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 x (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 (.f32 2/5 (pow.f32 x 5)) (+.f32 x (.f32 2/3 (pow.f32 x 3)))))
(.f32 (.f32 2 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (.f32 2/5 (pow.f32 x 5)))))) 1/2)
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 (.f32 2/5 (pow.f32 x 5)) x)))
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 x (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 (.f32 2/5 (pow.f32 x 5)) (+.f32 x (.f32 2/3 (pow.f32 x 3)))))
(.f32 4 (/.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))) 4))
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 (.f32 2/5 (pow.f32 x 5)) x)))
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 x (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 (.f32 2/5 (pow.f32 x 5)) (+.f32 x (.f32 2/3 (pow.f32 x 3)))))
(.f32 (.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (.f32 2/5 (pow.f32 x 5))))) 4) 1/4)
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 (.f32 2/5 (pow.f32 x 5)) x)))
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 x (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 (.f32 2/5 (pow.f32 x 5)) (+.f32 x (.f32 2/3 (pow.f32 x 3)))))
(.f32 1/2 (.f32 2 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (.f32 2/5 (pow.f32 x 5)))))))
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 (.f32 2/5 (pow.f32 x 5)) x)))
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 x (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 (.f32 2/5 (pow.f32 x 5)) (+.f32 x (.f32 2/3 (pow.f32 x 3)))))
(.f32 (.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (.f32 2/5 (pow.f32 x 5))))) 1/2) 2)
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 (.f32 2/5 (pow.f32 x 5)) x)))
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 x (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 (.f32 2/5 (pow.f32 x 5)) (+.f32 x (.f32 2/3 (pow.f32 x 3)))))
(.f32 1/4 (.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (.f32 2/5 (pow.f32 x 5))))) 4))
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 (.f32 2/5 (pow.f32 x 5)) x)))
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 x (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 (.f32 2/5 (pow.f32 x 5)) (+.f32 x (.f32 2/3 (pow.f32 x 3)))))
(.f32 (/.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))) 4) 4)
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 (.f32 2/5 (pow.f32 x 5)) x)))
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 x (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 (.f32 2/5 (pow.f32 x 5)) (+.f32 x (.f32 2/3 (pow.f32 x 3)))))
(/.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (.f32 2/5 (pow.f32 x 5))))) 1)
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 (.f32 2/5 (pow.f32 x 5)) x)))
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 x (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 (.f32 2/5 (pow.f32 x 5)) (+.f32 x (.f32 2/3 (pow.f32 x 3)))))
(/.f32 (.f32 2 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5)))))) 2)
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 (.f32 2/5 (pow.f32 x 5)) x)))
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 x (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 (.f32 2/5 (pow.f32 x 5)) (+.f32 x (.f32 2/3 (pow.f32 x 3)))))
(/.f32 (.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))) 4) 4)
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 (.f32 2/5 (pow.f32 x 5)) x)))
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 x (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 (.f32 2/5 (pow.f32 x 5)) (+.f32 x (.f32 2/3 (pow.f32 x 3)))))
(/.f32 (.f32 2 (.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (.f32 2/5 (pow.f32 x 5))))) 4)) 8)
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 (.f32 2/5 (pow.f32 x 5)) x)))
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 x (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 (.f32 2/5 (pow.f32 x 5)) (+.f32 x (.f32 2/3 (pow.f32 x 3)))))
(/.f32 (.f32 2 (.f32 2 (.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))) 4))) 16)
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 (.f32 2/5 (pow.f32 x 5)) x)))
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 x (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 (.f32 2/5 (pow.f32 x 5)) (+.f32 x (.f32 2/3 (pow.f32 x 3)))))
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (.f32 2/5 (pow.f32 x 5))))) 4)))) 32)
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 (.f32 2/5 (pow.f32 x 5)) x)))
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 x (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 (.f32 2/5 (pow.f32 x 5)) (+.f32 x (.f32 2/3 (pow.f32 x 3)))))
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (*.f32 2/5 (pow.f32 x 5))))) 4))))) 64)
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 (.f32 2/5 (pow.f32 x 5)) x)))
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 x (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 (.f32 2/5 (pow.f32 x 5)) (+.f32 x (.f32 2/3 (pow.f32 x 3)))))
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (.f32 2/5 (pow.f32 x 5))))) 4)))))) 128)
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 (.f32 2/5 (pow.f32 x 5)) x)))
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 x (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 (.f32 2/5 (pow.f32 x 5)) (+.f32 x (.f32 2/3 (pow.f32 x 3)))))
(pow.f32 (+.f32 x (+.f32 x (+.f32 (.f32 (pow.f32 x 3) 2/3) (.f32 2/5 (pow.f32 x 5))))) 1)
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 (.f32 2/5 (pow.f32 x 5)) x)))
(+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (+.f32 x (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 x (+.f32 (.f32 2/3 (pow.f32 x 3)) (.f32 2/5 (pow.f32 x 5)))))
(+.f32 x (+.f32 (.f32 2/5 (pow.f32 x 5)) (+.f32 x (.f32 2/3 (pow.f32 x 3)))))

eval61.0ms (1.1%)

Compiler: Compiled 2690 to 2252 computations (16.3% saved)

prune23.0ms (0.4%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	137	1	138
Fresh	0	0	0
Picked	0	1	1
Done	3	4	7
Total	140	6	146

Error

Counts

146 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(.f32 1/2 (+.f32 (+.f32 (.f32 (pow.f32 x 3) 2/3) (+.f32 (.f32 2 x) (.f32 2/5 (pow.f32 x 5)))) (*.f32 2/7 (pow.f32 x 7))))
✓	0.2b	(.f32 1/2 (+.f32 (.f32 (pow.f32 x 3) 2/3) (+.f32 (.f32 2 x) (.f32 2/5 (pow.f32 x 5)))))
✓	0.3b	(.f32 1/2 (+.f32 (.f32 (pow.f32 x 3) 2/3) (+.f32 x x)))
▶	0.9b	(.f32 1/2 (.f32 2 x))
✓	0.1b	(.f32 1/2 (log1p.f32 (/.f32 (.f32 2 x) (-.f32 1 x))))
✓	0.2b	(*.f32 1/2 (log1p.f32 (/.f32 2 (-.f32 -1 (/.f32 -1 x)))))

Compiler

Compiled 82 to 68 computations (17.1% saved)

localize13.0ms (0.2%)

Compiler: Compiled 12 to 9 computations (25% saved)

eval0.0ms (0%)

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

prune3.0ms (0.1%)

Pruning

6 alts after pruning (0 fresh and 6 done)

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

Error

Counts

6 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(.f32 1/2 (+.f32 (+.f32 (.f32 (pow.f32 x 3) 2/3) (+.f32 (.f32 2 x) (.f32 2/5 (pow.f32 x 5)))) (*.f32 2/7 (pow.f32 x 7))))
✓	0.2b	(.f32 1/2 (+.f32 (.f32 (pow.f32 x 3) 2/3) (+.f32 (.f32 2 x) (.f32 2/5 (pow.f32 x 5)))))
✓	0.3b	(.f32 1/2 (+.f32 (.f32 (pow.f32 x 3) 2/3) (+.f32 x x)))
✓	0.9b	(.f32 1/2 (.f32 2 x))
✓	0.1b	(.f32 1/2 (log1p.f32 (/.f32 (.f32 2 x) (-.f32 1 x))))
✓	0.2b	(*.f32 1/2 (log1p.f32 (/.f32 2 (-.f32 -1 (/.f32 -1 x)))))

Compiler

Compiled 82 to 68 computations (17.1% saved)

regimes25.0ms (0.4%)

Counts

9 → 1

Calls

Call 1

Inputs
(.f32 1/2 (.f32 2 x))
(*.f32 1/2 (log1p.f32 -2))
(*.f32 1/2 (log1p.f32 (+.f32 x x)))
(*.f32 1/2 (log1p.f32 (/.f32 2 (/.f32 1 x))))
(*.f32 1/2 (log1p.f32 (/.f32 2 (-.f32 -1 (/.f32 -1 x)))))
(.f32 1/2 (log1p.f32 (/.f32 (.f32 2 x) (-.f32 1 x))))
(.f32 1/2 (+.f32 (.f32 (pow.f32 x 3) 2/3) (+.f32 x x)))
(.f32 1/2 (+.f32 (.f32 (pow.f32 x 3) 2/3) (+.f32 (.f32 2 x) (.f32 2/5 (pow.f32 x 5)))))
(.f32 1/2 (+.f32 (+.f32 (.f32 (pow.f32 x 3) 2/3) (+.f32 (.f32 2 x) (.f32 2/5 (pow.f32 x 5)))) (*.f32 2/7 (pow.f32 x 7))))

Outputs
(.f32 1/2 (log1p.f32 (/.f32 (.f32 2 x) (-.f32 1 x))))

Calls

4 calls:

6.0ms	(log1p.f32 (/.f32 (*.f32 2 x) (-.f32 1 x)))
6.0ms	x
5.0ms	(.f32 1/2 (log1p.f32 (/.f32 (.f32 2 x) (-.f32 1 x))))
5.0ms	(/.f32 (*.f32 2 x) (-.f32 1 x))

Results

Error	Segments	Branch
0.1b	1	`x`
0.1b	1	`(.f32 1/2 (log1p.f32 (/.f32 (.f32 2 x) (-.f32 1 x))))`
0.1b	1	`(log1p.f32 (/.f32 (*.f32 2 x) (-.f32 1 x)))`
0.1b	1	`(/.f32 (*.f32 2 x) (-.f32 1 x))`

Compiler

Compiled 125 to 100 computations (20% saved)

regimes5.0ms (0.1%)

Counts

5 → 1

Calls

Call 1

Inputs
(.f32 1/2 (.f32 2 x))
(*.f32 1/2 (log1p.f32 -2))
(*.f32 1/2 (log1p.f32 (+.f32 x x)))
(*.f32 1/2 (log1p.f32 (/.f32 2 (/.f32 1 x))))
(*.f32 1/2 (log1p.f32 (/.f32 2 (-.f32 -1 (/.f32 -1 x)))))

Outputs
(*.f32 1/2 (log1p.f32 (/.f32 2 (-.f32 -1 (/.f32 -1 x)))))

Calls

1 calls:

4.0ms

Results

Error	Segments	Branch
0.2b	1	`x`

Compiler

Compiled 36 to 30 computations (16.7% saved)

regimes4.0ms (0.1%)

Accuracy

Total -31.1b remaining (-3613.9%)

Threshold costs -31.1b (-3613.9%)

Counts

4 → 1

Calls

Call 1

Inputs
(.f32 1/2 (.f32 2 x))
(*.f32 1/2 (log1p.f32 -2))
(*.f32 1/2 (log1p.f32 (+.f32 x x)))
(*.f32 1/2 (log1p.f32 (/.f32 2 (/.f32 1 x))))

Outputs
(.f32 1/2 (.f32 2 x))

Calls

1 calls:

3.0ms

Results

Error	Segments	Branch
0.9b	1	`x`

Compiler

Compiled 26 to 21 computations (19.2% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	71

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(.f32 1/2 (log1p.f32 (/.f32 (.f32 2 x) (-.f32 1 x))))
(*.f32 1/2 (log1p.f32 (/.f32 2 (-.f32 -1 (/.f32 -1 x)))))
(.f32 1/2 (.f32 2 x))

Outputs
(.f32 1/2 (log1p.f32 (/.f32 (.f32 2 x) (-.f32 1 x))))
(*.f32 1/2 (log1p.f32 (/.f32 2 (-.f32 -1 (/.f32 -1 x)))))
(.f32 1/2 (.f32 2 x))

Compiler

Compiled 28 to 24 computations (14.3% saved)

soundness0.0ms (0%)

end90.0ms (1.6%)

Compiler: Compiled 26 to 22 computations (15.4% saved)

Details

analyze7.0ms (0.1%)

sample2.5s (43.9%)

preprocess16.0ms (0.3%)

simplify180.0ms (3.1%)

eval1.0ms (0%)

prune1.0ms (0%)

localize36.0ms (0.6%)

series2.0ms (0%)

rewrite113.0ms (2%)

simplify132.0ms (2.3%)

eval77.0ms (1.3%)

prune90.0ms (1.6%)

localize211.0ms (3.7%)

series4.0ms (0.1%)

rewrite258.0ms (4.5%)

simplify405.0ms (7.1%)

localize11.0ms (0.2%)

localize17.0ms (0.3%)

localize84.0ms (1.5%)

series3.0ms (0%)

rewrite88.0ms (1.5%)

simplify91.0ms (1.6%)

localize123.0ms (2.1%)

eval210.0ms (3.7%)

prune64.0ms (1.1%)

localize27.0ms (0.5%)

series1.0ms (0%)

rewrite91.0ms (1.6%)

simplify107.0ms (1.9%)

localize61.0ms (1.1%)

series1.0ms (0%)

rewrite193.0ms (3.4%)

simplify283.0ms (4.9%)

eval61.0ms (1.1%)

prune23.0ms (0.4%)

localize13.0ms (0.2%)

eval0.0ms (0%)

prune3.0ms (0.1%)

regimes25.0ms (0.4%)

regimes5.0ms (0.1%)

regimes4.0ms (0.1%)

simplify4.0ms (0.1%)

soundness0.0ms (0%)

end90.0ms (1.6%)

Profiling