Details

analyze0.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	49.6%	50.4%	0
49.6%	0%	50.4%	1

Compiler

Compiled 12 to 9 computations (25% saved)

sample4.1s (66.2%)

Results

3.0s	4424×	body	2048	valid
770.0ms	2082×	body	1024	valid
275.0ms	967×	body	512	valid
95.0ms	783×	body	256	valid

preprocess30.0ms (0.5%)

Algorithm

2×	egg-herbie

Rules

8×	`sub-neg_binary64`
6×	`fma-def_binary64`
4×	`+-commutative_binary64`
3×	`associate-+l-_binary64`
3×	`associate--r+_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	6
1	9	6
2	13	6
3	19	6
4	26	6
5	36	6
6	47	6
7	59	6
8	62	6
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(-.f64 1 (cos.f64 x))

Outputs
(-.f64 1 (cos.f64 x))

Compiler

Compiled 6 to 5 computations (16.7% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`sub-neg_binary64`
6×	`fma-def_binary64`
4×	`+-commutative_binary64`
3×	`associate-+l-_binary64`
3×	`associate--r+_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	6
1	9	6
2	13	6
3	19	6
4	26	6
5	36	6
6	47	6
7	59	6
8	62	6

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(-.f64 1 (cos.f64 x))

Outputs
(-.f64 1 (cos.f64 x))

eval0.0ms (0%)

