Details

analyze233.0ms (2.9%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
50%	50%	50%	0%	0%	0%	0%	3
50%	50%	50%	0%	0%	0%	0%	4
50%	50%	50%	0%	0%	0%	0%	5
50%	50%	50%	0%	0%	0%	0%	6
50%	50%	50%	0%	0%	0%	0%	7
50%	50%	50%	0%	0%	0%	0%	8
50%	50%	50%	0%	0%	0%	0%	9
50%	50%	50%	0%	0%	0%	0%	10
50%	50%	50%	0%	0%	0%	0%	11
50%	50%	50%	0%	0%	0%	0%	12

Compiler

Compiled 12 to 9 computations (25% saved)

sample7.4s (91.8%)

Results

3.0s	1566×	body	8192	exit
2.2s	4098×	body	1024	valid
657.0ms	1669×	body	1024	invalid
609.0ms	2073×	body	512	valid
315.0ms	1913×	body	256	valid
256.0ms	172×	body	2048	valid
197.0ms	779×	body	512	invalid
115.0ms	801×	body	256	invalid

Bogosity

preprocess2.0ms (0%)

Algorithm

2×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	33
1	14	33
2	15	33
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))

Outputs
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))

Compiler

Compiled 12 to 9 computations (25% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	33
1	14	33
2	15	33

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))

Outputs
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))

eval0.0ms (0%)

Compiler: Compiled 11 to 8 computations (27.3% 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

59.8b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	59.8b	(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))

Compiler

Compiled 11 to 8 computations (27.3% saved)

localize14.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (cos.f64 x))
✓	0.3b	(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))
✓	4.1b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

Compiler

Compiled 30 to 8 computations (73.3% saved)

series2.0ms (0%)

Counts

3 → 16

Calls

9 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))
0.0ms	x	@	inf	(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))
0.0ms	x	@	inf	(sqrt.f64 (cos.f64 x))
0.0ms	x	@	-inf	(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))
0.0ms	x	@	0	(sqrt.f64 (cos.f64 x))

rewrite7.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	61
1	51	61
2	90	61
3	99	61
4	108	61
5	111	61
6	113	61

Stop Event

1×

saturated

Counts

3 → 10

Calls

Call 1

Inputs
(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))
(sqrt.f64 (cos.f64 x))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x or (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x))) (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (sqrt.f64 (cos.f64 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sqrt.f64 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (cos.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (sqrt.f64 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (sqrt.f64 (cos.f64 x)) (sqrt.f64 (cos.f64 x)))))))

Outputs

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

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x))) (*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x))))))))

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

simplify17.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

114×	`rational.json-simplify-1`
72×	`rational.json-simplify-33`
58×	`rational.json-simplify-2`
14×	`rational.json-simplify-31`
6×	`rational.json-simplify-19`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	60	918
1	95	864
2	139	864
3	181	864
4	206	864
5	206	864

Stop Event

1×

saturated

Counts

26 → 33

Calls

Call 1

Inputs
(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) x)))
(+.f64 (.f64 1/2 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (pow.f64 x 2))) (+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) x))))
(+.f64 (.f64 1/2 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (pow.f64 x 2))) (+.f64 (.f64 -1/6 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (pow.f64 x 3))) (+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) x)))))
(*.f64 (exp.f64 (neg.f64 x)) (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
(*.f64 (exp.f64 (neg.f64 x)) (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
(*.f64 (exp.f64 (neg.f64 x)) (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
(*.f64 (exp.f64 (neg.f64 x)) (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
(.f64 (exp.f64 (.f64 -1 x)) (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
(.f64 (exp.f64 (.f64 -1 x)) (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
(.f64 (exp.f64 (.f64 -1 x)) (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
(.f64 (exp.f64 (.f64 -1 x)) (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
1
(+.f64 1 (*.f64 -1/4 (pow.f64 x 2)))
(+.f64 1 (+.f64 (.f64 -1/4 (pow.f64 x 2)) (.f64 -1/96 (pow.f64 x 4))))
(+.f64 1 (+.f64 (.f64 -1/4 (pow.f64 x 2)) (+.f64 (.f64 -1/96 (pow.f64 x 4)) (*.f64 -19/5760 (pow.f64 x 6)))))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) 0)
(+.f64 0 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) 1)
(*.f64 1 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
(+.f64 (*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x))) 0)
(+.f64 0 (*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x))))
(+.f64 (sqrt.f64 (cos.f64 x)) 0)
(+.f64 0 (sqrt.f64 (cos.f64 x)))
(*.f64 (sqrt.f64 (cos.f64 x)) 1)
(*.f64 1 (sqrt.f64 (cos.f64 x)))

Outputs
(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (neg.f64 x)))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 1 (neg.f64 x)))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 (neg.f64 x) 1))
(+.f64 (.f64 1/2 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (pow.f64 x 2))) (+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) x))))
(+.f64 (+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (neg.f64 x))) (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (*.f64 1/2 (pow.f64 x 2))))
(+.f64 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 1 (neg.f64 x))) (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (*.f64 1/2 (pow.f64 x 2))))
(+.f64 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (neg.f64 x)) (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 1 (*.f64 1/2 (pow.f64 x 2)))))
(+.f64 (.f64 1/2 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (pow.f64 x 2))) (+.f64 (.f64 -1/6 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (pow.f64 x 3))) (+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) x)))))
(+.f64 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 1/2 (pow.f64 x 2))) (+.f64 (+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (neg.f64 x))) (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (*.f64 -1/6 (pow.f64 x 3)))))
(+.f64 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 1 (neg.f64 x))) (+.f64 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 1/2 (pow.f64 x 2))) (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (*.f64 -1/6 (pow.f64 x 3)))))
(+.f64 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 (neg.f64 x) 1)) (+.f64 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 1/2 (pow.f64 x 2))) (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (*.f64 -1/6 (pow.f64 x 3)))))
(*.f64 (exp.f64 (neg.f64 x)) (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))
(*.f64 (exp.f64 (neg.f64 x)) (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))
(*.f64 (exp.f64 (neg.f64 x)) (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))
(*.f64 (exp.f64 (neg.f64 x)) (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))
(.f64 (exp.f64 (.f64 -1 x)) (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))
(.f64 (exp.f64 (.f64 -1 x)) (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))
(.f64 (exp.f64 (.f64 -1 x)) (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))
(.f64 (exp.f64 (.f64 -1 x)) (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))
1
(+.f64 1 (*.f64 -1/4 (pow.f64 x 2)))
(+.f64 1 (*.f64 (pow.f64 x 2) -1/4))
(+.f64 1 (+.f64 (.f64 -1/4 (pow.f64 x 2)) (.f64 -1/96 (pow.f64 x 4))))
(+.f64 1 (+.f64 (.f64 (pow.f64 x 2) -1/4) (.f64 -1/96 (pow.f64 x 4))))
(+.f64 1 (+.f64 (.f64 -1/4 (pow.f64 x 2)) (+.f64 (.f64 -1/96 (pow.f64 x 4)) (*.f64 -19/5760 (pow.f64 x 6)))))
(+.f64 1 (+.f64 (.f64 (pow.f64 x 2) -1/4) (+.f64 (.f64 -1/96 (pow.f64 x 4)) (*.f64 -19/5760 (pow.f64 x 6)))))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) 0)
(+.f64 0 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) 0)
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) 1)
(*.f64 1 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) 1)
(+.f64 (*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x))) 0)
(+.f64 0 (*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x))))
(+.f64 0 (*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x))))
(+.f64 (sqrt.f64 (cos.f64 x)) 0)
(+.f64 0 (sqrt.f64 (cos.f64 x)))
(+.f64 (sqrt.f64 (cos.f64 x)) 0)
(*.f64 (sqrt.f64 (cos.f64 x)) 1)
(*.f64 1 (sqrt.f64 (cos.f64 x)))
(*.f64 (sqrt.f64 (cos.f64 x)) 1)

