Details

analyze0.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 4 to 3 computations (25% saved)

sample582.0ms (24.9%)

Results

569.0ms

8256×

body

256

valid

Bogosity

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

Outputs
(asinh.f64 x)

Compiler

Compiled 14 to 10 computations (28.6% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

4×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	37
1	14	37

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) 1)))) x)

Outputs
(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) 1)))) x)

eval0.0ms (0%)

Compiler: Compiled 13 to 9 computations (30.8% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

43.1b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	43.1b	(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) 1)))) x)

Compiler

Compiled 13 to 9 computations (30.8% saved)

localize18.0ms (0.8%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) 1)))
✓	2.4b	(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) 1))))
✓	12.8b	(sqrt.f64 (+.f64 (*.f64 x x) 1))

Compiler

Compiled 50 to 24 computations (52% saved)

series3.0ms (0.1%)

Counts

3 → 36

Calls

9 calls:

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

rewrite6.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

28×	`rational.json-simplify-1`
28×	`bool.json-1`
24×	`rational.json-1`
24×	`rational.json-2`
24×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	75
1	49	75
2	78	75
3	83	75

Stop Event

1×

saturated

Counts

3 → 10

Calls

Call 1

Inputs
(sqrt.f64 (+.f64 (*.f64 x x) 1))
(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) 1))))
(+.f64 (fabs.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 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 or (sqrt.f64 (+.f64 (.f64 x x) 1)) (sqrt.f64 (+.f64 (.f64 x x) 1)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (+.f64 (sqrt.f64 (+.f64 (.f64 x x) 1)) (fabs.f64 x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (log.f64 (+.f64 (sqrt.f64 (+.f64 (.f64 x x) 1)) (fabs.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (log.f64 (+.f64 (sqrt.f64 (+.f64 (.f64 x x) 1)) (fabs.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (log.f64 (+.f64 (sqrt.f64 (+.f64 (.f64 x x) 1)) (fabs.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x or (log.f64 (+.f64 (sqrt.f64 (+.f64 (.f64 x x) 1)) (fabs.f64 x))) (log.f64 (+.f64 (sqrt.f64 (+.f64 (.f64 x x) 1)) (fabs.f64 x))))))))
((#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 (sqrt.f64 (+.f64 (.f64 x x) 1)) (fabs.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (sqrt.f64 (+.f64 (.f64 x x) 1)) (fabs.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (sqrt.f64 (+.f64 (.f64 x x) 1)) (fabs.f64 x)) (+.f64 (sqrt.f64 (+.f64 (.f64 x x) 1)) (fabs.f64 x)))))))

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 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 or (sqrt.f64 (+.f64 (*.f64 x x) 1)) (sqrt.f64 (+.f64 (*.f64 x x) 1)))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (+.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1)) (fabs.f64 x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (log.f64 (+.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1)) (fabs.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (log.f64 (+.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1)) (fabs.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 (+.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1)) (fabs.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x or (log.f64 (+.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1)) (fabs.f64 x))) (log.f64 (+.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1)) (fabs.f64 x))))))))

((#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1)) (fabs.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1)) (fabs.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1)) (fabs.f64 x)) (+.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1)) (fabs.f64 x)))))))

simplify78.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

956×	`rational.json-simplify-27`
938×	`rational.json-simplify-1`
708×	`rational.json-simplify-41`
628×	`rational.json-simplify-33`
556×	`rational.json-simplify-40`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	139	2048
1	274	2048
2	481	2048
3	901	2012
4	1596	2012
5	2627	2008
6	3246	2008
7	3395	2008
8	3521	2008
9	3595	2008
10	3604	2008

Stop Event

1×

saturated

Counts

46 → 119

Calls

Call 1

Inputs
1
(+.f64 1 (*.f64 1/2 (pow.f64 x 2)))
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/8 (pow.f64 x 4))))
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 1/16 (pow.f64 x 6)) (*.f64 -1/8 (pow.f64 x 4)))))
x
(+.f64 (*.f64 1/2 (/.f64 1 x)) x)
(-.f64 (+.f64 (.f64 1/2 (/.f64 1 x)) x) (.f64 1/8 (/.f64 1 (pow.f64 x 3))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 1 x)) (+.f64 (.f64 1/16 (/.f64 1 (pow.f64 x 5))) x)) (*.f64 1/8 (/.f64 1 (pow.f64 x 3))))
(*.f64 -1 x)
(-.f64 (.f64 -1 x) (.f64 1/2 (/.f64 1 x)))
(-.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (.f64 -1 x)) (*.f64 1/2 (/.f64 1 x)))
(-.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (.f64 -1 x)) (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 1/16 (/.f64 1 (pow.f64 x 5)))))
(log.f64 (+.f64 1 (fabs.f64 x)))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))) (log.f64 (+.f64 1 (fabs.f64 x))))
(+.f64 (.f64 -1/24 (.f64 (+.f64 (.f64 3 (/.f64 1 (+.f64 1 (fabs.f64 x)))) (.f64 3 (/.f64 1 (pow.f64 (+.f64 1 (fabs.f64 x)) 2)))) (pow.f64 x 4))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))) (log.f64 (+.f64 1 (fabs.f64 x)))))
(+.f64 (.f64 -1/24 (.f64 (+.f64 (.f64 3 (/.f64 1 (+.f64 1 (fabs.f64 x)))) (.f64 3 (/.f64 1 (pow.f64 (+.f64 1 (fabs.f64 x)) 2)))) (pow.f64 x 4))) (+.f64 (.f64 1/720 (.f64 (+.f64 (.f64 45 (/.f64 1 (+.f64 1 (fabs.f64 x)))) (+.f64 (.f64 30 (/.f64 1 (pow.f64 (+.f64 1 (fabs.f64 x)) 3))) (.f64 45 (/.f64 1 (pow.f64 (+.f64 1 (fabs.f64 x)) 2))))) (pow.f64 x 6))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))) (log.f64 (+.f64 1 (fabs.f64 x))))))
(*.f64 -1 (log.f64 (/.f64 1 x)))
(+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 (fabs.f64 x) x))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 (fabs.f64 x) x)))
(+.f64 (.f64 1/6 (/.f64 (+.f64 (.f64 -3 (fabs.f64 x)) (.f64 2 (pow.f64 (fabs.f64 x) 3))) (pow.f64 x 3))) (+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 (fabs.f64 x) x))))
(*.f64 -1 (log.f64 (/.f64 -1 x)))
(+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (.f64 -1 (/.f64 (fabs.f64 x) x)))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (.f64 -1 (/.f64 (fabs.f64 x) x))))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (.f64 -1 (/.f64 (fabs.f64 x) x)) (.f64 -1/6 (/.f64 (+.f64 (.f64 2 (pow.f64 (fabs.f64 x) 3)) (*.f64 -3 (fabs.f64 x))) (pow.f64 x 3))))))
(+.f64 1 (fabs.f64 x))
(+.f64 1 (+.f64 (*.f64 1/2 (pow.f64 x 2)) (fabs.f64 x)))
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/8 (pow.f64 x 4)) (fabs.f64 x))))
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 1/16 (pow.f64 x 6)) (+.f64 (*.f64 -1/8 (pow.f64 x 4)) (fabs.f64 x)))))
x
(+.f64 (fabs.f64 x) x)
(+.f64 (*.f64 1/2 (/.f64 1 x)) (+.f64 (fabs.f64 x) x))
(-.f64 (+.f64 (.f64 1/2 (/.f64 1 x)) (+.f64 (fabs.f64 x) x)) (.f64 1/8 (/.f64 1 (pow.f64 x 3))))
(*.f64 -1 x)
(+.f64 (fabs.f64 x) (*.f64 -1 x))
(-.f64 (+.f64 (fabs.f64 x) (.f64 -1 x)) (.f64 1/2 (/.f64 1 x)))
(-.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (+.f64 (fabs.f64 x) (.f64 -1 x))) (*.f64 1/2 (/.f64 1 x)))
(+.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1)) 0)
(+.f64 0 (sqrt.f64 (+.f64 (*.f64 x x) 1)))
(.f64 1 (sqrt.f64 (+.f64 (.f64 x x) 1)))
(.f64 (sqrt.f64 (+.f64 (.f64 x x) 1)) 1)
(+.f64 (log.f64 (+.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1)) (fabs.f64 x))) 0)
(+.f64 0 (log.f64 (+.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1)) (fabs.f64 x))))
(.f64 1 (log.f64 (+.f64 (sqrt.f64 (+.f64 (.f64 x x) 1)) (fabs.f64 x))))
(.f64 (log.f64 (+.f64 (sqrt.f64 (+.f64 (.f64 x x) 1)) (fabs.f64 x))) 1)
(.f64 1 (+.f64 (sqrt.f64 (+.f64 (.f64 x x) 1)) (fabs.f64 x)))
(.f64 (+.f64 (sqrt.f64 (+.f64 (.f64 x x) 1)) (fabs.f64 x)) 1)

