Details

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	25%	75%	0%	0%	0%	0
100%	25%	0%	75%	0%	0%	0%	1

Compiler

Compiled 6 to 4 computations (33.3% saved)

sample2.5s (68%)

Results

2.5s

8256×

body

256

valid

Bogosity

preprocess5.0ms (0.1%)

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
(acosh.f64 x)

Outputs
(acosh.f64 x)

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify128.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

1814×	`rational.json-simplify-35`
1350×	`rational.json-simplify-53`
1016×	`rational.json-simplify-39`
864×	`rational.json-simplify-59`
750×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	27
1	14	27
2	19	27
3	37	27
4	185	27
5	1957	27
6	5904	27
7	7843	27

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))

Outputs
(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) -1))))

eval0.0ms (0%)

Compiler: Compiled 19 to 12 computations (36.8% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

32.8b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	32.8b	(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))

Compiler

Compiled 10 to 7 computations (30% saved)

localize13.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1)))
✓	30.6b	(sqrt.f64 (-.f64 (*.f64 x x) 1))

Compiler

Compiled 34 to 17 computations (50% saved)

series2.0ms (0%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(sqrt.f64 (-.f64 (*.f64 x x) 1))
0.0ms	x	@	inf	(sqrt.f64 (-.f64 (*.f64 x x) 1))
0.0ms	x	@	-inf	(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1)))
0.0ms	x	@	-inf	(sqrt.f64 (-.f64 (*.f64 x x) 1))
0.0ms	x	@	0	(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1)))

rewrite341.0ms (9.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1752×	`bool.json-1`
1752×	`bool.json-2`
1724×	`rational.json-1`
1340×	`bool.json-3`
868×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	40
1	97	40
2	284	40
3	615	40
4	1861	40
5	5777	40

Stop Event

1×	node limit

Counts

2 → 26

Calls

Call 1

Inputs
(sqrt.f64 (-.f64 (*.f64 x x) 1))
(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1)))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (sqrt.f64 (+.f64 (.f64 x x) -1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sqrt.f64 (+.f64 (.f64 x x) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (sqrt.f64 (+.f64 (.f64 x x) -1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (sqrt.f64 (+.f64 (.f64 x x) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (+.f64 (.f64 x x) -1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (/.f64 (sqrt.f64 (+.f64 (.f64 x x) -1)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (sqrt.f64 (+.f64 (.f64 x x) -1)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 (sqrt.f64 (+.f64 (.f64 x x) -1)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (+.f64 (.f64 x x) -1)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (+.f64 (.f64 x x) -1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sqrt.f64 (+.f64 (.f64 x x) -1)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sqrt.f64 (+.f64 (.f64 x x) -1)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (sqrt.f64 (+.f64 (.f64 x x) -1)) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 (sqrt.f64 (+.f64 (.f64 x x) -1)) 4)) (.f64 2 (.f64 (sqrt.f64 (+.f64 (.f64 x x) -1)) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (sqrt.f64 (+.f64 (.f64 x x) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x and (sqrt.f64 (+.f64 (.f64 x x) -1)) (sqrt.f64 (+.f64 (.f64 x x) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x or (sqrt.f64 (+.f64 (.f64 x x) -1)) (sqrt.f64 (+.f64 (.f64 x x) -1)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (/.f64 (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))) 4)) (.f64 2 (.f64 (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))) (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))) (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (sqrt.f64 (+.f64 (*.f64 x x) -1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sqrt.f64 (+.f64 (*.f64 x x) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (sqrt.f64 (+.f64 (*.f64 x x) -1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (+.f64 (*.f64 x x) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (+.f64 (*.f64 x x) -1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (/.f64 (sqrt.f64 (+.f64 (*.f64 x x) -1)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 x x) -1)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (sqrt.f64 (+.f64 (*.f64 x x) -1)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (+.f64 (*.f64 x x) -1)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (+.f64 (*.f64 x x) -1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 x x) -1)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 x x) -1)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (sqrt.f64 (+.f64 (*.f64 x x) -1)) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (sqrt.f64 (+.f64 (*.f64 x x) -1)) 4)) (*.f64 2 (*.f64 (sqrt.f64 (+.f64 (*.f64 x x) -1)) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (sqrt.f64 (+.f64 (*.f64 x x) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x and (sqrt.f64 (+.f64 (*.f64 x x) -1)) (sqrt.f64 (+.f64 (*.f64 x x) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x or (sqrt.f64 (+.f64 (*.f64 x x) -1)) (sqrt.f64 (+.f64 (*.f64 x x) -1)))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) -1))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) -1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (/.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) -1))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) -1))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) -1))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) -1))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) -1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) -1))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) -1))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) -1))) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) -1))) 4)) (*.f64 2 (*.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) -1))) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) -1))) (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) -1))) (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) -1))))))))

simplify161.0ms (4.4%)

Algorithm

1×	egg-herbie

Rules

942×	`rational.json-simplify-19`
914×	`rational.json-simplify-2`
808×	`rational.json-simplify-1`
722×	`rational.json-simplify-59`
664×	`rational.json-simplify-50`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	114	1476
1	230	1468
2	424	1468
3	912	1468
4	2093	1468
5	4327	1468
6	5919	1468
7	7939	1468

Stop Event

1×	node limit

Counts

50 → 85

Calls

Call 1