eval7.0ms (0.1%)

Compiler: Compiled 607 to 227 computations (62.6% saved)

prune6.0ms (0.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	29	4	33
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	29	5	34

Error

59.8b

Counts

34 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	60.8b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
▶	59.9b	(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) (exp.f64 (neg.f64 x)))
▶	60.5b	(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 (neg.f64 x) 1))
✓	59.8b	(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))
▶	60.3b	(*.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (neg.f64 x)))

Compiler

Compiled 54 to 41 computations (24.1% saved)

localize12.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (neg.f64 x)))
✓	4.2b	(fmod.f64 (exp.f64 x) 1)

Compiler

Compiled 22 to 10 computations (54.5% saved)

series1.0ms (0%)

Counts

2 → 12

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(*.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (neg.f64 x)))
0.0ms	x	@	-inf	(*.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (neg.f64 x)))
0.0ms	x	@	inf	(*.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (neg.f64 x)))
0.0ms	x	@	0	(fmod.f64 (exp.f64 x) 1)
0.0ms	x	@	inf	(fmod.f64 (exp.f64 x) 1)

rewrite7.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	36
1	46	36
2	78	36
3	87	36
4	96	36
5	99	36
6	101	36

Stop Event

1×

saturated

Counts

2 → 6

Calls

Call 1

Inputs
(fmod.f64 (exp.f64 x) 1)
(*.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (neg.f64 x)))

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

Outputs

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

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

simplify11.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

62×	`rational.json-simplify-1`
48×	`rational.json-simplify-2`
36×	`rational.json-simplify-33`
14×	`rational.json-simplify-31`
6×	`rational.json-simplify-19`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	39	554
1	63	524
2	96	524
3	119	524
4	130	524
5	132	524

Stop Event

1×

saturated

Counts

18 → 19

Calls

Call 1

Inputs
(fmod.f64 (exp.f64 x) 1)
(+.f64 (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) 1) x)) (fmod.f64 (exp.f64 x) 1))
(+.f64 (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) 1) x)) (+.f64 (.f64 1/2 (.f64 (fmod.f64 (exp.f64 x) 1) (pow.f64 x 2))) (fmod.f64 (exp.f64 x) 1)))
(+.f64 (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) 1) x)) (+.f64 (.f64 -1/6 (.f64 (fmod.f64 (exp.f64 x) 1) (pow.f64 x 3))) (+.f64 (.f64 1/2 (.f64 (fmod.f64 (exp.f64 x) 1) (pow.f64 x 2))) (fmod.f64 (exp.f64 x) 1))))
(*.f64 (exp.f64 (neg.f64 x)) (fmod.f64 (exp.f64 x) 1))
(*.f64 (exp.f64 (neg.f64 x)) (fmod.f64 (exp.f64 x) 1))
(*.f64 (exp.f64 (neg.f64 x)) (fmod.f64 (exp.f64 x) 1))
(*.f64 (exp.f64 (neg.f64 x)) (fmod.f64 (exp.f64 x) 1))
(.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (.f64 -1 x)))
(.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (.f64 -1 x)))
(.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (.f64 -1 x)))
(.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (.f64 -1 x)))
(+.f64 (fmod.f64 (exp.f64 x) 1) 0)
(+.f64 0 (fmod.f64 (exp.f64 x) 1))
(*.f64 1 (fmod.f64 (exp.f64 x) 1))
(*.f64 (fmod.f64 (exp.f64 x) 1) 1)
(+.f64 (*.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (neg.f64 x))) 0)
(+.f64 0 (*.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (neg.f64 x))))