Outputs
1
(+.f64 1 (*.f64 1/2 (pow.f64 x 2)))
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/8 (pow.f64 x 4))))
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 1/16 (pow.f64 x 6)) (*.f64 -1/8 (pow.f64 x 4)))))
(+.f64 (+.f64 1 (.f64 1/2 (pow.f64 x 2))) (+.f64 (.f64 -1/8 (pow.f64 x 4)) (*.f64 1/16 (pow.f64 x 6))))
(+.f64 1 (+.f64 (+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/8 (pow.f64 x 4))) (*.f64 1/16 (pow.f64 x 6))))
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/8 (pow.f64 x 4)) (*.f64 1/16 (pow.f64 x 6)))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/8 (pow.f64 x 4)) (+.f64 1 (*.f64 1/16 (pow.f64 x 6)))))
x
(+.f64 (*.f64 1/2 (/.f64 1 x)) x)
(+.f64 x (*.f64 1/2 (/.f64 1 x)))
(-.f64 (+.f64 (.f64 1/2 (/.f64 1 x)) x) (.f64 1/8 (/.f64 1 (pow.f64 x 3))))
(-.f64 (+.f64 x (.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 1/8 (/.f64 1 (pow.f64 x 3)))))
(+.f64 x (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 (/.f64 1 (pow.f64 x 3)) -1/8)))
(+.f64 x (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 -1/8 (/.f64 1 (pow.f64 x 3)))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 1 x)) (+.f64 (.f64 1/16 (/.f64 1 (pow.f64 x 5))) x)) (*.f64 1/8 (/.f64 1 (pow.f64 x 3))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 1 x)) (+.f64 x (.f64 1/16 (/.f64 1 (pow.f64 x 5))))) (*.f64 1/8 (/.f64 1 (pow.f64 x 3))))
(-.f64 (+.f64 x (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 1/16 (/.f64 1 (pow.f64 x 5))))) (*.f64 1/8 (/.f64 1 (pow.f64 x 3))))
(+.f64 (+.f64 x (-.f64 (.f64 1/2 (/.f64 1 x)) (.f64 1/8 (/.f64 1 (pow.f64 x 3))))) (*.f64 1/16 (/.f64 1 (pow.f64 x 5))))
(+.f64 x (+.f64 (.f64 1/2 (/.f64 1 x)) (+.f64 (.f64 1/16 (/.f64 1 (pow.f64 x 5))) (*.f64 (/.f64 1 (pow.f64 x 3)) -1/8))))
(+.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)
(*.f64 x -1)
(neg.f64 x)
(-.f64 (.f64 -1 x) (.f64 1/2 (/.f64 1 x)))
(-.f64 (.f64 x -1) (.f64 1/2 (/.f64 1 x)))
(-.f64 (*.f64 (/.f64 1 x) -1/2) x)
(-.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (.f64 -1 x)) (*.f64 1/2 (/.f64 1 x)))
(-.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (.f64 x -1)) (*.f64 1/2 (/.f64 1 x)))
(+.f64 (-.f64 (.f64 x -1) (.f64 1/2 (/.f64 1 x))) (*.f64 1/8 (/.f64 1 (pow.f64 x 3))))
(+.f64 (.f64 (/.f64 1 x) -1/2) (-.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) x))
(-.f64 (.f64 (/.f64 1 x) -1/2) (+.f64 x (.f64 -1/8 (/.f64 1 (pow.f64 x 3)))))
(-.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (.f64 -1 x)) (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 1/16 (/.f64 1 (pow.f64 x 5)))))
(-.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (.f64 x -1)) (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 1/16 (/.f64 1 (pow.f64 x 5)))))
(-.f64 (+.f64 (-.f64 (.f64 x -1) (.f64 1/2 (/.f64 1 x))) (.f64 1/8 (/.f64 1 (pow.f64 x 3)))) (.f64 1/16 (/.f64 1 (pow.f64 x 5))))
(+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (-.f64 (.f64 (/.f64 1 x) -1/2) (+.f64 x (*.f64 1/16 (/.f64 1 (pow.f64 x 5))))))
(+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (+.f64 (-.f64 (.f64 (/.f64 1 x) -1/2) x) (*.f64 (/.f64 1 (pow.f64 x 5)) -1/16)))
(log.f64 (+.f64 1 (fabs.f64 x)))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))) (log.f64 (+.f64 1 (fabs.f64 x))))
(+.f64 (log.f64 (+.f64 1 (fabs.f64 x))) (*.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))))
(+.f64 (.f64 -1/24 (.f64 (+.f64 (.f64 3 (/.f64 1 (+.f64 1 (fabs.f64 x)))) (.f64 3 (/.f64 1 (pow.f64 (+.f64 1 (fabs.f64 x)) 2)))) (pow.f64 x 4))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))) (log.f64 (+.f64 1 (fabs.f64 x)))))
(+.f64 (+.f64 (log.f64 (+.f64 1 (fabs.f64 x))) (.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))))) (.f64 (+.f64 (.f64 3 (/.f64 1 (+.f64 1 (fabs.f64 x)))) (.f64 3 (/.f64 1 (pow.f64 (+.f64 1 (fabs.f64 x)) 2)))) (*.f64 -1/24 (pow.f64 x 4))))
(+.f64 (log.f64 (+.f64 1 (fabs.f64 x))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))) (.f64 (pow.f64 x 4) (.f64 -1/24 (+.f64 (.f64 3 (/.f64 1 (+.f64 1 (fabs.f64 x)))) (*.f64 3 (/.f64 1 (pow.f64 (+.f64 1 (fabs.f64 x)) 2))))))))
(+.f64 (log.f64 (+.f64 1 (fabs.f64 x))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))) (.f64 (+.f64 (.f64 3 (/.f64 1 (+.f64 1 (fabs.f64 x)))) (.f64 3 (/.f64 1 (pow.f64 (+.f64 1 (fabs.f64 x)) 2)))) (*.f64 (pow.f64 x 4) -1/24))))
(+.f64 (.f64 -1/24 (.f64 (+.f64 (.f64 3 (/.f64 1 (+.f64 1 (fabs.f64 x)))) (.f64 3 (/.f64 1 (pow.f64 (+.f64 1 (fabs.f64 x)) 2)))) (pow.f64 x 4))) (+.f64 (.f64 1/720 (.f64 (+.f64 (.f64 45 (/.f64 1 (+.f64 1 (fabs.f64 x)))) (+.f64 (.f64 30 (/.f64 1 (pow.f64 (+.f64 1 (fabs.f64 x)) 3))) (.f64 45 (/.f64 1 (pow.f64 (+.f64 1 (fabs.f64 x)) 2))))) (pow.f64 x 6))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))) (log.f64 (+.f64 1 (fabs.f64 x))))))
(+.f64 (.f64 (+.f64 (.f64 3 (/.f64 1 (+.f64 1 (fabs.f64 x)))) (.f64 3 (/.f64 1 (pow.f64 (+.f64 1 (fabs.f64 x)) 2)))) (.f64 -1/24 (pow.f64 x 4))) (+.f64 (+.f64 (log.f64 (+.f64 1 (fabs.f64 x))) (.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))))) (.f64 (+.f64 (.f64 (/.f64 1 (+.f64 1 (fabs.f64 x))) 45) (+.f64 (.f64 30 (/.f64 1 (pow.f64 (+.f64 1 (fabs.f64 x)) 3))) (.f64 (/.f64 1 (pow.f64 (+.f64 1 (fabs.f64 x)) 2)) 45))) (.f64 1/720 (pow.f64 x 6)))))
(+.f64 (+.f64 (log.f64 (+.f64 1 (fabs.f64 x))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))) (.f64 (pow.f64 x 4) (.f64 -1/24 (+.f64 (.f64 3 (/.f64 1 (+.f64 1 (fabs.f64 x)))) (.f64 3 (/.f64 1 (pow.f64 (+.f64 1 (fabs.f64 x)) 2)))))))) (.f64 (+.f64 (.f64 (/.f64 1 (+.f64 1 (fabs.f64 x))) 45) (+.f64 (.f64 30 (/.f64 1 (pow.f64 (+.f64 1 (fabs.f64 x)) 3))) (.f64 (/.f64 1 (pow.f64 (+.f64 1 (fabs.f64 x)) 2)) 45))) (.f64 (pow.f64 x 6) 1/720)))
(+.f64 (log.f64 (+.f64 1 (fabs.f64 x))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))) (+.f64 (.f64 (pow.f64 x 4) (.f64 -1/24 (+.f64 (.f64 3 (/.f64 1 (+.f64 1 (fabs.f64 x)))) (.f64 3 (/.f64 1 (pow.f64 (+.f64 1 (fabs.f64 x)) 2)))))) (.f64 (pow.f64 x 6) (.f64 1/720 (+.f64 (.f64 (/.f64 1 (+.f64 1 (fabs.f64 x))) 45) (+.f64 (.f64 30 (/.f64 1 (pow.f64 (+.f64 1 (fabs.f64 x)) 3))) (.f64 (/.f64 1 (pow.f64 (+.f64 1 (fabs.f64 x)) 2)) 45))))))))
(+.f64 (log.f64 (+.f64 1 (fabs.f64 x))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))) (+.f64 (.f64 (+.f64 (.f64 3 (/.f64 1 (+.f64 1 (fabs.f64 x)))) (.f64 3 (/.f64 1 (pow.f64 (+.f64 1 (fabs.f64 x)) 2)))) (.f64 (pow.f64 x 4) -1/24)) (.f64 (pow.f64 x 6) (.f64 1/720 (+.f64 (.f64 (/.f64 1 (+.f64 1 (fabs.f64 x))) 45) (+.f64 (.f64 30 (/.f64 1 (pow.f64 (+.f64 1 (fabs.f64 x)) 3))) (.f64 (/.f64 1 (pow.f64 (+.f64 1 (fabs.f64 x)) 2)) 45))))))))
(*.f64 -1 (log.f64 (/.f64 1 x)))
(+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 (fabs.f64 x) x))
(+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 x (fabs.f64 x)))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 (fabs.f64 x) x)))
(+.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 x (fabs.f64 x))) (.f64 1/2 (/.f64 (+.f64 1 (*.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))))
(+.f64 (.f64 1/6 (/.f64 (+.f64 (.f64 -3 (fabs.f64 x)) (.f64 2 (pow.f64 (fabs.f64 x) 3))) (pow.f64 x 3))) (+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 (fabs.f64 x) x))))
(+.f64 (+.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 x (fabs.f64 x))) (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2)))) (.f64 1/6 (/.f64 (+.f64 (.f64 (fabs.f64 x) -3) (.f64 2 (pow.f64 (fabs.f64 x) 3))) (pow.f64 x 3))))
(+.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 x (fabs.f64 x))) (+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (.f64 1/6 (/.f64 (+.f64 (.f64 (fabs.f64 x) -3) (.f64 2 (pow.f64 (fabs.f64 x) 3))) (pow.f64 x 3)))))
(+.f64 (/.f64 x (fabs.f64 x)) (+.f64 (.f64 1/6 (/.f64 (+.f64 (.f64 (fabs.f64 x) -3) (.f64 2 (pow.f64 (fabs.f64 x) 3))) (pow.f64 x 3))) (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))))))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (+.f64 (.f64 1/6 (/.f64 (+.f64 (.f64 (fabs.f64 x) -3) (.f64 2 (pow.f64 (fabs.f64 x) 3))) (pow.f64 x 3))) (+.f64 (/.f64 x (fabs.f64 x)) (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))))))
(*.f64 -1 (log.f64 (/.f64 -1 x)))
(+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (.f64 -1 (/.f64 (fabs.f64 x) x)))
(+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (.f64 -1 (/.f64 x (fabs.f64 x))))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (.f64 -1 (/.f64 (fabs.f64 x) x))))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (.f64 -1 (/.f64 x (fabs.f64 x)))))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (.f64 -1 (/.f64 (fabs.f64 x) x)) (.f64 -1/6 (/.f64 (+.f64 (.f64 2 (pow.f64 (fabs.f64 x) 3)) (*.f64 -3 (fabs.f64 x))) (pow.f64 x 3))))))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (.f64 -1 (/.f64 x (fabs.f64 x)))) (.f64 -1/6 (/.f64 (+.f64 (.f64 (fabs.f64 x) -3) (*.f64 2 (pow.f64 (fabs.f64 x) 3))) (pow.f64 x 3)))))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (.f64 -1 (/.f64 x (fabs.f64 x))) (.f64 -1/6 (/.f64 (+.f64 (.f64 (fabs.f64 x) -3) (*.f64 2 (pow.f64 (fabs.f64 x) 3))) (pow.f64 x 3))))))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 -1 (/.f64 x (fabs.f64 x))) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (.f64 -1/6 (/.f64 (+.f64 (.f64 (fabs.f64 x) -3) (*.f64 2 (pow.f64 (fabs.f64 x) 3))) (pow.f64 x 3))))))
(+.f64 1 (fabs.f64 x))
(+.f64 1 (+.f64 (*.f64 1/2 (pow.f64 x 2)) (fabs.f64 x)))
(+.f64 (+.f64 1 (fabs.f64 x)) (*.f64 1/2 (pow.f64 x 2)))
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/8 (pow.f64 x 4)) (fabs.f64 x))))
(+.f64 (+.f64 1 (.f64 1/2 (pow.f64 x 2))) (+.f64 (.f64 -1/8 (pow.f64 x 4)) (fabs.f64 x)))
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 1/16 (pow.f64 x 6)) (+.f64 (*.f64 -1/8 (pow.f64 x 4)) (fabs.f64 x)))))
(+.f64 (+.f64 1 (.f64 1/2 (pow.f64 x 2))) (+.f64 (.f64 1/16 (pow.f64 x 6)) (+.f64 (*.f64 -1/8 (pow.f64 x 4)) (fabs.f64 x))))
(+.f64 1 (+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (+.f64 (.f64 -1/8 (pow.f64 x 4)) (*.f64 1/16 (pow.f64 x 6))) (fabs.f64 x))))
(+.f64 (+.f64 1 (.f64 1/2 (pow.f64 x 2))) (+.f64 (.f64 -1/8 (pow.f64 x 4)) (+.f64 (*.f64 1/16 (pow.f64 x 6)) (fabs.f64 x))))
x
(+.f64 (fabs.f64 x) x)
(+.f64 x (fabs.f64 x))
(+.f64 (*.f64 1/2 (/.f64 1 x)) (+.f64 (fabs.f64 x) x))
(+.f64 (*.f64 1/2 (/.f64 1 x)) (+.f64 x (fabs.f64 x)))
(+.f64 x (+.f64 (*.f64 1/2 (/.f64 1 x)) (fabs.f64 x)))
(+.f64 x (-.f64 (fabs.f64 x) (*.f64 (/.f64 1 x) -1/2)))
(-.f64 (+.f64 (.f64 1/2 (/.f64 1 x)) (+.f64 (fabs.f64 x) x)) (.f64 1/8 (/.f64 1 (pow.f64 x 3))))
(-.f64 (+.f64 (.f64 1/2 (/.f64 1 x)) (+.f64 x (fabs.f64 x))) (.f64 1/8 (/.f64 1 (pow.f64 x 3))))
(-.f64 (+.f64 x (+.f64 (.f64 1/2 (/.f64 1 x)) (fabs.f64 x))) (.f64 1/8 (/.f64 1 (pow.f64 x 3))))
(+.f64 (+.f64 (.f64 1/2 (/.f64 1 x)) (+.f64 x (fabs.f64 x))) (.f64 (/.f64 1 (pow.f64 x 3)) -1/8))
(+.f64 x (-.f64 (.f64 1/2 (/.f64 1 x)) (-.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (fabs.f64 x))))
(+.f64 x (+.f64 (.f64 -1/8 (/.f64 1 (pow.f64 x 3))) (-.f64 (fabs.f64 x) (.f64 (/.f64 1 x) -1/2))))
(*.f64 -1 x)
(*.f64 x -1)
(neg.f64 x)
(+.f64 (fabs.f64 x) (*.f64 -1 x))
(+.f64 (*.f64 x -1) (fabs.f64 x))
(+.f64 (neg.f64 x) (fabs.f64 x))
(-.f64 (fabs.f64 x) x)
(-.f64 (+.f64 (fabs.f64 x) (.f64 -1 x)) (.f64 1/2 (/.f64 1 x)))
(-.f64 (+.f64 (.f64 x -1) (fabs.f64 x)) (.f64 1/2 (/.f64 1 x)))
(+.f64 (-.f64 (*.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))
(-.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (+.f64 (fabs.f64 x) (.f64 -1 x))) (*.f64 1/2 (/.f64 1 x)))
(-.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 x -1) (fabs.f64 x))) (*.f64 1/2 (/.f64 1 x)))
(+.f64 (-.f64 (+.f64 (.f64 x -1) (fabs.f64 x)) (.f64 1/2 (/.f64 1 x))) (*.f64 1/8 (/.f64 1 (pow.f64 x 3))))
(+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (-.f64 (+.f64 (.f64 x -1) (fabs.f64 x)) (*.f64 1/2 (/.f64 1 x))))
(+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (+.f64 (-.f64 (.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x)))
(+.f64 (fabs.f64 x) (-.f64 (.f64 (/.f64 1 x) -1/2) (+.f64 x (.f64 -1/8 (/.f64 1 (pow.f64 x 3))))))
(+.f64 (-.f64 (.f64 (/.f64 1 x) -1/2) x) (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (fabs.f64 x)))
(+.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1)) 0)
(+.f64 (sqrt.f64 (+.f64 1 (*.f64 x x))) 0)
(+.f64 0 (sqrt.f64 (+.f64 (*.f64 x x) 1)))
(+.f64 (sqrt.f64 (+.f64 1 (*.f64 x x))) 0)
(.f64 1 (sqrt.f64 (+.f64 (.f64 x x) 1)))
(.f64 1 (sqrt.f64 (+.f64 1 (.f64 x x))))
(.f64 (sqrt.f64 (+.f64 (.f64 x x) 1)) 1)
(.f64 1 (sqrt.f64 (+.f64 1 (.f64 x x))))
(+.f64 (log.f64 (+.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1)) (fabs.f64 x))) 0)
(+.f64 0 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 1 (*.f64 x x))))))
(+.f64 0 (log.f64 (+.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1)) (fabs.f64 x))))
(+.f64 0 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 1 (*.f64 x x))))))
(.f64 1 (log.f64 (+.f64 (sqrt.f64 (+.f64 (.f64 x x) 1)) (fabs.f64 x))))
(.f64 1 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 1 (.f64 x x))))))
(.f64 (log.f64 (+.f64 (sqrt.f64 (+.f64 (.f64 x x) 1)) (fabs.f64 x))) 1)
(.f64 1 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 1 (.f64 x x))))))
(.f64 1 (+.f64 (sqrt.f64 (+.f64 (.f64 x x) 1)) (fabs.f64 x)))
(.f64 1 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 1 (.f64 x x)))))
(.f64 (+.f64 (sqrt.f64 (+.f64 (.f64 x x) 1)) (fabs.f64 x)) 1)
(.f64 1 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 1 (.f64 x x)))))

eval45.0ms (1.9%)

Compiler: Compiled 2846 to 2010 computations (29.4% saved)

prune27.0ms (1.1%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	107	12	119
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	107	13	120

Error

29.0b

Counts

120 → 13

Alt Table

Click to see full alt table

Status	Error	Program
	62.0b	(copysign.f64 (+.f64 (/.f64 x (fabs.f64 x)) (+.f64 (.f64 1/6 (/.f64 (+.f64 (.f64 (fabs.f64 x) -3) (.f64 2 (pow.f64 (fabs.f64 x) 3))) (pow.f64 x 3))) (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2)))))) x)
	60.3b	(copysign.f64 (+.f64 (+.f64 (log.f64 (+.f64 1 (fabs.f64 x))) (.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))))) (.f64 (+.f64 (.f64 3 (/.f64 1 (+.f64 1 (fabs.f64 x)))) (.f64 3 (/.f64 1 (pow.f64 (+.f64 1 (fabs.f64 x)) 2)))) (*.f64 -1/24 (pow.f64 x 4)))) x)
	59.8b	(copysign.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))) (log.f64 (+.f64 1 (fabs.f64 x)))) x)
▶	58.2b	(copysign.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 (fabs.f64 x) x)) x)
	57.5b	(copysign.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (.f64 -1 (/.f64 (fabs.f64 x) x))) x)
	58.5b	(copysign.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) x)
▶	57.8b	(copysign.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) x)
▶	46.5b	(copysign.f64 (log.f64 (-.f64 (fabs.f64 x) x)) x)
▶	46.4b	(copysign.f64 (log.f64 (+.f64 (-.f64 (*.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))) x)
	48.4b	(copysign.f64 (log.f64 (+.f64 (*.f64 1/2 (/.f64 1 x)) (+.f64 (fabs.f64 x) x))) x)
✓	43.1b	(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) 1)))) x)
	48.5b	(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) x)) x)
▶	51.8b	(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) 1)) x)

Compiler

Compiled 435 to 321 computations (26.2% saved)