Compiler: Compiled 5 to 4 computations (20% 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

30.2b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	30.2b	(-.f64 1 (cos.f64 x))

Compiler

Compiled 5 to 4 computations (20% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
	4.5b	(-.f64 1 (cos.f64 x))
✓	4.5b	(-.f64 1 (cos.f64 x))

Compiler

Compiled 9 to 5 computations (44.4% saved)

series1.0ms (0%)

Counts

1 → 4

Calls

3 calls:

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

rewrite74.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

517×	`pow1_binary64`
503×	`add-sqr-sqrt_binary64`
481×	`add-log-exp_binary64`
481×	`log1p-expm1-u_binary64`
481×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	6
1	102	6
2	1249	6

Stop Event

1×	node limit

Counts

1 → 28

Calls

Call 1

Inputs
(-.f64 1 (cos.f64 x))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (neg.f64 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (.f64 (neg.f64 (cos.f64 x)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (cos.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (-.f64 1 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 1 (cos.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (-.f64 1 (cos.f64 x))) (pow.f64 (cbrt.f64 (-.f64 1 (cos.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (-.f64 1 (cos.f64 x))) 2) (cbrt.f64 (-.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (-.f64 1 (cos.f64 x))) (sqrt.f64 (-.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 1 (pow.f64 (cos.f64 x) 3)) (/.f64 1 (+.f64 1 (.f64 (cos.f64 x) (+.f64 1 (cos.f64 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (sin.f64 x) (sin.f64 x)) (/.f64 1 (+.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 1 (.f64 (cos.f64 x) (+.f64 1 (cos.f64 x)))) (-.f64 1 (pow.f64 (cos.f64 x) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 1 (cos.f64 x)) (.f64 (sin.f64 x) (sin.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 1 (pow.f64 (cos.f64 x) 3)) (+.f64 1 (.f64 (cos.f64 x) (+.f64 1 (cos.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sin.f64 x) (sin.f64 x)) (+.f64 1 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 1 (pow.f64 (cos.f64 x) 3))) (neg.f64 (+.f64 1 (.f64 (cos.f64 x) (+.f64 1 (cos.f64 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 (sin.f64 x) (sin.f64 x))) (neg.f64 (+.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 1 (pow.f64 (neg.f64 (cos.f64 x)) 3)) (+.f64 1 (-.f64 (.f64 (neg.f64 (cos.f64 x)) (neg.f64 (cos.f64 x))) (neg.f64 (cos.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 1 (.f64 (neg.f64 (cos.f64 x)) (neg.f64 (cos.f64 x)))) (-.f64 1 (neg.f64 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 1 (cos.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 1 (cos.f64 x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (-.f64 1 (cos.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (-.f64 1 (cos.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (-.f64 1 (cos.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (-.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (-.f64 1 (cos.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log1p.f64 (neg.f64 (cos.f64 x))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (neg.f64 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (*.f64 (neg.f64 (cos.f64 x)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (cos.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 1 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 1 (cos.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (-.f64 1 (cos.f64 x))) (pow.f64 (cbrt.f64 (-.f64 1 (cos.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (-.f64 1 (cos.f64 x))) 2) (cbrt.f64 (-.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 1 (cos.f64 x))) (sqrt.f64 (-.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 1 (pow.f64 (cos.f64 x) 3)) (/.f64 1 (+.f64 1 (*.f64 (cos.f64 x) (+.f64 1 (cos.f64 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sin.f64 x) (sin.f64 x)) (/.f64 1 (+.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 1 (*.f64 (cos.f64 x) (+.f64 1 (cos.f64 x)))) (-.f64 1 (pow.f64 (cos.f64 x) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 1 (cos.f64 x)) (*.f64 (sin.f64 x) (sin.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 1 (pow.f64 (cos.f64 x) 3)) (+.f64 1 (*.f64 (cos.f64 x) (+.f64 1 (cos.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sin.f64 x) (sin.f64 x)) (+.f64 1 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 1 (pow.f64 (cos.f64 x) 3))) (neg.f64 (+.f64 1 (*.f64 (cos.f64 x) (+.f64 1 (cos.f64 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 (sin.f64 x) (sin.f64 x))) (neg.f64 (+.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 1 (pow.f64 (neg.f64 (cos.f64 x)) 3)) (+.f64 1 (-.f64 (*.f64 (neg.f64 (cos.f64 x)) (neg.f64 (cos.f64 x))) (neg.f64 (cos.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 1 (*.f64 (neg.f64 (cos.f64 x)) (neg.f64 (cos.f64 x)))) (-.f64 1 (neg.f64 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 1 (cos.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 1 (cos.f64 x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (-.f64 1 (cos.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (-.f64 1 (cos.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (-.f64 1 (cos.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (-.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (-.f64 1 (cos.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log1p.f64 (neg.f64 (cos.f64 x))))))))

simplify89.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

603×	`distribute-rgt-out_binary64`
532×	`sqr-pow_binary64`
482×	`associate-+l+_binary64`
478×	`distribute-lft-out_binary64`
413×	`unswap-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	70
1	56	70
2	128	70
3	426	70
4	1906	70
5	4294	70
6	4668	70
7	5174	70
8	6164	70
9	7148	70
10	7583	70

Stop Event

1×	node limit

Counts

32 → 36

Calls

Call 1

Inputs
(*.f64 1/2 (pow.f64 x 2))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/24 (pow.f64 x 4)) (*.f64 1/720 (pow.f64 x 6))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/24 (pow.f64 x 4)) (+.f64 (.f64 1/720 (pow.f64 x 6)) (.f64 -1/40320 (pow.f64 x 8)))))

Outputs
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(fma.f64 1/2 (.f64 x x) (.f64 -1/24 (pow.f64 x 4)))
(fma.f64 -1/24 (pow.f64 x 4) (.f64 1/2 (.f64 x x)))
(.f64 (.f64 x x) (fma.f64 (*.f64 x x) -1/24 1/2))
(.f64 x (.f64 x (fma.f64 (*.f64 x x) -1/24 1/2)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/24 (pow.f64 x 4)) (*.f64 1/720 (pow.f64 x 6))))
(fma.f64 1/2 (.f64 x x) (fma.f64 -1/24 (pow.f64 x 4) (.f64 1/720 (pow.f64 x 6))))
(fma.f64 1/2 (.f64 x x) (fma.f64 1/720 (pow.f64 x 6) (.f64 -1/24 (pow.f64 x 4))))
(fma.f64 1/720 (pow.f64 x 6) (.f64 (.f64 x x) (fma.f64 (*.f64 x x) -1/24 1/2)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/24 (pow.f64 x 4)) (+.f64 (.f64 1/720 (pow.f64 x 6)) (.f64 -1/40320 (pow.f64 x 8)))))
(fma.f64 1/2 (.f64 x x) (fma.f64 -1/24 (pow.f64 x 4) (fma.f64 1/720 (pow.f64 x 6) (.f64 -1/40320 (pow.f64 x 8)))))
(fma.f64 1/2 (.f64 x x) (fma.f64 -1/40320 (pow.f64 x 8) (fma.f64 1/720 (pow.f64 x 6) (.f64 -1/24 (pow.f64 x 4)))))
(fma.f64 1/2 (.f64 x x) (fma.f64 (pow.f64 x 4) (fma.f64 (pow.f64 x 4) -1/40320 -1/24) (.f64 1/720 (pow.f64 x 6))))
(fma.f64 (.f64 x x) (fma.f64 (.f64 x x) -1/24 1/2) (fma.f64 1/720 (pow.f64 x 6) (*.f64 -1/40320 (pow.f64 x 8))))

eval9.0ms (0.1%)

Compiler: Compiled 390 to 242 computations (37.9% saved)

prune7.0ms (0.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	33	3	36
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	33	4	37

Error

Counts

37 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.1b	(.f64 x (.f64 x (fma.f64 (*.f64 x x) -1/24 1/2)))
▶	0.0b	(/.f64 (*.f64 (sin.f64 x) (sin.f64 x)) (+.f64 1 (cos.f64 x)))
✓	30.2b	(-.f64 1 (cos.f64 x))
▶	0.5b	(.f64 1/2 (.f64 x x))

Compiler

Compiled 33 to 22 computations (33.3% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 11 to 5 computations (54.5% saved)

series2.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite34.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

432×	`pow1_binary64`
420×	`add-sqr-sqrt_binary64`
411×	`*-un-lft-identity_binary64`
401×	`add-log-exp_binary64`
401×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	102	7
2	1145	7

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 1/2 (.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 1/2) (.f64 x x))) (cbrt.f64 (pow.f64 (exp.f64 1/2) (.f64 x x))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/2) (.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/2) (.f64 x x)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/2) (.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (.f64 1/2 (.f64 x x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 1/2 (.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 1/2 (.f64 x x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 1/2 (.f64 x x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (sqrt.f64 1/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 1/4 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 1/2) (.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 1/2 (.f64 x x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 1/2 (.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 1/2 (.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 1/2 (*.f64 x x))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 1/2 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 1/2) (*.f64 x x))) (cbrt.f64 (pow.f64 (exp.f64 1/2) (*.f64 x x))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/2) (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/2) (*.f64 x x)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/2) (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 1/2 (*.f64 x x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/2 (*.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 1/2 (*.f64 x x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 1/2 (*.f64 x x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (sqrt.f64 1/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 1/4 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 1/2) (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 1/2 (*.f64 x x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 1/2 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 1/2 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 1/2 (*.f64 x x))))))))

simplify140.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

1105×	`sqr-pow_binary64`
618×	`cube-prod_binary64`
559×	`fabs-mul_binary64`
536×	`pow-sqr_binary64`
451×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	84
1	12	84
2	22	84
3	44	84
4	105	84
5	332	84
6	1265	84
7	2140	84
8	2304	84
9	2488	84
10	2696	84
11	2985	84
12	3376	84
13	3856	84
14	4419	84
15	5109	84
16	5946	84
17	6336	84
18	6626	84
19	6904	84
20	6980	84
21	7016	84
22	7957	84

Stop Event

1×	node limit

Counts

26 → 16

Calls

Call 1

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

Outputs
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))

localize10.0ms (0.2%)

Local error

Found 6 expressions with local error:

New	Error	Program
	0.0b	(/.f64 (*.f64 (sin.f64 x) (sin.f64 x)) (+.f64 1 (cos.f64 x)))
	0.0b	(*.f64 (sin.f64 x) (sin.f64 x))
	0.0b	(+.f64 1 (cos.f64 x))
✓	0.0b	(+.f64 1 (cos.f64 x))
✓	0.0b	(*.f64 (sin.f64 x) (sin.f64 x))
✓	0.0b	(/.f64 (*.f64 (sin.f64 x) (sin.f64 x)) (+.f64 1 (cos.f64 x)))

Compiler

Compiled 26 to 10 computations (61.5% saved)

series6.0ms (0.1%)

Counts

3 → 32

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	x	@	inf	(/.f64 (*.f64 (sin.f64 x) (sin.f64 x)) (+.f64 1 (cos.f64 x)))
1.0ms	x	@	-inf	(/.f64 (*.f64 (sin.f64 x) (sin.f64 x)) (+.f64 1 (cos.f64 x)))
1.0ms	x	@	0	(/.f64 (*.f64 (sin.f64 x) (sin.f64 x)) (+.f64 1 (cos.f64 x)))
0.0ms	x	@	0	(*.f64 (sin.f64 x) (sin.f64 x))
0.0ms	x	@	0	(+.f64 1 (cos.f64 x))

rewrite59.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

993×	`pow1_binary64`
931×	`add-log-exp_binary64`
930×	`log1p-expm1-u_binary64`
930×	`expm1-log1p-u_binary64`
95×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	26
1	179	18
2	2598	18

Stop Event

1×	node limit

Counts

3 → 99

Calls

Call 1

Inputs
(/.f64 (*.f64 (sin.f64 x) (sin.f64 x)) (+.f64 1 (cos.f64 x)))
(*.f64 (sin.f64 x) (sin.f64 x))
(+.f64 1 (cos.f64 x))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (neg.f64 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (*.f64 -1 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (*.f64 (neg.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2)) (cbrt.f64 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (*.f64 (neg.f64 (sqrt.f64 (cos.f64 x))) (sqrt.f64 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 1 (cos.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (-.f64 1 (cos.f64 x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 1/2 (+.f64 1 (cos.f64 x))) (/.f64 (*.f64 (cos.f64 (+.f64 x x)) 1/2) (+.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sin.f64 x) (/.f64 1 (/.f64 (+.f64 1 (cos.f64 x)) (sin.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sin.f64 x) (*.f64 (sin.f64 x) (/.f64 1 (+.f64 1 (cos.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sin.f64 x) 2) (/.f64 1 (+.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 1 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 1 (cos.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (-.f64 1 (cos.f64 x))) (pow.f64 (cbrt.f64 (-.f64 1 (cos.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (-.f64 1 (cos.f64 x))) 2) (cbrt.f64 (-.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (sin.f64 x) 4)) (*.f64 (cbrt.f64 (pow.f64 (sin.f64 x) 2)) (/.f64 1 (+.f64 1 (cos.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 1 (cos.f64 x))) (sqrt.f64 (-.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (pow.f64 (sin.f64 x) 2)) (/.f64 1 (+.f64 (neg.f64 (cos.f64 x)) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 1 (cos.f64 x))) (pow.f64 (sin.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sin.f64 x) 1) (/.f64 (sin.f64 x) (+.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sin.f64 x) (+.f64 1 (cos.f64 x))) (sin.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (pow.f64 (sin.f64 x) 4)) 1) (/.f64 (cbrt.f64 (pow.f64 (sin.f64 x) 2)) (+.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sin.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 (cos.f64 x))) 2)) (/.f64 (sin.f64 x) (cbrt.f64 (+.f64 1 (cos.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 1 (cos.f64 x))) 2)) (/.f64 (pow.f64 (sin.f64 x) 2) (cbrt.f64 (+.f64 1 (cos.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (pow.f64 (sin.f64 x) 4)) (pow.f64 (cbrt.f64 (+.f64 1 (cos.f64 x))) 2)) (cbrt.f64 (-.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 (+.f64 1 (cos.f64 x)))) (/.f64 (pow.f64 (sin.f64 x) 2) (sqrt.f64 (+.f64 1 (cos.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (pow.f64 (sin.f64 x) 4)) (sqrt.f64 (+.f64 1 (cos.f64 x)))) (/.f64 (cbrt.f64 (pow.f64 (sin.f64 x) 2)) (sqrt.f64 (+.f64 1 (cos.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 1 (pow.f64 (cos.f64 x) 3))) (-.f64 (+.f64 1 (pow.f64 (cos.f64 x) 2)) (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (sin.f64 x) 2)) (-.f64 1 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 1 (cos.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 1 (cos.f64 x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (-.f64 1 (cos.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (-.f64 1 (cos.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 1 (-.f64 1 (cos.f64 x))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 (neg.f64 (cos.f64 x)) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (-.f64 1 (cos.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (-.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (-.f64 1 (cos.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (-.f64 1 (cos.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (pow.f64 (sin.f64 x) 2) 3) (pow.f64 (+.f64 1 (cos.f64 x)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (-.f64 1 (cos.f64 x))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (neg.f64 (pow.f64 (cos.f64 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (*.f64 (neg.f64 (cos.f64 x)) (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1/2 (neg.f64 (*.f64 (cos.f64 (+.f64 x x)) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1/2 (*.f64 -1/2 (cos.f64 (+.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 1 (pow.f64 (cos.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 1/2 (*.f64 (cos.f64 (+.f64 x x)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (pow.f64 (sin.f64 x) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (cos.f64 0) 2) (/.f64 (cos.f64 (+.f64 x x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 2 (-.f64 (cos.f64 0) (cos.f64 (+.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (cos.f64 0) (cos.f64 (+.f64 x x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (cos.f64 0) (cos.f64 (+.f64 x x)))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 1 (pow.f64 (pow.f64 (cos.f64 x) 2) 3)) (+.f64 1 (+.f64 (*.f64 (pow.f64 (cos.f64 x) 2) (pow.f64 (cos.f64 x) 2)) (pow.f64 (cos.f64 x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 1/8 (pow.f64 (*.f64 (cos.f64 (+.f64 x x)) 1/2) 3)) (+.f64 1/4 (+.f64 (*.f64 (*.f64 (cos.f64 (+.f64 x x)) 1/2) (*.f64 (cos.f64 (+.f64 x x)) 1/2)) (*.f64 1/2 (*.f64 (cos.f64 (+.f64 x x)) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 1 (*.f64 (pow.f64 (cos.f64 x) 2) (pow.f64 (cos.f64 x) 2))) (+.f64 1 (pow.f64 (cos.f64 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 1/4 (*.f64 (*.f64 (cos.f64 (+.f64 x x)) 1/2) (*.f64 (cos.f64 (+.f64 x x)) 1/2))) (pow.f64 (cos.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sin.f64 x) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (sin.f64 x) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 (sin.f64 x) 2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (pow.f64 (sin.f64 x) 2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (sin.f64 x) 4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (sin.f64 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 (sin.f64 x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (sin.f64 x) 2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (sin.f64 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (sin.f64 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sin.f64 x)) 2))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 1 (-.f64 1 (cos.f64 x))) (/.f64 (pow.f64 (cos.f64 x) 2) (-.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (+.f64 1 (cos.f64 x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sin.f64 x) 2) (/.f64 1 (-.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 1 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 1 (cos.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 1 (cos.f64 x))) (pow.f64 (cbrt.f64 (+.f64 1 (cos.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (+.f64 1 (cos.f64 x))) 2) (cbrt.f64 (+.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (+.f64 1 (cos.f64 x))) (sqrt.f64 (+.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 1 (pow.f64 (cos.f64 x) 3)) (/.f64 1 (-.f64 (+.f64 1 (pow.f64 (cos.f64 x) 2)) (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (sin.f64 x) 2) (-.f64 1 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 (+.f64 1 (pow.f64 (cos.f64 x) 2)) (cos.f64 x)) (+.f64 1 (pow.f64 (cos.f64 x) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 1 (cos.f64 x)) (pow.f64 (sin.f64 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (pow.f64 (sin.f64 x) 2)) (neg.f64 (-.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 1 (pow.f64 (cos.f64 x) 3)) (-.f64 (+.f64 1 (pow.f64 (cos.f64 x) 2)) (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 1 (pow.f64 (cos.f64 x) 3)) (+.f64 (pow.f64 (cos.f64 x) 2) (-.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 1 (pow.f64 (cos.f64 x) 3))) (neg.f64 (-.f64 (+.f64 1 (pow.f64 (cos.f64 x) 2)) (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (cos.f64 x) 2) 1) (-.f64 (cos.f64 x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 1 (cos.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 1 (cos.f64 x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 1 (cos.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (+.f64 1 (cos.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (+.f64 1 (cos.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (+.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (+.f64 1 (cos.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 1 (cos.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (cos.f64 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (cbrt.f64 (cos.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (cos.f64 x)) (sqrt.f64 (cos.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log1p.f64 (cos.f64 x)))))))

simplify77.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

883×	`distribute-rgt-out_binary64`
842×	`fma-def_binary64`
700×	`associate-l_binary64`
652×	`distribute-lft-in_binary64`
500×	`associate-r_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	55	364
1	125	362
2	294	360
3	949	334
4	4070	334
5	6350	334
6	7793	334

Stop Event

1×	node limit

Counts

131 → 127

Calls

Call 1

Inputs
(*.f64 1/2 (pow.f64 x 2))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/24 (pow.f64 x 4)) (*.f64 1/720 (pow.f64 x 6))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/24 (pow.f64 x 4)) (+.f64 (.f64 1/720 (pow.f64 x 6)) (.f64 -1/40320 (pow.f64 x 8)))))
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 1 (cos.f64 x)))
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 1 (cos.f64 x)))
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 1 (cos.f64 x)))
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 1 (cos.f64 x)))
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 (cos.f64 x) 1))
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 (cos.f64 x) 1))
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 (cos.f64 x) 1))
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 (cos.f64 x) 1))
(pow.f64 x 2)
(+.f64 (*.f64 -1/3 (pow.f64 x 4)) (pow.f64 x 2))
(+.f64 (.f64 -1/3 (pow.f64 x 4)) (+.f64 (.f64 2/45 (pow.f64 x 6)) (pow.f64 x 2)))
(+.f64 (.f64 -1/3 (pow.f64 x 4)) (+.f64 (.f64 -1/315 (pow.f64 x 8)) (+.f64 (*.f64 2/45 (pow.f64 x 6)) (pow.f64 x 2))))
(pow.f64 (sin.f64 x) 2)
(pow.f64 (sin.f64 x) 2)
(pow.f64 (sin.f64 x) 2)
(pow.f64 (sin.f64 x) 2)
(pow.f64 (sin.f64 x) 2)
(pow.f64 (sin.f64 x) 2)
(pow.f64 (sin.f64 x) 2)
(pow.f64 (sin.f64 x) 2)
2
(+.f64 2 (*.f64 -1/2 (pow.f64 x 2)))
(+.f64 2 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 1/24 (pow.f64 x 4))))
(+.f64 2 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (+.f64 (.f64 1/24 (pow.f64 x 4)) (*.f64 -1/720 (pow.f64 x 6)))))
(+.f64 (cos.f64 x) 1)
(+.f64 (cos.f64 x) 1)
(+.f64 (cos.f64 x) 1)
(+.f64 (cos.f64 x) 1)

Outputs
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(fma.f64 1/2 (.f64 x x) (.f64 -1/24 (pow.f64 x 4)))
(fma.f64 -1/24 (pow.f64 x 4) (.f64 1/2 (.f64 x x)))
(.f64 x (.f64 x (fma.f64 x (*.f64 x -1/24) 1/2)))
(.f64 (.f64 x x) (fma.f64 x (*.f64 x -1/24) 1/2))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/24 (pow.f64 x 4)) (*.f64 1/720 (pow.f64 x 6))))
(fma.f64 1/2 (.f64 x x) (fma.f64 -1/24 (pow.f64 x 4) (.f64 1/720 (pow.f64 x 6))))
(fma.f64 1/2 (.f64 x x) (fma.f64 1/720 (pow.f64 x 6) (.f64 -1/24 (pow.f64 x 4))))
(fma.f64 -1/24 (pow.f64 x 4) (fma.f64 1/2 (.f64 x x) (.f64 1/720 (pow.f64 x 6))))
(fma.f64 -1/24 (pow.f64 x 4) (fma.f64 1/720 (pow.f64 x 6) (.f64 1/2 (.f64 x x))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/24 (pow.f64 x 4)) (+.f64 (.f64 1/720 (pow.f64 x 6)) (.f64 -1/40320 (pow.f64 x 8)))))
(fma.f64 1/2 (.f64 x x) (fma.f64 -1/24 (pow.f64 x 4) (fma.f64 1/720 (pow.f64 x 6) (.f64 -1/40320 (pow.f64 x 8)))))
(fma.f64 1/720 (pow.f64 x 6) (fma.f64 (.f64 x x) (fma.f64 x (.f64 x -1/24) 1/2) (*.f64 -1/40320 (pow.f64 x 8))))
(fma.f64 1/2 (.f64 x x) (fma.f64 (pow.f64 x 4) (fma.f64 (pow.f64 x 4) -1/40320 -1/24) (.f64 1/720 (pow.f64 x 6))))
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 1 (cos.f64 x)))
(*.f64 (sin.f64 x) (tan.f64 (/.f64 x 2)))
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 1 (cos.f64 x)))
(*.f64 (sin.f64 x) (tan.f64 (/.f64 x 2)))
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 1 (cos.f64 x)))
(*.f64 (sin.f64 x) (tan.f64 (/.f64 x 2)))
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 1 (cos.f64 x)))
(*.f64 (sin.f64 x) (tan.f64 (/.f64 x 2)))
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 (cos.f64 x) 1))
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 1 (cos.f64 x)))
(*.f64 (sin.f64 x) (tan.f64 (/.f64 x 2)))
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 (cos.f64 x) 1))
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 1 (cos.f64 x)))
(*.f64 (sin.f64 x) (tan.f64 (/.f64 x 2)))
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 (cos.f64 x) 1))
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 1 (cos.f64 x)))
(*.f64 (sin.f64 x) (tan.f64 (/.f64 x 2)))
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 (cos.f64 x) 1))
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 1 (cos.f64 x)))
(*.f64 (sin.f64 x) (tan.f64 (/.f64 x 2)))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 -1/3 (pow.f64 x 4)) (pow.f64 x 2))
(fma.f64 -1/3 (pow.f64 x 4) (*.f64 x x))
(fma.f64 (pow.f64 x 4) -1/3 (*.f64 x x))
(fma.f64 x x (*.f64 (pow.f64 x 4) -1/3))
(+.f64 (.f64 -1/3 (pow.f64 x 4)) (+.f64 (.f64 2/45 (pow.f64 x 6)) (pow.f64 x 2)))
(fma.f64 -1/3 (pow.f64 x 4) (fma.f64 2/45 (pow.f64 x 6) (*.f64 x x)))
(fma.f64 (pow.f64 x 4) -1/3 (fma.f64 x x (*.f64 (pow.f64 x 6) 2/45)))
(fma.f64 x x (fma.f64 (pow.f64 x 4) -1/3 (*.f64 (pow.f64 x 6) 2/45)))
(+.f64 (.f64 -1/3 (pow.f64 x 4)) (+.f64 (.f64 -1/315 (pow.f64 x 8)) (+.f64 (*.f64 2/45 (pow.f64 x 6)) (pow.f64 x 2))))
(fma.f64 -1/3 (pow.f64 x 4) (fma.f64 -1/315 (pow.f64 x 8) (fma.f64 2/45 (pow.f64 x 6) (*.f64 x x))))
(fma.f64 (pow.f64 x 4) -1/3 (fma.f64 (pow.f64 x 8) -1/315 (fma.f64 x x (*.f64 (pow.f64 x 6) 2/45))))
(fma.f64 (pow.f64 x 4) -1/3 (fma.f64 (pow.f64 x 6) 2/45 (fma.f64 x x (*.f64 (pow.f64 x 8) -1/315))))
(fma.f64 x x (fma.f64 (pow.f64 x 4) (fma.f64 (pow.f64 x 4) -1/315 -1/3) (*.f64 (pow.f64 x 6) 2/45)))
(fma.f64 (pow.f64 x 4) -1/3 (fma.f64 (pow.f64 x 6) 2/45 (fma.f64 (pow.f64 x 8) -1/315 (*.f64 x x))))
(pow.f64 (sin.f64 x) 2)
(pow.f64 (sin.f64 x) 2)
(pow.f64 (sin.f64 x) 2)
(pow.f64 (sin.f64 x) 2)
(pow.f64 (sin.f64 x) 2)
(pow.f64 (sin.f64 x) 2)
(pow.f64 (sin.f64 x) 2)
(pow.f64 (sin.f64 x) 2)
2
(+.f64 2 (*.f64 -1/2 (pow.f64 x 2)))
(+.f64 2 (.f64 (.f64 x x) -1/2))
(fma.f64 (*.f64 x x) -1/2 2)
(fma.f64 x (*.f64 x -1/2) 2)
(+.f64 2 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 1/24 (pow.f64 x 4))))
(+.f64 2 (fma.f64 -1/2 (.f64 x x) (.f64 (pow.f64 x 4) 1/24)))
(+.f64 2 (fma.f64 (pow.f64 x 4) 1/24 (.f64 (.f64 x x) -1/2)))
(fma.f64 x (*.f64 x -1/2) (fma.f64 (pow.f64 x 4) 1/24 2))
(fma.f64 (.f64 x x) (fma.f64 x (.f64 x 1/24) -1/2) 2)
(+.f64 2 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (+.f64 (.f64 1/24 (pow.f64 x 4)) (*.f64 -1/720 (pow.f64 x 6)))))
(+.f64 2 (fma.f64 -1/2 (.f64 x x) (fma.f64 1/24 (pow.f64 x 4) (.f64 (pow.f64 x 6) -1/720))))
(+.f64 (fma.f64 (.f64 x x) -1/2 2) (fma.f64 (pow.f64 x 4) 1/24 (.f64 (pow.f64 x 6) -1/720)))
(+.f64 (fma.f64 x (.f64 x -1/2) (.f64 (pow.f64 x 4) 1/24)) (fma.f64 (pow.f64 x 6) -1/720 2))
(fma.f64 (.f64 x x) (fma.f64 x (.f64 x 1/24) -1/2) (fma.f64 (pow.f64 x 6) -1/720 2))
(fma.f64 x (*.f64 x -1/2) (fma.f64 (pow.f64 x 6) -1/720 (fma.f64 (pow.f64 x 4) 1/24 2)))
(+.f64 (cos.f64 x) 1)
(+.f64 1 (cos.f64 x))
(+.f64 (cos.f64 x) 1)
(+.f64 1 (cos.f64 x))
(+.f64 (cos.f64 x) 1)
(+.f64 1 (cos.f64 x))
(+.f64 (cos.f64 x) 1)
(+.f64 1 (cos.f64 x))

localize13.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 31 to 16 computations (48.4% saved)

series2.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite44.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

722×	`pow1_binary64`
672×	`add-log-exp_binary64`
672×	`log1p-expm1-u_binary64`
672×	`expm1-log1p-u_binary64`
659×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	163	14
2	1852	14

Stop Event

1×	node limit

Counts

1 → 16

Calls

Call 1

Inputs
(.f64 x (.f64 x (fma.f64 (*.f64 x x) -1/24 1/2)))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x (*.f64 x -1/24)) (*.f64 x x)) (*.f64 1/2 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x x) (*.f64 x (*.f64 x -1/24))) (*.f64 (*.f64 x x) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -1/24 1/2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -1/24 1/2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -1/24 1/2))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -1/24 1/2)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (sqrt.f64 (fma.f64 (*.f64 x x) -1/24 1/2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (pow.f64 x 4) (pow.f64 (fma.f64 (*.f64 x x) -1/24 1/2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (fma.f64 (*.f64 x x) -1/24 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -1/24 1/2))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (*.f64 x (fma.f64 (*.f64 x x) -1/24 1/2)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (*.f64 x x) 3) (pow.f64 (fma.f64 (*.f64 x x) -1/24 1/2) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (*.f64 x (fma.f64 (*.f64 x x) -1/24 1/2)) 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -1/24 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -1/24 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -1/24 1/2)))))))))

simplify140.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

1075×	`sqr-pow_binary64`
538×	`fma-def_binary64`
520×	`pow-sqr_binary64`
444×	`cube-prod_binary64`
415×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	147
1	22	147
2	44	147
3	110	147
4	355	147
5	1353	147
6	2566	147
7	3028	147
8	3197	147
9	3396	147
10	3669	147
11	4028	147
12	4479	147
13	5003	147
14	5635	147
15	6388	147
16	6696	147
17	6920	147
18	7118	147
19	7172	147
20	7194	147

Stop Event

1×	node limit

Counts

28 → 21

Calls

Call 1

Inputs
(*.f64 1/2 (pow.f64 x 2))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(*.f64 -1/24 (pow.f64 x 4))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(*.f64 -1/24 (pow.f64 x 4))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))