Outputs
(fmod.f64 (exp.f64 x) 1)
(+.f64 (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) 1) x)) (fmod.f64 (exp.f64 x) 1))
(+.f64 (fmod.f64 (exp.f64 x) 1) (*.f64 (fmod.f64 (exp.f64 x) 1) (neg.f64 x)))
(*.f64 (fmod.f64 (exp.f64 x) 1) (+.f64 1 (neg.f64 x)))
(+.f64 (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) 1) x)) (+.f64 (.f64 1/2 (.f64 (fmod.f64 (exp.f64 x) 1) (pow.f64 x 2))) (fmod.f64 (exp.f64 x) 1)))
(+.f64 (.f64 (fmod.f64 (exp.f64 x) 1) (neg.f64 x)) (+.f64 (fmod.f64 (exp.f64 x) 1) (.f64 (fmod.f64 (exp.f64 x) 1) (*.f64 1/2 (pow.f64 x 2)))))
(+.f64 (.f64 (fmod.f64 (exp.f64 x) 1) (neg.f64 x)) (.f64 (fmod.f64 (exp.f64 x) 1) (+.f64 1 (*.f64 1/2 (pow.f64 x 2)))))
(+.f64 (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) 1) x)) (+.f64 (.f64 -1/6 (.f64 (fmod.f64 (exp.f64 x) 1) (pow.f64 x 3))) (+.f64 (.f64 1/2 (.f64 (fmod.f64 (exp.f64 x) 1) (pow.f64 x 2))) (fmod.f64 (exp.f64 x) 1))))
(+.f64 (.f64 (fmod.f64 (exp.f64 x) 1) (neg.f64 x)) (+.f64 (+.f64 (fmod.f64 (exp.f64 x) 1) (.f64 (fmod.f64 (exp.f64 x) 1) (.f64 1/2 (pow.f64 x 2)))) (.f64 (fmod.f64 (exp.f64 x) 1) (*.f64 -1/6 (pow.f64 x 3)))))
(+.f64 (.f64 (fmod.f64 (exp.f64 x) 1) (neg.f64 x)) (+.f64 (.f64 (fmod.f64 (exp.f64 x) 1) (+.f64 1 (.f64 1/2 (pow.f64 x 2)))) (.f64 (fmod.f64 (exp.f64 x) 1) (*.f64 -1/6 (pow.f64 x 3)))))
(*.f64 (exp.f64 (neg.f64 x)) (fmod.f64 (exp.f64 x) 1))
(*.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (neg.f64 x)))
(*.f64 (exp.f64 (neg.f64 x)) (fmod.f64 (exp.f64 x) 1))
(*.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (neg.f64 x)))
(*.f64 (exp.f64 (neg.f64 x)) (fmod.f64 (exp.f64 x) 1))
(*.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (neg.f64 x)))
(*.f64 (exp.f64 (neg.f64 x)) (fmod.f64 (exp.f64 x) 1))
(*.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (.f64 -1 x)))
(*.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (.f64 -1 x)))
(*.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (.f64 -1 x)))
(*.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (.f64 -1 x)))
(*.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (neg.f64 x)))
(+.f64 (fmod.f64 (exp.f64 x) 1) 0)
(+.f64 0 (fmod.f64 (exp.f64 x) 1))
(+.f64 (fmod.f64 (exp.f64 x) 1) 0)
(*.f64 1 (fmod.f64 (exp.f64 x) 1))
(*.f64 (fmod.f64 (exp.f64 x) 1) 1)
(*.f64 1 (fmod.f64 (exp.f64 x) 1))
(+.f64 (*.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (neg.f64 x))) 0)
(+.f64 0 (*.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (neg.f64 x))))
(+.f64 0 (*.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (neg.f64 x))))

localize16.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 (neg.f64 x) 1))
	0.0b	(sqrt.f64 (cos.f64 x))
	4.1b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

Compiler

Compiled 33 to 12 computations (63.6% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time

Variable

Point

Expression

1.0ms

-inf

(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 (neg.f64 x) 1))

0.0ms

inf

(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 (neg.f64 x) 1))

0.0ms

(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 (neg.f64 x) 1))

rewrite7.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	35
1	55	35
2	91	35
3	101	35
4	110	35
5	113	35
6	115	35

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 (neg.f64 x) 1))

Outputs

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

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

14×	`rational.json-simplify-2`
14×	`rational.json-simplify-1`
4×	`rational.json-simplify-31`
4×	`rational.json-simplify-33`
2×	`rational.json-simplify-19`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	658
1	27	474
2	33	474
3	39	474
4	43	474

Stop Event

1×

saturated

Counts

14 → 9

Calls

Call 1

Inputs
(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) x)))
(.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) x))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) x)))
(.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) x))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) x)))
(+.f64 (*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 (neg.f64 x) 1)) 0)
(+.f64 0 (*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 (neg.f64 x) 1)))