Inputs
(sqrt.f64 -1)
(+.f64 (sqrt.f64 -1) (*.f64 1/2 (/.f64 (pow.f64 x 2) (sqrt.f64 -1))))
(+.f64 (.f64 -1/8 (/.f64 (pow.f64 x 4) (pow.f64 (sqrt.f64 -1) 3))) (+.f64 (sqrt.f64 -1) (.f64 1/2 (/.f64 (pow.f64 x 2) (sqrt.f64 -1)))))
(+.f64 (.f64 -1/8 (/.f64 (pow.f64 x 4) (pow.f64 (sqrt.f64 -1) 3))) (+.f64 (sqrt.f64 -1) (+.f64 (.f64 1/2 (/.f64 (pow.f64 x 2) (sqrt.f64 -1))) (*.f64 1/16 (/.f64 (pow.f64 x 6) (pow.f64 (sqrt.f64 -1) 5))))))
x
(-.f64 x (*.f64 1/2 (/.f64 1 x)))
(-.f64 x (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 1/8 (/.f64 1 (pow.f64 x 3)))))
(-.f64 x (+.f64 (.f64 1/2 (/.f64 1 x)) (+.f64 (.f64 1/16 (/.f64 1 (pow.f64 x 5))) (*.f64 1/8 (/.f64 1 (pow.f64 x 3))))))
(*.f64 -1 x)
(+.f64 (.f64 -1 x) (.f64 1/2 (/.f64 1 x)))
(+.f64 (.f64 1/2 (/.f64 1 x)) (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (*.f64 -1 x)))
(+.f64 (.f64 1/2 (/.f64 1 x)) (+.f64 (.f64 1/16 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (.f64 -1 x))))
(sqrt.f64 -1)
(+.f64 (sqrt.f64 -1) x)
(+.f64 (sqrt.f64 -1) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 x 2) (sqrt.f64 -1))) x))
(+.f64 (.f64 -1/8 (/.f64 (pow.f64 x 4) (pow.f64 (sqrt.f64 -1) 3))) (+.f64 (sqrt.f64 -1) (+.f64 (.f64 1/2 (/.f64 (pow.f64 x 2) (sqrt.f64 -1))) x)))
(*.f64 2 x)
(-.f64 (.f64 2 x) (.f64 1/2 (/.f64 1 x)))
(-.f64 (.f64 2 x) (+.f64 (.f64 1/2 (/.f64 1 x)) (*.f64 1/8 (/.f64 1 (pow.f64 x 3)))))
(-.f64 (.f64 2 x) (+.f64 (.f64 1/2 (/.f64 1 x)) (+.f64 (.f64 1/16 (/.f64 1 (pow.f64 x 5))) (.f64 1/8 (/.f64 1 (pow.f64 x 3))))))
(/.f64 1/2 x)
(+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (.f64 1/2 (/.f64 1 x)))
(+.f64 (.f64 1/16 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (*.f64 1/2 (/.f64 1 x))))
(+.f64 (.f64 1/16 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 5/128 (/.f64 1 (pow.f64 x 7))))))
(+.f64 (sqrt.f64 (+.f64 (*.f64 x x) -1)) 0)
(+.f64 0 (sqrt.f64 (+.f64 (*.f64 x x) -1)))
(-.f64 (sqrt.f64 (+.f64 (*.f64 x x) -1)) 0)
(.f64 1 (sqrt.f64 (+.f64 (.f64 x x) -1)))
(.f64 (sqrt.f64 (+.f64 (.f64 x x) -1)) 1)
(.f64 2 (/.f64 (sqrt.f64 (+.f64 (.f64 x x) -1)) 2))
(.f64 (.f64 (sqrt.f64 (+.f64 (*.f64 x x) -1)) 2) 1/2)
(.f64 1/2 (.f64 (sqrt.f64 (+.f64 (*.f64 x x) -1)) 2))
(.f64 (/.f64 (sqrt.f64 (+.f64 (.f64 x x) -1)) 2) 2)
(/.f64 (sqrt.f64 (+.f64 (*.f64 x x) -1)) 1)
(/.f64 (.f64 (sqrt.f64 (+.f64 (.f64 x x) -1)) 2) 2)
(/.f64 (.f64 (sqrt.f64 (+.f64 (.f64 x x) -1)) 4) 4)
(/.f64 (.f64 2 (.f64 (sqrt.f64 (+.f64 (*.f64 x x) -1)) 4)) 8)
(/.f64 (+.f64 (.f64 2 (.f64 (sqrt.f64 (+.f64 (.f64 x x) -1)) 4)) (.f64 2 (.f64 (sqrt.f64 (+.f64 (.f64 x x) -1)) 4))) 16)
(-.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) -1))) 0)
(.f64 1 (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))))
(.f64 (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))) 1)
(.f64 2 (/.f64 (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))) 2))
(.f64 (.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) -1))) 2) 1/2)
(.f64 1/2 (.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) -1))) 2))
(.f64 (/.f64 (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))) 2) 2)
(/.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) -1))) 1)
(/.f64 (.f64 (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))) 2) 2)
(/.f64 (.f64 (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))) 4) 4)
(/.f64 (.f64 2 (.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) -1))) 4)) 8)
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))) 4)) (.f64 2 (.f64 (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))) 4))) 16)