Outputs
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(fma.f64 1/2 (.f64 x x) (.f64 -1/24 (pow.f64 x 4)))
(fma.f64 -1/24 (pow.f64 x 4) (.f64 1/2 (.f64 x x)))
(.f64 (.f64 x x) (fma.f64 (*.f64 x x) -1/24 1/2))
(.f64 x (fma.f64 -1/24 (pow.f64 x 3) (.f64 1/2 x)))
(.f64 x (fma.f64 1/2 x (.f64 -1/24 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(fma.f64 1/2 (.f64 x x) (.f64 -1/24 (pow.f64 x 4)))
(fma.f64 -1/24 (pow.f64 x 4) (.f64 1/2 (.f64 x x)))
(.f64 (.f64 x x) (fma.f64 (*.f64 x x) -1/24 1/2))
(.f64 x (fma.f64 -1/24 (pow.f64 x 3) (.f64 1/2 x)))
(.f64 x (fma.f64 1/2 x (.f64 -1/24 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(fma.f64 1/2 (.f64 x x) (.f64 -1/24 (pow.f64 x 4)))
(fma.f64 -1/24 (pow.f64 x 4) (.f64 1/2 (.f64 x x)))
(.f64 (.f64 x x) (fma.f64 (*.f64 x x) -1/24 1/2))
(.f64 x (fma.f64 -1/24 (pow.f64 x 3) (.f64 1/2 x)))
(.f64 x (fma.f64 1/2 x (.f64 -1/24 (pow.f64 x 3))))
(*.f64 -1/24 (pow.f64 x 4))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(fma.f64 1/2 (.f64 x x) (.f64 -1/24 (pow.f64 x 4)))
(fma.f64 -1/24 (pow.f64 x 4) (.f64 1/2 (.f64 x x)))
(.f64 (.f64 x x) (fma.f64 (*.f64 x x) -1/24 1/2))
(.f64 x (fma.f64 -1/24 (pow.f64 x 3) (.f64 1/2 x)))
(.f64 x (fma.f64 1/2 x (.f64 -1/24 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(fma.f64 1/2 (.f64 x x) (.f64 -1/24 (pow.f64 x 4)))
(fma.f64 -1/24 (pow.f64 x 4) (.f64 1/2 (.f64 x x)))
(.f64 (.f64 x x) (fma.f64 (*.f64 x x) -1/24 1/2))
(.f64 x (fma.f64 -1/24 (pow.f64 x 3) (.f64 1/2 x)))
(.f64 x (fma.f64 1/2 x (.f64 -1/24 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(fma.f64 1/2 (.f64 x x) (.f64 -1/24 (pow.f64 x 4)))
(fma.f64 -1/24 (pow.f64 x 4) (.f64 1/2 (.f64 x x)))
(.f64 (.f64 x x) (fma.f64 (*.f64 x x) -1/24 1/2))
(.f64 x (fma.f64 -1/24 (pow.f64 x 3) (.f64 1/2 x)))
(.f64 x (fma.f64 1/2 x (.f64 -1/24 (pow.f64 x 3))))
(*.f64 -1/24 (pow.f64 x 4))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(fma.f64 1/2 (.f64 x x) (.f64 -1/24 (pow.f64 x 4)))
(fma.f64 -1/24 (pow.f64 x 4) (.f64 1/2 (.f64 x x)))
(.f64 (.f64 x x) (fma.f64 (*.f64 x x) -1/24 1/2))
(.f64 x (fma.f64 -1/24 (pow.f64 x 3) (.f64 1/2 x)))
(.f64 x (fma.f64 1/2 x (.f64 -1/24 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(fma.f64 1/2 (.f64 x x) (.f64 -1/24 (pow.f64 x 4)))
(fma.f64 -1/24 (pow.f64 x 4) (.f64 1/2 (.f64 x x)))
(.f64 (.f64 x x) (fma.f64 (*.f64 x x) -1/24 1/2))
(.f64 x (fma.f64 -1/24 (pow.f64 x 3) (.f64 1/2 x)))
(.f64 x (fma.f64 1/2 x (.f64 -1/24 (pow.f64 x 3))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(fma.f64 1/2 (.f64 x x) (.f64 -1/24 (pow.f64 x 4)))
(fma.f64 -1/24 (pow.f64 x 4) (.f64 1/2 (.f64 x x)))
(.f64 (.f64 x x) (fma.f64 (*.f64 x x) -1/24 1/2))
(.f64 x (fma.f64 -1/24 (pow.f64 x 3) (.f64 1/2 x)))
(.f64 x (fma.f64 1/2 x (.f64 -1/24 (pow.f64 x 3))))

eval51.0ms (0.8%)

Compiler: Compiled 2141 to 1263 computations (41% saved)

prune28.0ms (0.4%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	160	4	164
Fresh	0	0	0
Picked	0	1	1
Done	2	1	3
Total	162	6	168

Error

Counts

168 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(*.f64 (sin.f64 x) (tan.f64 (/.f64 x 2)))
▶	0.0b	(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 1 (cos.f64 x)))
▶	0.1b	(+.f64 (.f64 (.f64 x x) (.f64 x (.f64 x -1/24))) (.f64 (.f64 x x) 1/2))
▶	30.3b	(-.f64 (+.f64 1 (.f64 1/2 (.f64 x x))) 1)
✓	0.1b	(.f64 x (.f64 x (fma.f64 (*.f64 x x) -1/24 1/2)))
✓	0.5b	(.f64 1/2 (.f64 x x))

Compiler

Compiled 61 to 42 computations (31.1% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 28 to 16 computations (42.9% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite52.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

816×	`pow1_binary64`
767×	`add-log-exp_binary64`
766×	`log1p-expm1-u_binary64`
766×	`expm1-log1p-u_binary64`
754×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	178	7
2	2308	7

Stop Event

1×	node limit

Counts

1 → 46

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (fma.f64 1/2 (*.f64 x x) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (*.f64 (fma.f64 1/2 (*.f64 x x) -1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1/2 (*.f64 x x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1/2 (*.f64 x x) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (fma.f64 1/2 (*.f64 x x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1/2 (*.f64 x x) -1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 1/2 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (*.f64 1/2 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x x) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1/2 (*.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 x 4)) (*.f64 (pow.f64 (cbrt.f64 x) 2) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 1/2 (*.f64 x x))) (cbrt.f64 (*.f64 (pow.f64 x 4) 1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (pow.f64 x 4) 1/4)) (cbrt.f64 (*.f64 1/2 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (sqrt.f64 1/2)) (*.f64 x (sqrt.f64 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 (fma.f64 1/2 (*.f64 x x) 1) 3) -1) (/.f64 1 (+.f64 (pow.f64 (fma.f64 1/2 (*.f64 x x) 1) 2) (+.f64 (*.f64 1/2 (*.f64 x x)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 (fma.f64 1/2 (*.f64 x x) 1) 2) -1) (/.f64 1 (+.f64 (*.f64 1/2 (*.f64 x x)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1/2 x) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (hypot.f64 1 (*.f64 x (sqrt.f64 1/2))) 1) (-.f64 (hypot.f64 1 (*.f64 x (sqrt.f64 1/2))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1/2 (cbrt.f64 (pow.f64 x 4))) (pow.f64 (cbrt.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 1/2 x) 1) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 1/2 x) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 1/2 x) (sqrt.f64 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 (fma.f64 1/2 (*.f64 x x) 1) 2) (+.f64 (*.f64 1/2 (*.f64 x x)) 2)) (+.f64 (pow.f64 (fma.f64 1/2 (*.f64 x x) 1) 3) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (*.f64 1/2 (*.f64 x x)) 2) (+.f64 (pow.f64 (fma.f64 1/2 (*.f64 x x) 1) 2) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (fma.f64 1/2 (*.f64 x x) 1) 3) -1) (+.f64 (pow.f64 (fma.f64 1/2 (*.f64 x x) 1) 2) (+.f64 (*.f64 1/2 (*.f64 x x)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (fma.f64 1/2 (*.f64 x x) 1) 3) -1) (+.f64 (pow.f64 (fma.f64 1/2 (*.f64 x x) 1) 2) (-.f64 1 (*.f64 (fma.f64 1/2 (*.f64 x x) 1) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (fma.f64 1/2 (*.f64 x x) 1) 2) -1) (+.f64 (*.f64 1/2 (*.f64 x x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (fma.f64 1/2 (*.f64 x x) 1) 2) -1) (-.f64 (fma.f64 1/2 (*.f64 x x) 1) -1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (fma.f64 1/2 (*.f64 x x) 1) 3) -1)) (neg.f64 (+.f64 (pow.f64 (fma.f64 1/2 (*.f64 x x) 1) 2) (+.f64 (*.f64 1/2 (*.f64 x x)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (fma.f64 1/2 (*.f64 x x) 1) 2) -1)) (neg.f64 (+.f64 (*.f64 1/2 (*.f64 x x)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 1 (pow.f64 (fma.f64 1/2 (*.f64 x x) -1) 3)) (+.f64 1 (-.f64 (*.f64 (fma.f64 1/2 (*.f64 x x) -1) (fma.f64 1/2 (*.f64 x x) -1)) (fma.f64 1/2 (*.f64 x x) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 1 (*.f64 (fma.f64 1/2 (*.f64 x x) -1) (fma.f64 1/2 (*.f64 x x) -1))) (-.f64 1 (fma.f64 1/2 (*.f64 x x) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/2 (*.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 1/2 (*.f64 x x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (sqrt.f64 1/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 (*.f64 x x) 3) 1/8) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (pow.f64 x 4) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (pow.f64 (exp.f64 x) x) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (*.f64 x x) 3) 1/8))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 1/2 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 1/2 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 1/2 (*.f64 x x) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (fma.f64 1/2 (*.f64 x x) 1)) 2) (cbrt.f64 (fma.f64 1/2 (*.f64 x x) 1)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (hypot.f64 1 (*.f64 x (sqrt.f64 1/2))) (hypot.f64 1 (*.f64 x (sqrt.f64 1/2))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 1/2 (*.f64 x x))))))))

simplify137.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

1105×	`sqr-pow_binary64`
618×	`cube-prod_binary64`
559×	`fabs-mul_binary64`
536×	`pow-sqr_binary64`
451×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	84
1	12	84
2	22	84
3	44	84
4	105	84
5	332	84
6	1265	84
7	2140	84
8	2304	84
9	2488	84
10	2696	84
11	2985	84
12	3376	84
13	3856	84
14	4419	84
15	5109	84
16	5946	84
17	6336	84
18	6626	84
19	6904	84
20	6980	84
21	7016	84
22	7957	84

Stop Event

1×	node limit

Counts

58 → 47

Calls

Call 1

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

Outputs
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))

localize16.0ms (0.3%)

Local error

Found 8 expressions with local error:

New	Error	Program
	0.4b	(*.f64 x -1/24)
	0.1b	(.f64 x (.f64 x -1/24))
	0.1b	(.f64 (.f64 x x) (.f64 x (.f64 x -1/24)))
	0.0b	(.f64 (.f64 x x) 1/2)
✓	0.0b	(.f64 (.f64 x x) 1/2)
✓	0.1b	(.f64 (.f64 x x) (.f64 x (.f64 x -1/24)))
✓	0.1b	(.f64 x (.f64 x -1/24))
✓	0.4b	(*.f64 x -1/24)

Compiler

Compiled 44 to 22 computations (50% saved)

series5.0ms (0.1%)

Counts

4 → 48

Calls

12 calls:

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

rewrite59.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

829×	`pow1_binary64`
769×	`add-log-exp_binary64`
769×	`log1p-expm1-u_binary64`
769×	`expm1-log1p-u_binary64`
753×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	31
1	187	25
2	2173	25

Stop Event

1×	node limit

Counts

4 → 48

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (.f64 x -1/24)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x -1/24) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 x -1/24) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 x -1/24)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 x -1/24)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 (.f64 x x) 1/576))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) -1/24))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 x -1/24) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 x -1/24)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 x -1/24)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x -1/24)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (.f64 x (.f64 x -1/24))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (.f64 x -1/24)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 x (.f64 x -1/24)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 x (.f64 x -1/24))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (sqrt.f64 -1/24)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 (pow.f64 x 4) 1/576))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (.f64 x -1/24)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 x (.f64 x -1/24)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 x 3) (pow.f64 (.f64 x -1/24) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (.f64 x -1/24) 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 x (.f64 x -1/24))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 x (.f64 x -1/24))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 x (*.f64 x -1/24))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (.f64 (pow.f64 x 4) -1/24)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 x 4) -1/24) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (pow.f64 x 4) -1/24) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (cbrt.f64 (.f64 x -1/24))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (.f64 x (sqrt.f64 -1/24))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 (pow.f64 x 4) -1/24) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (.f64 (pow.f64 x 4) -1/24)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (pow.f64 x 4) -1/24) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (.f64 x (.f64 x -1/24)) 3) (pow.f64 (.f64 x x) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x (.f64 x -1/24)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (pow.f64 x 4) -1/24)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (pow.f64 x 4) -1/24)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (pow.f64 x 4) -1/24)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (.f64 x (.f64 x 1/2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (.f64 x 1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 x (.f64 x 1/2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 x (.f64 x 1/2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (sqrt.f64 1/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 1/4 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (.f64 x (.f64 x 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 x (.f64 x 1/2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 x (.f64 x 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 x (.f64 x 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 x (.f64 x 1/2))))))))

simplify174.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

1366×	`sqr-pow_binary64`
697×	`pow-sqr_binary64`
494×	`cube-prod_binary64`
453×	`associate-l_binary64`
397×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	300
1	23	300
2	42	300
3	99	300
4	311	300
5	1216	300
6	1956	300
7	2080	300
8	2249	300
9	2448	300
10	2719	300
11	3076	300
12	3527	300
13	4051	300
14	4677	300
15	5426	300
16	5738	300
17	5960	300
18	6154	300
19	6208	300
20	6230	300
21	7064	300
22	7977	300

Stop Event

1×	node limit

Counts

96 → 54

Calls

Call 1

Inputs
(*.f64 -1/24 x)
(*.f64 -1/24 x)
(*.f64 -1/24 x)
(*.f64 -1/24 x)
(*.f64 -1/24 x)
(*.f64 -1/24 x)
(*.f64 -1/24 x)
(*.f64 -1/24 x)
(*.f64 -1/24 x)
(*.f64 -1/24 x)
(*.f64 -1/24 x)
(*.f64 -1/24 x)
(*.f64 -1/24 (pow.f64 x 2))
(*.f64 -1/24 (pow.f64 x 2))
(*.f64 -1/24 (pow.f64 x 2))
(*.f64 -1/24 (pow.f64 x 2))
(*.f64 -1/24 (pow.f64 x 2))
(*.f64 -1/24 (pow.f64 x 2))
(*.f64 -1/24 (pow.f64 x 2))
(*.f64 -1/24 (pow.f64 x 2))
(*.f64 -1/24 (pow.f64 x 2))
(*.f64 -1/24 (pow.f64 x 2))
(*.f64 -1/24 (pow.f64 x 2))
(*.f64 -1/24 (pow.f64 x 2))
(*.f64 -1/24 (pow.f64 x 4))
(*.f64 -1/24 (pow.f64 x 4))
(*.f64 -1/24 (pow.f64 x 4))
(*.f64 -1/24 (pow.f64 x 4))
(*.f64 -1/24 (pow.f64 x 4))
(*.f64 -1/24 (pow.f64 x 4))
(*.f64 -1/24 (pow.f64 x 4))
(*.f64 -1/24 (pow.f64 x 4))
(*.f64 -1/24 (pow.f64 x 4))
(*.f64 -1/24 (pow.f64 x 4))
(*.f64 -1/24 (pow.f64 x 4))
(*.f64 -1/24 (pow.f64 x 4))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 1/2 (pow.f64 x 2))
(*.f64 1/2 (pow.f64 x 2))

Outputs
(*.f64 -1/24 x)
(*.f64 -1/24 x)
(*.f64 -1/24 x)
(*.f64 -1/24 x)
(*.f64 -1/24 x)
(*.f64 -1/24 x)
(*.f64 -1/24 x)
(*.f64 -1/24 x)
(*.f64 -1/24 x)
(*.f64 -1/24 x)
(*.f64 -1/24 x)
(*.f64 -1/24 x)
(*.f64 -1/24 (pow.f64 x 2))
(.f64 -1/24 (.f64 x x))
(.f64 x (.f64 -1/24 x))
(*.f64 -1/24 (pow.f64 x 2))
(.f64 -1/24 (.f64 x x))
(.f64 x (.f64 -1/24 x))
(*.f64 -1/24 (pow.f64 x 2))
(.f64 -1/24 (.f64 x x))
(.f64 x (.f64 -1/24 x))
(*.f64 -1/24 (pow.f64 x 2))
(.f64 -1/24 (.f64 x x))
(.f64 x (.f64 -1/24 x))
(*.f64 -1/24 (pow.f64 x 2))
(.f64 -1/24 (.f64 x x))
(.f64 x (.f64 -1/24 x))
(*.f64 -1/24 (pow.f64 x 2))
(.f64 -1/24 (.f64 x x))
(.f64 x (.f64 -1/24 x))
(*.f64 -1/24 (pow.f64 x 2))
(.f64 -1/24 (.f64 x x))
(.f64 x (.f64 -1/24 x))
(*.f64 -1/24 (pow.f64 x 2))
(.f64 -1/24 (.f64 x x))
(.f64 x (.f64 -1/24 x))
(*.f64 -1/24 (pow.f64 x 2))
(.f64 -1/24 (.f64 x x))
(.f64 x (.f64 -1/24 x))
(*.f64 -1/24 (pow.f64 x 2))
(.f64 -1/24 (.f64 x x))
(.f64 x (.f64 -1/24 x))
(*.f64 -1/24 (pow.f64 x 2))
(.f64 -1/24 (.f64 x x))
(.f64 x (.f64 -1/24 x))
(*.f64 -1/24 (pow.f64 x 2))
(.f64 -1/24 (.f64 x x))
(.f64 x (.f64 -1/24 x))
(*.f64 -1/24 (pow.f64 x 4))
(*.f64 -1/24 (pow.f64 x 4))
(*.f64 -1/24 (pow.f64 x 4))
(*.f64 -1/24 (pow.f64 x 4))
(*.f64 -1/24 (pow.f64 x 4))
(*.f64 -1/24 (pow.f64 x 4))
(*.f64 -1/24 (pow.f64 x 4))
(*.f64 -1/24 (pow.f64 x 4))
(*.f64 -1/24 (pow.f64 x 4))
(*.f64 -1/24 (pow.f64 x 4))
(*.f64 -1/24 (pow.f64 x 4))
(*.f64 -1/24 (pow.f64 x 4))
(*.f64 1/2 (pow.f64 x 2))
(.f64 (.f64 x x) 1/2)
(.f64 x (.f64 x 1/2))
(*.f64 1/2 (pow.f64 x 2))
(.f64 (.f64 x x) 1/2)
(.f64 x (.f64 x 1/2))
(*.f64 1/2 (pow.f64 x 2))
(.f64 (.f64 x x) 1/2)
(.f64 x (.f64 x 1/2))
(*.f64 1/2 (pow.f64 x 2))
(.f64 (.f64 x x) 1/2)
(.f64 x (.f64 x 1/2))
(*.f64 1/2 (pow.f64 x 2))
(.f64 (.f64 x x) 1/2)
(.f64 x (.f64 x 1/2))
(*.f64 1/2 (pow.f64 x 2))
(.f64 (.f64 x x) 1/2)
(.f64 x (.f64 x 1/2))
(*.f64 1/2 (pow.f64 x 2))
(.f64 (.f64 x x) 1/2)
(.f64 x (.f64 x 1/2))
(*.f64 1/2 (pow.f64 x 2))
(.f64 (.f64 x x) 1/2)
(.f64 x (.f64 x 1/2))
(*.f64 1/2 (pow.f64 x 2))
(.f64 (.f64 x x) 1/2)
(.f64 x (.f64 x 1/2))
(*.f64 1/2 (pow.f64 x 2))
(.f64 (.f64 x x) 1/2)
(.f64 x (.f64 x 1/2))
(*.f64 1/2 (pow.f64 x 2))
(.f64 (.f64 x x) 1/2)
(.f64 x (.f64 x 1/2))
(*.f64 1/2 (pow.f64 x 2))
(.f64 (.f64 x x) 1/2)
(.f64 x (.f64 x 1/2))

localize12.0ms (0.2%)

Local error

Found 6 expressions with local error:

New	Error	Program
	0.0b	(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 1 (cos.f64 x)))
	0.0b	(pow.f64 (sin.f64 x) 2)
	0.0b	(+.f64 1 (cos.f64 x))
	0.0b	(+.f64 1 (cos.f64 x))
✓	0.0b	(pow.f64 (sin.f64 x) 2)
✓	0.0b	(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 1 (cos.f64 x)))

Compiler

Compiled 25 to 14 computations (44% saved)

series2.0ms (0%)

Counts

2 → 12

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 1 (cos.f64 x)))
0.0ms	x	@	0	(pow.f64 (sin.f64 x) 2)
0.0ms	x	@	inf	(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 1 (cos.f64 x)))
0.0ms	x	@	-inf	(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 1 (cos.f64 x)))
0.0ms	x	@	inf	(pow.f64 (sin.f64 x) 2)