Outputs
(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 x)))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 (neg.f64 x) 1))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 x)))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 (neg.f64 x) 1))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 x)))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 (neg.f64 x) 1))
(.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) x))
(.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 x))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (neg.f64 x))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 x)))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 (neg.f64 x) 1))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 x)))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 (neg.f64 x) 1))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 x)))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 (neg.f64 x) 1))
(.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) x))
(.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 x))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (neg.f64 x))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 x)))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 (neg.f64 x) 1))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 x)))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 (neg.f64 x) 1))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (.f64 -1 x)))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 (neg.f64 x) 1))
(+.f64 (*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 (neg.f64 x) 1)) 0)
(+.f64 0 (*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 (neg.f64 x) 1)))
(+.f64 (*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 (neg.f64 x) 1)) 0)

localize24.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (pow.f64 x 2) -1/4)
✓	0.3b	(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) (exp.f64 (neg.f64 x)))
✓	4.1b	(fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 (pow.f64 x 2) -1/4)))

Compiler

Compiled 51 to 34 computations (33.3% saved)

series2.0ms (0%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(*.f64 (pow.f64 x 2) -1/4)
0.0ms	x	@	0	(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) (exp.f64 (neg.f64 x)))
0.0ms	x	@	-inf	(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) (exp.f64 (neg.f64 x)))
0.0ms	x	@	inf	(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) (exp.f64 (neg.f64 x)))
0.0ms	x	@	inf	(*.f64 (pow.f64 x 2) -1/4)

rewrite10.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	85
1	68	85
2	106	85
3	117	85
4	126	85
5	129	85
6	131	85

Stop Event

1×

saturated

Counts

3 → 8

Calls

Call 1

Inputs
(fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 (pow.f64 x 2) -1/4)))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) (exp.f64 (neg.f64 x)))
(*.f64 (pow.f64 x 2) -1/4)

Outputs

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

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

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

simplify33.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

92×	`rational.json-simplify-2`
72×	`rational.json-simplify-1`
60×	`rational.json-simplify-31`
30×	`rational.json-simplify-33`
14×	`rational.json-simplify-9`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	51	1528
1	89	1444
2	128	1444
3	162	1444
4	183	1444
5	194	1444
6	210	1444
7	219	1444
8	236	1444
9	241	1444

Stop Event

1×

saturated

Counts

44 → 31

Calls

Call 1

Inputs
(fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 -1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 -1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 -1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 -1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (-.f64 1 (*.f64 1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (-.f64 1 (*.f64 1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (-.f64 1 (*.f64 1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (-.f64 1 (*.f64 1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (-.f64 1 (*.f64 1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (-.f64 1 (*.f64 1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (-.f64 1 (*.f64 1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (-.f64 1 (*.f64 1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 -1/4 (pow.f64 x 2))))
(+.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) x)))
(+.f64 (.f64 1/2 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (pow.f64 x 2))) (+.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 -1/4 (pow.f64 x 2)))) x))))
(+.f64 (.f64 1/2 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (pow.f64 x 2))) (+.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (+.f64 (.f64 -1/6 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (pow.f64 x 3))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) x)))))
(.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) (exp.f64 (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) (exp.f64 (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) (exp.f64 (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) (exp.f64 (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) (exp.f64 (*.f64 -1 x)))
(.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) (exp.f64 (*.f64 -1 x)))
(.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) (exp.f64 (*.f64 -1 x)))
(.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) (exp.f64 (*.f64 -1 x)))
(*.f64 -1/4 (pow.f64 x 2))
(*.f64 -1/4 (pow.f64 x 2))
(*.f64 -1/4 (pow.f64 x 2))
(*.f64 -1/4 (pow.f64 x 2))
(*.f64 -1/4 (pow.f64 x 2))
(*.f64 -1/4 (pow.f64 x 2))
(*.f64 -1/4 (pow.f64 x 2))
(*.f64 -1/4 (pow.f64 x 2))
(*.f64 -1/4 (pow.f64 x 2))
(*.f64 -1/4 (pow.f64 x 2))
(*.f64 -1/4 (pow.f64 x 2))
(*.f64 -1/4 (pow.f64 x 2))
(+.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 (pow.f64 x 2) -1/4))) 0)
(+.f64 0 (fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 (pow.f64 x 2) -1/4))))
(.f64 1 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) 1)
(+.f64 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) (exp.f64 (neg.f64 x))) 0)
(+.f64 0 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) (exp.f64 (neg.f64 x))))
(+.f64 (*.f64 (pow.f64 x 2) -1/4) 0)
(+.f64 0 (*.f64 (pow.f64 x 2) -1/4))