localize22.0ms (0.9%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(log.f64 (+.f64 (-.f64 (*.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x)))
✓	0.0b	(-.f64 (*.f64 (/.f64 1 x) -1/2) x)
✓	0.6b	(+.f64 (-.f64 (*.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))

Compiler

Compiled 55 to 36 computations (34.5% saved)

series2.0ms (0.1%)

Counts

3 → 36

Calls

9 calls:

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

rewrite10.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

60×	`rational.json-simplify-2`
60×	`bool.json-1`
50×	`rational.json-1`
50×	`rational.json-2`
50×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	81
1	57	81
2	106	81
3	156	81
4	186	81
5	205	81
6	228	81
7	231	81

Stop Event

1×

saturated

Counts

3 → 15

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 (-.f64 (.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (-.f64 (.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (-.f64 (.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x)) (+.f64 (-.f64 (.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (/.f64 1 x) -1/2) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 (/.f64 1 x) -1/2) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (.f64 (/.f64 1 x) -1/2) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 x) (.f64 (/.f64 1 x) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (-.f64 (.f64 (/.f64 1 x) -1/2) x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 (/.f64 1 x) -1/2) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 x (.f64 (/.f64 1 x) 1/2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (+.f64 x (.f64 (/.f64 1 x) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (+.f64 x (.f64 (/.f64 1 x) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x or (-.f64 (.f64 (/.f64 1 x) -1/2) x) (-.f64 (*.f64 (/.f64 1 x) -1/2) x))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (+.f64 (-.f64 (.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (log.f64 (+.f64 (-.f64 (.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (log.f64 (+.f64 (-.f64 (.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (log.f64 (+.f64 (-.f64 (.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x or (log.f64 (+.f64 (-.f64 (.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))) (log.f64 (+.f64 (-.f64 (.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (-.f64 (*.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (-.f64 (*.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (-.f64 (*.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x)) (+.f64 (-.f64 (*.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x)))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 1 x) -1/2) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 (/.f64 1 x) -1/2) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (*.f64 (/.f64 1 x) -1/2) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 x) (*.f64 (/.f64 1 x) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (*.f64 (/.f64 1 x) -1/2) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 (/.f64 1 x) -1/2) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (*.f64 (/.f64 1 x) 1/2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (+.f64 x (*.f64 (/.f64 1 x) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (+.f64 x (*.f64 (/.f64 1 x) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x or (-.f64 (*.f64 (/.f64 1 x) -1/2) x) (-.f64 (*.f64 (/.f64 1 x) -1/2) x))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (+.f64 (-.f64 (*.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (log.f64 (+.f64 (-.f64 (*.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (log.f64 (+.f64 (-.f64 (*.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 (+.f64 (-.f64 (*.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x or (log.f64 (+.f64 (-.f64 (*.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))) (log.f64 (+.f64 (-.f64 (*.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))))))))

simplify50.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

548×	`rational.json-simplify-1`
462×	`rational.json-simplify-33`
168×	`rational.json-simplify-2`
108×	`rational.json-simplify-27`
100×	`rational.json-simplify-31`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	108	1827
1	198	1827
2	313	1827
3	512	1731
4	766	1731
5	961	1723
6	1034	1723
7	1076	1723
8	1112	1723
9	1115	1723

Stop Event

1×

saturated

Counts

51 → 79

Calls

Call 1

Inputs
(/.f64 -1/2 x)
(-.f64 (fabs.f64 x) (*.f64 1/2 (/.f64 1 x)))
(-.f64 (+.f64 (fabs.f64 x) (.f64 -1 x)) (.f64 1/2 (/.f64 1 x)))
(-.f64 (+.f64 (fabs.f64 x) (.f64 -1 x)) (.f64 1/2 (/.f64 1 x)))
(*.f64 -1 x)
(+.f64 (fabs.f64 x) (*.f64 -1 x))
(-.f64 (+.f64 (fabs.f64 x) (.f64 -1 x)) (.f64 1/2 (/.f64 1 x)))
(-.f64 (+.f64 (fabs.f64 x) (.f64 -1 x)) (.f64 1/2 (/.f64 1 x)))
(*.f64 -1 x)
(+.f64 (fabs.f64 x) (*.f64 -1 x))
(-.f64 (+.f64 (fabs.f64 x) (.f64 -1 x)) (.f64 1/2 (/.f64 1 x)))
(-.f64 (+.f64 (fabs.f64 x) (.f64 -1 x)) (.f64 1/2 (/.f64 1 x)))
(/.f64 -1/2 x)
(-.f64 (.f64 -1 x) (.f64 1/2 (/.f64 1 x)))
(-.f64 (.f64 -1 x) (.f64 1/2 (/.f64 1 x)))
(-.f64 (.f64 -1 x) (.f64 1/2 (/.f64 1 x)))
(*.f64 -1 x)
(-.f64 (.f64 -1 x) (.f64 1/2 (/.f64 1 x)))
(-.f64 (.f64 -1 x) (.f64 1/2 (/.f64 1 x)))
(-.f64 (.f64 -1 x) (.f64 1/2 (/.f64 1 x)))
(*.f64 -1 x)
(-.f64 (.f64 -1 x) (.f64 1/2 (/.f64 1 x)))
(-.f64 (.f64 -1 x) (.f64 1/2 (/.f64 1 x)))
(-.f64 (.f64 -1 x) (.f64 1/2 (/.f64 1 x)))
(+.f64 (log.f64 -1/2) (*.f64 -1 (log.f64 x)))
(+.f64 (log.f64 -1/2) (+.f64 (.f64 -2 (.f64 (fabs.f64 x) x)) (*.f64 -1 (log.f64 x))))
(+.f64 (.f64 1/2 (.f64 (+.f64 4 (.f64 -4 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (log.f64 -1/2) (+.f64 (.f64 -2 (.f64 (fabs.f64 x) x)) (.f64 -1 (log.f64 x)))))
(+.f64 (.f64 1/2 (.f64 (+.f64 4 (.f64 -4 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (log.f64 -1/2) (+.f64 (.f64 -2 (.f64 (fabs.f64 x) x)) (+.f64 (.f64 1/6 (.f64 (+.f64 (.f64 -16 (pow.f64 (fabs.f64 x) 3)) (.f64 24 (fabs.f64 x))) (pow.f64 x 3))) (.f64 -1 (log.f64 x))))))
(+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (+.f64 (log.f64 -1) (.f64 -1 (/.f64 (fabs.f64 x) x))))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (+.f64 (log.f64 -1) (.f64 -1 (/.f64 (fabs.f64 x) x)))))
(+.f64 (.f64 1/6 (/.f64 (+.f64 (.f64 -2 (pow.f64 (fabs.f64 x) 3)) (.f64 3 (fabs.f64 x))) (pow.f64 x 3))) (+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (+.f64 (log.f64 -1) (*.f64 -1 (/.f64 (fabs.f64 x) x))))))
(*.f64 -1 (log.f64 (/.f64 -1 x)))
(+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (.f64 -1 (/.f64 (fabs.f64 x) x)))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (.f64 -1 (/.f64 (fabs.f64 x) x))))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (.f64 -1 (/.f64 (fabs.f64 x) x)) (.f64 -1/6 (/.f64 (+.f64 (.f64 2 (pow.f64 (fabs.f64 x) 3)) (*.f64 -3 (fabs.f64 x))) (pow.f64 x 3))))))
(.f64 1 (+.f64 (-.f64 (.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x)))
(.f64 (+.f64 (-.f64 (.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x)) 1)
(+.f64 (*.f64 (/.f64 1 x) -1/2) (neg.f64 x))
(+.f64 (-.f64 (*.f64 (/.f64 1 x) -1/2) x) 0)
(+.f64 0 (-.f64 (*.f64 (/.f64 1 x) -1/2) x))
(+.f64 (neg.f64 x) (*.f64 (/.f64 1 x) -1/2))
(.f64 1 (-.f64 (.f64 (/.f64 1 x) -1/2) x))
(.f64 (-.f64 (.f64 (/.f64 1 x) -1/2) x) 1)
(.f64 (+.f64 x (.f64 (/.f64 1 x) 1/2)) -1)
(.f64 -1 (+.f64 x (.f64 (/.f64 1 x) 1/2)))
(neg.f64 (+.f64 x (*.f64 (/.f64 1 x) 1/2)))
(+.f64 (log.f64 (+.f64 (-.f64 (*.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))) 0)
(+.f64 0 (log.f64 (+.f64 (-.f64 (*.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))))
(.f64 1 (log.f64 (+.f64 (-.f64 (.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))))
(.f64 (log.f64 (+.f64 (-.f64 (.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))) 1)

Outputs
(/.f64 -1/2 x)
(-.f64 (fabs.f64 x) (*.f64 1/2 (/.f64 1 x)))
(+.f64 (fabs.f64 x) (*.f64 -1/2 (/.f64 1 x)))
(-.f64 (+.f64 (fabs.f64 x) (.f64 -1 x)) (.f64 1/2 (/.f64 1 x)))
(-.f64 (+.f64 (fabs.f64 x) (neg.f64 x)) (*.f64 1/2 (/.f64 1 x)))
(+.f64 (-.f64 (fabs.f64 x) (*.f64 1/2 (/.f64 1 x))) (neg.f64 x))
(+.f64 (fabs.f64 x) (-.f64 (neg.f64 x) (*.f64 1/2 (/.f64 1 x))))
(+.f64 (fabs.f64 x) (-.f64 (*.f64 -1/2 (/.f64 1 x)) x))
(-.f64 (*.f64 -1/2 (/.f64 1 x)) (-.f64 x (fabs.f64 x)))
(+.f64 (*.f64 -1/2 (/.f64 1 x)) (-.f64 (fabs.f64 x) x))
(-.f64 (+.f64 (fabs.f64 x) (.f64 -1 x)) (.f64 1/2 (/.f64 1 x)))
(-.f64 (+.f64 (fabs.f64 x) (neg.f64 x)) (*.f64 1/2 (/.f64 1 x)))
(+.f64 (-.f64 (fabs.f64 x) (*.f64 1/2 (/.f64 1 x))) (neg.f64 x))
(+.f64 (fabs.f64 x) (-.f64 (neg.f64 x) (*.f64 1/2 (/.f64 1 x))))
(+.f64 (fabs.f64 x) (-.f64 (*.f64 -1/2 (/.f64 1 x)) x))
(-.f64 (*.f64 -1/2 (/.f64 1 x)) (-.f64 x (fabs.f64 x)))
(+.f64 (*.f64 -1/2 (/.f64 1 x)) (-.f64 (fabs.f64 x) x))
(*.f64 -1 x)
(neg.f64 x)
(+.f64 (fabs.f64 x) (*.f64 -1 x))
(+.f64 (fabs.f64 x) (neg.f64 x))
(-.f64 (fabs.f64 x) x)
(-.f64 (+.f64 (fabs.f64 x) (.f64 -1 x)) (.f64 1/2 (/.f64 1 x)))
(-.f64 (+.f64 (fabs.f64 x) (neg.f64 x)) (*.f64 1/2 (/.f64 1 x)))
(+.f64 (-.f64 (fabs.f64 x) (*.f64 1/2 (/.f64 1 x))) (neg.f64 x))
(+.f64 (fabs.f64 x) (-.f64 (neg.f64 x) (*.f64 1/2 (/.f64 1 x))))
(+.f64 (fabs.f64 x) (-.f64 (*.f64 -1/2 (/.f64 1 x)) x))
(-.f64 (*.f64 -1/2 (/.f64 1 x)) (-.f64 x (fabs.f64 x)))
(+.f64 (*.f64 -1/2 (/.f64 1 x)) (-.f64 (fabs.f64 x) x))
(-.f64 (+.f64 (fabs.f64 x) (.f64 -1 x)) (.f64 1/2 (/.f64 1 x)))
(-.f64 (+.f64 (fabs.f64 x) (neg.f64 x)) (*.f64 1/2 (/.f64 1 x)))
(+.f64 (-.f64 (fabs.f64 x) (*.f64 1/2 (/.f64 1 x))) (neg.f64 x))
(+.f64 (fabs.f64 x) (-.f64 (neg.f64 x) (*.f64 1/2 (/.f64 1 x))))
(+.f64 (fabs.f64 x) (-.f64 (*.f64 -1/2 (/.f64 1 x)) x))
(-.f64 (*.f64 -1/2 (/.f64 1 x)) (-.f64 x (fabs.f64 x)))
(+.f64 (*.f64 -1/2 (/.f64 1 x)) (-.f64 (fabs.f64 x) x))
(*.f64 -1 x)
(neg.f64 x)
(+.f64 (fabs.f64 x) (*.f64 -1 x))
(+.f64 (fabs.f64 x) (neg.f64 x))
(-.f64 (fabs.f64 x) x)
(-.f64 (+.f64 (fabs.f64 x) (.f64 -1 x)) (.f64 1/2 (/.f64 1 x)))
(-.f64 (+.f64 (fabs.f64 x) (neg.f64 x)) (*.f64 1/2 (/.f64 1 x)))
(+.f64 (-.f64 (fabs.f64 x) (*.f64 1/2 (/.f64 1 x))) (neg.f64 x))
(+.f64 (fabs.f64 x) (-.f64 (neg.f64 x) (*.f64 1/2 (/.f64 1 x))))
(+.f64 (fabs.f64 x) (-.f64 (*.f64 -1/2 (/.f64 1 x)) x))
(-.f64 (*.f64 -1/2 (/.f64 1 x)) (-.f64 x (fabs.f64 x)))
(+.f64 (*.f64 -1/2 (/.f64 1 x)) (-.f64 (fabs.f64 x) x))
(-.f64 (+.f64 (fabs.f64 x) (.f64 -1 x)) (.f64 1/2 (/.f64 1 x)))
(-.f64 (+.f64 (fabs.f64 x) (neg.f64 x)) (*.f64 1/2 (/.f64 1 x)))
(+.f64 (-.f64 (fabs.f64 x) (*.f64 1/2 (/.f64 1 x))) (neg.f64 x))
(+.f64 (fabs.f64 x) (-.f64 (neg.f64 x) (*.f64 1/2 (/.f64 1 x))))
(+.f64 (fabs.f64 x) (-.f64 (*.f64 -1/2 (/.f64 1 x)) x))
(-.f64 (*.f64 -1/2 (/.f64 1 x)) (-.f64 x (fabs.f64 x)))
(+.f64 (*.f64 -1/2 (/.f64 1 x)) (-.f64 (fabs.f64 x) x))
(/.f64 -1/2 x)
(-.f64 (.f64 -1 x) (.f64 1/2 (/.f64 1 x)))
(-.f64 (neg.f64 x) (*.f64 1/2 (/.f64 1 x)))
(-.f64 (*.f64 -1/2 (/.f64 1 x)) x)
(-.f64 (.f64 -1 x) (.f64 1/2 (/.f64 1 x)))
(-.f64 (neg.f64 x) (*.f64 1/2 (/.f64 1 x)))
(-.f64 (*.f64 -1/2 (/.f64 1 x)) x)
(-.f64 (.f64 -1 x) (.f64 1/2 (/.f64 1 x)))
(-.f64 (neg.f64 x) (*.f64 1/2 (/.f64 1 x)))
(-.f64 (*.f64 -1/2 (/.f64 1 x)) x)
(*.f64 -1 x)
(neg.f64 x)
(-.f64 (.f64 -1 x) (.f64 1/2 (/.f64 1 x)))
(-.f64 (neg.f64 x) (*.f64 1/2 (/.f64 1 x)))
(-.f64 (*.f64 -1/2 (/.f64 1 x)) x)
(-.f64 (.f64 -1 x) (.f64 1/2 (/.f64 1 x)))
(-.f64 (neg.f64 x) (*.f64 1/2 (/.f64 1 x)))
(-.f64 (*.f64 -1/2 (/.f64 1 x)) x)
(-.f64 (.f64 -1 x) (.f64 1/2 (/.f64 1 x)))
(-.f64 (neg.f64 x) (*.f64 1/2 (/.f64 1 x)))
(-.f64 (*.f64 -1/2 (/.f64 1 x)) x)
(*.f64 -1 x)
(neg.f64 x)
(-.f64 (.f64 -1 x) (.f64 1/2 (/.f64 1 x)))
(-.f64 (neg.f64 x) (*.f64 1/2 (/.f64 1 x)))
(-.f64 (*.f64 -1/2 (/.f64 1 x)) x)
(-.f64 (.f64 -1 x) (.f64 1/2 (/.f64 1 x)))
(-.f64 (neg.f64 x) (*.f64 1/2 (/.f64 1 x)))
(-.f64 (*.f64 -1/2 (/.f64 1 x)) x)
(-.f64 (.f64 -1 x) (.f64 1/2 (/.f64 1 x)))
(-.f64 (neg.f64 x) (*.f64 1/2 (/.f64 1 x)))
(-.f64 (*.f64 -1/2 (/.f64 1 x)) x)
(+.f64 (log.f64 -1/2) (*.f64 -1 (log.f64 x)))
(+.f64 (log.f64 -1/2) (+.f64 (.f64 -2 (.f64 (fabs.f64 x) x)) (*.f64 -1 (log.f64 x))))
(+.f64 (log.f64 -1/2) (+.f64 (.f64 -1 (log.f64 x)) (.f64 (fabs.f64 x) (*.f64 -2 x))))
(+.f64 (log.f64 -1/2) (+.f64 (.f64 -1 (log.f64 x)) (.f64 x (*.f64 -2 (fabs.f64 x)))))
(+.f64 (log.f64 -1/2) (+.f64 (.f64 -1 (log.f64 x)) (.f64 x (*.f64 (fabs.f64 x) -2))))
(+.f64 (.f64 1/2 (.f64 (+.f64 4 (.f64 -4 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (log.f64 -1/2) (+.f64 (.f64 -2 (.f64 (fabs.f64 x) x)) (.f64 -1 (log.f64 x)))))
(+.f64 (+.f64 (log.f64 -1/2) (+.f64 (.f64 -1 (log.f64 x)) (.f64 (fabs.f64 x) (.f64 -2 x)))) (.f64 1/2 (.f64 (+.f64 4 (.f64 -4 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))))
(+.f64 (+.f64 (.f64 -1 (log.f64 x)) (.f64 x (.f64 -2 (fabs.f64 x)))) (+.f64 (log.f64 -1/2) (.f64 1/2 (.f64 (+.f64 4 (.f64 -4 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2)))))
(+.f64 (log.f64 -1/2) (+.f64 (+.f64 (.f64 -1 (log.f64 x)) (.f64 x (.f64 (fabs.f64 x) -2))) (.f64 1/2 (.f64 (+.f64 4 (.f64 -4 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2)))))
(+.f64 (log.f64 -1/2) (+.f64 (.f64 -1 (log.f64 x)) (+.f64 (.f64 x (.f64 (fabs.f64 x) -2)) (.f64 1/2 (.f64 (+.f64 4 (.f64 -4 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))))))
(+.f64 (.f64 1/2 (.f64 (+.f64 4 (.f64 -4 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (log.f64 -1/2) (+.f64 (.f64 -2 (.f64 (fabs.f64 x) x)) (+.f64 (.f64 1/6 (.f64 (+.f64 (.f64 -16 (pow.f64 (fabs.f64 x) 3)) (.f64 24 (fabs.f64 x))) (pow.f64 x 3))) (.f64 -1 (log.f64 x))))))
(+.f64 (.f64 1/2 (.f64 (+.f64 4 (.f64 -4 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (log.f64 -1/2) (+.f64 (+.f64 (.f64 (fabs.f64 x) (.f64 -2 x)) (.f64 1/6 (.f64 (+.f64 (.f64 -16 (pow.f64 (fabs.f64 x) 3)) (.f64 (fabs.f64 x) 24)) (pow.f64 x 3)))) (.f64 -1 (log.f64 x)))))
(+.f64 (.f64 1/2 (.f64 (+.f64 4 (.f64 -4 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (log.f64 -1/2) (+.f64 (.f64 -1 (log.f64 x)) (+.f64 (.f64 x (.f64 -2 (fabs.f64 x))) (.f64 1/6 (.f64 (+.f64 (.f64 -16 (pow.f64 (fabs.f64 x) 3)) (.f64 (fabs.f64 x) 24)) (pow.f64 x 3)))))))
(+.f64 (log.f64 -1/2) (+.f64 (.f64 1/2 (.f64 (+.f64 4 (.f64 -4 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 -1 (log.f64 x)) (+.f64 (.f64 x (.f64 (fabs.f64 x) -2)) (.f64 1/6 (.f64 (+.f64 (.f64 -16 (pow.f64 (fabs.f64 x) 3)) (.f64 (fabs.f64 x) 24)) (pow.f64 x 3)))))))
(+.f64 (.f64 -1 (log.f64 x)) (+.f64 (.f64 1/2 (.f64 (+.f64 4 (.f64 -4 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 1/6 (.f64 (+.f64 (.f64 -16 (pow.f64 (fabs.f64 x) 3)) (.f64 (fabs.f64 x) 24)) (pow.f64 x 3))) (+.f64 (log.f64 -1/2) (.f64 x (.f64 (fabs.f64 x) -2))))))
(+.f64 (.f64 -1 (log.f64 x)) (+.f64 (log.f64 -1/2) (+.f64 (.f64 1/6 (.f64 (+.f64 (.f64 -16 (pow.f64 (fabs.f64 x) 3)) (.f64 (fabs.f64 x) 24)) (pow.f64 x 3))) (+.f64 (.f64 x (.f64 (fabs.f64 x) -2)) (.f64 1/2 (.f64 (+.f64 4 (.f64 -4 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2)))))))
(+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (+.f64 (log.f64 -1) (.f64 -1 (/.f64 (fabs.f64 x) x))))
(+.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (.f64 -1 (/.f64 x (fabs.f64 x))))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (+.f64 (log.f64 -1) (.f64 -1 (/.f64 (fabs.f64 x) x)))))
(+.f64 (+.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (.f64 -1 (/.f64 x (fabs.f64 x)))) (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (+.f64 (+.f64 (log.f64 -1) (.f64 -1 (/.f64 x (fabs.f64 x)))) (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2)))))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (+.f64 (.f64 -1 (/.f64 x (fabs.f64 x))) (+.f64 (log.f64 -1) (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))))))
(+.f64 (.f64 1/6 (/.f64 (+.f64 (.f64 -2 (pow.f64 (fabs.f64 x) 3)) (.f64 3 (fabs.f64 x))) (pow.f64 x 3))) (+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (+.f64 (log.f64 -1) (*.f64 -1 (/.f64 (fabs.f64 x) x))))))
(+.f64 (+.f64 (+.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (.f64 -1 (/.f64 x (fabs.f64 x)))) (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2)))) (.f64 1/6 (/.f64 (+.f64 (.f64 -2 (pow.f64 (fabs.f64 x) 3)) (*.f64 (fabs.f64 x) 3)) (pow.f64 x 3))))
(+.f64 (+.f64 (.f64 1/6 (/.f64 (+.f64 (.f64 -2 (pow.f64 (fabs.f64 x) 3)) (.f64 (fabs.f64 x) 3)) (pow.f64 x 3))) (+.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (.f64 -1 (/.f64 x (fabs.f64 x))))) (.f64 1/2 (/.f64 (+.f64 1 (*.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (+.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 -1)) (.f64 -1 (/.f64 x (fabs.f64 x)))) (.f64 1/6 (/.f64 (+.f64 (.f64 -2 (pow.f64 (fabs.f64 x) 3)) (*.f64 (fabs.f64 x) 3)) (pow.f64 x 3)))))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (log.f64 -1) (+.f64 (.f64 1/6 (/.f64 (+.f64 (.f64 -2 (pow.f64 (fabs.f64 x) 3)) (.f64 (fabs.f64 x) 3)) (pow.f64 x 3))) (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (*.f64 -1 (/.f64 x (fabs.f64 x)))))))
(*.f64 -1 (log.f64 (/.f64 -1 x)))
(+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (.f64 -1 (/.f64 (fabs.f64 x) x)))
(+.f64 (.f64 -1 (/.f64 x (fabs.f64 x))) (.f64 -1 (log.f64 (/.f64 -1 x))))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (.f64 -1 (/.f64 (fabs.f64 x) x))))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 -1 (/.f64 x (fabs.f64 x))) (.f64 -1 (log.f64 (/.f64 -1 x)))))
(+.f64 (.f64 -1 (/.f64 x (fabs.f64 x))) (+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (.f64 -1 (log.f64 (/.f64 -1 x)))))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (.f64 -1 (/.f64 (fabs.f64 x) x)) (.f64 -1/6 (/.f64 (+.f64 (.f64 2 (pow.f64 (fabs.f64 x) 3)) (*.f64 -3 (fabs.f64 x))) (pow.f64 x 3))))))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (+.f64 (.f64 -1 (/.f64 x (fabs.f64 x))) (.f64 -1 (log.f64 (/.f64 -1 x)))) (.f64 -1/6 (/.f64 (+.f64 (.f64 2 (pow.f64 (fabs.f64 x) 3)) (*.f64 (fabs.f64 x) -3)) (pow.f64 x 3)))))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 -1 (/.f64 x (fabs.f64 x))) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (.f64 -1/6 (/.f64 (+.f64 (.f64 2 (pow.f64 (fabs.f64 x) 3)) (*.f64 (fabs.f64 x) -3)) (pow.f64 x 3))))))
(+.f64 (.f64 -1 (/.f64 x (fabs.f64 x))) (+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (.f64 -1/6 (/.f64 (+.f64 (.f64 2 (pow.f64 (fabs.f64 x) 3)) (*.f64 (fabs.f64 x) -3)) (pow.f64 x 3))))))
(.f64 1 (+.f64 (-.f64 (.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x)))
(-.f64 (+.f64 (fabs.f64 x) (neg.f64 x)) (*.f64 1/2 (/.f64 1 x)))
(+.f64 (-.f64 (fabs.f64 x) (*.f64 1/2 (/.f64 1 x))) (neg.f64 x))
(+.f64 (fabs.f64 x) (-.f64 (neg.f64 x) (*.f64 1/2 (/.f64 1 x))))
(+.f64 (fabs.f64 x) (-.f64 (*.f64 -1/2 (/.f64 1 x)) x))
(-.f64 (*.f64 -1/2 (/.f64 1 x)) (-.f64 x (fabs.f64 x)))
(+.f64 (*.f64 -1/2 (/.f64 1 x)) (-.f64 (fabs.f64 x) x))
(.f64 (+.f64 (-.f64 (.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x)) 1)
(-.f64 (+.f64 (fabs.f64 x) (neg.f64 x)) (*.f64 1/2 (/.f64 1 x)))
(+.f64 (-.f64 (fabs.f64 x) (*.f64 1/2 (/.f64 1 x))) (neg.f64 x))
(+.f64 (fabs.f64 x) (-.f64 (neg.f64 x) (*.f64 1/2 (/.f64 1 x))))
(+.f64 (fabs.f64 x) (-.f64 (*.f64 -1/2 (/.f64 1 x)) x))
(-.f64 (*.f64 -1/2 (/.f64 1 x)) (-.f64 x (fabs.f64 x)))
(+.f64 (*.f64 -1/2 (/.f64 1 x)) (-.f64 (fabs.f64 x) x))
(+.f64 (*.f64 (/.f64 1 x) -1/2) (neg.f64 x))
(-.f64 (neg.f64 x) (*.f64 1/2 (/.f64 1 x)))
(-.f64 (*.f64 -1/2 (/.f64 1 x)) x)
(+.f64 (-.f64 (*.f64 (/.f64 1 x) -1/2) x) 0)
(+.f64 (-.f64 (*.f64 -1/2 (/.f64 1 x)) x) 0)
(+.f64 0 (-.f64 (*.f64 -1/2 (/.f64 1 x)) x))
(+.f64 0 (-.f64 (*.f64 (/.f64 1 x) -1/2) x))
(+.f64 (-.f64 (*.f64 -1/2 (/.f64 1 x)) x) 0)
(+.f64 0 (-.f64 (*.f64 -1/2 (/.f64 1 x)) x))
(+.f64 (neg.f64 x) (*.f64 (/.f64 1 x) -1/2))
(-.f64 (neg.f64 x) (*.f64 1/2 (/.f64 1 x)))
(-.f64 (*.f64 -1/2 (/.f64 1 x)) x)
(.f64 1 (-.f64 (.f64 (/.f64 1 x) -1/2) x))
(-.f64 (neg.f64 x) (*.f64 1/2 (/.f64 1 x)))
(-.f64 (*.f64 -1/2 (/.f64 1 x)) x)
(.f64 (-.f64 (.f64 (/.f64 1 x) -1/2) x) 1)
(-.f64 (neg.f64 x) (*.f64 1/2 (/.f64 1 x)))
(-.f64 (*.f64 -1/2 (/.f64 1 x)) x)
(.f64 (+.f64 x (.f64 (/.f64 1 x) 1/2)) -1)
(-.f64 (neg.f64 x) (*.f64 1/2 (/.f64 1 x)))
(-.f64 (*.f64 -1/2 (/.f64 1 x)) x)
(.f64 -1 (+.f64 x (.f64 (/.f64 1 x) 1/2)))
(-.f64 (neg.f64 x) (*.f64 1/2 (/.f64 1 x)))
(-.f64 (*.f64 -1/2 (/.f64 1 x)) x)
(neg.f64 (+.f64 x (*.f64 (/.f64 1 x) 1/2)))
(-.f64 (neg.f64 x) (*.f64 1/2 (/.f64 1 x)))
(-.f64 (*.f64 -1/2 (/.f64 1 x)) x)
(+.f64 (log.f64 (+.f64 (-.f64 (*.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))) 0)
(+.f64 0 (log.f64 (+.f64 (fabs.f64 x) (-.f64 (*.f64 -1/2 (/.f64 1 x)) x))))
(+.f64 0 (log.f64 (-.f64 (*.f64 -1/2 (/.f64 1 x)) (-.f64 x (fabs.f64 x)))))
(+.f64 0 (log.f64 (+.f64 (*.f64 -1/2 (/.f64 1 x)) (-.f64 (fabs.f64 x) x))))
(+.f64 0 (log.f64 (+.f64 (-.f64 (*.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))))
(+.f64 0 (log.f64 (+.f64 (fabs.f64 x) (-.f64 (*.f64 -1/2 (/.f64 1 x)) x))))
(+.f64 0 (log.f64 (-.f64 (*.f64 -1/2 (/.f64 1 x)) (-.f64 x (fabs.f64 x)))))
(+.f64 0 (log.f64 (+.f64 (*.f64 -1/2 (/.f64 1 x)) (-.f64 (fabs.f64 x) x))))
(.f64 1 (log.f64 (+.f64 (-.f64 (.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))))
(.f64 1 (log.f64 (+.f64 (fabs.f64 x) (-.f64 (.f64 -1/2 (/.f64 1 x)) x))))
(.f64 1 (log.f64 (-.f64 (.f64 -1/2 (/.f64 1 x)) (-.f64 x (fabs.f64 x)))))
(.f64 1 (log.f64 (+.f64 (.f64 -1/2 (/.f64 1 x)) (-.f64 (fabs.f64 x) x))))
(.f64 (log.f64 (+.f64 (-.f64 (.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))) 1)
(.f64 1 (log.f64 (+.f64 (fabs.f64 x) (-.f64 (.f64 -1/2 (/.f64 1 x)) x))))
(.f64 1 (log.f64 (-.f64 (.f64 -1/2 (/.f64 1 x)) (-.f64 x (fabs.f64 x)))))
(.f64 1 (log.f64 (+.f64 (.f64 -1/2 (/.f64 1 x)) (-.f64 (fabs.f64 x) x))))

localize13.0ms (0.6%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(log.f64 (/.f64 -1 x))

Compiler

Compiled 24 to 18 computations (25% saved)

series41.0ms (1.7%)

Counts

1 → 8

Calls

3 calls:

Time	Variable		Point	Expression
18.0ms	x	@	0	(log.f64 (/.f64 -1 x))
17.0ms	x	@	-inf	(log.f64 (/.f64 -1 x))
5.0ms	x	@	inf	(log.f64 (/.f64 -1 x))

rewrite5.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

22×	`bool.json-1`
16×	`rational.json-1`
16×	`rational.json-2`
16×	`rational.json-simplify-2`
16×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	32	11
2	56	11
3	60	11

Stop Event

1×

saturated

Counts

1 → 4

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (/.f64 -1 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (log.f64 (/.f64 -1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 (/.f64 -1 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (log.f64 (/.f64 -1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (log.f64 (/.f64 -1 x)) (log.f64 (/.f64 -1 x)))))))

simplify5.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

6×	`rational.json-simplify-1`
4×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	236
1	23	236

Stop Event

1×

saturated

Counts

12 → 7

Calls

Call 1

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

Outputs
(+.f64 (log.f64 -1) (*.f64 -1 (log.f64 x)))
(+.f64 (log.f64 -1) (*.f64 -1 (log.f64 x)))
(+.f64 (log.f64 -1) (*.f64 -1 (log.f64 x)))
(+.f64 (log.f64 -1) (*.f64 -1 (log.f64 x)))
(+.f64 (log.f64 (/.f64 1 x)) (log.f64 -1))
(+.f64 (log.f64 -1) (log.f64 (/.f64 1 x)))
(+.f64 (log.f64 (/.f64 1 x)) (log.f64 -1))
(+.f64 (log.f64 -1) (log.f64 (/.f64 1 x)))
(+.f64 (log.f64 (/.f64 1 x)) (log.f64 -1))
(+.f64 (log.f64 -1) (log.f64 (/.f64 1 x)))
(+.f64 (log.f64 (/.f64 1 x)) (log.f64 -1))
(+.f64 (log.f64 -1) (log.f64 (/.f64 1 x)))
(+.f64 (log.f64 (/.f64 -1 x)) 0)
(+.f64 0 (log.f64 (/.f64 -1 x)))
(+.f64 (log.f64 (/.f64 -1 x)) 0)
(*.f64 (log.f64 (/.f64 -1 x)) 1)
(*.f64 1 (log.f64 (/.f64 -1 x)))
(*.f64 1 (log.f64 (/.f64 -1 x)))

localize10.0ms (0.4%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	2.5b	(log.f64 (+.f64 (fabs.f64 x) 1))

Compiler

Compiled 21 to 12 computations (42.9% saved)

series45.0ms (1.9%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
22.0ms	x	@	inf	(log.f64 (+.f64 (fabs.f64 x) 1))
13.0ms	x	@	0	(log.f64 (+.f64 (fabs.f64 x) 1))
10.0ms	x	@	-inf	(log.f64 (+.f64 (fabs.f64 x) 1))

rewrite5.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

22×	`bool.json-1`
20×	`rational.json-simplify-1`
18×	`rational.json-1`
18×	`rational.json-2`
18×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	36	15
2	59	15
3	64	15

Stop Event

1×

saturated

Counts

1 → 4

Calls

Call 1

Inputs
(log.f64 (+.f64 (fabs.f64 x) 1))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (+.f64 (fabs.f64 x) 1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (log.f64 (+.f64 (fabs.f64 x) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (log.f64 (+.f64 (fabs.f64 x) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 (+.f64 (fabs.f64 x) 1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x or (log.f64 (+.f64 (fabs.f64 x) 1)) (log.f64 (+.f64 (fabs.f64 x) 1)))))))

simplify10.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

4×	`rational.json-simplify-1`
2×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	264
1	15	264

Stop Event

1×

saturated

Counts

16 → 7

Calls

Call 1

Inputs
(log.f64 (+.f64 1 (fabs.f64 x)))
(log.f64 (+.f64 1 (fabs.f64 x)))
(log.f64 (+.f64 1 (fabs.f64 x)))
(log.f64 (+.f64 1 (fabs.f64 x)))
(log.f64 (+.f64 1 (fabs.f64 x)))
(log.f64 (+.f64 1 (fabs.f64 x)))
(log.f64 (+.f64 1 (fabs.f64 x)))
(log.f64 (+.f64 1 (fabs.f64 x)))
(log.f64 (+.f64 1 (fabs.f64 x)))
(log.f64 (+.f64 1 (fabs.f64 x)))
(log.f64 (+.f64 1 (fabs.f64 x)))
(log.f64 (+.f64 1 (fabs.f64 x)))
(+.f64 (log.f64 (+.f64 (fabs.f64 x) 1)) 0)
(+.f64 0 (log.f64 (+.f64 (fabs.f64 x) 1)))
(*.f64 1 (log.f64 (+.f64 (fabs.f64 x) 1)))
(*.f64 (log.f64 (+.f64 (fabs.f64 x) 1)) 1)

Outputs
(log.f64 (+.f64 1 (fabs.f64 x)))
(log.f64 (+.f64 1 (fabs.f64 x)))
(log.f64 (+.f64 1 (fabs.f64 x)))
(log.f64 (+.f64 1 (fabs.f64 x)))
(log.f64 (+.f64 1 (fabs.f64 x)))
(log.f64 (+.f64 1 (fabs.f64 x)))
(log.f64 (+.f64 1 (fabs.f64 x)))
(log.f64 (+.f64 1 (fabs.f64 x)))
(log.f64 (+.f64 1 (fabs.f64 x)))
(log.f64 (+.f64 1 (fabs.f64 x)))
(log.f64 (+.f64 1 (fabs.f64 x)))
(log.f64 (+.f64 1 (fabs.f64 x)))
(+.f64 (log.f64 (+.f64 (fabs.f64 x) 1)) 0)
(+.f64 (log.f64 (+.f64 1 (fabs.f64 x))) 0)
(+.f64 0 (log.f64 (+.f64 (fabs.f64 x) 1)))
(+.f64 (log.f64 (+.f64 1 (fabs.f64 x))) 0)
(*.f64 1 (log.f64 (+.f64 (fabs.f64 x) 1)))
(*.f64 1 (log.f64 (+.f64 1 (fabs.f64 x))))
(*.f64 (log.f64 (+.f64 (fabs.f64 x) 1)) 1)
(*.f64 1 (log.f64 (+.f64 1 (fabs.f64 x))))

localize8.0ms (0.3%)

Compiler: Compiled 20 to 5 computations (75% saved)

localize19.0ms (0.8%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 (fabs.f64 x) x))
✓	0.0b	(log.f64 (/.f64 1 x))

Compiler

Compiled 47 to 28 computations (40.4% saved)

series8.0ms (0.3%)

Counts

2 → 17

Calls

6 calls:

Time	Variable		Point	Expression
6.0ms	x	@	0	(log.f64 (/.f64 1 x))
1.0ms	x	@	0	(+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 (fabs.f64 x) x))
0.0ms	x	@	-inf	(+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 (fabs.f64 x) x))
0.0ms	x	@	inf	(+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 (fabs.f64 x) x))
0.0ms	x	@	-inf	(log.f64 (/.f64 1 x))

rewrite6.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

30×	`bool.json-1`
26×	`rational.json-simplify-2`
26×	`rational.json-simplify-1`
24×	`rational.json-1`
24×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	44
1	54	44
2	83	44
3	88	44

Stop Event

1×

saturated

Counts

2 → 6

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (/.f64 1 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (log.f64 (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (log.f64 (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 (/.f64 1 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x or (log.f64 (/.f64 1 x)) (log.f64 (/.f64 1 x)))))))

((#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 (log.f64 (/.f64 1 x)) -1) (/.f64 x (fabs.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 (log.f64 (/.f64 1 x)) -1) (/.f64 x (fabs.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (*.f64 (log.f64 (/.f64 1 x)) -1) (/.f64 x (fabs.f64 x))) (+.f64 (*.f64 (log.f64 (/.f64 1 x)) -1) (/.f64 x (fabs.f64 x))))))))

simplify7.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

10×	`rational.json-simplify-2`
10×	`rational.json-simplify-1`
2×	`rational.json-simplify-15`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	521
1	38	521

Stop Event

1×

saturated

Counts

23 → 17

Calls

Call 1

Inputs
(*.f64 -1 (log.f64 x))
(*.f64 -1 (log.f64 x))
(*.f64 -1 (log.f64 x))
(*.f64 -1 (log.f64 x))
(+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1))
(+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1))
(+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1))
(+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1))
(/.f64 (fabs.f64 x) x)
(+.f64 (log.f64 x) (/.f64 (fabs.f64 x) x))
(+.f64 (log.f64 x) (/.f64 (fabs.f64 x) x))
(+.f64 (log.f64 x) (/.f64 (fabs.f64 x) x))
(*.f64 -1 (log.f64 (/.f64 1 x)))
(*.f64 -1 (+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1)))
(+.f64 (*.f64 -1 (+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1))) (/.f64 (fabs.f64 x) x))
(+.f64 (*.f64 -1 (+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1))) (/.f64 (fabs.f64 x) x))
(+.f64 (*.f64 -1 (+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1))) (/.f64 (fabs.f64 x) x))
(+.f64 (log.f64 (/.f64 1 x)) 0)
(+.f64 0 (log.f64 (/.f64 1 x)))
(*.f64 1 (log.f64 (/.f64 1 x)))
(*.f64 (log.f64 (/.f64 1 x)) 1)
(.f64 1 (+.f64 (.f64 (log.f64 (/.f64 1 x)) -1) (/.f64 x (fabs.f64 x))))
(.f64 (+.f64 (.f64 (log.f64 (/.f64 1 x)) -1) (/.f64 x (fabs.f64 x))) 1)

Outputs
(*.f64 -1 (log.f64 x))
(*.f64 -1 (log.f64 x))
(*.f64 -1 (log.f64 x))
(*.f64 -1 (log.f64 x))
(+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1))
(+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1))
(+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1))
(+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1))
(/.f64 (fabs.f64 x) x)
(/.f64 x (fabs.f64 x))
(+.f64 (log.f64 x) (/.f64 (fabs.f64 x) x))
(+.f64 (log.f64 x) (/.f64 x (fabs.f64 x)))
(+.f64 (log.f64 x) (/.f64 (fabs.f64 x) x))
(+.f64 (log.f64 x) (/.f64 x (fabs.f64 x)))
(+.f64 (log.f64 x) (/.f64 (fabs.f64 x) x))
(+.f64 (log.f64 x) (/.f64 x (fabs.f64 x)))
(*.f64 -1 (log.f64 (/.f64 1 x)))
(*.f64 -1 (+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1)))
(+.f64 (*.f64 -1 (+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1))) (/.f64 (fabs.f64 x) x))
(+.f64 (/.f64 x (fabs.f64 x)) (*.f64 -1 (+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1))))
(+.f64 (*.f64 -1 (+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1))) (/.f64 (fabs.f64 x) x))
(+.f64 (/.f64 x (fabs.f64 x)) (*.f64 -1 (+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1))))
(+.f64 (*.f64 -1 (+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1))) (/.f64 (fabs.f64 x) x))
(+.f64 (/.f64 x (fabs.f64 x)) (*.f64 -1 (+.f64 (log.f64 (/.f64 -1 x)) (log.f64 -1))))
(+.f64 (log.f64 (/.f64 1 x)) 0)
(+.f64 0 (log.f64 (/.f64 1 x)))
(+.f64 (log.f64 (/.f64 1 x)) 0)
(*.f64 1 (log.f64 (/.f64 1 x)))
(*.f64 (log.f64 (/.f64 1 x)) 1)
(*.f64 1 (log.f64 (/.f64 1 x)))
(.f64 1 (+.f64 (.f64 (log.f64 (/.f64 1 x)) -1) (/.f64 x (fabs.f64 x))))
(.f64 1 (+.f64 (/.f64 x (fabs.f64 x)) (.f64 -1 (log.f64 (/.f64 1 x)))))
(.f64 (+.f64 (.f64 (log.f64 (/.f64 1 x)) -1) (/.f64 x (fabs.f64 x))) 1)
(.f64 1 (+.f64 (/.f64 x (fabs.f64 x)) (.f64 -1 (log.f64 (/.f64 1 x)))))

eval40.0ms (1.7%)

Compiler: Compiled 2169 to 1463 computations (32.5% saved)

prune25.0ms (1.1%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	106	4	110
Fresh	2	5	7
Picked	1	0	1
Done	2	3	5
Total	111	12	123

Error

29.0b

Counts

123 → 12

Alt Table

Click to see full alt table

Status	Error	Program
	57.7b	(copysign.f64 (/.f64 (fabs.f64 x) x) x)
	60.3b	(copysign.f64 (+.f64 (+.f64 (log.f64 (+.f64 1 (fabs.f64 x))) (.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))))) (.f64 (+.f64 (.f64 3 (/.f64 1 (+.f64 1 (fabs.f64 x)))) (.f64 3 (/.f64 1 (pow.f64 (+.f64 1 (fabs.f64 x)) 2)))) (*.f64 -1/24 (pow.f64 x 4)))) x)
▶	59.8b	(copysign.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))) (log.f64 (+.f64 1 (fabs.f64 x)))) x)
	57.5b	(copysign.f64 (+.f64 (.f64 -1 (/.f64 x (fabs.f64 x))) (.f64 -1 (log.f64 (/.f64 -1 x)))) x)
▶	58.5b	(copysign.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) x)
▶	46.5b	(copysign.f64 (log.f64 (/.f64 -1/2 x)) x)
✓	46.4b	(copysign.f64 (log.f64 (+.f64 (-.f64 (*.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))) x)
▶	48.4b	(copysign.f64 (log.f64 (+.f64 (*.f64 1/2 (/.f64 1 x)) (+.f64 (fabs.f64 x) x))) x)
✓	43.1b	(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) 1)))) x)
	48.5b	(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) x)) x)
✓	51.8b	(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) 1)) x)
▶	57.8b	(copysign.f64 (log.f64 (neg.f64 x)) x)

Compiler

Compiled 297 to 217 computations (26.9% saved)

localize10.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 16 to 11 computations (31.3% saved)

series25.0ms (1.1%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
10.0ms	x	@	-inf	(log.f64 (/.f64 -1/2 x))
10.0ms	x	@	0	(log.f64 (/.f64 -1/2 x))
5.0ms	x	@	inf	(log.f64 (/.f64 -1/2 x))

rewrite5.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

22×	`bool.json-1`
16×	`rational.json-1`
16×	`rational.json-2`
16×	`rational.json-simplify-2`
16×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	32	11
2	56	11
3	60	11

Stop Event

1×

saturated

Counts

1 → 4

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (/.f64 -1/2 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (log.f64 (/.f64 -1/2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 (/.f64 -1/2 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (log.f64 (/.f64 -1/2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (log.f64 (/.f64 -1/2 x)) (log.f64 (/.f64 -1/2 x)))))))

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

8×	`rational.json-simplify-1`
4×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	320
1	30	320

Stop Event

1×

saturated

Counts

16 → 7

Calls

Call 1

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

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

localize7.0ms (0.3%)

Compiler: Compiled 12 to 4 computations (66.7% saved)

localize75.0ms (3.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
	0.0b	(log.f64 (/.f64 1 x))

Compiler

Compiled 25 to 19 computations (24% saved)

localize19.0ms (0.8%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 52 to 29 computations (44.2% saved)

series1.0ms (0.1%)

Counts

2 → 20

Calls

6 calls:

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

rewrite10.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

40×	`rational.json-simplify-1`
36×	`bool.json-1`
30×	`rational.json-1`
30×	`rational.json-2`
30×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	62
1	56	62
2	92	62
3	106	62
4	110	62

Stop Event

1×

saturated

Counts

2 → 6

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (+.f64 x (+.f64 (*.f64 1/2 (/.f64 1 x)) (fabs.f64 x)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (log.f64 (+.f64 x (+.f64 (*.f64 1/2 (/.f64 1 x)) (fabs.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (log.f64 (+.f64 x (+.f64 (*.f64 1/2 (/.f64 1 x)) (fabs.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 (+.f64 x (+.f64 (*.f64 1/2 (/.f64 1 x)) (fabs.f64 x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x or (log.f64 (+.f64 x (+.f64 (*.f64 1/2 (/.f64 1 x)) (fabs.f64 x)))) (log.f64 (+.f64 x (+.f64 (*.f64 1/2 (/.f64 1 x)) (fabs.f64 x)))))))))

((#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 x (+.f64 (*.f64 1/2 (/.f64 1 x)) (fabs.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (+.f64 (*.f64 1/2 (/.f64 1 x)) (fabs.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 x (+.f64 (*.f64 1/2 (/.f64 1 x)) (fabs.f64 x))) (+.f64 x (+.f64 (*.f64 1/2 (/.f64 1 x)) (fabs.f64 x))))))))

simplify28.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

488×	`rational.json-simplify-1`
454×	`rational.json-simplify-33`
70×	`rational.json-simplify-2`
12×	`rational.json-simplify-31`
2×	`rational.json-simplify-15`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	88	1204
1	156	1204
2	242	1204
3	395	1204
4	561	1204
5	652	1204
6	657	1204

Stop Event

1×

saturated

Counts

26 → 59

Calls

Call 1

Inputs
(+.f64 (log.f64 1/2) (*.f64 -1 (log.f64 x)))
(+.f64 (log.f64 1/2) (+.f64 (.f64 2 (.f64 (fabs.f64 x) x)) (*.f64 -1 (log.f64 x))))
(+.f64 (.f64 1/2 (.f64 (+.f64 4 (.f64 -4 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (log.f64 1/2) (+.f64 (.f64 2 (.f64 (fabs.f64 x) x)) (.f64 -1 (log.f64 x)))))
(+.f64 (.f64 1/2 (.f64 (+.f64 4 (.f64 -4 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 1/6 (.f64 (+.f64 (.f64 16 (pow.f64 (fabs.f64 x) 3)) (.f64 -24 (fabs.f64 x))) (pow.f64 x 3))) (+.f64 (log.f64 1/2) (+.f64 (.f64 2 (.f64 (fabs.f64 x) x)) (.f64 -1 (log.f64 x))))))
(*.f64 -1 (log.f64 (/.f64 1 x)))
(+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 (fabs.f64 x) x))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 (fabs.f64 x) x)))
(+.f64 (.f64 1/6 (/.f64 (+.f64 (.f64 -3 (fabs.f64 x)) (.f64 2 (pow.f64 (fabs.f64 x) 3))) (pow.f64 x 3))) (+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 (fabs.f64 x) x))))
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (log.f64 -1) (/.f64 (fabs.f64 x) x)))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (log.f64 -1) (/.f64 (fabs.f64 x) x))))
(+.f64 (.f64 -1/6 (/.f64 (+.f64 (.f64 -2 (pow.f64 (fabs.f64 x) 3)) (.f64 3 (fabs.f64 x))) (pow.f64 x 3))) (+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (log.f64 -1) (/.f64 (fabs.f64 x) x)))))
(/.f64 1/2 x)
(+.f64 (fabs.f64 x) (*.f64 1/2 (/.f64 1 x)))
(+.f64 (fabs.f64 x) (+.f64 (*.f64 1/2 (/.f64 1 x)) x))
(+.f64 (fabs.f64 x) (+.f64 (*.f64 1/2 (/.f64 1 x)) x))
x
(+.f64 (fabs.f64 x) x)
x
(+.f64 (fabs.f64 x) x)
(+.f64 (log.f64 (+.f64 x (+.f64 (*.f64 1/2 (/.f64 1 x)) (fabs.f64 x)))) 0)
(+.f64 0 (log.f64 (+.f64 x (+.f64 (*.f64 1/2 (/.f64 1 x)) (fabs.f64 x)))))
(.f64 1 (log.f64 (+.f64 x (+.f64 (.f64 1/2 (/.f64 1 x)) (fabs.f64 x)))))
(.f64 (log.f64 (+.f64 x (+.f64 (.f64 1/2 (/.f64 1 x)) (fabs.f64 x)))) 1)
(.f64 1 (+.f64 x (+.f64 (.f64 1/2 (/.f64 1 x)) (fabs.f64 x))))
(.f64 (+.f64 x (+.f64 (.f64 1/2 (/.f64 1 x)) (fabs.f64 x))) 1)

Outputs
(+.f64 (log.f64 1/2) (*.f64 -1 (log.f64 x)))
(+.f64 (log.f64 1/2) (+.f64 (.f64 2 (.f64 (fabs.f64 x) x)) (*.f64 -1 (log.f64 x))))
(+.f64 (log.f64 1/2) (+.f64 (.f64 -1 (log.f64 x)) (.f64 2 (*.f64 x (fabs.f64 x)))))
(+.f64 (.f64 -1 (log.f64 x)) (+.f64 (log.f64 1/2) (.f64 x (*.f64 2 (fabs.f64 x)))))
(+.f64 (.f64 1/2 (.f64 (+.f64 4 (.f64 -4 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (log.f64 1/2) (+.f64 (.f64 2 (.f64 (fabs.f64 x) x)) (.f64 -1 (log.f64 x)))))
(+.f64 (+.f64 (log.f64 1/2) (+.f64 (.f64 -1 (log.f64 x)) (.f64 2 (.f64 x (fabs.f64 x))))) (.f64 1/2 (.f64 (+.f64 4 (.f64 -4 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))))
(+.f64 (+.f64 (.f64 -1 (log.f64 x)) (.f64 x (.f64 2 (fabs.f64 x)))) (+.f64 (log.f64 1/2) (.f64 1/2 (.f64 (+.f64 4 (.f64 -4 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2)))))
(+.f64 (log.f64 1/2) (+.f64 (+.f64 (.f64 -1 (log.f64 x)) (.f64 x (.f64 2 (fabs.f64 x)))) (.f64 1/2 (.f64 (+.f64 4 (.f64 -4 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2)))))
(+.f64 (log.f64 1/2) (+.f64 (.f64 x (.f64 2 (fabs.f64 x))) (+.f64 (.f64 -1 (log.f64 x)) (.f64 1/2 (.f64 (+.f64 4 (.f64 -4 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))))))
(+.f64 (.f64 1/2 (.f64 (+.f64 4 (.f64 -4 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 1/6 (.f64 (+.f64 (.f64 16 (pow.f64 (fabs.f64 x) 3)) (.f64 -24 (fabs.f64 x))) (pow.f64 x 3))) (+.f64 (log.f64 1/2) (+.f64 (.f64 2 (.f64 (fabs.f64 x) x)) (.f64 -1 (log.f64 x))))))
(+.f64 (.f64 1/2 (.f64 (+.f64 4 (.f64 -4 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (+.f64 (log.f64 1/2) (+.f64 (.f64 -1 (log.f64 x)) (.f64 2 (.f64 x (fabs.f64 x))))) (.f64 1/6 (.f64 (+.f64 (.f64 16 (pow.f64 (fabs.f64 x) 3)) (.f64 (fabs.f64 x) -24)) (pow.f64 x 3)))))
(+.f64 (+.f64 (+.f64 (.f64 -1 (log.f64 x)) (.f64 x (.f64 2 (fabs.f64 x)))) (+.f64 (log.f64 1/2) (.f64 1/2 (.f64 (+.f64 4 (.f64 -4 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))))) (.f64 1/6 (.f64 (+.f64 (.f64 16 (pow.f64 (fabs.f64 x) 3)) (.f64 (fabs.f64 x) -24)) (pow.f64 x 3))))
(+.f64 (+.f64 (log.f64 1/2) (+.f64 (+.f64 (.f64 -1 (log.f64 x)) (.f64 x (.f64 2 (fabs.f64 x)))) (.f64 1/2 (.f64 (+.f64 4 (.f64 -4 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))))) (.f64 1/6 (.f64 (+.f64 (.f64 16 (pow.f64 (fabs.f64 x) 3)) (.f64 (fabs.f64 x) -24)) (pow.f64 x 3))))
(+.f64 (log.f64 1/2) (+.f64 (+.f64 (.f64 x (.f64 2 (fabs.f64 x))) (+.f64 (.f64 -1 (log.f64 x)) (.f64 1/2 (.f64 (+.f64 4 (.f64 -4 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))))) (.f64 1/6 (.f64 (+.f64 (.f64 16 (pow.f64 (fabs.f64 x) 3)) (.f64 (fabs.f64 x) -24)) (pow.f64 x 3)))))
(+.f64 (log.f64 1/2) (+.f64 (.f64 x (.f64 2 (fabs.f64 x))) (+.f64 (.f64 1/6 (.f64 (+.f64 (.f64 16 (pow.f64 (fabs.f64 x) 3)) (.f64 (fabs.f64 x) -24)) (pow.f64 x 3))) (+.f64 (.f64 -1 (log.f64 x)) (.f64 1/2 (.f64 (+.f64 4 (.f64 -4 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2)))))))
(*.f64 -1 (log.f64 (/.f64 1 x)))
(+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 (fabs.f64 x) x))
(+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 x (fabs.f64 x)))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 (fabs.f64 x) x)))
(+.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 x (fabs.f64 x))) (.f64 1/2 (/.f64 (+.f64 1 (*.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))))
(+.f64 (/.f64 x (fabs.f64 x)) (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (.f64 1/2 (/.f64 (+.f64 1 (*.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2)))))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (+.f64 (/.f64 x (fabs.f64 x)) (.f64 1/2 (/.f64 (+.f64 1 (*.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2)))))
(+.f64 (.f64 1/6 (/.f64 (+.f64 (.f64 -3 (fabs.f64 x)) (.f64 2 (pow.f64 (fabs.f64 x) 3))) (pow.f64 x 3))) (+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 (fabs.f64 x) x))))
(+.f64 (+.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 x (fabs.f64 x))) (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2)))) (.f64 1/6 (/.f64 (+.f64 (.f64 (fabs.f64 x) -3) (.f64 2 (pow.f64 (fabs.f64 x) 3))) (pow.f64 x 3))))
(+.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 x (fabs.f64 x))) (+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (.f64 1/6 (/.f64 (+.f64 (.f64 (fabs.f64 x) -3) (.f64 2 (pow.f64 (fabs.f64 x) 3))) (pow.f64 x 3)))))
(+.f64 (/.f64 x (fabs.f64 x)) (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (.f64 1/6 (/.f64 (+.f64 (.f64 (fabs.f64 x) -3) (.f64 2 (pow.f64 (fabs.f64 x) 3))) (pow.f64 x 3))))))
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (log.f64 -1) (/.f64 (fabs.f64 x) x)))
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (/.f64 x (fabs.f64 x)) (log.f64 -1)))
(+.f64 (/.f64 x (fabs.f64 x)) (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (log.f64 -1) (/.f64 (fabs.f64 x) x))))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (/.f64 x (fabs.f64 x)) (log.f64 -1))))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (/.f64 x (fabs.f64 x)) (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))))
(+.f64 (.f64 -1/6 (/.f64 (+.f64 (.f64 -2 (pow.f64 (fabs.f64 x) 3)) (.f64 3 (fabs.f64 x))) (pow.f64 x 3))) (+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (log.f64 -1) (/.f64 (fabs.f64 x) x)))))
(+.f64 (+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (/.f64 x (fabs.f64 x)) (log.f64 -1)))) (.f64 -1/6 (/.f64 (+.f64 (.f64 (pow.f64 (fabs.f64 x) 3) -2) (.f64 (fabs.f64 x) 3)) (pow.f64 x 3))))
(+.f64 (+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (/.f64 x (fabs.f64 x)) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (.f64 -1/6 (/.f64 (+.f64 (.f64 (pow.f64 (fabs.f64 x) 3) -2) (.f64 (fabs.f64 x) 3)) (pow.f64 x 3))))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (+.f64 (/.f64 x (fabs.f64 x)) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))) (.f64 -1/6 (/.f64 (+.f64 (.f64 (pow.f64 (fabs.f64 x) 3) -2) (.f64 (fabs.f64 x) 3)) (pow.f64 x 3)))))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (+.f64 (/.f64 x (fabs.f64 x)) (log.f64 -1)) (.f64 -1/6 (/.f64 (+.f64 (.f64 (pow.f64 (fabs.f64 x) 3) -2) (.f64 (fabs.f64 x) 3)) (pow.f64 x 3))))))
(+.f64 (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2))) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (/.f64 x (fabs.f64 x)) (+.f64 (log.f64 -1) (.f64 -1/6 (/.f64 (+.f64 (.f64 (pow.f64 (fabs.f64 x) 3) -2) (.f64 (fabs.f64 x) 3)) (pow.f64 x 3)))))))
(/.f64 1/2 x)
(+.f64 (fabs.f64 x) (*.f64 1/2 (/.f64 1 x)))
(+.f64 (fabs.f64 x) (+.f64 (*.f64 1/2 (/.f64 1 x)) x))
(+.f64 x (+.f64 (fabs.f64 x) (*.f64 1/2 (/.f64 1 x))))
(+.f64 (fabs.f64 x) (+.f64 x (*.f64 1/2 (/.f64 1 x))))
(+.f64 (fabs.f64 x) (+.f64 (*.f64 1/2 (/.f64 1 x)) x))
(+.f64 x (+.f64 (fabs.f64 x) (*.f64 1/2 (/.f64 1 x))))
(+.f64 (fabs.f64 x) (+.f64 x (*.f64 1/2 (/.f64 1 x))))
x
(+.f64 (fabs.f64 x) x)
(+.f64 x (fabs.f64 x))
x
(+.f64 (fabs.f64 x) x)
(+.f64 x (fabs.f64 x))
(+.f64 (log.f64 (+.f64 x (+.f64 (*.f64 1/2 (/.f64 1 x)) (fabs.f64 x)))) 0)
(+.f64 (log.f64 (+.f64 x (+.f64 (fabs.f64 x) (*.f64 1/2 (/.f64 1 x))))) 0)
(+.f64 (log.f64 (+.f64 (fabs.f64 x) (+.f64 x (*.f64 1/2 (/.f64 1 x))))) 0)
(+.f64 0 (log.f64 (+.f64 x (+.f64 (*.f64 1/2 (/.f64 1 x)) (fabs.f64 x)))))
(+.f64 (log.f64 (+.f64 x (+.f64 (fabs.f64 x) (*.f64 1/2 (/.f64 1 x))))) 0)
(+.f64 (log.f64 (+.f64 (fabs.f64 x) (+.f64 x (*.f64 1/2 (/.f64 1 x))))) 0)
(.f64 1 (log.f64 (+.f64 x (+.f64 (.f64 1/2 (/.f64 1 x)) (fabs.f64 x)))))
(.f64 1 (log.f64 (+.f64 x (+.f64 (fabs.f64 x) (.f64 1/2 (/.f64 1 x))))))
(.f64 1 (log.f64 (+.f64 (fabs.f64 x) (+.f64 x (.f64 1/2 (/.f64 1 x))))))
(.f64 (log.f64 (+.f64 x (+.f64 (.f64 1/2 (/.f64 1 x)) (fabs.f64 x)))) 1)
(.f64 1 (log.f64 (+.f64 x (+.f64 (fabs.f64 x) (.f64 1/2 (/.f64 1 x))))))
(.f64 1 (log.f64 (+.f64 (fabs.f64 x) (+.f64 x (.f64 1/2 (/.f64 1 x))))))
(.f64 1 (+.f64 x (+.f64 (.f64 1/2 (/.f64 1 x)) (fabs.f64 x))))
(.f64 1 (+.f64 x (+.f64 (fabs.f64 x) (.f64 1/2 (/.f64 1 x)))))
(.f64 1 (+.f64 (fabs.f64 x) (+.f64 x (.f64 1/2 (/.f64 1 x)))))
(.f64 (+.f64 x (+.f64 (.f64 1/2 (/.f64 1 x)) (fabs.f64 x))) 1)
(.f64 1 (+.f64 x (+.f64 (fabs.f64 x) (.f64 1/2 (/.f64 1 x)))))
(.f64 1 (+.f64 (fabs.f64 x) (+.f64 x (.f64 1/2 (/.f64 1 x)))))

localize28.0ms (1.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))))
✓	0.0b	(+.f64 (*.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))) (log.f64 (+.f64 1 (fabs.f64 x))))
✓	2.5b	(log.f64 (+.f64 1 (fabs.f64 x)))
✓	12.8b	(/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))