rewrite52.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

895×	`pow1_binary64`
832×	`add-log-exp_binary64`
831×	`log1p-expm1-u_binary64`
831×	`expm1-log1p-u_binary64`
814×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	20
1	190	12
2	2350	12

Stop Event

1×	node limit

Counts

2 → 61

Calls

Call 1

Inputs
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 1 (cos.f64 x)))
(pow.f64 (sin.f64 x) 2)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (neg.f64 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (*.f64 -1 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (*.f64 (neg.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2)) (cbrt.f64 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (*.f64 (neg.f64 (sqrt.f64 (cos.f64 x))) (sqrt.f64 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 1 (cos.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (-.f64 1 (cos.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sin.f64 x) (*.f64 (sin.f64 x) (/.f64 1 (+.f64 1 (cos.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sin.f64 x) 2) (/.f64 1 (+.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 1 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 1 (cos.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (sin.f64 x) 4)) (*.f64 (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (/.f64 1 (+.f64 1 (cos.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (-.f64 1 (cos.f64 x))) (pow.f64 (cbrt.f64 (-.f64 1 (cos.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (-.f64 1 (cos.f64 x))) 2) (cbrt.f64 (-.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 1 (cos.f64 x))) (sqrt.f64 (-.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (pow.f64 (sin.f64 x) 2)) (/.f64 1 (neg.f64 (+.f64 1 (cos.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 1 (cos.f64 x))) (pow.f64 (sin.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sin.f64 x) 1) (/.f64 (sin.f64 x) (+.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (pow.f64 (sin.f64 x) 4)) 1) (/.f64 (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (+.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sin.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 (cos.f64 x))) 2)) (/.f64 (sin.f64 x) (cbrt.f64 (+.f64 1 (cos.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 1 (cos.f64 x))) 2)) (/.f64 (pow.f64 (sin.f64 x) 2) (cbrt.f64 (+.f64 1 (cos.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (pow.f64 (sin.f64 x) 4)) (pow.f64 (cbrt.f64 (+.f64 1 (cos.f64 x))) 2)) (cbrt.f64 (-.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 (+.f64 1 (cos.f64 x)))) (/.f64 (pow.f64 (sin.f64 x) 2) (sqrt.f64 (+.f64 1 (cos.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (pow.f64 (sin.f64 x) 4)) (sqrt.f64 (+.f64 1 (cos.f64 x)))) (/.f64 (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (sqrt.f64 (+.f64 1 (cos.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 1 (pow.f64 (cos.f64 x) 3))) (+.f64 1 (-.f64 (pow.f64 (cos.f64 x) 2) (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (sin.f64 x) 2)) (-.f64 1 (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 1 (cos.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 1 (cos.f64 x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (-.f64 1 (cos.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (-.f64 1 (cos.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 1 (-.f64 1 (cos.f64 x))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (neg.f64 (+.f64 1 (cos.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (-.f64 1 (cos.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (-.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (-.f64 1 (cos.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (pow.f64 (sin.f64 x) 2) 3) (pow.f64 (+.f64 1 (cos.f64 x)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 1 (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (-.f64 1 (cos.f64 x))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (neg.f64 (pow.f64 (cos.f64 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (*.f64 (neg.f64 (cos.f64 x)) (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 1 (pow.f64 (cos.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (pow.f64 (sin.f64 x) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 1/2 (*.f64 1/2 (cos.f64 (*.f64 2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sin.f64 x) (sin.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sin.f64 x) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 (sin.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (cbrt.f64 (pow.f64 (sin.f64 x) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (*.f64 (cbrt.f64 (sin.f64 x)) (sin.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (sin.f64 x) 4)) (pow.f64 (cbrt.f64 (sin.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (sin.f64 x)) (*.f64 (sqrt.f64 (sin.f64 x)) (sin.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sin.f64 x) (sqrt.f64 (sin.f64 x))) (sqrt.f64 (sin.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sin.f64 x) (pow.f64 (cbrt.f64 (sin.f64 x)) 2)) (cbrt.f64 (sin.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (cos.f64 (-.f64 x x)) (cos.f64 (+.f64 x x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 1 (pow.f64 (pow.f64 (cos.f64 x) 2) 3)) (+.f64 1 (+.f64 (*.f64 (pow.f64 (cos.f64 x) 2) (pow.f64 (cos.f64 x) 2)) (pow.f64 (cos.f64 x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 1 (*.f64 (pow.f64 (cos.f64 x) 2) (pow.f64 (cos.f64 x) 2))) (+.f64 1 (pow.f64 (cos.f64 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (sin.f64 x) 4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (sin.f64 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (sin.f64 x) 2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (sin.f64 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (sin.f64 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 2 (log.f64 (sin.f64 x))))))))

simplify61.0ms (1%)

Algorithm

1×	egg-herbie

Rules

933×	`distribute-rgt-out_binary64`
734×	`associate-/l/_binary64`
628×	`fma-def_binary64`
582×	`associate-l_binary64`
560×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	41	184
1	97	184
2	222	184
3	712	172
4	3307	172
5	5396	172
6	6812	172

Stop Event

1×	node limit

Counts

73 → 79

Calls

Call 1

Inputs
(*.f64 1/2 (pow.f64 x 2))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/24 (pow.f64 x 4)) (*.f64 1/720 (pow.f64 x 6))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/24 (pow.f64 x 4)) (+.f64 (.f64 1/720 (pow.f64 x 6)) (.f64 -1/40320 (pow.f64 x 8)))))
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 (cos.f64 x) 1))
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 (cos.f64 x) 1))
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 (cos.f64 x) 1))
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 (cos.f64 x) 1))
(pow.f64 x 2)
(+.f64 (*.f64 -1/3 (pow.f64 x 4)) (pow.f64 x 2))
(+.f64 (.f64 -1/3 (pow.f64 x 4)) (+.f64 (.f64 2/45 (pow.f64 x 6)) (pow.f64 x 2)))
(+.f64 (.f64 -1/3 (pow.f64 x 4)) (+.f64 (.f64 -1/315 (pow.f64 x 8)) (+.f64 (*.f64 2/45 (pow.f64 x 6)) (pow.f64 x 2))))

Outputs
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(fma.f64 1/2 (.f64 x x) (.f64 -1/24 (pow.f64 x 4)))
(fma.f64 -1/24 (pow.f64 x 4) (.f64 1/2 (.f64 x x)))
(.f64 x (.f64 x (fma.f64 (*.f64 x x) -1/24 1/2)))
(.f64 (.f64 x x) (fma.f64 (*.f64 x x) -1/24 1/2))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/24 (pow.f64 x 4)) (*.f64 1/720 (pow.f64 x 6))))
(fma.f64 1/2 (.f64 x x) (fma.f64 -1/24 (pow.f64 x 4) (.f64 1/720 (pow.f64 x 6))))
(fma.f64 1/720 (pow.f64 x 6) (fma.f64 -1/24 (pow.f64 x 4) (.f64 1/2 (.f64 x x))))
(fma.f64 (.f64 x x) (fma.f64 (.f64 x x) -1/24 1/2) (*.f64 1/720 (pow.f64 x 6)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/24 (pow.f64 x 4)) (+.f64 (.f64 1/720 (pow.f64 x 6)) (.f64 -1/40320 (pow.f64 x 8)))))
(fma.f64 1/2 (.f64 x x) (fma.f64 -1/24 (pow.f64 x 4) (fma.f64 1/720 (pow.f64 x 6) (.f64 -1/40320 (pow.f64 x 8)))))
(fma.f64 1/2 (.f64 x x) (fma.f64 1/720 (pow.f64 x 6) (fma.f64 -1/40320 (pow.f64 x 8) (.f64 -1/24 (pow.f64 x 4)))))
(fma.f64 (pow.f64 x 4) (fma.f64 (pow.f64 x 4) -1/40320 -1/24) (fma.f64 1/720 (pow.f64 x 6) (.f64 1/2 (.f64 x x))))
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 (cos.f64 x) 1))
(*.f64 (sin.f64 x) (tan.f64 (/.f64 x 2)))
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 (cos.f64 x) 1))
(*.f64 (sin.f64 x) (tan.f64 (/.f64 x 2)))
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 (cos.f64 x) 1))
(*.f64 (sin.f64 x) (tan.f64 (/.f64 x 2)))
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 (cos.f64 x) 1))
(*.f64 (sin.f64 x) (tan.f64 (/.f64 x 2)))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 -1/3 (pow.f64 x 4)) (pow.f64 x 2))
(fma.f64 -1/3 (pow.f64 x 4) (*.f64 x x))
(fma.f64 x x (*.f64 (pow.f64 x 4) -1/3))
(fma.f64 (pow.f64 x 4) -1/3 (*.f64 x x))
(+.f64 (.f64 -1/3 (pow.f64 x 4)) (+.f64 (.f64 2/45 (pow.f64 x 6)) (pow.f64 x 2)))
(fma.f64 -1/3 (pow.f64 x 4) (fma.f64 2/45 (pow.f64 x 6) (*.f64 x x)))
(fma.f64 (pow.f64 x 4) -1/3 (fma.f64 x x (*.f64 (pow.f64 x 6) 2/45)))
(fma.f64 (pow.f64 x 6) 2/45 (fma.f64 x x (*.f64 (pow.f64 x 4) -1/3)))
(fma.f64 x x (fma.f64 (pow.f64 x 4) -1/3 (*.f64 (pow.f64 x 6) 2/45)))
(fma.f64 (pow.f64 x 4) -1/3 (fma.f64 (pow.f64 x 6) 2/45 (*.f64 x x)))
(+.f64 (.f64 -1/3 (pow.f64 x 4)) (+.f64 (.f64 -1/315 (pow.f64 x 8)) (+.f64 (*.f64 2/45 (pow.f64 x 6)) (pow.f64 x 2))))
(fma.f64 -1/3 (pow.f64 x 4) (fma.f64 -1/315 (pow.f64 x 8) (fma.f64 2/45 (pow.f64 x 6) (*.f64 x x))))
(fma.f64 (pow.f64 x 4) -1/3 (fma.f64 (pow.f64 x 8) -1/315 (fma.f64 x x (*.f64 (pow.f64 x 6) 2/45))))
(fma.f64 (pow.f64 x 4) -1/3 (fma.f64 (pow.f64 x 6) 2/45 (fma.f64 x x (*.f64 (pow.f64 x 8) -1/315))))
(fma.f64 x x (fma.f64 (pow.f64 x 4) -1/3 (fma.f64 (pow.f64 x 6) 2/45 (*.f64 (pow.f64 x 8) -1/315))))

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 19 to 12 computations (36.8% saved)

series4.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
2.0ms	x	@	-inf	(*.f64 (sin.f64 x) (tan.f64 (/.f64 x 2)))
1.0ms	x	@	inf	(*.f64 (sin.f64 x) (tan.f64 (/.f64 x 2)))
1.0ms	x	@	0	(*.f64 (sin.f64 x) (tan.f64 (/.f64 x 2)))

rewrite48.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

709×	`pow1_binary64`
657×	`add-log-exp_binary64`
657×	`log1p-expm1-u_binary64`
657×	`expm1-log1p-u_binary64`
645×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	149	11
2	1777	11

Stop Event

1×	node limit

Counts

1 → 15

Calls

Call 1

Inputs
(*.f64 (sin.f64 x) (tan.f64 (/.f64 x 2)))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 (sin.f64 x) (tan.f64 (*.f64 x 1/2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) (sin.f64 x)) (cos.f64 (*.f64 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2))) (cos.f64 (*.f64 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sin.f64 x) (tan.f64 (*.f64 x 1/2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (sin.f64 x) (tan.f64 (*.f64 x 1/2))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (sin.f64 x) (tan.f64 (*.f64 x 1/2)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (sin.f64 x) (tan.f64 (*.f64 x 1/2)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (sin.f64 x) (tan.f64 (*.f64 x 1/2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (tan.f64 (*.f64 x 1/2))) (sin.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (sin.f64 x) (tan.f64 (*.f64 x 1/2))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (sin.f64 x) 3) (pow.f64 (tan.f64 (*.f64 x 1/2)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (tan.f64 (*.f64 x 1/2)) 3) (pow.f64 (sin.f64 x) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (sin.f64 x) (tan.f64 (*.f64 x 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (sin.f64 x) (tan.f64 (*.f64 x 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (sin.f64 x) (tan.f64 (*.f64 x 1/2)))))))))

simplify92.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

604×	`distribute-rgt-out_binary64`
532×	`sqr-pow_binary64`
480×	`associate-+l+_binary64`
478×	`distribute-lft-out_binary64`
413×	`unswap-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	222
1	66	222
2	140	222
3	431	222
4	1891	222
5	4303	222
6	4678	222
7	5184	222
8	6174	222
9	7158	222
10	7593	222

Stop Event

1×	node limit

Counts

27 → 25

Calls

Call 1

Inputs
(*.f64 1/2 (pow.f64 x 2))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/24 (pow.f64 x 4)) (*.f64 1/720 (pow.f64 x 6))))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/24 (pow.f64 x 4)) (+.f64 (.f64 1/720 (pow.f64 x 6)) (.f64 -1/40320 (pow.f64 x 8)))))
(/.f64 (.f64 (sin.f64 x) (sin.f64 (.f64 1/2 x))) (cos.f64 (*.f64 1/2 x)))
(/.f64 (.f64 (sin.f64 x) (sin.f64 (.f64 1/2 x))) (cos.f64 (*.f64 1/2 x)))
(/.f64 (.f64 (sin.f64 x) (sin.f64 (.f64 1/2 x))) (cos.f64 (*.f64 1/2 x)))
(/.f64 (.f64 (sin.f64 x) (sin.f64 (.f64 1/2 x))) (cos.f64 (*.f64 1/2 x)))
(/.f64 (.f64 (sin.f64 x) (sin.f64 (.f64 1/2 x))) (cos.f64 (*.f64 1/2 x)))
(/.f64 (.f64 (sin.f64 x) (sin.f64 (.f64 1/2 x))) (cos.f64 (*.f64 1/2 x)))
(/.f64 (.f64 (sin.f64 x) (sin.f64 (.f64 1/2 x))) (cos.f64 (*.f64 1/2 x)))
(/.f64 (.f64 (sin.f64 x) (sin.f64 (.f64 1/2 x))) (cos.f64 (*.f64 1/2 x)))

Outputs
(*.f64 1/2 (pow.f64 x 2))
(.f64 1/2 (.f64 x x))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (.f64 -1/24 (pow.f64 x 4)))
(fma.f64 1/2 (.f64 x x) (.f64 -1/24 (pow.f64 x 4)))
(.f64 (.f64 x x) (fma.f64 (*.f64 x x) -1/24 1/2))
(.f64 (.f64 x x) (fma.f64 x (*.f64 x -1/24) 1/2))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/24 (pow.f64 x 4)) (*.f64 1/720 (pow.f64 x 6))))
(fma.f64 1/2 (.f64 x x) (fma.f64 -1/24 (pow.f64 x 4) (.f64 1/720 (pow.f64 x 6))))
(fma.f64 1/2 (.f64 x x) (fma.f64 1/720 (pow.f64 x 6) (.f64 -1/24 (pow.f64 x 4))))
(fma.f64 (.f64 x x) (fma.f64 (.f64 x x) -1/24 1/2) (*.f64 1/720 (pow.f64 x 6)))
(+.f64 (.f64 1/2 (pow.f64 x 2)) (+.f64 (.f64 -1/24 (pow.f64 x 4)) (+.f64 (.f64 1/720 (pow.f64 x 6)) (.f64 -1/40320 (pow.f64 x 8)))))
(fma.f64 1/2 (.f64 x x) (fma.f64 -1/24 (pow.f64 x 4) (fma.f64 1/720 (pow.f64 x 6) (.f64 -1/40320 (pow.f64 x 8)))))
(fma.f64 1/2 (.f64 x x) (fma.f64 -1/40320 (pow.f64 x 8) (fma.f64 1/720 (pow.f64 x 6) (.f64 -1/24 (pow.f64 x 4)))))
(fma.f64 -1/24 (pow.f64 x 4) (fma.f64 1/720 (pow.f64 x 6) (fma.f64 -1/40320 (pow.f64 x 8) (.f64 1/2 (.f64 x x)))))
(/.f64 (.f64 (sin.f64 x) (sin.f64 (.f64 1/2 x))) (cos.f64 (*.f64 1/2 x)))
(.f64 (sin.f64 (.f64 1/2 x)) (/.f64 (sin.f64 x) (cos.f64 (*.f64 1/2 x))))
(.f64 (sin.f64 x) (/.f64 (sin.f64 (.f64 1/2 x)) (cos.f64 (*.f64 1/2 x))))
(/.f64 (.f64 (sin.f64 x) (sin.f64 (.f64 1/2 x))) (cos.f64 (*.f64 1/2 x)))
(.f64 (sin.f64 (.f64 1/2 x)) (/.f64 (sin.f64 x) (cos.f64 (*.f64 1/2 x))))
(.f64 (sin.f64 x) (/.f64 (sin.f64 (.f64 1/2 x)) (cos.f64 (*.f64 1/2 x))))
(/.f64 (.f64 (sin.f64 x) (sin.f64 (.f64 1/2 x))) (cos.f64 (*.f64 1/2 x)))
(.f64 (sin.f64 (.f64 1/2 x)) (/.f64 (sin.f64 x) (cos.f64 (*.f64 1/2 x))))
(.f64 (sin.f64 x) (/.f64 (sin.f64 (.f64 1/2 x)) (cos.f64 (*.f64 1/2 x))))
(/.f64 (.f64 (sin.f64 x) (sin.f64 (.f64 1/2 x))) (cos.f64 (*.f64 1/2 x)))
(.f64 (sin.f64 (.f64 1/2 x)) (/.f64 (sin.f64 x) (cos.f64 (*.f64 1/2 x))))
(.f64 (sin.f64 x) (/.f64 (sin.f64 (.f64 1/2 x)) (cos.f64 (*.f64 1/2 x))))
(/.f64 (.f64 (sin.f64 x) (sin.f64 (.f64 1/2 x))) (cos.f64 (*.f64 1/2 x)))
(.f64 (sin.f64 (.f64 1/2 x)) (/.f64 (sin.f64 x) (cos.f64 (*.f64 1/2 x))))
(.f64 (sin.f64 x) (/.f64 (sin.f64 (.f64 1/2 x)) (cos.f64 (*.f64 1/2 x))))
(/.f64 (.f64 (sin.f64 x) (sin.f64 (.f64 1/2 x))) (cos.f64 (*.f64 1/2 x)))
(.f64 (sin.f64 (.f64 1/2 x)) (/.f64 (sin.f64 x) (cos.f64 (*.f64 1/2 x))))
(.f64 (sin.f64 x) (/.f64 (sin.f64 (.f64 1/2 x)) (cos.f64 (*.f64 1/2 x))))
(/.f64 (.f64 (sin.f64 x) (sin.f64 (.f64 1/2 x))) (cos.f64 (*.f64 1/2 x)))
(.f64 (sin.f64 (.f64 1/2 x)) (/.f64 (sin.f64 x) (cos.f64 (*.f64 1/2 x))))
(.f64 (sin.f64 x) (/.f64 (sin.f64 (.f64 1/2 x)) (cos.f64 (*.f64 1/2 x))))
(/.f64 (.f64 (sin.f64 x) (sin.f64 (.f64 1/2 x))) (cos.f64 (*.f64 1/2 x)))
(.f64 (sin.f64 (.f64 1/2 x)) (/.f64 (sin.f64 x) (cos.f64 (*.f64 1/2 x))))
(.f64 (sin.f64 x) (/.f64 (sin.f64 (.f64 1/2 x)) (cos.f64 (*.f64 1/2 x))))

eval107.0ms (1.7%)

Compiler: Compiled 3571 to 2291 computations (35.8% saved)

prune52.0ms (0.8%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	259	2	261
Fresh	0	0	0
Picked	0	1	1
Done	2	3	5
Total	261	6	267

Error

Counts

267 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.5b	(.f64 x (.f64 1/2 x))
✓	0.0b	(*.f64 (sin.f64 x) (tan.f64 (/.f64 x 2)))
✓	0.0b	(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 1 (cos.f64 x)))
✓	0.1b	(+.f64 (.f64 (.f64 x x) (.f64 x (.f64 x -1/24))) (.f64 (.f64 x x) 1/2))
✓	30.3b	(-.f64 (+.f64 1 (.f64 1/2 (.f64 x x))) 1)
▶	0.1b	(+.f64 (.f64 (.f64 x x) (-.f64 (+.f64 1 (.f64 x (.f64 x -1/24))) 1)) (.f64 (.f64 x x) 1/2))

Compiler

Compiled 70 to 48 computations (31.4% saved)

localize28.0ms (0.4%)

Local error

Found 8 expressions with local error:

New	Error	Program
	0.4b	(*.f64 x -1/24)
	0.1b	(.f64 x (.f64 x -1/24))
	0.0b	(.f64 (.f64 x x) 1/2)
	0.0b	(.f64 (.f64 x x) (-.f64 (+.f64 1 (.f64 x (.f64 x -1/24))) 1))
	0.0b	(.f64 (.f64 x x) 1/2)
	0.1b	(.f64 x (.f64 x -1/24))
	0.4b	(*.f64 x -1/24)
✓	4.6b	(-.f64 (+.f64 1 (.f64 x (.f64 x -1/24))) 1)

Compiler

Compiled 69 to 43 computations (37.7% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite79.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

832×	`pow1_binary64`
781×	`add-log-exp_binary64`
781×	`log1p-expm1-u_binary64`
781×	`expm1-log1p-u_binary64`
769×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	177	7
2	2302	7

Stop Event

1×	node limit

Counts

1 → 49

Calls

Call 1

Inputs
(-.f64 (+.f64 1 (.f64 x (.f64 x -1/24))) 1)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (fma.f64 x (*.f64 x -1/24) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (*.f64 (fma.f64 x (*.f64 x -1/24) -1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 x -1/24)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 x (*.f64 x -1/24) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (fma.f64 x (*.f64 x -1/24) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 x (*.f64 x -1/24) -1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 x (*.f64 x -1/24)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (*.f64 x -1/24))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1/24 (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x -1/24) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (*.f64 x -1/24)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x x) -1/24)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 x -1/24)) 2) (*.f64 (cbrt.f64 (*.f64 x -1/24)) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x (*.f64 x -1/24))) (pow.f64 (cbrt.f64 (*.f64 x (*.f64 x -1/24))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 x (*.f64 x -1/24))) 2) (cbrt.f64 (*.f64 x (*.f64 x -1/24))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (*.f64 x -1/24)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 x -1/24)) (*.f64 (sqrt.f64 (*.f64 x -1/24)) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (sqrt.f64 -1/24)) (*.f64 x (sqrt.f64 -1/24)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (*.f64 x -1/24)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 (fma.f64 x (*.f64 x -1/24) 1) 3) -1) (/.f64 1 (+.f64 (pow.f64 (fma.f64 x (*.f64 x -1/24) 1) 2) (+.f64 (*.f64 x (*.f64 x -1/24)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 (fma.f64 x (*.f64 x -1/24) 1) 2) -1) (/.f64 1 (+.f64 (*.f64 x (*.f64 x -1/24)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (hypot.f64 1 (*.f64 x (sqrt.f64 -1/24))) 1) (-.f64 (hypot.f64 1 (*.f64 x (sqrt.f64 -1/24))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (pow.f64 (cbrt.f64 (*.f64 x -1/24)) 2)) (cbrt.f64 (*.f64 x -1/24)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (sqrt.f64 (*.f64 x -1/24))) (sqrt.f64 (*.f64 x -1/24)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 x -1/24) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 x -1/24) (sqrt.f64 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 (fma.f64 x (*.f64 x -1/24) 1) 2) (+.f64 (*.f64 x (*.f64 x -1/24)) 2)) (+.f64 (pow.f64 (fma.f64 x (*.f64 x -1/24) 1) 3) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (*.f64 x (*.f64 x -1/24)) 2) (+.f64 (pow.f64 (fma.f64 x (*.f64 x -1/24) 1) 2) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (fma.f64 x (*.f64 x -1/24) 1) 3) -1) (+.f64 (pow.f64 (fma.f64 x (*.f64 x -1/24) 1) 2) (+.f64 (*.f64 x (*.f64 x -1/24)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (fma.f64 x (*.f64 x -1/24) 1) 3) -1) (+.f64 (pow.f64 (fma.f64 x (*.f64 x -1/24) 1) 2) (-.f64 1 (*.f64 (fma.f64 x (*.f64 x -1/24) 1) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (fma.f64 x (*.f64 x -1/24) 1) 2) -1) (+.f64 (*.f64 x (*.f64 x -1/24)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (fma.f64 x (*.f64 x -1/24) 1) 2) -1) (-.f64 (fma.f64 x (*.f64 x -1/24) 1) -1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (fma.f64 x (*.f64 x -1/24) 1) 3) -1)) (neg.f64 (+.f64 (pow.f64 (fma.f64 x (*.f64 x -1/24) 1) 2) (+.f64 (*.f64 x (*.f64 x -1/24)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (fma.f64 x (*.f64 x -1/24) 1) 2) -1)) (neg.f64 (+.f64 (*.f64 x (*.f64 x -1/24)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 1 (pow.f64 (fma.f64 x (*.f64 x -1/24) -1) 3)) (+.f64 1 (-.f64 (*.f64 (fma.f64 x (*.f64 x -1/24) -1) (fma.f64 x (*.f64 x -1/24) -1)) (fma.f64 x (*.f64 x -1/24) -1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 1 (*.f64 (fma.f64 x (*.f64 x -1/24) -1) (fma.f64 x (*.f64 x -1/24) -1))) (-.f64 1 (fma.f64 x (*.f64 x -1/24) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (*.f64 x -1/24)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (*.f64 x -1/24))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (sqrt.f64 -1/24)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 (*.f64 x x) 3) -1/13824) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (*.f64 x -1/24)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (pow.f64 (exp.f64 x) -1/24) x))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (*.f64 x x) 3) -1/13824))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (*.f64 x -1/24))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (*.f64 x -1/24))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 x (*.f64 x -1/24) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (fma.f64 x (*.f64 x -1/24) 1)) 2) (cbrt.f64 (fma.f64 x (*.f64 x -1/24) 1)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (hypot.f64 1 (*.f64 x (sqrt.f64 -1/24))) (hypot.f64 1 (*.f64 x (sqrt.f64 -1/24))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (*.f64 x -1/24))))))))

simplify146.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

1106×	`sqr-pow_binary64`
618×	`cube-prod_binary64`
552×	`fabs-mul_binary64`
536×	`pow-sqr_binary64`
445×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	84
1	12	84
2	23	84
3	44	84
4	107	84
5	336	84
6	1237	84
7	2113	84
8	2277	84
9	2461	84
10	2669	84
11	2960	84
12	3353	84
13	3833	84
14	4396	84
15	5078	84
16	5915	84
17	6307	84
18	6593	84
19	6867	84
20	6939	84
21	6975	84
22	7916	84

Stop Event

1×	node limit

Counts

61 → 50

Calls

Call 1

Inputs
(*.f64 -1/24 (pow.f64 x 2))
(*.f64 -1/24 (pow.f64 x 2))
(*.f64 -1/24 (pow.f64 x 2))
(*.f64 -1/24 (pow.f64 x 2))
(*.f64 -1/24 (pow.f64 x 2))
(*.f64 -1/24 (pow.f64 x 2))
(*.f64 -1/24 (pow.f64 x 2))
(*.f64 -1/24 (pow.f64 x 2))
(*.f64 -1/24 (pow.f64 x 2))
(*.f64 -1/24 (pow.f64 x 2))
(*.f64 -1/24 (pow.f64 x 2))
(*.f64 -1/24 (pow.f64 x 2))

Outputs
(*.f64 -1/24 (pow.f64 x 2))
(.f64 -1/24 (.f64 x x))
(*.f64 -1/24 (pow.f64 x 2))
(.f64 -1/24 (.f64 x x))
(*.f64 -1/24 (pow.f64 x 2))
(.f64 -1/24 (.f64 x x))
(*.f64 -1/24 (pow.f64 x 2))
(.f64 -1/24 (.f64 x x))
(*.f64 -1/24 (pow.f64 x 2))
(.f64 -1/24 (.f64 x x))
(*.f64 -1/24 (pow.f64 x 2))
(.f64 -1/24 (.f64 x x))
(*.f64 -1/24 (pow.f64 x 2))
(.f64 -1/24 (.f64 x x))
(*.f64 -1/24 (pow.f64 x 2))
(.f64 -1/24 (.f64 x x))
(*.f64 -1/24 (pow.f64 x 2))
(.f64 -1/24 (.f64 x x))
(*.f64 -1/24 (pow.f64 x 2))
(.f64 -1/24 (.f64 x x))
(*.f64 -1/24 (pow.f64 x 2))
(.f64 -1/24 (.f64 x x))
(*.f64 -1/24 (pow.f64 x 2))
(.f64 -1/24 (.f64 x x))

localize5.0ms (0.1%)

Compiler: Compiled 11 to 7 computations (36.4% saved)

eval57.0ms (0.9%)

Compiler: Compiled 1998 to 1232 computations (38.3% saved)

prune12.0ms (0.2%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	90	0	90
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	90	6	96

Error

Counts

96 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.5b	(.f64 x (.f64 1/2 x))
✓	0.0b	(*.f64 (sin.f64 x) (tan.f64 (/.f64 x 2)))
✓	0.0b	(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 1 (cos.f64 x)))
✓	0.1b	(+.f64 (.f64 (.f64 x x) (.f64 x (.f64 x -1/24))) (.f64 (.f64 x x) 1/2))
✓	30.3b	(-.f64 (+.f64 1 (.f64 1/2 (.f64 x x))) 1)
✓	0.1b	(+.f64 (.f64 (.f64 x x) (-.f64 (+.f64 1 (.f64 x (.f64 x -1/24))) 1)) (.f64 (.f64 x x) 1/2))

Compiler

Compiled 70 to 48 computations (31.4% saved)

regimes11.0ms (0.2%)

Counts

6 → 1

Calls

Call 1

Inputs
(.f64 x (.f64 1/2 x))
(-.f64 (+.f64 1 (.f64 1/2 (.f64 x x))) 1)
(+.f64 (.f64 (.f64 x x) (.f64 x (.f64 x -1/24))) (.f64 (.f64 x x) 1/2))
(+.f64 (.f64 (.f64 x x) (-.f64 (+.f64 1 (.f64 x (.f64 x -1/24))) 1)) (.f64 (.f64 x x) 1/2))
(*.f64 (sin.f64 x) (tan.f64 (/.f64 x 2)))
(/.f64 (pow.f64 (sin.f64 x) 2) (+.f64 1 (cos.f64 x)))

Outputs
(*.f64 (sin.f64 x) (tan.f64 (/.f64 x 2)))

Calls

1 calls:

5.0ms

Results

Error	Segments	Branch
0.0b	1	`x`

Compiler

Compiled 67 to 41 computations (38.8% saved)

regimes5.0ms (0.1%)

Counts

4 → 1

Calls

Call 1

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

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

Calls

1 calls:

4.0ms

Results

Error	Segments	Branch
0.1b	1	`x`

Compiler

Compiled 51 to 30 computations (41.2% saved)

regimes4.0ms (0.1%)

Accuracy

Total -29.8b remaining (-5768%)

Threshold costs -29.8b (-5768%)

Counts

2 → 1

Calls

Call 1

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

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

Calls

1 calls:

3.0ms

Results

Error	Segments	Branch
0.5b	1	`x`

Compiler

Compiled 17 to 12 computations (29.4% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	40
1	25	40

Stop Event

1×

saturated

Calls

Call 1

Inputs
(*.f64 (sin.f64 x) (tan.f64 (/.f64 x 2)))
(+.f64 (.f64 (.f64 x x) (.f64 x (.f64 x -1/24))) (.f64 (.f64 x x) 1/2))
(.f64 x (.f64 1/2 x))

Outputs
(*.f64 (sin.f64 x) (tan.f64 (/.f64 x 2)))
(+.f64 (.f64 (.f64 x x) (.f64 x (.f64 x -1/24))) (.f64 (.f64 x x) 1/2))
(.f64 x (.f64 1/2 x))
(.f64 x (.f64 x 1/2))

end35.0ms (0.6%)

Stop Event

1×

done

Compiler

Compiled 58 to 36 computations (37.9% saved)

Details

analyze0.0ms (0%)

sample4.1s (66.2%)

preprocess30.0ms (0.5%)

simplify7.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

localize4.0ms (0.1%)

series1.0ms (0%)

rewrite74.0ms (1.2%)

simplify89.0ms (1.4%)

eval9.0ms (0.1%)

prune7.0ms (0.1%)

localize4.0ms (0.1%)

series2.0ms (0%)

rewrite34.0ms (0.5%)

simplify140.0ms (2.2%)

localize10.0ms (0.2%)

series6.0ms (0.1%)

rewrite59.0ms (0.9%)

simplify77.0ms (1.2%)

localize13.0ms (0.2%)

series2.0ms (0%)

rewrite44.0ms (0.7%)

simplify140.0ms (2.2%)

eval51.0ms (0.8%)

prune28.0ms (0.4%)

localize11.0ms (0.2%)

series1.0ms (0%)

rewrite52.0ms (0.8%)

simplify137.0ms (2.2%)

localize16.0ms (0.3%)

series5.0ms (0.1%)

rewrite59.0ms (0.9%)

simplify174.0ms (2.8%)

localize12.0ms (0.2%)

series2.0ms (0%)

rewrite52.0ms (0.8%)

simplify61.0ms (1%)

localize9.0ms (0.1%)

series4.0ms (0.1%)

rewrite48.0ms (0.8%)

simplify92.0ms (1.5%)

eval107.0ms (1.7%)

prune52.0ms (0.8%)

localize28.0ms (0.4%)

series1.0ms (0%)

rewrite79.0ms (1.3%)

simplify146.0ms (2.3%)

localize5.0ms (0.1%)

eval57.0ms (0.9%)

prune12.0ms (0.2%)

regimes11.0ms (0.2%)

regimes5.0ms (0.1%)

regimes4.0ms (0.1%)

simplify3.0ms (0%)

end35.0ms (0.6%)

Profiling