Outputs
(fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 -1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 -1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 -1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 -1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (-.f64 1 (*.f64 1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 -1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (-.f64 1 (*.f64 1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 -1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (-.f64 1 (*.f64 1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 -1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (-.f64 1 (*.f64 1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 -1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (-.f64 1 (*.f64 1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 -1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (-.f64 1 (*.f64 1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 -1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (-.f64 1 (*.f64 1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 -1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (-.f64 1 (*.f64 1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 -1/4 (pow.f64 x 2))))
(fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 -1/4 (pow.f64 x 2))))
(+.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 -1/4 (pow.f64 x 2)))) (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (+.f64 1 (neg.f64 x)))
(+.f64 (.f64 1/2 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (pow.f64 x 2))) (+.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 -1/4 (pow.f64 x 2)))) x))))
(+.f64 (+.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (neg.f64 x))) (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 1/2 (pow.f64 x 2))))
(+.f64 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (+.f64 1 (neg.f64 x))) (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (*.f64 (pow.f64 x 2) 1/2)))
(+.f64 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (neg.f64 x)) (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (+.f64 1 (*.f64 (pow.f64 x 2) 1/2))))
(+.f64 (.f64 1/2 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (pow.f64 x 2))) (+.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (+.f64 (.f64 -1/6 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (pow.f64 x 3))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) x)))))
(+.f64 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 1/2 (pow.f64 x 2))) (+.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (+.f64 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (neg.f64 x)) (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (*.f64 -1/6 (pow.f64 x 3))))))
(+.f64 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 (pow.f64 x 2) 1/2)) (+.f64 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (neg.f64 x)) (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (+.f64 1 (.f64 -1/6 (pow.f64 x 3))))))
(+.f64 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (+.f64 1 (neg.f64 x))) (+.f64 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 (pow.f64 x 2) 1/2)) (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 -1/6 (pow.f64 x 3)))))
(.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) (exp.f64 (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 (pow.f64 x 2) 1/4))) (exp.f64 (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (exp.f64 (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) (exp.f64 (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 (pow.f64 x 2) 1/4))) (exp.f64 (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (exp.f64 (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) (exp.f64 (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 (pow.f64 x 2) 1/4))) (exp.f64 (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (exp.f64 (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) (exp.f64 (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 (pow.f64 x 2) 1/4))) (exp.f64 (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (exp.f64 (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) (exp.f64 (*.f64 -1 x)))
(.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 (pow.f64 x 2) 1/4))) (exp.f64 (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (exp.f64 (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) (exp.f64 (*.f64 -1 x)))
(.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 (pow.f64 x 2) 1/4))) (exp.f64 (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (exp.f64 (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) (exp.f64 (*.f64 -1 x)))
(.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 (pow.f64 x 2) 1/4))) (exp.f64 (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (exp.f64 (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) (exp.f64 (*.f64 -1 x)))
(.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 (pow.f64 x 2) 1/4))) (exp.f64 (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (exp.f64 (neg.f64 x)))
(*.f64 -1/4 (pow.f64 x 2))
(*.f64 -1/4 (pow.f64 x 2))
(*.f64 -1/4 (pow.f64 x 2))
(*.f64 -1/4 (pow.f64 x 2))
(*.f64 -1/4 (pow.f64 x 2))
(*.f64 -1/4 (pow.f64 x 2))
(*.f64 -1/4 (pow.f64 x 2))
(*.f64 -1/4 (pow.f64 x 2))
(*.f64 -1/4 (pow.f64 x 2))
(*.f64 -1/4 (pow.f64 x 2))
(*.f64 -1/4 (pow.f64 x 2))
(*.f64 -1/4 (pow.f64 x 2))
(+.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 (pow.f64 x 2) -1/4))) 0)
(+.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 -1/4 (pow.f64 x 2)))) 0)
(+.f64 0 (fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 (pow.f64 x 2) -1/4))))
(+.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 -1/4 (pow.f64 x 2)))) 0)
(.f64 1 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))))
(.f64 1 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) 1)
(.f64 1 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))))
(+.f64 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) (exp.f64 (neg.f64 x))) 0)
(+.f64 0 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (exp.f64 (neg.f64 x))))
(+.f64 0 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) (exp.f64 (neg.f64 x))))
(+.f64 0 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (exp.f64 (neg.f64 x))))
(+.f64 (*.f64 (pow.f64 x 2) -1/4) 0)
(+.f64 (*.f64 -1/4 (pow.f64 x 2)) 0)
(+.f64 0 (*.f64 -1/4 (pow.f64 x 2)))
(+.f64 0 (*.f64 (pow.f64 x 2) -1/4))
(+.f64 (*.f64 -1/4 (pow.f64 x 2)) 0)
(+.f64 0 (*.f64 -1/4 (pow.f64 x 2)))

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.0b	(sqrt.f64 (cos.f64 x))
	4.1b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

Compiler

Compiled 15 to 5 computations (66.7% saved)

eval26.0ms (0.3%)

Compiler: Compiled 1533 to 937 computations (38.9% saved)

prune15.0ms (0.2%)

Pruning

9 alts after pruning (4 fresh and 5 done)

	Pruned	Kept	Total
New	85	4	89
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	85	9	94

Error

59.8b

Counts

94 → 9

Alt Table

Click to see full alt table

Status	Error	Program
▶	60.8b	(fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 (pow.f64 x 2) -1/4)))
✓	60.8b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
▶	60.8b	(fmod.f64 (exp.f64 x) 1)
▶	60.5b	(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) (+.f64 (neg.f64 x) 1))
✓	59.9b	(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) (exp.f64 (neg.f64 x)))
✓	60.5b	(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 (neg.f64 x) 1))
✓	59.8b	(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))
▶	60.7b	(*.f64 (fmod.f64 (exp.f64 x) 1) (+.f64 (neg.f64 x) 1))
✓	60.3b	(*.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (neg.f64 x)))

Compiler

Compiled 96 to 75 computations (21.9% saved)

localize13.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (fmod.f64 (exp.f64 x) 1) (+.f64 (neg.f64 x) 1))
	4.2b	(fmod.f64 (exp.f64 x) 1)

Compiler