Compiler

Compiled 71 to 47 computations (33.8% saved)

series15.0ms (0.7%)

Counts

4 → 3

Calls

12 calls:

Time	Variable		Point	Expression
12.0ms	x	@	-inf	(log.f64 (+.f64 1 (fabs.f64 x)))
1.0ms	x	@	-inf	(/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))
1.0ms	x	@	inf	(/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))
1.0ms	x	@	0	(/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))
0.0ms	x	@	-inf	(*.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))))

rewrite9.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

34×	`bool.json-1`
30×	`rational.json-simplify-1`
28×	`rational.json-simplify-2`
26×	`rational.json-1`
26×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	116
1	62	116
2	93	116
3	99	116

Stop Event

1×

saturated

Counts

4 → 12

Calls

Call 1

Inputs
(/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))
(log.f64 (+.f64 1 (fabs.f64 x)))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))) (log.f64 (+.f64 1 (fabs.f64 x))))
(*.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))) (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (+.f64 1 (fabs.f64 x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (log.f64 (+.f64 1 (fabs.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (log.f64 (+.f64 1 (fabs.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (log.f64 (+.f64 1 (fabs.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x or (log.f64 (+.f64 1 (fabs.f64 x))) (log.f64 (+.f64 1 (fabs.f64 x))))))))
((#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 (log.f64 (+.f64 1 (fabs.f64 x))) (.f64 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (log.f64 (+.f64 1 (fabs.f64 x))) (.f64 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))) 1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (log.f64 (+.f64 1 (fabs.f64 x))) (.f64 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))) 1/2)) (+.f64 (log.f64 (+.f64 1 (fabs.f64 x))) (.f64 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))) 1/2)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))) 1/2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))) 1/2) (.f64 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))) 1/2))))))

simplify6.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

10×	`rational.json-simplify-1`
8×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	453
1	30	453

Stop Event

1×

saturated

Counts

15 → 16

Calls

Call 1

Inputs
(log.f64 (+.f64 1 (fabs.f64 x)))
(*.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))))
(*.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))))
(+.f64 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))) 0)
(+.f64 0 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))))
(*.f64 1 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))))
(*.f64 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))) 1)
(+.f64 (log.f64 (+.f64 1 (fabs.f64 x))) 0)
(+.f64 0 (log.f64 (+.f64 1 (fabs.f64 x))))
(*.f64 1 (log.f64 (+.f64 1 (fabs.f64 x))))
(*.f64 (log.f64 (+.f64 1 (fabs.f64 x))) 1)
(.f64 1 (+.f64 (log.f64 (+.f64 1 (fabs.f64 x))) (.f64 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))) 1/2)))
(.f64 (+.f64 (log.f64 (+.f64 1 (fabs.f64 x))) (.f64 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))) 1/2)) 1)
(+.f64 (*.f64 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))) 1/2) 0)
(+.f64 0 (*.f64 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))) 1/2))