Outputs
(sqrt.f64 -1)
(+.f64 (sqrt.f64 -1) (*.f64 1/2 (/.f64 (pow.f64 x 2) (sqrt.f64 -1))))
(+.f64 (.f64 -1/8 (/.f64 (pow.f64 x 4) (pow.f64 (sqrt.f64 -1) 3))) (+.f64 (sqrt.f64 -1) (.f64 1/2 (/.f64 (pow.f64 x 2) (sqrt.f64 -1)))))
(+.f64 (sqrt.f64 -1) (+.f64 (.f64 1/2 (/.f64 (pow.f64 x 2) (sqrt.f64 -1))) (.f64 -1/8 (/.f64 (pow.f64 x 4) (pow.f64 (sqrt.f64 -1) 3)))))
(+.f64 (+.f64 (sqrt.f64 -1) (.f64 1/2 (/.f64 (pow.f64 x 2) (sqrt.f64 -1)))) (.f64 -1/8 (/.f64 (pow.f64 x 4) (pow.f64 (sqrt.f64 -1) 3))))
(+.f64 (.f64 -1/8 (/.f64 (pow.f64 x 4) (pow.f64 (sqrt.f64 -1) 3))) (+.f64 (sqrt.f64 -1) (+.f64 (.f64 1/2 (/.f64 (pow.f64 x 2) (sqrt.f64 -1))) (*.f64 1/16 (/.f64 (pow.f64 x 6) (pow.f64 (sqrt.f64 -1) 5))))))
(+.f64 (sqrt.f64 -1) (+.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 x 2) (sqrt.f64 -1))) (.f64 1/16 (/.f64 (pow.f64 x 6) (pow.f64 (sqrt.f64 -1) 5)))) (*.f64 -1/8 (/.f64 (pow.f64 x 4) (pow.f64 (sqrt.f64 -1) 3)))))
(+.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 x 2) (sqrt.f64 -1))) (.f64 1/16 (/.f64 (pow.f64 x 6) (pow.f64 (sqrt.f64 -1) 5)))) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 x 4) (pow.f64 (sqrt.f64 -1) 3))) (sqrt.f64 -1)))
(+.f64 (sqrt.f64 -1) (+.f64 (.f64 1/16 (/.f64 (pow.f64 x 6) (pow.f64 (sqrt.f64 -1) 5))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 x 2) (sqrt.f64 -1))) (*.f64 -1/8 (/.f64 (pow.f64 x 4) (pow.f64 (sqrt.f64 -1) 3))))))
(+.f64 (sqrt.f64 -1) (+.f64 (.f64 -1/8 (/.f64 (pow.f64 x 4) (pow.f64 (sqrt.f64 -1) 3))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 x 2) (sqrt.f64 -1))) (*.f64 1/16 (/.f64 (pow.f64 x 6) (pow.f64 (sqrt.f64 -1) 5))))))
x
(-.f64 x (*.f64 1/2 (/.f64 1 x)))
(-.f64 x (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 1/8 (/.f64 1 (pow.f64 x 3)))))
(-.f64 x (+.f64 (.f64 1/2 (/.f64 1 x)) (+.f64 (.f64 1/16 (/.f64 1 (pow.f64 x 5))) (*.f64 1/8 (/.f64 1 (pow.f64 x 3))))))
(-.f64 x (+.f64 (.f64 1/2 (/.f64 1 x)) (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (*.f64 1/16 (/.f64 1 (pow.f64 x 5))))))
(*.f64 -1 x)
(neg.f64 x)
(+.f64 (.f64 -1 x) (.f64 1/2 (/.f64 1 x)))
(+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 -1 x))
(+.f64 (*.f64 1/2 (/.f64 1 x)) (neg.f64 x))
(+.f64 (.f64 1/2 (/.f64 1 x)) (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (*.f64 -1 x)))
(+.f64 (.f64 1/2 (/.f64 1 x)) (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (neg.f64 x)))
(+.f64 (.f64 1/2 (/.f64 1 x)) (+.f64 (.f64 1/16 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (.f64 -1 x))))
(+.f64 (.f64 1/2 (/.f64 1 x)) (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 -1 x) (.f64 1/16 (/.f64 1 (pow.f64 x 5))))))
(+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (+.f64 (+.f64 (.f64 1/16 (/.f64 1 (pow.f64 x 5))) (neg.f64 x)) (*.f64 1/2 (/.f64 1 x))))
(+.f64 (.f64 1/2 (/.f64 1 x)) (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (+.f64 (*.f64 1/16 (/.f64 1 (pow.f64 x 5))) (neg.f64 x))))
(+.f64 (.f64 1/2 (/.f64 1 x)) (+.f64 (.f64 1/16 (/.f64 1 (pow.f64 x 5))) (+.f64 (*.f64 1/8 (/.f64 1 (pow.f64 x 3))) (neg.f64 x))))
(sqrt.f64 -1)
(+.f64 (sqrt.f64 -1) x)
(+.f64 (sqrt.f64 -1) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 x 2) (sqrt.f64 -1))) x))
(+.f64 (sqrt.f64 -1) (+.f64 x (*.f64 1/2 (/.f64 (pow.f64 x 2) (sqrt.f64 -1)))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 x 2) (sqrt.f64 -1))) (+.f64 (sqrt.f64 -1) x))
(+.f64 (.f64 -1/8 (/.f64 (pow.f64 x 4) (pow.f64 (sqrt.f64 -1) 3))) (+.f64 (sqrt.f64 -1) (+.f64 (.f64 1/2 (/.f64 (pow.f64 x 2) (sqrt.f64 -1))) x)))
(+.f64 (sqrt.f64 -1) (+.f64 (+.f64 x (.f64 1/2 (/.f64 (pow.f64 x 2) (sqrt.f64 -1)))) (.f64 -1/8 (/.f64 (pow.f64 x 4) (pow.f64 (sqrt.f64 -1) 3)))))
(+.f64 (sqrt.f64 -1) (+.f64 (.f64 -1/8 (/.f64 (pow.f64 x 4) (pow.f64 (sqrt.f64 -1) 3))) (+.f64 x (.f64 1/2 (/.f64 (pow.f64 x 2) (sqrt.f64 -1))))))
(+.f64 (sqrt.f64 -1) (+.f64 x (+.f64 (.f64 1/2 (/.f64 (pow.f64 x 2) (sqrt.f64 -1))) (.f64 -1/8 (/.f64 (pow.f64 x 4) (pow.f64 (sqrt.f64 -1) 3))))))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 x 2) (sqrt.f64 -1))) (+.f64 x (+.f64 (sqrt.f64 -1) (.f64 -1/8 (/.f64 (pow.f64 x 4) (pow.f64 (sqrt.f64 -1) 3))))))
(*.f64 2 x)
(*.f64 x 2)
(+.f64 x x)
(-.f64 (.f64 2 x) (.f64 1/2 (/.f64 1 x)))
(-.f64 (.f64 x 2) (.f64 1/2 (/.f64 1 x)))
(-.f64 (+.f64 x x) (*.f64 1/2 (/.f64 1 x)))
(-.f64 (.f64 2 x) (+.f64 (.f64 1/2 (/.f64 1 x)) (*.f64 1/8 (/.f64 1 (pow.f64 x 3)))))
(-.f64 (.f64 x 2) (+.f64 (.f64 1/2 (/.f64 1 x)) (*.f64 1/8 (/.f64 1 (pow.f64 x 3)))))
(-.f64 (+.f64 x x) (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 1/8 (/.f64 1 (pow.f64 x 3)))))
(-.f64 (.f64 2 x) (+.f64 (.f64 1/2 (/.f64 1 x)) (+.f64 (.f64 1/16 (/.f64 1 (pow.f64 x 5))) (.f64 1/8 (/.f64 1 (pow.f64 x 3))))))
(-.f64 (.f64 x 2) (+.f64 (.f64 1/2 (/.f64 1 x)) (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (.f64 1/16 (/.f64 1 (pow.f64 x 5))))))
(-.f64 (+.f64 x x) (+.f64 (.f64 1/2 (/.f64 1 x)) (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (*.f64 1/16 (/.f64 1 (pow.f64 x 5))))))
(/.f64 1/2 x)
(+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (.f64 1/2 (/.f64 1 x)))
(+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 1/8 (/.f64 1 (pow.f64 x 3))))
(+.f64 (.f64 1/16 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (*.f64 1/2 (/.f64 1 x))))
(+.f64 (.f64 1/2 (/.f64 1 x)) (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (*.f64 1/16 (/.f64 1 (pow.f64 x 5)))))
(+.f64 (.f64 1/16 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 5/128 (/.f64 1 (pow.f64 x 7))))))
(+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (+.f64 (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 5/128 (/.f64 1 (pow.f64 x 7)))) (.f64 1/16 (/.f64 1 (pow.f64 x 5)))))
(+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 1/16 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 5/128 (/.f64 1 (pow.f64 x 7))))))
(+.f64 (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 1/8 (/.f64 1 (pow.f64 x 3)))) (+.f64 (.f64 1/16 (/.f64 1 (pow.f64 x 5))) (.f64 5/128 (/.f64 1 (pow.f64 x 7)))))
(+.f64 (sqrt.f64 (+.f64 (*.f64 x x) -1)) 0)
(sqrt.f64 (+.f64 -1 (*.f64 x x)))
(+.f64 0 (sqrt.f64 (+.f64 (*.f64 x x) -1)))
(sqrt.f64 (+.f64 -1 (*.f64 x x)))
(-.f64 (sqrt.f64 (+.f64 (*.f64 x x) -1)) 0)
(sqrt.f64 (+.f64 -1 (*.f64 x x)))
(.f64 1 (sqrt.f64 (+.f64 (.f64 x x) -1)))
(sqrt.f64 (+.f64 -1 (*.f64 x x)))
(.f64 (sqrt.f64 (+.f64 (.f64 x x) -1)) 1)
(sqrt.f64 (+.f64 -1 (*.f64 x x)))
(.f64 2 (/.f64 (sqrt.f64 (+.f64 (.f64 x x) -1)) 2))
(sqrt.f64 (+.f64 -1 (*.f64 x x)))
(.f64 (.f64 (sqrt.f64 (+.f64 (*.f64 x x) -1)) 2) 1/2)
(sqrt.f64 (+.f64 -1 (*.f64 x x)))
(.f64 1/2 (.f64 (sqrt.f64 (+.f64 (*.f64 x x) -1)) 2))
(sqrt.f64 (+.f64 -1 (*.f64 x x)))
(.f64 (/.f64 (sqrt.f64 (+.f64 (.f64 x x) -1)) 2) 2)
(sqrt.f64 (+.f64 -1 (*.f64 x x)))
(/.f64 (sqrt.f64 (+.f64 (*.f64 x x) -1)) 1)
(sqrt.f64 (+.f64 -1 (*.f64 x x)))
(/.f64 (.f64 (sqrt.f64 (+.f64 (.f64 x x) -1)) 2) 2)
(sqrt.f64 (+.f64 -1 (*.f64 x x)))
(/.f64 (.f64 (sqrt.f64 (+.f64 (.f64 x x) -1)) 4) 4)
(sqrt.f64 (+.f64 -1 (*.f64 x x)))
(/.f64 (.f64 2 (.f64 (sqrt.f64 (+.f64 (*.f64 x x) -1)) 4)) 8)
(sqrt.f64 (+.f64 -1 (*.f64 x x)))
(/.f64 (+.f64 (.f64 2 (.f64 (sqrt.f64 (+.f64 (.f64 x x) -1)) 4)) (.f64 2 (.f64 (sqrt.f64 (+.f64 (.f64 x x) -1)) 4))) 16)
(sqrt.f64 (+.f64 -1 (*.f64 x x)))
(-.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) -1))) 0)
(+.f64 x (sqrt.f64 (+.f64 -1 (*.f64 x x))))
(.f64 1 (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))))
(+.f64 x (sqrt.f64 (+.f64 -1 (*.f64 x x))))
(.f64 (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))) 1)
(+.f64 x (sqrt.f64 (+.f64 -1 (*.f64 x x))))
(.f64 2 (/.f64 (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))) 2))
(+.f64 x (sqrt.f64 (+.f64 -1 (*.f64 x x))))
(.f64 (.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) -1))) 2) 1/2)
(+.f64 x (sqrt.f64 (+.f64 -1 (*.f64 x x))))
(.f64 1/2 (.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) -1))) 2))
(+.f64 x (sqrt.f64 (+.f64 -1 (*.f64 x x))))
(.f64 (/.f64 (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))) 2) 2)
(+.f64 x (sqrt.f64 (+.f64 -1 (*.f64 x x))))
(/.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) -1))) 1)
(+.f64 x (sqrt.f64 (+.f64 -1 (*.f64 x x))))
(/.f64 (.f64 (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))) 2) 2)
(+.f64 x (sqrt.f64 (+.f64 -1 (*.f64 x x))))
(/.f64 (.f64 (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))) 4) 4)
(+.f64 x (sqrt.f64 (+.f64 -1 (*.f64 x x))))
(/.f64 (.f64 2 (.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) -1))) 4)) 8)
(+.f64 x (sqrt.f64 (+.f64 -1 (*.f64 x x))))
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))) 4)) (.f64 2 (.f64 (+.f64 x (sqrt.f64 (+.f64 (.f64 x x) -1))) 4))) 16)
(+.f64 x (sqrt.f64 (+.f64 -1 (*.f64 x x))))