Compiled 24 to 13 computations (45.8% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite6.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	27
1	47	27
2	79	27
3	89	27
4	98	27
5	101	27
6	103	27

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(*.f64 (fmod.f64 (exp.f64 x) 1) (+.f64 (neg.f64 x) 1))

Outputs

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

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

14×	`rational.json-simplify-2`
14×	`rational.json-simplify-1`
4×	`rational.json-simplify-31`
4×	`rational.json-simplify-33`
2×	`rational.json-simplify-19`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	474
1	25	362
2	30	362
3	36	362
4	40	362

Stop Event

1×

saturated

Counts

14 → 9

Calls

Call 1

Inputs
(fmod.f64 (exp.f64 x) 1)
(+.f64 (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) 1) x)) (fmod.f64 (exp.f64 x) 1))
(+.f64 (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) 1) x)) (fmod.f64 (exp.f64 x) 1))
(+.f64 (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) 1) x)) (fmod.f64 (exp.f64 x) 1))
(.f64 -1 (.f64 (fmod.f64 (exp.f64 x) 1) x))
(+.f64 (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) 1) x)) (fmod.f64 (exp.f64 x) 1))
(+.f64 (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) 1) x)) (fmod.f64 (exp.f64 x) 1))
(+.f64 (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) 1) x)) (fmod.f64 (exp.f64 x) 1))
(.f64 -1 (.f64 (fmod.f64 (exp.f64 x) 1) x))
(+.f64 (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) 1) x)) (fmod.f64 (exp.f64 x) 1))
(+.f64 (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) 1) x)) (fmod.f64 (exp.f64 x) 1))
(+.f64 (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) 1) x)) (fmod.f64 (exp.f64 x) 1))
(+.f64 (*.f64 (fmod.f64 (exp.f64 x) 1) (+.f64 1 (neg.f64 x))) 0)
(+.f64 0 (*.f64 (fmod.f64 (exp.f64 x) 1) (+.f64 1 (neg.f64 x))))

Outputs
(fmod.f64 (exp.f64 x) 1)
(+.f64 (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) 1) x)) (fmod.f64 (exp.f64 x) 1))
(+.f64 (fmod.f64 (exp.f64 x) 1) (.f64 (fmod.f64 (exp.f64 x) 1) (.f64 -1 x)))
(*.f64 (fmod.f64 (exp.f64 x) 1) (+.f64 1 (neg.f64 x)))
(+.f64 (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) 1) x)) (fmod.f64 (exp.f64 x) 1))
(+.f64 (fmod.f64 (exp.f64 x) 1) (.f64 (fmod.f64 (exp.f64 x) 1) (.f64 -1 x)))
(*.f64 (fmod.f64 (exp.f64 x) 1) (+.f64 1 (neg.f64 x)))
(+.f64 (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) 1) x)) (fmod.f64 (exp.f64 x) 1))
(+.f64 (fmod.f64 (exp.f64 x) 1) (.f64 (fmod.f64 (exp.f64 x) 1) (.f64 -1 x)))
(*.f64 (fmod.f64 (exp.f64 x) 1) (+.f64 1 (neg.f64 x)))
(.f64 -1 (.f64 (fmod.f64 (exp.f64 x) 1) x))
(.f64 (fmod.f64 (exp.f64 x) 1) (.f64 -1 x))
(*.f64 (fmod.f64 (exp.f64 x) 1) (neg.f64 x))
(+.f64 (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) 1) x)) (fmod.f64 (exp.f64 x) 1))
(+.f64 (fmod.f64 (exp.f64 x) 1) (.f64 (fmod.f64 (exp.f64 x) 1) (.f64 -1 x)))
(*.f64 (fmod.f64 (exp.f64 x) 1) (+.f64 1 (neg.f64 x)))
(+.f64 (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) 1) x)) (fmod.f64 (exp.f64 x) 1))
(+.f64 (fmod.f64 (exp.f64 x) 1) (.f64 (fmod.f64 (exp.f64 x) 1) (.f64 -1 x)))
(*.f64 (fmod.f64 (exp.f64 x) 1) (+.f64 1 (neg.f64 x)))
(+.f64 (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) 1) x)) (fmod.f64 (exp.f64 x) 1))
(+.f64 (fmod.f64 (exp.f64 x) 1) (.f64 (fmod.f64 (exp.f64 x) 1) (.f64 -1 x)))
(*.f64 (fmod.f64 (exp.f64 x) 1) (+.f64 1 (neg.f64 x)))
(.f64 -1 (.f64 (fmod.f64 (exp.f64 x) 1) x))
(.f64 (fmod.f64 (exp.f64 x) 1) (.f64 -1 x))
(*.f64 (fmod.f64 (exp.f64 x) 1) (neg.f64 x))
(+.f64 (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) 1) x)) (fmod.f64 (exp.f64 x) 1))
(+.f64 (fmod.f64 (exp.f64 x) 1) (.f64 (fmod.f64 (exp.f64 x) 1) (.f64 -1 x)))
(*.f64 (fmod.f64 (exp.f64 x) 1) (+.f64 1 (neg.f64 x)))
(+.f64 (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) 1) x)) (fmod.f64 (exp.f64 x) 1))
(+.f64 (fmod.f64 (exp.f64 x) 1) (.f64 (fmod.f64 (exp.f64 x) 1) (.f64 -1 x)))
(*.f64 (fmod.f64 (exp.f64 x) 1) (+.f64 1 (neg.f64 x)))
(+.f64 (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) 1) x)) (fmod.f64 (exp.f64 x) 1))
(+.f64 (fmod.f64 (exp.f64 x) 1) (.f64 (fmod.f64 (exp.f64 x) 1) (.f64 -1 x)))
(*.f64 (fmod.f64 (exp.f64 x) 1) (+.f64 1 (neg.f64 x)))
(+.f64 (*.f64 (fmod.f64 (exp.f64 x) 1) (+.f64 1 (neg.f64 x))) 0)
(+.f64 0 (*.f64 (fmod.f64 (exp.f64 x) 1) (+.f64 1 (neg.f64 x))))
(+.f64 (*.f64 (fmod.f64 (exp.f64 x) 1) (+.f64 1 (neg.f64 x))) 0)