Outputs
(log.f64 (+.f64 1 (fabs.f64 x)))
(*.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))))
(*.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))))
(+.f64 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))) 0)
(+.f64 0 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))))
(+.f64 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))) 0)
(*.f64 1 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))))
(*.f64 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))) 1)
(*.f64 1 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))))
(+.f64 (log.f64 (+.f64 1 (fabs.f64 x))) 0)
(+.f64 0 (log.f64 (+.f64 1 (fabs.f64 x))))
(+.f64 (log.f64 (+.f64 1 (fabs.f64 x))) 0)
(*.f64 1 (log.f64 (+.f64 1 (fabs.f64 x))))
(*.f64 (log.f64 (+.f64 1 (fabs.f64 x))) 1)
(*.f64 1 (log.f64 (+.f64 1 (fabs.f64 x))))
(.f64 1 (+.f64 (log.f64 (+.f64 1 (fabs.f64 x))) (.f64 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))) 1/2)))
(.f64 1 (+.f64 (log.f64 (+.f64 1 (fabs.f64 x))) (.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))))))
(.f64 (+.f64 (log.f64 (+.f64 1 (fabs.f64 x))) (.f64 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))) 1/2)) 1)
(.f64 1 (+.f64 (log.f64 (+.f64 1 (fabs.f64 x))) (.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))))))
(+.f64 (*.f64 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))) 1/2) 0)
(+.f64 0 (*.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))))
(+.f64 0 (*.f64 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))) 1/2))
(+.f64 0 (*.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))))