eval83.0ms (2.3%)

Compiler: Compiled 1491 to 1183 computations (20.7% saved)

prune11.0ms (0.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	83	2	85
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	84	2	86

Error

Counts

86 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0b	(log.f64 (-.f64 (+.f64 x x) (*.f64 1/2 (/.f64 1 x))))
▶	0.3b	(log.f64 (+.f64 x x))

Compiler

Compiled 16 to 11 computations (31.3% saved)

localize5.0ms (0.1%)

Compiler: Compiled 9 to 3 computations (66.7% saved)

localize16.0ms (0.4%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 1/2 (/.f64 1 x))

Compiler

Compiled 34 to 21 computations (38.2% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite89.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

2000×	`bool.json-1`
998×	`rational.json-simplify-35`
880×	`bool.json-2`
840×	`rational.json-1`
840×	`rational.json-2`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	80	13
2	250	13
3	514	7
4	1052	7
5	2735	7
6	7749	7

Stop Event

1×	node limit

Counts

1 → 79

Calls

Call 1

Inputs
(*.f64 1/2 (/.f64 1 x))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 1/2 x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 1/2 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 1/4 x) (/.f64 1/4 x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 1/2 x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1/2 x)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (+.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (.f64 x (.f64 x 4)) (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 x (.f64 x (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 x) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1/2 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 2 (.f64 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 2 (/.f64 (.f64 x -2) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 2 (/.f64 x 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 2 (-.f64 0 (.f64 4 (neg.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 2 (-.f64 0 (neg.f64 (.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 2 (/.f64 (.f64 x (+.f64 x x)) (.f64 1/2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x x) (.f64 x (.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 2 x) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 4 (.f64 x 8))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 4 (+.f64 (/.f64 (.f64 x -2) -1/2) (/.f64 (.f64 x -2) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 4 (/.f64 (+.f64 x x) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 4 (/.f64 (.f64 4 (neg.f64 x)) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 4 (/.f64 (neg.f64 (.f64 x 4)) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x 4) (.f64 (.f64 x x) 8))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (.f64 x -2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (/.f64 (neg.f64 x) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 x) (-.f64 0 (.f64 x (+.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x x) (/.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 1/2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 8 (.f64 4 (.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 8 (/.f64 (.f64 x 4) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 8 (/.f64 (neg.f64 (.f64 x 8)) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 4 x) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x 8) (.f64 4 (.f64 x (.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x 8) (+.f64 (.f64 (.f64 x x) 8) (.f64 (.f64 x x) 8)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -2 (.f64 4 (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -2 (neg.f64 (.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -2 (/.f64 (.f64 x -2) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -2 (/.f64 (+.f64 x x) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x -2) (-.f64 0 (.f64 x (.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 16 (.f64 4 (.f64 x 8)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 16 (/.f64 (.f64 x 8) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 16 (/.f64 (.f64 4 (.f64 x 4)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 4 (.f64 x 4)) (+.f64 (.f64 4 (.f64 x (.f64 x 4))) (.f64 4 (.f64 x (.f64 x 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (/.f64 1 x) 8) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -4 (.f64 4 (.f64 x -2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -4 (.f64 2 (neg.f64 (.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -4 (neg.f64 (.f64 x 8)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -4 (/.f64 (.f64 x 4) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1/2 (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1/4 (.f64 1/2 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1/4 x) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 1/2 x) (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 32 (+.f64 (.f64 4 (.f64 x 8)) (.f64 4 (.f64 x 8))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (/.f64 1 x) 8)) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -8 (+.f64 (.f64 4 (.f64 x -2)) (.f64 4 (.f64 x -2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -8 (+.f64 (.f64 2 (neg.f64 (.f64 x 4))) (.f64 2 (neg.f64 (.f64 x 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -8 (+.f64 (neg.f64 (.f64 x 8)) (neg.f64 (.f64 x 8))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -8 (-.f64 0 (.f64 4 (.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -8 (/.f64 (.f64 x 8) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1/8 (.f64 1/2 (.f64 1/2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1/8 (/.f64 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 x 4) (.f64 x (.f64 1/2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 x 4) (/.f64 (.f64 x x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1/8 x) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1/4 (neg.f64 (.f64 1/2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 -1 x) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 -1/2 x) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 1/2 x)) (neg.f64 (.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (/.f64 1/8 x) (/.f64 1/8 x)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (/.f64 -1/2 x) (/.f64 -1/2 x)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (neg.f64 (.f64 1/2 x)) (neg.f64 (.f64 1/2 x))) (+.f64 (neg.f64 (.f64 x x)) (neg.f64 (.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 1/2 x) (.f64 x 4)) (.f64 x 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1/2 (.f64 x 8)) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 -1/2 (+.f64 x x)) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1/4 (.f64 x 4)) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 1/2 x) (fabs.f64 x)) (fabs.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 1/2 x) (.f64 2 (fabs.f64 x))) (.f64 1/2 (fabs.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (neg.f64 (.f64 1/2 x))) (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 -1/2 x))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (/.f64 1/2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x and (/.f64 1/2 x) (/.f64 1/2 x))))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 1/2 x) (/.f64 1/2 x))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 1/2 x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 1/2 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 1/4 x) (/.f64 1/4 x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 1/2 x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1/2 x)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (+.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (*.f64 x (*.f64 x 4)) (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 x (*.f64 x (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 x) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1/2 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 2 (*.f64 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 2 (/.f64 (*.f64 x -2) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 2 (/.f64 x 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 2 (-.f64 0 (*.f64 4 (neg.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 2 (-.f64 0 (neg.f64 (*.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 2 (/.f64 (*.f64 x (+.f64 x x)) (*.f64 1/2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x x) (*.f64 x (*.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 2 x) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 4 (*.f64 x 8))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 4 (+.f64 (/.f64 (*.f64 x -2) -1/2) (/.f64 (*.f64 x -2) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 4 (/.f64 (+.f64 x x) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 4 (/.f64 (*.f64 4 (neg.f64 x)) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 4 (/.f64 (neg.f64 (*.f64 x 4)) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x 4) (*.f64 (*.f64 x x) 8))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (*.f64 x -2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (/.f64 (neg.f64 x) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 x) (-.f64 0 (*.f64 x (+.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x x) (/.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 1/2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 8 (*.f64 4 (*.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 8 (/.f64 (*.f64 x 4) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 8 (/.f64 (neg.f64 (*.f64 x 8)) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 4 x) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x 8) (*.f64 4 (*.f64 x (*.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x 8) (+.f64 (*.f64 (*.f64 x x) 8) (*.f64 (*.f64 x x) 8)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -2 (*.f64 4 (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -2 (neg.f64 (*.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -2 (/.f64 (*.f64 x -2) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -2 (/.f64 (+.f64 x x) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x -2) (-.f64 0 (*.f64 x (*.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 16 (*.f64 4 (*.f64 x 8)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 16 (/.f64 (*.f64 x 8) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 16 (/.f64 (*.f64 4 (*.f64 x 4)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 (*.f64 x 4)) (+.f64 (*.f64 4 (*.f64 x (*.f64 x 4))) (*.f64 4 (*.f64 x (*.f64 x 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 1 x) 8) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -4 (*.f64 4 (*.f64 x -2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -4 (*.f64 2 (neg.f64 (*.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -4 (neg.f64 (*.f64 x 8)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -4 (/.f64 (*.f64 x 4) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1/2 (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1/4 (*.f64 1/2 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1/4 x) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 1/2 x) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 32 (+.f64 (*.f64 4 (*.f64 x 8)) (*.f64 4 (*.f64 x 8))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (/.f64 1 x) 8)) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -8 (+.f64 (*.f64 4 (*.f64 x -2)) (*.f64 4 (*.f64 x -2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -8 (+.f64 (*.f64 2 (neg.f64 (*.f64 x 4))) (*.f64 2 (neg.f64 (*.f64 x 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -8 (+.f64 (neg.f64 (*.f64 x 8)) (neg.f64 (*.f64 x 8))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -8 (-.f64 0 (*.f64 4 (*.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -8 (/.f64 (*.f64 x 8) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1/8 (*.f64 1/2 (*.f64 1/2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1/8 (/.f64 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 x 4) (*.f64 x (*.f64 1/2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 x 4) (/.f64 (*.f64 x x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1/8 x) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1/4 (neg.f64 (*.f64 1/2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 -1 x) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 -1/2 x) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 1/2 x)) (neg.f64 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (/.f64 1/8 x) (/.f64 1/8 x)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (/.f64 -1/2 x) (/.f64 -1/2 x)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (neg.f64 (*.f64 1/2 x)) (neg.f64 (*.f64 1/2 x))) (+.f64 (neg.f64 (*.f64 x x)) (neg.f64 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 1/2 x) (*.f64 x 4)) (*.f64 x 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1/2 (*.f64 x 8)) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 -1/2 (+.f64 x x)) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1/4 (*.f64 x 4)) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 1/2 x) (fabs.f64 x)) (fabs.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 1/2 x) (*.f64 2 (fabs.f64 x))) (*.f64 1/2 (fabs.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (neg.f64 (*.f64 1/2 x))) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 -1/2 x))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (/.f64 1/2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x and (/.f64 1/2 x) (/.f64 1/2 x))))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 1/2 x) (/.f64 1/2 x))))))

simplify66.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

1658×	`rational.json-simplify-35`
1128×	`rational.json-simplify-46`
1080×	`rational.json-simplify-2`
950×	`rational.json-simplify-40`
768×	`rational.json-simplify-61`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	177	637
1	588	637
2	1919	637
3	5779	637

Stop Event

1×	node limit

Counts

91 → 79

Calls

Call 1

Inputs
(/.f64 1/2 x)
(/.f64 1/2 x)
(/.f64 1/2 x)
(/.f64 1/2 x)
(/.f64 1/2 x)
(/.f64 1/2 x)
(/.f64 1/2 x)
(/.f64 1/2 x)
(/.f64 1/2 x)
(/.f64 1/2 x)
(/.f64 1/2 x)
(/.f64 1/2 x)
(+.f64 (/.f64 1/2 x) 0)
(+.f64 0 (/.f64 1/2 x))
(+.f64 (/.f64 1/4 x) (/.f64 1/4 x))
(-.f64 (/.f64 1/2 x) 0)
(/.f64 1/2 x)
(/.f64 1 (+.f64 x x))
(/.f64 1 (/.f64 (.f64 x (.f64 x 4)) (+.f64 x x)))
(/.f64 x (*.f64 x (+.f64 x x)))
(/.f64 (/.f64 1 x) 2)
(/.f64 (/.f64 1/2 x) 1)
(/.f64 2 (*.f64 x 4))
(/.f64 2 (/.f64 (*.f64 x -2) -1/2))
(/.f64 2 (/.f64 x 1/4))
(/.f64 2 (-.f64 0 (*.f64 4 (neg.f64 x))))
(/.f64 2 (-.f64 0 (neg.f64 (*.f64 x 4))))
(/.f64 2 (/.f64 (.f64 x (+.f64 x x)) (.f64 1/2 x)))
(/.f64 (+.f64 x x) (.f64 x (.f64 x 4)))
(/.f64 (/.f64 2 x) 4)
(/.f64 4 (*.f64 x 8))
(/.f64 4 (+.f64 (/.f64 (.f64 x -2) -1/2) (/.f64 (.f64 x -2) -1/2)))
(/.f64 4 (/.f64 (+.f64 x x) 1/4))
(/.f64 4 (/.f64 (*.f64 4 (neg.f64 x)) -1/2))
(/.f64 4 (/.f64 (neg.f64 (*.f64 x 4)) -1/2))
(/.f64 (.f64 x 4) (.f64 (*.f64 x x) 8))
(/.f64 -1 (*.f64 x -2))
(/.f64 -1 (/.f64 (neg.f64 x) 1/2))
(/.f64 (neg.f64 x) (-.f64 0 (*.f64 x (+.f64 x x))))
(/.f64 (.f64 x x) (/.f64 (.f64 (.f64 x x) (.f64 x x)) (*.f64 1/2 x)))
(/.f64 8 (.f64 4 (.f64 x 4)))
(/.f64 8 (/.f64 (*.f64 x 4) 1/4))
(/.f64 8 (/.f64 (neg.f64 (*.f64 x 8)) -1/2))
(/.f64 (/.f64 4 x) 8)
(/.f64 (.f64 x 8) (.f64 4 (.f64 x (.f64 x 4))))
(/.f64 (.f64 x 8) (+.f64 (.f64 (.f64 x x) 8) (.f64 (*.f64 x x) 8)))
(/.f64 -2 (*.f64 4 (neg.f64 x)))
(/.f64 -2 (neg.f64 (*.f64 x 4)))
(/.f64 -2 (/.f64 (*.f64 x -2) 1/2))
(/.f64 -2 (/.f64 (+.f64 x x) -1/2))
(/.f64 (.f64 x -2) (-.f64 0 (.f64 x (*.f64 x 4))))
(/.f64 16 (.f64 4 (.f64 x 8)))
(/.f64 16 (/.f64 (*.f64 x 8) 1/4))
(/.f64 16 (/.f64 (.f64 4 (.f64 x 4)) 1/2))
(/.f64 (.f64 4 (.f64 x 4)) (+.f64 (.f64 4 (.f64 x (.f64 x 4))) (.f64 4 (.f64 x (.f64 x 4)))))
(/.f64 (*.f64 (/.f64 1 x) 8) 16)
(/.f64 -4 (.f64 4 (.f64 x -2)))
(/.f64 -4 (.f64 2 (neg.f64 (.f64 x 4))))
(/.f64 -4 (neg.f64 (*.f64 x 8)))
(/.f64 -4 (/.f64 (*.f64 x 4) -1/2))
(/.f64 -1/2 (neg.f64 x))
(/.f64 1/4 (*.f64 1/2 x))
(/.f64 (/.f64 1/4 x) 1/2)
(/.f64 (.f64 1/2 x) (.f64 x x))
(/.f64 32 (+.f64 (.f64 4 (.f64 x 8)) (.f64 4 (.f64 x 8))))
(/.f64 (.f64 2 (.f64 (/.f64 1 x) 8)) 32)
(/.f64 -8 (+.f64 (.f64 4 (.f64 x -2)) (.f64 4 (.f64 x -2))))
(/.f64 -8 (+.f64 (.f64 2 (neg.f64 (.f64 x 4))) (.f64 2 (neg.f64 (.f64 x 4)))))
(/.f64 -8 (+.f64 (neg.f64 (.f64 x 8)) (neg.f64 (.f64 x 8))))
(/.f64 -8 (-.f64 0 (.f64 4 (.f64 x 4))))
(/.f64 -8 (/.f64 (*.f64 x 8) -1/2))
(/.f64 1/8 (.f64 1/2 (.f64 1/2 x)))
(/.f64 1/8 (/.f64 x 4))
(/.f64 (/.f64 x 4) (.f64 x (.f64 1/2 x)))
(/.f64 (/.f64 x 4) (/.f64 (*.f64 x x) 2))
(/.f64 (/.f64 1/8 x) 1/4)
(/.f64 -1/4 (neg.f64 (*.f64 1/2 x)))
(/.f64 (/.f64 -1 x) -2)
(/.f64 (/.f64 -1/2 x) -1)
(/.f64 (neg.f64 (.f64 1/2 x)) (neg.f64 (.f64 x x)))
(/.f64 (+.f64 (/.f64 1/8 x) (/.f64 1/8 x)) 1/2)
(/.f64 (+.f64 (/.f64 -1/2 x) (/.f64 -1/2 x)) -2)
(/.f64 (+.f64 (neg.f64 (.f64 1/2 x)) (neg.f64 (.f64 1/2 x))) (+.f64 (neg.f64 (.f64 x x)) (neg.f64 (.f64 x x))))
(/.f64 (/.f64 (.f64 1/2 x) (.f64 x 4)) (*.f64 x 1/4))
(/.f64 (/.f64 1/2 (*.f64 x 8)) 1/8)
(/.f64 (/.f64 -1/2 (+.f64 x x)) -1/2)
(/.f64 (/.f64 1/4 (*.f64 x 4)) 1/8)
(/.f64 (/.f64 (*.f64 1/2 x) (fabs.f64 x)) (fabs.f64 x))
(/.f64 (/.f64 (.f64 1/2 x) (.f64 2 (fabs.f64 x))) (*.f64 1/2 (fabs.f64 x)))
(/.f64 (neg.f64 (neg.f64 (.f64 1/2 x))) (.f64 x x))
(neg.f64 (/.f64 -1/2 x))

Outputs
(/.f64 1/2 x)
(/.f64 1/2 x)
(/.f64 1/2 x)
(/.f64 1/2 x)
(/.f64 1/2 x)
(/.f64 1/2 x)
(/.f64 1/2 x)
(/.f64 1/2 x)
(/.f64 1/2 x)
(/.f64 1/2 x)
(/.f64 1/2 x)
(/.f64 1/2 x)
(+.f64 (/.f64 1/2 x) 0)
(/.f64 1/2 x)
(+.f64 0 (/.f64 1/2 x))
(/.f64 1/2 x)
(+.f64 (/.f64 1/4 x) (/.f64 1/4 x))
(/.f64 1/2 x)
(-.f64 (/.f64 1/2 x) 0)
(/.f64 1/2 x)
(/.f64 1/2 x)
(/.f64 1 (+.f64 x x))
(/.f64 1/2 x)
(/.f64 1 (/.f64 (.f64 x (.f64 x 4)) (+.f64 x x)))
(/.f64 1/2 x)
(/.f64 x (*.f64 x (+.f64 x x)))
(/.f64 1/2 x)
(/.f64 (/.f64 1 x) 2)
(/.f64 1/2 x)
(/.f64 (/.f64 1/2 x) 1)
(/.f64 1/2 x)
(/.f64 2 (*.f64 x 4))
(/.f64 1/2 x)
(/.f64 2 (/.f64 (*.f64 x -2) -1/2))
(/.f64 1/2 x)
(/.f64 2 (/.f64 x 1/4))
(/.f64 1/2 x)
(/.f64 2 (-.f64 0 (*.f64 4 (neg.f64 x))))
(/.f64 1/2 x)
(/.f64 2 (-.f64 0 (neg.f64 (*.f64 x 4))))
(/.f64 1/2 x)
(/.f64 2 (/.f64 (.f64 x (+.f64 x x)) (.f64 1/2 x)))
(/.f64 1/2 x)
(/.f64 (+.f64 x x) (.f64 x (.f64 x 4)))
(/.f64 1/2 x)
(/.f64 (/.f64 2 x) 4)
(/.f64 1/2 x)
(/.f64 4 (*.f64 x 8))
(/.f64 1/2 x)
(/.f64 4 (+.f64 (/.f64 (.f64 x -2) -1/2) (/.f64 (.f64 x -2) -1/2)))
(/.f64 1/2 x)
(/.f64 4 (/.f64 (+.f64 x x) 1/4))
(/.f64 1/2 x)
(/.f64 4 (/.f64 (*.f64 4 (neg.f64 x)) -1/2))
(/.f64 1/2 x)
(/.f64 4 (/.f64 (neg.f64 (*.f64 x 4)) -1/2))
(/.f64 1/2 x)
(/.f64 (.f64 x 4) (.f64 (*.f64 x x) 8))
(/.f64 1/2 x)
(/.f64 -1 (*.f64 x -2))
(/.f64 1/2 x)
(/.f64 -1 (/.f64 (neg.f64 x) 1/2))
(/.f64 1/2 x)
(/.f64 (neg.f64 x) (-.f64 0 (*.f64 x (+.f64 x x))))
(/.f64 1/2 x)
(/.f64 (.f64 x x) (/.f64 (.f64 (.f64 x x) (.f64 x x)) (*.f64 1/2 x)))
(/.f64 1/2 x)
(/.f64 8 (.f64 4 (.f64 x 4)))
(/.f64 1/2 x)
(/.f64 8 (/.f64 (*.f64 x 4) 1/4))
(/.f64 1/2 x)
(/.f64 8 (/.f64 (neg.f64 (*.f64 x 8)) -1/2))
(/.f64 1/2 x)
(/.f64 (/.f64 4 x) 8)
(/.f64 1/2 x)
(/.f64 (.f64 x 8) (.f64 4 (.f64 x (.f64 x 4))))
(/.f64 1/2 x)
(/.f64 (.f64 x 8) (+.f64 (.f64 (.f64 x x) 8) (.f64 (*.f64 x x) 8)))
(/.f64 1/2 x)
(/.f64 -2 (*.f64 4 (neg.f64 x)))
(/.f64 1/2 x)
(/.f64 -2 (neg.f64 (*.f64 x 4)))
(/.f64 1/2 x)
(/.f64 -2 (/.f64 (*.f64 x -2) 1/2))
(/.f64 1/2 x)
(/.f64 -2 (/.f64 (+.f64 x x) -1/2))
(/.f64 1/2 x)
(/.f64 (.f64 x -2) (-.f64 0 (.f64 x (*.f64 x 4))))
(/.f64 1/2 x)
(/.f64 16 (.f64 4 (.f64 x 8)))
(/.f64 1/2 x)
(/.f64 16 (/.f64 (*.f64 x 8) 1/4))
(/.f64 1/2 x)
(/.f64 16 (/.f64 (.f64 4 (.f64 x 4)) 1/2))
(/.f64 1/2 x)
(/.f64 (.f64 4 (.f64 x 4)) (+.f64 (.f64 4 (.f64 x (.f64 x 4))) (.f64 4 (.f64 x (.f64 x 4)))))
(/.f64 1/2 x)
(/.f64 (*.f64 (/.f64 1 x) 8) 16)
(/.f64 1/2 x)
(/.f64 -4 (.f64 4 (.f64 x -2)))
(/.f64 1/2 x)
(/.f64 -4 (.f64 2 (neg.f64 (.f64 x 4))))
(/.f64 1/2 x)
(/.f64 -4 (neg.f64 (*.f64 x 8)))
(/.f64 1/2 x)
(/.f64 -4 (/.f64 (*.f64 x 4) -1/2))
(/.f64 1/2 x)
(/.f64 -1/2 (neg.f64 x))
(/.f64 1/2 x)
(/.f64 1/4 (*.f64 1/2 x))
(/.f64 1/2 x)
(/.f64 (/.f64 1/4 x) 1/2)
(/.f64 1/2 x)
(/.f64 (.f64 1/2 x) (.f64 x x))
(/.f64 1/2 x)
(/.f64 32 (+.f64 (.f64 4 (.f64 x 8)) (.f64 4 (.f64 x 8))))
(/.f64 1/2 x)
(/.f64 (.f64 2 (.f64 (/.f64 1 x) 8)) 32)
(/.f64 1/2 x)
(/.f64 -8 (+.f64 (.f64 4 (.f64 x -2)) (.f64 4 (.f64 x -2))))
(/.f64 1/2 x)
(/.f64 -8 (+.f64 (.f64 2 (neg.f64 (.f64 x 4))) (.f64 2 (neg.f64 (.f64 x 4)))))
(/.f64 1/2 x)
(/.f64 -8 (+.f64 (neg.f64 (.f64 x 8)) (neg.f64 (.f64 x 8))))
(/.f64 1/2 x)
(/.f64 -8 (-.f64 0 (.f64 4 (.f64 x 4))))
(/.f64 1/2 x)
(/.f64 -8 (/.f64 (*.f64 x 8) -1/2))
(/.f64 1/2 x)
(/.f64 1/8 (.f64 1/2 (.f64 1/2 x)))
(/.f64 1/2 x)
(/.f64 1/8 (/.f64 x 4))
(/.f64 1/2 x)
(/.f64 (/.f64 x 4) (.f64 x (.f64 1/2 x)))
(/.f64 1/2 x)
(/.f64 (/.f64 x 4) (/.f64 (*.f64 x x) 2))
(/.f64 1/2 x)
(/.f64 (/.f64 1/8 x) 1/4)
(/.f64 1/2 x)
(/.f64 -1/4 (neg.f64 (*.f64 1/2 x)))
(/.f64 1/2 x)
(/.f64 (/.f64 -1 x) -2)
(/.f64 1/2 x)
(/.f64 (/.f64 -1/2 x) -1)
(/.f64 1/2 x)
(/.f64 (neg.f64 (.f64 1/2 x)) (neg.f64 (.f64 x x)))
(/.f64 1/2 x)
(/.f64 (+.f64 (/.f64 1/8 x) (/.f64 1/8 x)) 1/2)
(/.f64 1/2 x)
(/.f64 (+.f64 (/.f64 -1/2 x) (/.f64 -1/2 x)) -2)
(/.f64 1/2 x)
(/.f64 (+.f64 (neg.f64 (.f64 1/2 x)) (neg.f64 (.f64 1/2 x))) (+.f64 (neg.f64 (.f64 x x)) (neg.f64 (.f64 x x))))
(/.f64 1/2 x)
(/.f64 (/.f64 (.f64 1/2 x) (.f64 x 4)) (*.f64 x 1/4))
(/.f64 1/2 x)
(/.f64 (/.f64 1/2 (*.f64 x 8)) 1/8)
(/.f64 1/2 x)
(/.f64 (/.f64 -1/2 (+.f64 x x)) -1/2)
(/.f64 1/2 x)
(/.f64 (/.f64 1/4 (*.f64 x 4)) 1/8)
(/.f64 1/2 x)
(/.f64 (/.f64 (*.f64 1/2 x) (fabs.f64 x)) (fabs.f64 x))
(/.f64 1/2 x)
(/.f64 (/.f64 (.f64 1/2 x) (.f64 2 (fabs.f64 x))) (*.f64 1/2 (fabs.f64 x)))
(/.f64 1/2 x)
(/.f64 (neg.f64 (neg.f64 (.f64 1/2 x))) (.f64 x x))
(/.f64 1/2 x)
(neg.f64 (/.f64 -1/2 x))
(/.f64 1/2 x)

eval18.0ms (0.5%)

Compiler: Compiled 1029 to 614 computations (40.3% saved)

prune12.0ms (0.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

Counts

81 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0b	(log.f64 (-.f64 (+.f64 x x) (/.f64 1/2 x)))
✓	0.3b	(log.f64 (+.f64 x x))

Compiler

Compiled 14 to 9 computations (35.7% saved)

localize11.0ms (0.3%)

Compiler: Compiled 24 to 12 computations (50% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

2 → 2

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(log.f64 (-.f64 (+.f64 x x) (/.f64 1/2 x)))
✓	0.3b	(log.f64 (+.f64 x x))

Compiler

Compiled 14 to 9 computations (35.7% saved)

regimes13.0ms (0.4%)

Accuracy

Total -33.0b remaining (-∞%)

Threshold costs -33.0b (-∞%)

Counts

4 → 1

Calls

Call 1

Inputs
(log.f64 (+.f64 x x))
(log.f64 (-.f64 (+.f64 x x) (/.f64 1/2 x)))
(log.f64 (-.f64 (+.f64 x x) (*.f64 1/2 (/.f64 1 x))))
(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))

Outputs
(log.f64 (-.f64 (+.f64 x x) (/.f64 1/2 x)))

Calls

3 calls:

4.0ms	x
3.0ms	(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))
3.0ms	(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1)))

Results

Error	Segments	Branch
0b	1	`x`
0b	1	`(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))`
0b	1	`(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1)))`

Compiler

Compiled 53 to 33 computations (37.7% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	34

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(log.f64 (-.f64 (+.f64 x x) (/.f64 1/2 x)))
(log.f64 (+.f64 x x))

Outputs
(log.f64 (-.f64 (+.f64 x x) (/.f64 1/2 x)))
(log.f64 (+.f64 x x))

Compiler

Compiled 14 to 9 computations (35.7% saved)

soundness177.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

942×	`rational.json-simplify-19`
914×	`rational.json-simplify-2`
808×	`rational.json-simplify-1`
722×	`rational.json-simplify-59`
664×	`rational.json-simplify-50`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	114	1476
1	230	1468
2	424	1468
3	912	1468
4	2093	1468
5	4327	1468
6	5919	1468
7	7939	1468

Stop Event

1×	node limit

Compiler

Compiled 59 to 47 computations (20.3% saved)

end15.0ms (0.4%)

Compiler: Compiled 13 to 7 computations (46.2% saved)

Details

analyze0.0ms (0%)

sample2.5s (68%)

preprocess5.0ms (0.1%)

simplify128.0ms (3.5%)

eval0.0ms (0%)

prune1.0ms (0%)

localize13.0ms (0.3%)

series2.0ms (0%)

rewrite341.0ms (9.3%)

simplify161.0ms (4.4%)

eval83.0ms (2.3%)

prune11.0ms (0.3%)

localize5.0ms (0.1%)

localize16.0ms (0.4%)

series1.0ms (0%)

rewrite89.0ms (2.4%)

simplify66.0ms (1.8%)

eval18.0ms (0.5%)

prune12.0ms (0.3%)

localize11.0ms (0.3%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes13.0ms (0.4%)

simplify2.0ms (0%)

soundness177.0ms (4.8%)

end15.0ms (0.4%)

Profiling