localize24.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(*.f64 (pow.f64 x 2) -1/4)
✓	0.0b	(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) (+.f64 (neg.f64 x) 1))
	4.1b	(fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 (pow.f64 x 2) -1/4)))

Compiler

Compiled 53 to 37 computations (30.2% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time

Variable

Point

Expression

0.0ms

inf

(*.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 (pow.f64 x 2) -1/4))) (+.f64 (neg.f64 x) 1))

0.0ms

-inf

(*.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 (pow.f64 x 2) -1/4))) (+.f64 (neg.f64 x) 1))

0.0ms

(*.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 (pow.f64 x 2) -1/4))) (+.f64 (neg.f64 x) 1))

rewrite7.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	45
1	69	45
2	107	45
3	118	45
4	127	45
5	130	45
6	132	45

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) (+.f64 (neg.f64 x) 1))

Outputs

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

simplify18.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

68×	`rational.json-simplify-2`
50×	`rational.json-simplify-31`
24×	`rational.json-simplify-1`
14×	`rational.json-simplify-9`
12×	`rational.json-simplify-27`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	32	888
1	53	614
2	71	614
3	88	614
4	103	614
5	113	614
6	129	614
7	138	614
8	155	614
9	158	614

Stop Event

1×

saturated

Counts

14 → 12

Calls

Call 1

Inputs
(fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 -1/4 (pow.f64 x 2))))
(+.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) x)))
(.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (*.f64 1/4 (pow.f64 x 2)))) x))
(+.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) x)))
(.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (*.f64 1/4 (pow.f64 x 2)))) x))
(+.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) x)))
(+.f64 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) (+.f64 1 (neg.f64 x))) 0)
(+.f64 0 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) (+.f64 1 (neg.f64 x))))

Outputs
(fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 -1/4 (pow.f64 x 2))))
(+.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 -1 x)))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (+.f64 1 (neg.f64 x)))
(+.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 -1 x)))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (+.f64 1 (neg.f64 x)))
(+.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 -1 x)))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (+.f64 1 (neg.f64 x)))
(.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (*.f64 1/4 (pow.f64 x 2)))) x))
(.f64 -1 (.f64 x (fmod.f64 (exp.f64 x) (-.f64 1 (*.f64 (pow.f64 x 2) 1/4)))))
(.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 (pow.f64 x 2) 1/4))) (neg.f64 x))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (neg.f64 x))
(+.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 -1 x)))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (+.f64 1 (neg.f64 x)))
(+.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 -1 x)))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (+.f64 1 (neg.f64 x)))
(+.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 -1 x)))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (+.f64 1 (neg.f64 x)))
(.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (*.f64 1/4 (pow.f64 x 2)))) x))
(.f64 -1 (.f64 x (fmod.f64 (exp.f64 x) (-.f64 1 (*.f64 (pow.f64 x 2) 1/4)))))
(.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 (pow.f64 x 2) 1/4))) (neg.f64 x))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (neg.f64 x))
(+.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 -1 x)))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (+.f64 1 (neg.f64 x)))
(+.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 -1 x)))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (+.f64 1 (neg.f64 x)))
(+.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) (.f64 -1 (.f64 (fmod.f64 (exp.f64 x) (-.f64 1 (.f64 1/4 (pow.f64 x 2)))) x)))
(+.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (.f64 -1 x)))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (+.f64 1 (neg.f64 x)))
(+.f64 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) (+.f64 1 (neg.f64 x))) 0)
(+.f64 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (+.f64 1 (neg.f64 x))) 0)
(+.f64 0 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) (+.f64 1 (neg.f64 x))))
(+.f64 (.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 -1/4 (pow.f64 x 2)))) (+.f64 1 (neg.f64 x))) 0)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
	4.2b	(fmod.f64 (exp.f64 x) 1)

Compiler

Compiled 9 to 5 computations (44.4% saved)

localize15.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.0b	(*.f64 (pow.f64 x 2) -1/4)
	4.1b	(fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 (pow.f64 x 2) -1/4)))

Compiler

Compiled 32 to 24 computations (25% saved)

eval14.0ms (0.2%)

Compiler: Compiled 723 to 501 computations (30.7% saved)

prune10.0ms (0.1%)

Pruning

9 alts after pruning (0 fresh and 9 done)

	Pruned	Kept	Total
New	55	0	55
Fresh	0	0	0
Picked	0	1	1
Done	0	8	8
Total	55	9	64

Error

59.8b

Counts

64 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	60.8b	(fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 (pow.f64 x 2) -1/4)))
✓	60.8b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
✓	60.8b	(fmod.f64 (exp.f64 x) 1)
✓	60.5b	(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) (+.f64 (neg.f64 x) 1))
✓	59.9b	(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) (exp.f64 (neg.f64 x)))
✓	60.5b	(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 (neg.f64 x) 1))
✓	59.8b	(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))
✓	60.7b	(*.f64 (fmod.f64 (exp.f64 x) 1) (+.f64 (neg.f64 x) 1))
✓	60.3b	(*.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (neg.f64 x)))

Compiler

Compiled 96 to 75 computations (21.9% saved)

regimes10.0ms (0.1%)

Counts

9 → 1

Calls

Call 1

Inputs
(fmod.f64 (exp.f64 x) 1)
(*.f64 (fmod.f64 (exp.f64 x) 1) (+.f64 (neg.f64 x) 1))
(*.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (neg.f64 x)))
(fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 (pow.f64 x 2) -1/4)))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) (+.f64 (neg.f64 x) 1))
(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 (neg.f64 x) 1))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) (exp.f64 (neg.f64 x)))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))