eval34.0ms (1.4%)

Compiler: Compiled 1954 to 1356 computations (30.6% saved)

prune22.0ms (0.9%)

Pruning

13 alts after pruning (6 fresh and 7 done)

	Pruned	Kept	Total
New	85	3	88
Fresh	1	3	4
Picked	0	1	1
Done	1	6	7
Total	87	13	100

Error

29.0b

Counts

100 → 13

Alt Table

Click to see full alt table

Status	Error	Program
▶	57.7b	(copysign.f64 (/.f64 (fabs.f64 x) x) x)
	60.3b	(copysign.f64 (+.f64 (+.f64 (log.f64 (+.f64 1 (fabs.f64 x))) (.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))))) (.f64 (+.f64 (.f64 3 (/.f64 1 (+.f64 1 (fabs.f64 x)))) (.f64 3 (/.f64 1 (pow.f64 (+.f64 1 (fabs.f64 x)) 2)))) (*.f64 -1/24 (pow.f64 x 4)))) x)
✓	59.8b	(copysign.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))) (log.f64 (+.f64 1 (fabs.f64 x)))) x)
▶	57.5b	(copysign.f64 (+.f64 (.f64 -1 (/.f64 x (fabs.f64 x))) (.f64 -1 (log.f64 (/.f64 -1 x)))) x)
▶	60.5b	(copysign.f64 (*.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))) x)
▶	48.5b	(copysign.f64 (log.f64 (/.f64 1/2 x)) x)
✓	46.5b	(copysign.f64 (log.f64 (/.f64 -1/2 x)) x)
✓	46.4b	(copysign.f64 (log.f64 (+.f64 (-.f64 (*.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))) x)
✓	48.4b	(copysign.f64 (log.f64 (+.f64 (*.f64 1/2 (/.f64 1 x)) (+.f64 (fabs.f64 x) x))) x)
✓	43.1b	(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) 1)))) x)
✓	51.8b	(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) 1)) x)
✓	57.8b	(copysign.f64 (log.f64 (neg.f64 x)) x)
▶	58.5b	(copysign.f64 (log.f64 x) x)

Compiler

Compiled 267 to 196 computations (26.6% saved)

localize9.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 16 to 11 computations (31.3% saved)

series8.0ms (0.4%)

Counts

1 → 12

Calls

3 calls:

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

rewrite5.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

22×	`bool.json-1`
16×	`rational.json-1`
16×	`rational.json-2`
16×	`rational.json-simplify-2`
16×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	32	11
2	56	11
3	60	11

Stop Event

1×

saturated

Counts

1 → 4

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (/.f64 1/2 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (log.f64 (/.f64 1/2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 (/.f64 1/2 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (log.f64 (/.f64 1/2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (log.f64 (/.f64 1/2 x)) (log.f64 (/.f64 1/2 x)))))))

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

8×	`rational.json-simplify-1`
4×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	320
1	30	320

Stop Event

1×

saturated

Counts

16 → 8

Calls

Call 1

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

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

localize5.0ms (0.2%)

Compiler: Compiled 8 to 3 computations (62.5% saved)

localize6.0ms (0.2%)

Compiler: Compiled 14 to 4 computations (71.4% saved)

localize16.0ms (0.7%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.0b	(*.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))))
	12.8b	(/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))

Compiler

Compiled 44 to 29 computations (34.1% saved)

localize73.0ms (3.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 -1 (/.f64 x (fabs.f64 x))) (.f64 -1 (log.f64 (/.f64 -1 x))))
	0.0b	(log.f64 (/.f64 -1 x))

Compiler

Compiled 56 to 33 computations (41.1% saved)

series1.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

Time

Variable

Point

Expression

1.0ms

(+.f64 (*.f64 -1 (/.f64 x (fabs.f64 x))) (*.f64 -1 (log.f64 (/.f64 -1 x))))

0.0ms

inf

(+.f64 (*.f64 -1 (/.f64 x (fabs.f64 x))) (*.f64 -1 (log.f64 (/.f64 -1 x))))

0.0ms

-inf

(+.f64 (*.f64 -1 (/.f64 x (fabs.f64 x))) (*.f64 -1 (log.f64 (/.f64 -1 x))))

rewrite6.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

32×	`bool.json-1`
30×	`rational.json-simplify-2`
28×	`rational.json-simplify-1`
26×	`rational.json-1`
26×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	39
1	55	39
2	89	39
3	94	39

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 -1 (/.f64 x (fabs.f64 x))) (*.f64 -1 (log.f64 (/.f64 -1 x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 -1 (/.f64 x (fabs.f64 x))) (*.f64 -1 (log.f64 (/.f64 -1 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (*.f64 -1 (/.f64 x (fabs.f64 x))) (*.f64 -1 (log.f64 (/.f64 -1 x)))) (+.f64 (*.f64 -1 (/.f64 x (fabs.f64 x))) (*.f64 -1 (log.f64 (/.f64 -1 x)))))))))

simplify7.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

12×	`rational.json-simplify-2`
10×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	562
1	36	562

Stop Event

1×

saturated

Counts

14 → 9

Calls

Call 1

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

Outputs
(.f64 -1 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 x))))
(+.f64 (.f64 -1 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 x)))) (*.f64 -1 (/.f64 x (fabs.f64 x))))
(+.f64 (.f64 -1 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 x)))) (*.f64 -1 (/.f64 x (fabs.f64 x))))
(+.f64 (.f64 -1 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 x)))) (*.f64 -1 (/.f64 x (fabs.f64 x))))
(*.f64 -1 (/.f64 x (fabs.f64 x)))
(+.f64 (.f64 -1 (+.f64 (log.f64 (/.f64 1 x)) (log.f64 -1))) (.f64 -1 (/.f64 x (fabs.f64 x))))
(+.f64 (.f64 -1 (/.f64 x (fabs.f64 x))) (.f64 -1 (+.f64 (log.f64 -1) (log.f64 (/.f64 1 x)))))
(+.f64 (.f64 -1 (+.f64 (log.f64 (/.f64 1 x)) (log.f64 -1))) (.f64 -1 (/.f64 x (fabs.f64 x))))
(+.f64 (.f64 -1 (/.f64 x (fabs.f64 x))) (.f64 -1 (+.f64 (log.f64 -1) (log.f64 (/.f64 1 x)))))
(+.f64 (.f64 -1 (+.f64 (log.f64 (/.f64 1 x)) (log.f64 -1))) (.f64 -1 (/.f64 x (fabs.f64 x))))
(+.f64 (.f64 -1 (/.f64 x (fabs.f64 x))) (.f64 -1 (+.f64 (log.f64 -1) (log.f64 (/.f64 1 x)))))
(*.f64 -1 (/.f64 x (fabs.f64 x)))
(+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (.f64 -1 (/.f64 x (fabs.f64 x))))
(+.f64 (.f64 -1 (/.f64 x (fabs.f64 x))) (.f64 -1 (log.f64 (/.f64 -1 x))))
(+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (.f64 -1 (/.f64 x (fabs.f64 x))))
(+.f64 (.f64 -1 (/.f64 x (fabs.f64 x))) (.f64 -1 (log.f64 (/.f64 -1 x))))
(+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (.f64 -1 (/.f64 x (fabs.f64 x))))
(+.f64 (.f64 -1 (/.f64 x (fabs.f64 x))) (.f64 -1 (log.f64 (/.f64 -1 x))))
(.f64 (+.f64 (.f64 -1 (/.f64 x (fabs.f64 x))) (*.f64 -1 (log.f64 (/.f64 -1 x)))) 1)
(.f64 1 (+.f64 (.f64 -1 (/.f64 x (fabs.f64 x))) (*.f64 -1 (log.f64 (/.f64 -1 x)))))
(.f64 1 (+.f64 (.f64 -1 (/.f64 x (fabs.f64 x))) (*.f64 -1 (log.f64 (/.f64 -1 x)))))

eval22.0ms (0.9%)

Compiler: Compiled 426 to 290 computations (31.9% saved)

prune9.0ms (0.4%)

Pruning

13 alts after pruning (1 fresh and 12 done)

	Pruned	Kept	Total
New	31	0	31
Fresh	0	1	1
Picked	0	1	1
Done	0	11	11
Total	31	13	44

Error

29.0b

Counts

44 → 13

Alt Table

Click to see full alt table

Status	Error	Program
✓	57.7b	(copysign.f64 (/.f64 (fabs.f64 x) x) x)
	60.3b	(copysign.f64 (+.f64 (+.f64 (log.f64 (+.f64 1 (fabs.f64 x))) (.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))))) (.f64 (+.f64 (.f64 3 (/.f64 1 (+.f64 1 (fabs.f64 x)))) (.f64 3 (/.f64 1 (pow.f64 (+.f64 1 (fabs.f64 x)) 2)))) (*.f64 -1/24 (pow.f64 x 4)))) x)
✓	59.8b	(copysign.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))) (log.f64 (+.f64 1 (fabs.f64 x)))) x)
✓	57.5b	(copysign.f64 (+.f64 (.f64 -1 (/.f64 x (fabs.f64 x))) (.f64 -1 (log.f64 (/.f64 -1 x)))) x)
✓	60.5b	(copysign.f64 (*.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))) x)
✓	48.5b	(copysign.f64 (log.f64 (/.f64 1/2 x)) x)
✓	46.5b	(copysign.f64 (log.f64 (/.f64 -1/2 x)) x)
✓	46.4b	(copysign.f64 (log.f64 (+.f64 (-.f64 (*.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))) x)
✓	48.4b	(copysign.f64 (log.f64 (+.f64 (*.f64 1/2 (/.f64 1 x)) (+.f64 (fabs.f64 x) x))) x)
✓	43.1b	(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) 1)))) x)
✓	51.8b	(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) 1)) x)
✓	57.8b	(copysign.f64 (log.f64 (neg.f64 x)) x)
✓	58.5b	(copysign.f64 (log.f64 x) x)

Compiler

Compiled 174 to 127 computations (27% saved)

regimes48.0ms (2%)

Counts

20 → 3

Calls

Call 1

Inputs
(copysign.f64 (log.f64 x) x)
(copysign.f64 (log.f64 (neg.f64 x)) x)
(copysign.f64 (log.f64 (/.f64 -1/2 x)) x)
(copysign.f64 (log.f64 (/.f64 1/2 x)) x)
(copysign.f64 (/.f64 (fabs.f64 x) x) x)
(copysign.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) x)
(copysign.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) x)
(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) 1)) x)
(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) x)) x)
(copysign.f64 (log.f64 (-.f64 (fabs.f64 x) x)) x)
(copysign.f64 (*.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))) x)
(copysign.f64 (log.f64 (+.f64 (*.f64 1/2 (/.f64 1 x)) (+.f64 (fabs.f64 x) x))) x)
(copysign.f64 (log.f64 (+.f64 (-.f64 (*.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))) x)
(copysign.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 (fabs.f64 x) x)) x)
(copysign.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (.f64 -1 (/.f64 (fabs.f64 x) x))) x)
(copysign.f64 (+.f64 (.f64 -1 (/.f64 x (fabs.f64 x))) (.f64 -1 (log.f64 (/.f64 -1 x)))) x)
(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) 1)))) x)
(copysign.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))) (log.f64 (+.f64 1 (fabs.f64 x)))) x)
(copysign.f64 (+.f64 (+.f64 (log.f64 (+.f64 1 (fabs.f64 x))) (.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x))))) (.f64 (+.f64 (.f64 3 (/.f64 1 (+.f64 1 (fabs.f64 x)))) (.f64 3 (/.f64 1 (pow.f64 (+.f64 1 (fabs.f64 x)) 2)))) (*.f64 -1/24 (pow.f64 x 4)))) x)
(copysign.f64 (+.f64 (/.f64 x (fabs.f64 x)) (+.f64 (.f64 1/6 (/.f64 (+.f64 (.f64 (fabs.f64 x) -3) (.f64 2 (pow.f64 (fabs.f64 x) 3))) (pow.f64 x 3))) (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (.f64 1/2 (/.f64 (+.f64 1 (.f64 -1 (pow.f64 (fabs.f64 x) 2))) (pow.f64 x 2)))))) x)