Outputs
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))

Calls

2 calls:

5.0ms	x
2.0ms	(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))

Results

Error	Segments	Branch
59.8b	1	`x`
59.8b	1	`(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))`

Compiler

Compiled 101 to 55 computations (45.5% saved)

regimes8.0ms (0.1%)

Counts

8 → 1

Calls

Call 1

Inputs
(fmod.f64 (exp.f64 x) 1)
(*.f64 (fmod.f64 (exp.f64 x) 1) (+.f64 (neg.f64 x) 1))
(*.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (neg.f64 x)))
(fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 (pow.f64 x 2) -1/4)))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) (+.f64 (neg.f64 x) 1))
(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 (neg.f64 x) 1))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) (exp.f64 (neg.f64 x)))

Outputs
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) (exp.f64 (neg.f64 x)))

Calls

1 calls:

5.0ms

Results

Error	Segments	Branch
59.9b	1	`x`

Compiler

Compiled 80 to 46 computations (42.5% saved)

regimes7.0ms (0.1%)

Counts

7 → 1

Calls

Call 1

Inputs
(fmod.f64 (exp.f64 x) 1)
(*.f64 (fmod.f64 (exp.f64 x) 1) (+.f64 (neg.f64 x) 1))
(*.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (neg.f64 x)))
(fmod.f64 (exp.f64 x) (+.f64 1 (*.f64 (pow.f64 x 2) -1/4)))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) (+.f64 (neg.f64 x) 1))
(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (+.f64 (neg.f64 x) 1))

Outputs
(*.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (neg.f64 x)))

Calls

1 calls:

5.0ms

Results

Error	Segments	Branch
60.3b	1	`x`

Compiler

Compiled 66 to 38 computations (42.4% saved)

regimes4.0ms (0%)

Accuracy

Total -0.2b remaining (-0.3%)

Threshold costs -0.2b (-0.3%)

Counts

2 → 1

Calls

Call 1

Inputs
(fmod.f64 (exp.f64 x) 1)
(*.f64 (fmod.f64 (exp.f64 x) 1) (+.f64 (neg.f64 x) 1))

Outputs
(*.f64 (fmod.f64 (exp.f64 x) 1) (+.f64 (neg.f64 x) 1))

Calls

1 calls:

3.0ms

Results

Error	Segments	Branch
60.7b	1	`x`

Compiler

Compiled 16 to 11 computations (31.3% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	139

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) (exp.f64 (neg.f64 x)))
(*.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (neg.f64 x)))
(*.f64 (fmod.f64 (exp.f64 x) 1) (+.f64 (neg.f64 x) 1))
(fmod.f64 (exp.f64 x) 1)

Outputs
(*.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 (neg.f64 x)))
(.f64 (fmod.f64 (exp.f64 x) (+.f64 1 (.f64 (pow.f64 x 2) -1/4))) (exp.f64 (neg.f64 x)))
(*.f64 (fmod.f64 (exp.f64 x) 1) (exp.f64 (neg.f64 x)))
(*.f64 (fmod.f64 (exp.f64 x) 1) (+.f64 (neg.f64 x) 1))
(fmod.f64 (exp.f64 x) 1)

Compiler

Compiled 50 to 39 computations (22% saved)

soundness0.0ms (0%)

end33.0ms (0.4%)

Compiler: Compiled 46 to 26 computations (43.5% saved)

Iter	Nodes	Cost
0	32	888
1	53	614
2	71	614
3	88	614
4	103	614
5	113	614
6	129	614
7	138	614
8	155	614
9	158	614

Iter	Nodes	Cost
0	32	888
1	53	614
2	71	614
3	88	614
4	103	614
5	113	614
6	129	614
7	138	614
8	155	614
9	158	614

Details

analyze233.0ms (2.9%)

sample7.4s (91.8%)

preprocess2.0ms (0%)

simplify4.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

localize14.0ms (0.2%)

series2.0ms (0%)

rewrite7.0ms (0.1%)

simplify17.0ms (0.2%)

eval7.0ms (0.1%)

prune6.0ms (0.1%)

localize12.0ms (0.2%)

series1.0ms (0%)

rewrite7.0ms (0.1%)

simplify11.0ms (0.1%)

localize16.0ms (0.2%)

series1.0ms (0%)

rewrite7.0ms (0.1%)

simplify9.0ms (0.1%)

localize24.0ms (0.3%)

series2.0ms (0%)

rewrite10.0ms (0.1%)

simplify33.0ms (0.4%)

localize8.0ms (0.1%)

eval26.0ms (0.3%)

prune15.0ms (0.2%)

localize13.0ms (0.2%)

series1.0ms (0%)

rewrite6.0ms (0.1%)

simplify9.0ms (0.1%)

localize24.0ms (0.3%)

series1.0ms (0%)

rewrite7.0ms (0.1%)

simplify18.0ms (0.2%)

localize5.0ms (0.1%)

localize15.0ms (0.2%)

eval14.0ms (0.2%)

prune10.0ms (0.1%)

regimes10.0ms (0.1%)

regimes8.0ms (0.1%)

regimes7.0ms (0.1%)

regimes4.0ms (0%)

simplify3.0ms (0%)

soundness0.0ms (0%)

end33.0ms (0.4%)

Profiling

Iter	Nodes	Cost
0	32	888
1	53	614
2	71	614
3	88	614
4	103	614
5	113	614
6	129	614
7	138	614
8	155	614
9	158	614