Outputs
(copysign.f64 (log.f64 (/.f64 -1/2 x)) x)
(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) 1)))) x)
(copysign.f64 (log.f64 (/.f64 1/2 x)) x)

Calls

2 calls:

28.0ms	x
14.0ms	(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) 1)))) x)

Results

Error	Segments	Branch
29.3b	3	`x`
29.3b	3	`(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) 1)))) x)`

Compiler

Compiled 281 to 182 computations (35.2% saved)

bsearch11.0ms (0.5%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
4.0ms	934.3335640027162	17268228303.375347
6.0ms	-1.6528170366255184e+158	-1.208017555026636e+151

Results

9.0ms

64×

body

256

valid

Compiler

Compiled 105 to 76 computations (27.6% saved)

regimes23.0ms (1%)

Counts

16 → 2

Calls

Call 1

Inputs
(copysign.f64 (log.f64 x) x)
(copysign.f64 (log.f64 (neg.f64 x)) x)
(copysign.f64 (log.f64 (/.f64 -1/2 x)) x)
(copysign.f64 (log.f64 (/.f64 1/2 x)) x)
(copysign.f64 (/.f64 (fabs.f64 x) x) x)
(copysign.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) x)
(copysign.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) x)
(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) 1)) x)
(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) x)) x)
(copysign.f64 (log.f64 (-.f64 (fabs.f64 x) x)) x)
(copysign.f64 (*.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))) x)
(copysign.f64 (log.f64 (+.f64 (*.f64 1/2 (/.f64 1 x)) (+.f64 (fabs.f64 x) x))) x)
(copysign.f64 (log.f64 (+.f64 (-.f64 (*.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))) x)
(copysign.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (/.f64 (fabs.f64 x) x)) x)
(copysign.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (.f64 -1 (/.f64 (fabs.f64 x) x))) x)
(copysign.f64 (+.f64 (.f64 -1 (/.f64 x (fabs.f64 x))) (.f64 -1 (log.f64 (/.f64 -1 x)))) x)

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

Calls

1 calls:

20.0ms

Results

Error	Segments	Branch
30.8b	2	`x`

Compiler

Compiled 148 to 89 computations (39.9% saved)

bsearch59.0ms (2.5%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
58.0ms	-1.5782355865368033e-308	3.031560272966948e-304

Results

57.0ms

80×

body

2048

valid

Compiler

Compiled 167 to 122 computations (26.9% saved)

regimes80.0ms (3.4%)

Counts

12 → 2

Calls

Call 1

Inputs
(copysign.f64 (log.f64 x) x)
(copysign.f64 (log.f64 (neg.f64 x)) x)
(copysign.f64 (log.f64 (/.f64 -1/2 x)) x)
(copysign.f64 (log.f64 (/.f64 1/2 x)) x)
(copysign.f64 (/.f64 (fabs.f64 x) x) x)
(copysign.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) x)
(copysign.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) x)
(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) 1)) x)
(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) x)) x)
(copysign.f64 (log.f64 (-.f64 (fabs.f64 x) x)) x)
(copysign.f64 (*.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))) x)
(copysign.f64 (log.f64 (+.f64 (*.f64 1/2 (/.f64 1 x)) (+.f64 (fabs.f64 x) x))) x)

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

Calls

1 calls:

78.0ms

Results

Error	Segments	Branch
30.9b	2	`x`

Compiler

Compiled 92 to 55 computations (40.2% saved)

bsearch72.0ms (3.1%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
72.0ms	-1.5782355865368033e-308	3.031560272966948e-304

Results

70.0ms

96×

body

2048

valid

Compiler

Compiled 155 to 114 computations (26.5% saved)

regimes15.0ms (0.6%)

Counts

11 → 2

Calls

Call 1

Inputs
(copysign.f64 (log.f64 x) x)
(copysign.f64 (log.f64 (neg.f64 x)) x)
(copysign.f64 (log.f64 (/.f64 -1/2 x)) x)
(copysign.f64 (log.f64 (/.f64 1/2 x)) x)
(copysign.f64 (/.f64 (fabs.f64 x) x) x)
(copysign.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) x)
(copysign.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) x)
(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) 1)) x)
(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) x)) x)
(copysign.f64 (log.f64 (-.f64 (fabs.f64 x) x)) x)
(copysign.f64 (*.f64 1/2 (/.f64 (pow.f64 x 2) (+.f64 1 (fabs.f64 x)))) x)

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

Calls

1 calls:

13.0ms

Results

Error	Segments	Branch
31.0b	2	`x`

Compiler

Compiled 79 to 48 computations (39.2% saved)

bsearch69.0ms (2.9%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
69.0ms	-1.5782355865368033e-308	3.031560272966948e-304

Results

67.0ms

96×

body

2048

valid

Compiler

Compiled 113 to 84 computations (25.7% saved)

regimes49.0ms (2.1%)

Counts

3 → 2

Calls

Call 1

Inputs
(copysign.f64 (log.f64 x) x)
(copysign.f64 (log.f64 (neg.f64 x)) x)
(copysign.f64 (log.f64 (/.f64 -1/2 x)) x)

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

Calls

1 calls:

48.0ms

Results

Error	Segments	Branch
41.0b	2	`x`

Compiler

Compiled 18 to 11 computations (38.9% saved)

bsearch81.0ms (3.4%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
81.0ms	-1.5782355865368033e-308	3.031560272966948e-304

Results

79.0ms

112×

body

2048

valid

Compiler

Compiled 115 to 82 computations (28.7% saved)

regimes8.0ms (0.3%)

Accuracy

Total -11.6b remaining (-22.2%)

Threshold costs -11.6b (-22.2%)

Counts

2 → 2

Calls

Call 1

Inputs
(copysign.f64 (log.f64 x) x)
(copysign.f64 (log.f64 (neg.f64 x)) x)

Outputs
(copysign.f64 (log.f64 (neg.f64 x)) x)
(copysign.f64 (log.f64 x) x)

Calls

1 calls:

7.0ms

Results

Error	Segments	Branch
52.4b	2	`x`

Compiler

Compiled 12 to 7 computations (41.7% saved)

bsearch102.0ms (4.3%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
102.0ms	-1.5782355865368033e-308	3.031560272966948e-304

Results

100.0ms

128×

body

2048

valid

Compiler

Compiled 121 to 84 computations (30.6% saved)

simplify6.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	56	367

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(if (<=.f64 x -40000000000000001477901827522329061639236719319370753807691114208602174637388878388866052438821633309786047014748930669257348013398293616684184769793097728) (copysign.f64 (log.f64 (/.f64 -1/2 x)) x) (if (<=.f64 x 5000000) (copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) 1)))) x) (copysign.f64 (log.f64 (/.f64 1/2 x)) x)))
(if (<=.f64 x -1012011266536553/101201126653655309176247673359458653524778324882071059178450679013715169783997673445980191850718562247593538932158405955694904368692896738433506699970369254960758712138283180682233453871046608170619883839236372534281003741712346349309051677824579778170405028256179384776166707307615251266093163754323003131653853870546747392) (copysign.f64 (log.f64 (+.f64 (-.f64 (.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))) x) (copysign.f64 (log.f64 (+.f64 (.f64 1/2 (/.f64 1 x)) (+.f64 (fabs.f64 x) x))) x))
(if (<=.f64 x -1012011266536553/202402253307310618352495346718917307049556649764142118356901358027430339567995346891960383701437124495187077864316811911389808737385793476867013399940738509921517424276566361364466907742093216341239767678472745068562007483424692698618103355649159556340810056512358769552333414615230502532186327508646006263307707741093494784) (copysign.f64 (log.f64 (/.f64 -1/2 x)) x) (copysign.f64 (log.f64 (+.f64 (*.f64 1/2 (/.f64 1 x)) (+.f64 (fabs.f64 x) x))) x))
(if (<=.f64 x -1012011266536553/202402253307310618352495346718917307049556649764142118356901358027430339567995346891960383701437124495187077864316811911389808737385793476867013399940738509921517424276566361364466907742093216341239767678472745068562007483424692698618103355649159556340810056512358769552333414615230502532186327508646006263307707741093494784) (copysign.f64 (log.f64 (/.f64 -1/2 x)) x) (copysign.f64 (log.f64 (/.f64 1/2 x)) x))
(if (<=.f64 x -1012011266536553/202402253307310618352495346718917307049556649764142118356901358027430339567995346891960383701437124495187077864316811911389808737385793476867013399940738509921517424276566361364466907742093216341239767678472745068562007483424692698618103355649159556340810056512358769552333414615230502532186327508646006263307707741093494784) (copysign.f64 (log.f64 (/.f64 -1/2 x)) x) (copysign.f64 (log.f64 x) x))
(if (<=.f64 x -202402253307311/202402253307310618352495346718917307049556649764142118356901358027430339567995346891960383701437124495187077864316811911389808737385793476867013399940738509921517424276566361364466907742093216341239767678472745068562007483424692698618103355649159556340810056512358769552333414615230502532186327508646006263307707741093494784) (copysign.f64 (log.f64 (neg.f64 x)) x) (copysign.f64 (log.f64 x) x))
(copysign.f64 (log.f64 x) x)

Outputs
(if (<=.f64 x -40000000000000001477901827522329061639236719319370753807691114208602174637388878388866052438821633309786047014748930669257348013398293616684184769793097728) (copysign.f64 (log.f64 (/.f64 -1/2 x)) x) (if (<=.f64 x 5000000) (copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) 1)))) x) (copysign.f64 (log.f64 (/.f64 1/2 x)) x)))
(if (<=.f64 x -1012011266536553/101201126653655309176247673359458653524778324882071059178450679013715169783997673445980191850718562247593538932158405955694904368692896738433506699970369254960758712138283180682233453871046608170619883839236372534281003741712346349309051677824579778170405028256179384776166707307615251266093163754323003131653853870546747392) (copysign.f64 (log.f64 (+.f64 (-.f64 (.f64 (/.f64 1 x) -1/2) x) (fabs.f64 x))) x) (copysign.f64 (log.f64 (+.f64 (.f64 1/2 (/.f64 1 x)) (+.f64 (fabs.f64 x) x))) x))
(if (<=.f64 x -1012011266536553/202402253307310618352495346718917307049556649764142118356901358027430339567995346891960383701437124495187077864316811911389808737385793476867013399940738509921517424276566361364466907742093216341239767678472745068562007483424692698618103355649159556340810056512358769552333414615230502532186327508646006263307707741093494784) (copysign.f64 (log.f64 (/.f64 -1/2 x)) x) (copysign.f64 (log.f64 (+.f64 (*.f64 1/2 (/.f64 1 x)) (+.f64 (fabs.f64 x) x))) x))
(if (<=.f64 x -1012011266536553/202402253307310618352495346718917307049556649764142118356901358027430339567995346891960383701437124495187077864316811911389808737385793476867013399940738509921517424276566361364466907742093216341239767678472745068562007483424692698618103355649159556340810056512358769552333414615230502532186327508646006263307707741093494784) (copysign.f64 (log.f64 (/.f64 -1/2 x)) x) (copysign.f64 (log.f64 (/.f64 1/2 x)) x))
(if (<=.f64 x -1012011266536553/202402253307310618352495346718917307049556649764142118356901358027430339567995346891960383701437124495187077864316811911389808737385793476867013399940738509921517424276566361364466907742093216341239767678472745068562007483424692698618103355649159556340810056512358769552333414615230502532186327508646006263307707741093494784) (copysign.f64 (log.f64 (/.f64 -1/2 x)) x) (copysign.f64 (log.f64 x) x))
(if (<=.f64 x -202402253307311/202402253307310618352495346718917307049556649764142118356901358027430339567995346891960383701437124495187077864316811911389808737385793476867013399940738509921517424276566361364466907742093216341239767678472745068562007483424692698618103355649159556340810056512358769552333414615230502532186327508646006263307707741093494784) (copysign.f64 (log.f64 (neg.f64 x)) x) (copysign.f64 (log.f64 x) x))
(copysign.f64 (log.f64 x) x)

Compiler

Compiled 139 to 95 computations (31.7% saved)

soundness79.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

956×	`rational.json-simplify-27`
938×	`rational.json-simplify-1`
708×	`rational.json-simplify-41`
628×	`rational.json-simplify-33`
556×	`rational.json-simplify-40`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	139	2048
1	274	2048
2	481	2048
3	901	2012
4	1596	2012
5	2627	2008
6	3246	2008
7	3395	2008
8	3521	2008
9	3595	2008
10	3604	2008

Stop Event

1×

saturated

Compiler

Compiled 198 to 134 computations (32.3% saved)

end69.0ms (3%)

Compiler: Compiled 133 to 82 computations (38.3% saved)

Details

analyze0.0ms (0%)

sample582.0ms (24.9%)

preprocess2.0ms (0.1%)

simplify4.0ms (0.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize18.0ms (0.8%)

series3.0ms (0.1%)

rewrite6.0ms (0.3%)

simplify78.0ms (3.3%)

eval45.0ms (1.9%)

prune27.0ms (1.1%)

localize22.0ms (0.9%)

series2.0ms (0.1%)

rewrite10.0ms (0.4%)

simplify50.0ms (2.1%)

localize13.0ms (0.6%)

series41.0ms (1.7%)

rewrite5.0ms (0.2%)

simplify5.0ms (0.2%)

localize10.0ms (0.4%)

series45.0ms (1.9%)

rewrite5.0ms (0.2%)

simplify10.0ms (0.4%)

localize8.0ms (0.3%)

localize19.0ms (0.8%)

series8.0ms (0.3%)

rewrite6.0ms (0.2%)

simplify7.0ms (0.3%)

eval40.0ms (1.7%)

prune25.0ms (1.1%)

localize10.0ms (0.4%)

series25.0ms (1.1%)

rewrite5.0ms (0.2%)

simplify6.0ms (0.2%)

localize7.0ms (0.3%)

localize75.0ms (3.2%)

localize19.0ms (0.8%)

series1.0ms (0.1%)

rewrite10.0ms (0.4%)

simplify28.0ms (1.2%)

localize28.0ms (1.2%)

series15.0ms (0.7%)

rewrite9.0ms (0.4%)

simplify6.0ms (0.3%)

eval34.0ms (1.4%)

prune22.0ms (0.9%)

localize9.0ms (0.4%)

series8.0ms (0.4%)

rewrite5.0ms (0.2%)

simplify6.0ms (0.2%)

localize5.0ms (0.2%)

localize6.0ms (0.2%)

localize16.0ms (0.7%)

localize73.0ms (3.1%)

series1.0ms (0.1%)

rewrite6.0ms (0.2%)

simplify7.0ms (0.3%)

eval22.0ms (0.9%)

prune9.0ms (0.4%)

regimes48.0ms (2%)

bsearch11.0ms (0.5%)

regimes23.0ms (1%)

bsearch59.0ms (2.5%)

regimes80.0ms (3.4%)

bsearch72.0ms (3.1%)

regimes15.0ms (0.6%)

bsearch69.0ms (2.9%)

regimes49.0ms (2.1%)

bsearch81.0ms (3.4%)

regimes8.0ms (0.3%)

bsearch102.0ms (4.3%)

simplify6.0ms (0.3%)

soundness79.0ms (3.4%)

end69.0ms (3%)

Profiling