Details

analyze84.0ms (2.6%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
50%	50%	50%	0.1%	0%	0%	0%	2
50%	50%	50%	0.1%	0%	0%	0%	3
75%	74.9%	25%	0.1%	0%	0%	0%	4
75%	74.9%	25%	0.1%	0%	0%	0%	5
80%	74.9%	18.7%	0.1%	6.2%	0%	0%	6
80%	74.9%	18.7%	0.1%	6.2%	0%	0%	7
82.8%	74.9%	15.6%	0.1%	9.4%	0%	0%	8
82.8%	74.9%	15.6%	0.1%	9.4%	0%	0%	9
84.2%	74.9%	14%	0.1%	10.9%	0%	0%	10
84.2%	74.9%	14%	0.1%	10.9%	0%	0%	11
85%	74.9%	13.3%	0.1%	11.7%	0%	0%	12

Compiler

Compiled 8 to 6 computations (25% saved)

sample2.1s (64%)

Results

739.0ms	6137×	body	256	valid
736.0ms	1414×	body	1024	valid
260.0ms	672×	body	1024	infinite
169.0ms	702×	body	512	valid
94.0ms	349×	body	512	infinite
44.0ms	373×	body	256	infinite
3.0ms	3×	body	2048	valid

Bogosity

preprocess4.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

4×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	30
1	13	30
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 im) (cos.f64 re))

Outputs
(*.f64 (exp.f64 re) (cos.f64 im))
(*.f64 (exp.f64 im) (cos.f64 re))

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify11.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	9	15

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 (exp.f64 re) (cos.f64 im))

Outputs
(*.f64 (exp.f64 re) (cos.f64 im))

eval0.0ms (0%)

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

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))

Compiler

Compiled 7 to 5 computations (28.6% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))

Compiler

Compiled 13 to 5 computations (61.5% saved)

series2.0ms (0.1%)

Counts

1 → 8

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	re	@	inf	(*.f64 (exp.f64 re) (cos.f64 im))
0.0ms	im	@	0	(*.f64 (exp.f64 re) (cos.f64 im))
0.0ms	re	@	0	(*.f64 (exp.f64 re) (cos.f64 im))
0.0ms	re	@	-inf	(*.f64 (exp.f64 re) (cos.f64 im))
0.0ms	im	@	inf	(*.f64 (exp.f64 re) (cos.f64 im))

rewrite53.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1418×	`add-sqr-sqrt`
1408×	`*-un-lft-identity`
1294×	`add-cube-cbrt`
1274×	`add-cbrt-cube`
1258×	`add-exp-log`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	152	15
2	1762	15

Stop Event

1×	node limit

Counts

1 → 12

Calls

Call 1

Inputs
(*.f64 (exp.f64 re) (cos.f64 im))

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

Outputs

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

simplify70.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

1626×	`fma-def`
874×	`*-commutative`
798×	`associate--l+`
706×	`associate-r`
628×	`distribute-lft-out`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	68	620
1	177	544
2	544	456
3	2211	416
4	4744	408
5	6545	408

Stop Event

1×	node limit

Counts

20 → 44

Calls

Call 1

Inputs
(cos.f64 im)
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im)))
(+.f64 (.f64 1/6 (.f64 (cos.f64 im) (pow.f64 re 3))) (+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))))
(exp.f64 re)
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (exp.f64 re))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/24 (.f64 (exp.f64 re) (pow.f64 im 4))) (exp.f64 re)))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/24 (.f64 (exp.f64 re) (pow.f64 im 4))) (+.f64 (exp.f64 re) (.f64 -1/720 (.f64 (exp.f64 re) (pow.f64 im 6))))))
(-.f64 (+.f64 1 (*.f64 (exp.f64 re) (cos.f64 im))) 1)
(pow.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 1)
(pow.f64 (sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im))) 2)
(pow.f64 (cbrt.f64 (*.f64 (exp.f64 re) (cos.f64 im))) 3)
(pow.f64 (pow.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 3) 1/3)
(sqrt.f64 (pow.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 2))
(log.f64 (pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im)))
(cbrt.f64 (pow.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 3))
(expm1.f64 (log1p.f64 (*.f64 (exp.f64 re) (cos.f64 im))))
(exp.f64 (+.f64 re (log.f64 (cos.f64 im))))
(exp.f64 (*.f64 (+.f64 re (log.f64 (cos.f64 im))) 1))
(log1p.f64 (expm1.f64 (*.f64 (exp.f64 re) (cos.f64 im))))

Outputs
(cos.f64 im)
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(fma.f64 (cos.f64 im) re (cos.f64 im))
(*.f64 (cos.f64 im) (+.f64 re 1))
(+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im)))
(fma.f64 1/2 (.f64 (cos.f64 im) (.f64 re re)) (fma.f64 (cos.f64 im) re (cos.f64 im)))
(.f64 (cos.f64 im) (+.f64 (+.f64 re 1) (.f64 re (*.f64 re 1/2))))
(.f64 (cos.f64 im) (+.f64 1 (fma.f64 1/2 (.f64 re re) re)))
(+.f64 (.f64 1/6 (.f64 (cos.f64 im) (pow.f64 re 3))) (+.f64 (.f64 1/2 (.f64 (cos.f64 im) (pow.f64 re 2))) (+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))))
(fma.f64 1/6 (.f64 (cos.f64 im) (pow.f64 re 3)) (fma.f64 1/2 (.f64 (cos.f64 im) (*.f64 re re)) (fma.f64 (cos.f64 im) re (cos.f64 im))))
(fma.f64 (cos.f64 im) (.f64 re (.f64 re 1/2)) (.f64 (cos.f64 im) (+.f64 (.f64 1/6 (pow.f64 re 3)) (+.f64 re 1))))
(.f64 (cos.f64 im) (+.f64 (+.f64 re 1) (.f64 (.f64 re re) (+.f64 (.f64 re 1/6) 1/2))))
(.f64 (cos.f64 im) (+.f64 (fma.f64 1/2 (.f64 re re) re) (fma.f64 1/6 (pow.f64 re 3) 1)))
(exp.f64 re)
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (exp.f64 re))
(fma.f64 -1/2 (.f64 (exp.f64 re) (.f64 im im)) (exp.f64 re))
(.f64 (+.f64 (.f64 -1/2 (*.f64 im im)) 1) (exp.f64 re))
(.f64 (exp.f64 re) (fma.f64 im (.f64 im -1/2) 1))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/24 (.f64 (exp.f64 re) (pow.f64 im 4))) (exp.f64 re)))
(fma.f64 -1/2 (.f64 (exp.f64 re) (.f64 im im)) (fma.f64 1/24 (*.f64 (exp.f64 re) (pow.f64 im 4)) (exp.f64 re)))
(+.f64 (exp.f64 re) (.f64 (exp.f64 re) (+.f64 (.f64 -1/2 (.f64 im im)) (.f64 1/24 (pow.f64 im 4)))))
(fma.f64 (exp.f64 re) (fma.f64 im (.f64 im -1/2) (.f64 1/24 (pow.f64 im 4))) (exp.f64 re))
(+.f64 (.f64 -1/2 (.f64 (exp.f64 re) (pow.f64 im 2))) (+.f64 (.f64 1/24 (.f64 (exp.f64 re) (pow.f64 im 4))) (+.f64 (exp.f64 re) (.f64 -1/720 (.f64 (exp.f64 re) (pow.f64 im 6))))))
(fma.f64 -1/2 (.f64 (exp.f64 re) (.f64 im im)) (+.f64 (fma.f64 1/24 (.f64 (exp.f64 re) (pow.f64 im 4)) (exp.f64 re)) (.f64 -1/720 (*.f64 (exp.f64 re) (pow.f64 im 6)))))
(fma.f64 -1/2 (.f64 (exp.f64 re) (.f64 im im)) (fma.f64 1/24 (.f64 (exp.f64 re) (pow.f64 im 4)) (fma.f64 -1/720 (.f64 (exp.f64 re) (pow.f64 im 6)) (exp.f64 re))))
(+.f64 (fma.f64 (exp.f64 re) (.f64 -1/720 (pow.f64 im 6)) (exp.f64 re)) (.f64 (exp.f64 re) (+.f64 (.f64 -1/2 (.f64 im im)) (*.f64 1/24 (pow.f64 im 4)))))
(fma.f64 (exp.f64 re) (fma.f64 im (.f64 im -1/2) (.f64 1/24 (pow.f64 im 4))) (*.f64 (exp.f64 re) (fma.f64 -1/720 (pow.f64 im 6) 1)))
(.f64 (exp.f64 re) (+.f64 (fma.f64 im (.f64 im -1/2) 1) (fma.f64 -1/720 (pow.f64 im 6) (*.f64 1/24 (pow.f64 im 4)))))
(.f64 (exp.f64 re) (+.f64 (fma.f64 -1/720 (pow.f64 im 6) (.f64 1/24 (pow.f64 im 4))) (fma.f64 im (*.f64 im -1/2) 1)))
(-.f64 (+.f64 1 (*.f64 (exp.f64 re) (cos.f64 im))) 1)
(+.f64 (+.f64 1 (*.f64 (cos.f64 im) (exp.f64 re))) -1)
(+.f64 (*.f64 (cos.f64 im) (exp.f64 re)) 0)
(*.f64 (cos.f64 im) (exp.f64 re))
(pow.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 1)
(+.f64 (+.f64 1 (*.f64 (cos.f64 im) (exp.f64 re))) -1)
(+.f64 (*.f64 (cos.f64 im) (exp.f64 re)) 0)
(*.f64 (cos.f64 im) (exp.f64 re))
(pow.f64 (sqrt.f64 (*.f64 (exp.f64 re) (cos.f64 im))) 2)
(+.f64 (+.f64 1 (*.f64 (cos.f64 im) (exp.f64 re))) -1)
(+.f64 (*.f64 (cos.f64 im) (exp.f64 re)) 0)
(*.f64 (cos.f64 im) (exp.f64 re))
(pow.f64 (cbrt.f64 (*.f64 (exp.f64 re) (cos.f64 im))) 3)
(+.f64 (+.f64 1 (*.f64 (cos.f64 im) (exp.f64 re))) -1)
(+.f64 (*.f64 (cos.f64 im) (exp.f64 re)) 0)
(*.f64 (cos.f64 im) (exp.f64 re))
(pow.f64 (pow.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 3) 1/3)
(+.f64 (+.f64 1 (*.f64 (cos.f64 im) (exp.f64 re))) -1)
(+.f64 (*.f64 (cos.f64 im) (exp.f64 re)) 0)
(*.f64 (cos.f64 im) (exp.f64 re))
(sqrt.f64 (pow.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 2))
(+.f64 (+.f64 1 (*.f64 (cos.f64 im) (exp.f64 re))) -1)
(+.f64 (*.f64 (cos.f64 im) (exp.f64 re)) 0)
(*.f64 (cos.f64 im) (exp.f64 re))
(log.f64 (pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im)))
(+.f64 (+.f64 1 (*.f64 (cos.f64 im) (exp.f64 re))) -1)
(+.f64 (*.f64 (cos.f64 im) (exp.f64 re)) 0)
(*.f64 (cos.f64 im) (exp.f64 re))
(cbrt.f64 (pow.f64 (*.f64 (exp.f64 re) (cos.f64 im)) 3))
(+.f64 (+.f64 1 (*.f64 (cos.f64 im) (exp.f64 re))) -1)
(+.f64 (*.f64 (cos.f64 im) (exp.f64 re)) 0)
(*.f64 (cos.f64 im) (exp.f64 re))
(expm1.f64 (log1p.f64 (*.f64 (exp.f64 re) (cos.f64 im))))
(+.f64 (+.f64 1 (*.f64 (cos.f64 im) (exp.f64 re))) -1)
(+.f64 (*.f64 (cos.f64 im) (exp.f64 re)) 0)
(*.f64 (cos.f64 im) (exp.f64 re))
(exp.f64 (+.f64 re (log.f64 (cos.f64 im))))
(+.f64 (+.f64 1 (*.f64 (cos.f64 im) (exp.f64 re))) -1)
(+.f64 (*.f64 (cos.f64 im) (exp.f64 re)) 0)
(*.f64 (cos.f64 im) (exp.f64 re))
(exp.f64 (*.f64 (+.f64 re (log.f64 (cos.f64 im))) 1))
(+.f64 (+.f64 1 (*.f64 (cos.f64 im) (exp.f64 re))) -1)
(+.f64 (*.f64 (cos.f64 im) (exp.f64 re)) 0)
(*.f64 (cos.f64 im) (exp.f64 re))
(log1p.f64 (expm1.f64 (*.f64 (exp.f64 re) (cos.f64 im))))
(+.f64 (+.f64 1 (*.f64 (cos.f64 im) (exp.f64 re))) -1)
(+.f64 (*.f64 (cos.f64 im) (exp.f64 re)) 0)
(*.f64 (cos.f64 im) (exp.f64 re))

eval9.0ms (0.3%)

Compiler: Compiled 569 to 279 computations (51% saved)

prune9.0ms (0.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	41	3	44
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	41	4	45

Error

0.0b

Counts

45 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
▶	21.1b	(*.f64 (cos.f64 im) (+.f64 re 1))
▶	20.2b	(exp.f64 re)
▶	21.0b	(cos.f64 im)

Compiler

Compiled 23 to 17 computations (26.1% saved)

localize3.0ms (0.1%)

Compiler: Compiled 5 to 3 computations (40% saved)

localize2.0ms (0.1%)

Compiler: Compiled 5 to 3 computations (40% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (cos.f64 im) (+.f64 re 1))

Compiler

Compiled 16 to 9 computations (43.8% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	re	@	inf	(*.f64 (cos.f64 im) (+.f64 re 1))
0.0ms	im	@	0	(*.f64 (cos.f64 im) (+.f64 re 1))
0.0ms	im	@	-inf	(*.f64 (cos.f64 im) (+.f64 re 1))
0.0ms	im	@	inf	(*.f64 (cos.f64 im) (+.f64 re 1))
0.0ms	re	@	-inf	(*.f64 (cos.f64 im) (+.f64 re 1))

rewrite74.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1826×	`add-sqr-sqrt`
1810×	`*-un-lft-identity`
1682×	`add-cube-cbrt`
1658×	`add-cbrt-cube`
186×	`pow1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	184	17
2	2292	17

Stop Event

1×	node limit

Counts

1 → 24

Calls

Call 1

Inputs
(*.f64 (cos.f64 im) (+.f64 re 1))

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

Outputs

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

simplify54.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

1458×	`associate-+r+`
1380×	`associate-+l+`
1198×	`associate-r`
1008×	`associate-l`
574×	`associate-/l*`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	96	1146
1	253	1114
2	851	1060
3	4158	1042

Stop Event

1×	node limit

Counts

48 → 59

Calls

Call 1

Inputs
(+.f64 1 re)
(+.f64 1 (+.f64 re (.f64 -1/2 (.f64 (+.f64 1 re) (pow.f64 im 2)))))
(+.f64 (.f64 1/24 (.f64 (+.f64 1 re) (pow.f64 im 4))) (+.f64 1 (+.f64 re (.f64 -1/2 (.f64 (+.f64 1 re) (pow.f64 im 2))))))
(+.f64 (.f64 1/24 (.f64 (+.f64 1 re) (pow.f64 im 4))) (+.f64 (.f64 -1/720 (.f64 (+.f64 1 re) (pow.f64 im 6))) (+.f64 1 (+.f64 re (.f64 -1/2 (.f64 (+.f64 1 re) (pow.f64 im 2)))))))
(*.f64 (cos.f64 im) (+.f64 1 re))
(*.f64 (cos.f64 im) (+.f64 1 re))
(*.f64 (cos.f64 im) (+.f64 1 re))
(*.f64 (cos.f64 im) (+.f64 1 re))
(*.f64 (+.f64 1 re) (cos.f64 im))
(*.f64 (+.f64 1 re) (cos.f64 im))
(*.f64 (+.f64 1 re) (cos.f64 im))
(*.f64 (+.f64 1 re) (cos.f64 im))
(cos.f64 im)
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(*.f64 (cos.f64 im) re)
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(*.f64 (cos.f64 im) re)
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (cos.f64 im) (*.f64 (cos.f64 im) re))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(+.f64 (.f64 (.f64 (cos.f64 im) re) 1) (cos.f64 im))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (cos.f64 im) (+.f64 re 1)))) 1)
(/.f64 (*.f64 (cos.f64 im) (fma.f64 re re -1)) (+.f64 re -1))
(/.f64 (*.f64 (cos.f64 im) (+.f64 1 (pow.f64 re 3))) (fma.f64 re re (-.f64 1 re)))
(/.f64 (*.f64 (fma.f64 re re -1) (cos.f64 im)) (+.f64 re -1))
(/.f64 (*.f64 (+.f64 1 (pow.f64 re 3)) (cos.f64 im)) (fma.f64 re re (-.f64 1 re)))
(/.f64 (-.f64 (.f64 (.f64 (cos.f64 im) re) (.f64 (cos.f64 im) re)) (pow.f64 (cos.f64 im) 2)) (-.f64 (.f64 (cos.f64 im) re) (cos.f64 im)))
(/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 im) re) 3) (pow.f64 (cos.f64 im) 3)) (+.f64 (.f64 (.f64 (cos.f64 im) re) (.f64 (cos.f64 im) re)) (-.f64 (pow.f64 (cos.f64 im) 2) (.f64 (.f64 (cos.f64 im) re) (cos.f64 im)))))
(pow.f64 (*.f64 (cos.f64 im) (+.f64 re 1)) 1)
(pow.f64 (sqrt.f64 (*.f64 (cos.f64 im) (+.f64 re 1))) 2)
(pow.f64 (cbrt.f64 (*.f64 (cos.f64 im) (+.f64 re 1))) 3)
(pow.f64 (pow.f64 (*.f64 (cos.f64 im) (+.f64 re 1)) 3) 1/3)
(sqrt.f64 (pow.f64 (*.f64 (cos.f64 im) (+.f64 re 1)) 2))
(log.f64 (pow.f64 (exp.f64 (+.f64 re 1)) (cos.f64 im)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (cos.f64 im) (+.f64 re 1)))))
(cbrt.f64 (pow.f64 (*.f64 (cos.f64 im) (+.f64 re 1)) 3))
(expm1.f64 (log1p.f64 (*.f64 (cos.f64 im) (+.f64 re 1))))
(exp.f64 (+.f64 (log1p.f64 re) (log.f64 (cos.f64 im))))
(exp.f64 (*.f64 (+.f64 (log1p.f64 re) (log.f64 (cos.f64 im))) 1))
(log1p.f64 (expm1.f64 (*.f64 (cos.f64 im) (+.f64 re 1))))
(fma.f64 (cos.f64 im) re (cos.f64 im))
(fma.f64 re (cos.f64 im) (cos.f64 im))

Outputs
(+.f64 1 re)
(+.f64 1 (+.f64 re (.f64 -1/2 (.f64 (+.f64 1 re) (pow.f64 im 2)))))
(+.f64 (+.f64 1 re) (.f64 -1/2 (.f64 (+.f64 1 re) (*.f64 im im))))
(+.f64 1 (fma.f64 -1/2 (.f64 (+.f64 1 re) (.f64 im im)) re))
(fma.f64 (*.f64 im im) (fma.f64 re -1/2 -1/2) (+.f64 1 re))
(+.f64 re (fma.f64 (*.f64 im im) (fma.f64 re -1/2 -1/2) 1))
(+.f64 (.f64 1/24 (.f64 (+.f64 1 re) (pow.f64 im 4))) (+.f64 1 (+.f64 re (.f64 -1/2 (.f64 (+.f64 1 re) (pow.f64 im 2))))))
(fma.f64 1/24 (.f64 (+.f64 1 re) (pow.f64 im 4)) (+.f64 (+.f64 1 re) (.f64 -1/2 (.f64 (+.f64 1 re) (.f64 im im)))))
(+.f64 (fma.f64 -1/2 (.f64 (+.f64 1 re) (.f64 im im)) re) (fma.f64 1/24 (*.f64 (+.f64 1 re) (pow.f64 im 4)) 1))
(+.f64 (fma.f64 (*.f64 im im) (fma.f64 re -1/2 -1/2) re) (fma.f64 (pow.f64 im 4) (fma.f64 re 1/24 1/24) 1))
(.f64 (+.f64 1 re) (+.f64 (.f64 -1/2 (.f64 im im)) (+.f64 1 (.f64 1/24 (pow.f64 im 4)))))
(+.f64 (.f64 1/24 (.f64 (+.f64 1 re) (pow.f64 im 4))) (+.f64 (.f64 -1/720 (.f64 (+.f64 1 re) (pow.f64 im 6))) (+.f64 1 (+.f64 re (.f64 -1/2 (.f64 (+.f64 1 re) (pow.f64 im 2)))))))
(fma.f64 1/24 (.f64 (+.f64 1 re) (pow.f64 im 4)) (fma.f64 -1/720 (.f64 (+.f64 1 re) (pow.f64 im 6)) (+.f64 (+.f64 1 re) (.f64 -1/2 (.f64 (+.f64 1 re) (*.f64 im im))))))
(fma.f64 1/24 (.f64 (+.f64 1 re) (pow.f64 im 4)) (+.f64 (fma.f64 -1/2 (.f64 (+.f64 1 re) (.f64 im im)) re) (fma.f64 -1/720 (.f64 (+.f64 1 re) (pow.f64 im 6)) 1)))
(+.f64 (fma.f64 (pow.f64 im 4) (fma.f64 re 1/24 1/24) 1) (fma.f64 (pow.f64 im 6) (fma.f64 re -1/720 -1/720) (fma.f64 (*.f64 im im) (fma.f64 re -1/2 -1/2) re)))
(fma.f64 (pow.f64 im 6) (fma.f64 re -1/720 -1/720) (.f64 (+.f64 1 re) (+.f64 (.f64 -1/2 (.f64 im im)) (+.f64 1 (.f64 1/24 (pow.f64 im 4))))))
(*.f64 (cos.f64 im) (+.f64 1 re))
(*.f64 (+.f64 1 re) (cos.f64 im))
(*.f64 (cos.f64 im) (+.f64 1 re))
(*.f64 (+.f64 1 re) (cos.f64 im))
(*.f64 (cos.f64 im) (+.f64 1 re))
(*.f64 (+.f64 1 re) (cos.f64 im))
(*.f64 (cos.f64 im) (+.f64 1 re))
(*.f64 (+.f64 1 re) (cos.f64 im))
(*.f64 (+.f64 1 re) (cos.f64 im))
(*.f64 (+.f64 1 re) (cos.f64 im))
(*.f64 (+.f64 1 re) (cos.f64 im))
(*.f64 (+.f64 1 re) (cos.f64 im))
(cos.f64 im)
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(*.f64 (+.f64 1 re) (cos.f64 im))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(*.f64 (+.f64 1 re) (cos.f64 im))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(*.f64 (+.f64 1 re) (cos.f64 im))
(*.f64 (cos.f64 im) re)
(*.f64 re (cos.f64 im))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(*.f64 (+.f64 1 re) (cos.f64 im))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(*.f64 (+.f64 1 re) (cos.f64 im))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(*.f64 (+.f64 1 re) (cos.f64 im))
(*.f64 (cos.f64 im) re)
(*.f64 re (cos.f64 im))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(*.f64 (+.f64 1 re) (cos.f64 im))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(*.f64 (+.f64 1 re) (cos.f64 im))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(*.f64 (+.f64 1 re) (cos.f64 im))
(+.f64 (cos.f64 im) (*.f64 (cos.f64 im) re))
(*.f64 (+.f64 1 re) (cos.f64 im))
(+.f64 (*.f64 (cos.f64 im) re) (cos.f64 im))
(*.f64 (+.f64 1 re) (cos.f64 im))
(+.f64 (.f64 (.f64 (cos.f64 im) re) 1) (cos.f64 im))
(*.f64 (+.f64 1 re) (cos.f64 im))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (cos.f64 im) (+.f64 re 1)))) 1)
(*.f64 (+.f64 1 re) (cos.f64 im))
(/.f64 (*.f64 (cos.f64 im) (fma.f64 re re -1)) (+.f64 re -1))
(/.f64 (cos.f64 im) (/.f64 (+.f64 re -1) (fma.f64 re re -1)))
(*.f64 (cos.f64 im) (/.f64 (fma.f64 re re -1) (+.f64 re -1)))
(/.f64 (*.f64 (cos.f64 im) (+.f64 1 (pow.f64 re 3))) (fma.f64 re re (-.f64 1 re)))
(/.f64 (cos.f64 im) (/.f64 (fma.f64 re re (-.f64 1 re)) (+.f64 1 (pow.f64 re 3))))
(*.f64 (/.f64 (cos.f64 im) (fma.f64 re re (-.f64 1 re))) (+.f64 1 (pow.f64 re 3)))
(*.f64 (cos.f64 im) (/.f64 (+.f64 1 (pow.f64 re 3)) (-.f64 (fma.f64 re re 1) re)))
(/.f64 (*.f64 (fma.f64 re re -1) (cos.f64 im)) (+.f64 re -1))
(/.f64 (cos.f64 im) (/.f64 (+.f64 re -1) (fma.f64 re re -1)))
(*.f64 (cos.f64 im) (/.f64 (fma.f64 re re -1) (+.f64 re -1)))
(/.f64 (*.f64 (+.f64 1 (pow.f64 re 3)) (cos.f64 im)) (fma.f64 re re (-.f64 1 re)))
(/.f64 (cos.f64 im) (/.f64 (fma.f64 re re (-.f64 1 re)) (+.f64 1 (pow.f64 re 3))))
(*.f64 (/.f64 (cos.f64 im) (fma.f64 re re (-.f64 1 re))) (+.f64 1 (pow.f64 re 3)))
(*.f64 (cos.f64 im) (/.f64 (+.f64 1 (pow.f64 re 3)) (-.f64 (fma.f64 re re 1) re)))
(/.f64 (-.f64 (.f64 (.f64 (cos.f64 im) re) (.f64 (cos.f64 im) re)) (pow.f64 (cos.f64 im) 2)) (-.f64 (.f64 (cos.f64 im) re) (cos.f64 im)))
(/.f64 (-.f64 (.f64 (pow.f64 (cos.f64 im) 2) (.f64 re re)) (pow.f64 (cos.f64 im) 2)) (-.f64 (*.f64 re (cos.f64 im)) (cos.f64 im)))
(/.f64 (.f64 (cos.f64 im) (-.f64 (.f64 re (*.f64 re (cos.f64 im))) (cos.f64 im))) (fma.f64 re (cos.f64 im) (neg.f64 (cos.f64 im))))
(/.f64 (.f64 (pow.f64 (cos.f64 im) 2) (fma.f64 re re -1)) (.f64 (cos.f64 im) (+.f64 re -1)))
(/.f64 (pow.f64 (cos.f64 im) 2) (/.f64 (*.f64 (cos.f64 im) (+.f64 re -1)) (fma.f64 re re -1)))
(/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 im) re) 3) (pow.f64 (cos.f64 im) 3)) (+.f64 (.f64 (.f64 (cos.f64 im) re) (.f64 (cos.f64 im) re)) (-.f64 (pow.f64 (cos.f64 im) 2) (.f64 (.f64 (cos.f64 im) re) (cos.f64 im)))))
(/.f64 (+.f64 (pow.f64 (.f64 re (cos.f64 im)) 3) (pow.f64 (cos.f64 im) 3)) (+.f64 (.f64 (pow.f64 (cos.f64 im) 2) (.f64 re re)) (-.f64 (pow.f64 (cos.f64 im) 2) (.f64 (cos.f64 im) (*.f64 re (cos.f64 im))))))
(/.f64 (+.f64 (pow.f64 (.f64 re (cos.f64 im)) 3) (pow.f64 (cos.f64 im) 3)) (fma.f64 (pow.f64 (cos.f64 im) 2) (.f64 re re) (.f64 (cos.f64 im) (-.f64 (cos.f64 im) (.f64 re (cos.f64 im))))))
(/.f64 (.f64 (+.f64 1 (pow.f64 re 3)) (pow.f64 (cos.f64 im) 3)) (+.f64 (pow.f64 (cos.f64 im) 2) (.f64 (*.f64 re (pow.f64 (cos.f64 im) 2)) (+.f64 re -1))))
(/.f64 (+.f64 1 (pow.f64 re 3)) (/.f64 (*.f64 (pow.f64 (cos.f64 im) 2) (-.f64 (fma.f64 re re 1) re)) (pow.f64 (cos.f64 im) 3)))
(pow.f64 (*.f64 (cos.f64 im) (+.f64 re 1)) 1)
(*.f64 (+.f64 1 re) (cos.f64 im))
(pow.f64 (sqrt.f64 (*.f64 (cos.f64 im) (+.f64 re 1))) 2)
(*.f64 (+.f64 1 re) (cos.f64 im))
(pow.f64 (cbrt.f64 (*.f64 (cos.f64 im) (+.f64 re 1))) 3)
(*.f64 (+.f64 1 re) (cos.f64 im))
(pow.f64 (pow.f64 (*.f64 (cos.f64 im) (+.f64 re 1)) 3) 1/3)
(*.f64 (+.f64 1 re) (cos.f64 im))
(sqrt.f64 (pow.f64 (*.f64 (cos.f64 im) (+.f64 re 1)) 2))
(*.f64 (+.f64 1 re) (cos.f64 im))
(log.f64 (pow.f64 (exp.f64 (+.f64 re 1)) (cos.f64 im)))
(*.f64 (+.f64 1 re) (cos.f64 im))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (cos.f64 im) (+.f64 re 1)))))
(*.f64 (+.f64 1 re) (cos.f64 im))
(cbrt.f64 (pow.f64 (*.f64 (cos.f64 im) (+.f64 re 1)) 3))
(*.f64 (+.f64 1 re) (cos.f64 im))
(expm1.f64 (log1p.f64 (*.f64 (cos.f64 im) (+.f64 re 1))))
(*.f64 (+.f64 1 re) (cos.f64 im))
(exp.f64 (+.f64 (log1p.f64 re) (log.f64 (cos.f64 im))))
(*.f64 (cos.f64 im) (exp.f64 (log1p.f64 re)))
(exp.f64 (*.f64 (+.f64 (log1p.f64 re) (log.f64 (cos.f64 im))) 1))
(exp.f64 (+.f64 (log1p.f64 re) (log.f64 (cos.f64 im))))
(*.f64 (cos.f64 im) (exp.f64 (log1p.f64 re)))
(log1p.f64 (expm1.f64 (*.f64 (cos.f64 im) (+.f64 re 1))))
(*.f64 (+.f64 1 re) (cos.f64 im))
(fma.f64 (cos.f64 im) re (cos.f64 im))
(*.f64 (+.f64 1 re) (cos.f64 im))
(fma.f64 re (cos.f64 im) (cos.f64 im))
(*.f64 (+.f64 1 re) (cos.f64 im))

eval16.0ms (0.5%)

Compiler: Compiled 849 to 483 computations (43.1% saved)

prune9.0ms (0.3%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	57	2	59
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	57	6	63

Error

0.0b

Counts

63 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	43.5b	(+.f64 (+.f64 1 re) (.f64 -1/2 (.f64 (+.f64 1 re) (*.f64 im im))))
▶	41.2b	(+.f64 1 re)
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
✓	21.1b	(*.f64 (cos.f64 im) (+.f64 re 1))
✓	20.2b	(exp.f64 re)
✓	21.0b	(cos.f64 im)

Compiler

Compiled 43 to 32 computations (25.6% saved)

localize3.0ms (0.1%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

localize49.0ms (1.5%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	2.6b	(.f64 (+.f64 1 re) (.f64 im im))

Compiler

Compiled 41 to 23 computations (43.9% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	re	@	0	(.f64 (+.f64 1 re) (.f64 im im))
0.0ms	im	@	0	(.f64 (+.f64 1 re) (.f64 im im))
0.0ms	im	@	inf	(.f64 (+.f64 1 re) (.f64 im im))
0.0ms	re	@	-inf	(.f64 (+.f64 1 re) (.f64 im im))
0.0ms	re	@	inf	(.f64 (+.f64 1 re) (.f64 im im))

rewrite53.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1606×	`add-sqr-sqrt`
1588×	`*-un-lft-identity`
1480×	`add-cube-cbrt`
1462×	`add-cbrt-cube`
160×	`pow1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	163	19
2	2058	19

Stop Event

1×	node limit

Counts

1 → 21

Calls

Call 1

Inputs
(.f64 (+.f64 1 re) (.f64 im im))

Outputs

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

simplify71.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

1290×	`associate-r`
1120×	`associate-l`
688×	`associate--r+`
570×	`associate-*l/`
518×	`associate-*r/`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	69	939
1	180	931
2	624	771
3	3666	771
4	6693	771

Stop Event

1×	node limit

Counts

45 → 39

Calls

Call 1

Inputs
(pow.f64 im 2)
(+.f64 (*.f64 re (pow.f64 im 2)) (pow.f64 im 2))
(+.f64 (*.f64 re (pow.f64 im 2)) (pow.f64 im 2))
(+.f64 (*.f64 re (pow.f64 im 2)) (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(+.f64 (*.f64 re (pow.f64 im 2)) (pow.f64 im 2))
(+.f64 (*.f64 re (pow.f64 im 2)) (pow.f64 im 2))
(+.f64 (*.f64 re (pow.f64 im 2)) (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(+.f64 (*.f64 re (pow.f64 im 2)) (pow.f64 im 2))
(+.f64 (*.f64 re (pow.f64 im 2)) (pow.f64 im 2))
(+.f64 (*.f64 re (pow.f64 im 2)) (pow.f64 im 2))
(*.f64 (+.f64 1 re) (pow.f64 im 2))
(*.f64 (+.f64 1 re) (pow.f64 im 2))
(*.f64 (+.f64 1 re) (pow.f64 im 2))
(*.f64 (+.f64 1 re) (pow.f64 im 2))
(*.f64 (+.f64 1 re) (pow.f64 im 2))
(*.f64 (+.f64 1 re) (pow.f64 im 2))
(*.f64 (+.f64 1 re) (pow.f64 im 2))
(*.f64 (+.f64 1 re) (pow.f64 im 2))
(*.f64 (+.f64 1 re) (pow.f64 im 2))
(*.f64 (+.f64 1 re) (pow.f64 im 2))
(*.f64 (+.f64 1 re) (pow.f64 im 2))
(*.f64 (+.f64 1 re) (pow.f64 im 2))
(+.f64 (.f64 im im) (.f64 (*.f64 im im) re))
(+.f64 (.f64 im im) (.f64 re (*.f64 im im)))
(+.f64 (.f64 (.f64 im im) re) (*.f64 im im))
(+.f64 (.f64 re (.f64 im im)) (*.f64 im im))
(-.f64 (exp.f64 (log1p.f64 (.f64 (+.f64 1 re) (.f64 im im)))) 1)
(/.f64 (.f64 (.f64 im im) (-.f64 1 (*.f64 re re))) (-.f64 1 re))
(/.f64 (.f64 (.f64 im im) (+.f64 1 (pow.f64 re 3))) (+.f64 1 (-.f64 (*.f64 re re) re)))
(/.f64 (.f64 (-.f64 1 (.f64 re re)) (*.f64 im im)) (-.f64 1 re))
(/.f64 (.f64 (+.f64 1 (pow.f64 re 3)) (.f64 im im)) (+.f64 1 (-.f64 (*.f64 re re) re)))
(pow.f64 (.f64 (+.f64 1 re) (.f64 im im)) 1)
(pow.f64 (*.f64 im (sqrt.f64 (+.f64 1 re))) 2)
(pow.f64 (cbrt.f64 (.f64 (+.f64 1 re) (.f64 im im))) 3)
(pow.f64 (pow.f64 (.f64 (+.f64 1 re) (.f64 im im)) 3) 1/3)
(sqrt.f64 (*.f64 (pow.f64 (+.f64 1 re) 2) (pow.f64 im 4)))
(log.f64 (pow.f64 (exp.f64 (+.f64 1 re)) (*.f64 im im)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (+.f64 1 re) (.f64 im im)))))
(cbrt.f64 (pow.f64 (.f64 (+.f64 1 re) (.f64 im im)) 3))
(expm1.f64 (log1p.f64 (.f64 (+.f64 1 re) (.f64 im im))))
(exp.f64 (+.f64 (log1p.f64 re) (*.f64 2 (log.f64 im))))
(exp.f64 (.f64 (+.f64 (log1p.f64 re) (.f64 2 (log.f64 im))) 1))
(log1p.f64 (expm1.f64 (.f64 (+.f64 1 re) (.f64 im im))))

Outputs
(pow.f64 im 2)
(*.f64 im im)
(+.f64 (*.f64 re (pow.f64 im 2)) (pow.f64 im 2))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(+.f64 (*.f64 re (pow.f64 im 2)) (pow.f64 im 2))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(+.f64 (*.f64 re (pow.f64 im 2)) (pow.f64 im 2))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(.f64 im (.f64 im re))
(+.f64 (*.f64 re (pow.f64 im 2)) (pow.f64 im 2))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(+.f64 (*.f64 re (pow.f64 im 2)) (pow.f64 im 2))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(+.f64 (*.f64 re (pow.f64 im 2)) (pow.f64 im 2))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(.f64 im (.f64 im re))
(+.f64 (*.f64 re (pow.f64 im 2)) (pow.f64 im 2))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(+.f64 (*.f64 re (pow.f64 im 2)) (pow.f64 im 2))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(+.f64 (*.f64 re (pow.f64 im 2)) (pow.f64 im 2))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(*.f64 (+.f64 1 re) (pow.f64 im 2))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(*.f64 (+.f64 1 re) (pow.f64 im 2))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(*.f64 (+.f64 1 re) (pow.f64 im 2))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(*.f64 (+.f64 1 re) (pow.f64 im 2))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(*.f64 (+.f64 1 re) (pow.f64 im 2))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(*.f64 (+.f64 1 re) (pow.f64 im 2))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(*.f64 (+.f64 1 re) (pow.f64 im 2))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(*.f64 (+.f64 1 re) (pow.f64 im 2))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(*.f64 (+.f64 1 re) (pow.f64 im 2))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(*.f64 (+.f64 1 re) (pow.f64 im 2))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(*.f64 (+.f64 1 re) (pow.f64 im 2))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(*.f64 (+.f64 1 re) (pow.f64 im 2))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(+.f64 (.f64 im im) (.f64 (*.f64 im im) re))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(+.f64 (.f64 im im) (.f64 re (*.f64 im im)))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(+.f64 (.f64 (.f64 im im) re) (*.f64 im im))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(+.f64 (.f64 re (.f64 im im)) (*.f64 im im))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(-.f64 (exp.f64 (log1p.f64 (.f64 (+.f64 1 re) (.f64 im im)))) 1)
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(/.f64 (.f64 (.f64 im im) (-.f64 1 (*.f64 re re))) (-.f64 1 re))
(/.f64 (.f64 im im) (/.f64 (-.f64 1 re) (-.f64 1 (.f64 re re))))
(.f64 (/.f64 (.f64 im im) (-.f64 1 re)) (-.f64 1 (*.f64 re re)))
(.f64 (.f64 im im) (/.f64 (-.f64 1 (*.f64 re re)) (-.f64 1 re)))
(.f64 im (.f64 (/.f64 im (-.f64 1 re)) (-.f64 1 (*.f64 re re))))
(/.f64 (.f64 (.f64 im im) (+.f64 1 (pow.f64 re 3))) (+.f64 1 (-.f64 (*.f64 re re) re)))
(/.f64 (.f64 im im) (/.f64 (+.f64 1 (-.f64 (.f64 re re) re)) (+.f64 1 (pow.f64 re 3))))
(/.f64 im (/.f64 (+.f64 1 (-.f64 (.f64 re re) re)) (.f64 im (+.f64 1 (pow.f64 re 3)))))
(*.f64 (/.f64 im (-.f64 (fma.f64 re re 1) re)) (fma.f64 im (pow.f64 re 3) im))
(/.f64 (.f64 (-.f64 1 (.f64 re re)) (*.f64 im im)) (-.f64 1 re))
(/.f64 (.f64 im im) (/.f64 (-.f64 1 re) (-.f64 1 (.f64 re re))))
(.f64 (/.f64 (.f64 im im) (-.f64 1 re)) (-.f64 1 (*.f64 re re)))
(.f64 (.f64 im im) (/.f64 (-.f64 1 (*.f64 re re)) (-.f64 1 re)))
(.f64 im (.f64 (/.f64 im (-.f64 1 re)) (-.f64 1 (*.f64 re re))))
(/.f64 (.f64 (+.f64 1 (pow.f64 re 3)) (.f64 im im)) (+.f64 1 (-.f64 (*.f64 re re) re)))
(/.f64 (.f64 im im) (/.f64 (+.f64 1 (-.f64 (.f64 re re) re)) (+.f64 1 (pow.f64 re 3))))
(/.f64 im (/.f64 (+.f64 1 (-.f64 (.f64 re re) re)) (.f64 im (+.f64 1 (pow.f64 re 3)))))
(*.f64 (/.f64 im (-.f64 (fma.f64 re re 1) re)) (fma.f64 im (pow.f64 re 3) im))
(pow.f64 (.f64 (+.f64 1 re) (.f64 im im)) 1)
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(pow.f64 (*.f64 im (sqrt.f64 (+.f64 1 re))) 2)
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(pow.f64 (cbrt.f64 (.f64 (+.f64 1 re) (.f64 im im))) 3)
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(pow.f64 (pow.f64 (.f64 (+.f64 1 re) (.f64 im im)) 3) 1/3)
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(sqrt.f64 (*.f64 (pow.f64 (+.f64 1 re) 2) (pow.f64 im 4)))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(log.f64 (pow.f64 (exp.f64 (+.f64 1 re)) (*.f64 im im)))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (+.f64 1 re) (.f64 im im)))))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(cbrt.f64 (pow.f64 (.f64 (+.f64 1 re) (.f64 im im)) 3))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(expm1.f64 (log1p.f64 (.f64 (+.f64 1 re) (.f64 im im))))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))
(exp.f64 (+.f64 (log1p.f64 re) (*.f64 2 (log.f64 im))))
(.f64 (.f64 im im) (exp.f64 (log1p.f64 re)))
(exp.f64 (.f64 (+.f64 (log1p.f64 re) (.f64 2 (log.f64 im))) 1))
(exp.f64 (+.f64 (log1p.f64 re) (*.f64 2 (log.f64 im))))
(.f64 (.f64 im im) (exp.f64 (log1p.f64 re)))
(log1p.f64 (expm1.f64 (.f64 (+.f64 1 re) (.f64 im im))))
(.f64 (+.f64 re 1) (.f64 im im))
(.f64 im (+.f64 im (.f64 im re)))
(*.f64 im (fma.f64 im re im))

eval10.0ms (0.3%)

Compiler: Compiled 622 to 390 computations (37.3% saved)

prune7.0ms (0.2%)

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	37	2	39
Fresh	0	0	0
Picked	1	0	1
Done	0	5	5
Total	38	7	45

Error

0.0b

Counts

45 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	42.9b	(+.f64 (+.f64 1 re) (.f64 -1/2 (.f64 im (*.f64 im re))))
▶	43.4b	(+.f64 (+.f64 1 re) (.f64 -1/2 (.f64 im im)))
✓	41.2b	(+.f64 1 re)
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
✓	21.1b	(*.f64 (cos.f64 im) (+.f64 re 1))
✓	20.2b	(exp.f64 re)
✓	21.0b	(cos.f64 im)

Compiler

Compiled 52 to 38 computations (26.9% saved)

localize54.0ms (1.7%)

Compiler: Compiled 26 to 14 computations (46.2% saved)

localize11.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 im (.f64 im re))

Compiler

Compiled 35 to 15 computations (57.1% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	re	@	0	(.f64 im (.f64 im re))
0.0ms	re	@	inf	(.f64 im (.f64 im re))
0.0ms	im	@	inf	(.f64 im (.f64 im re))
0.0ms	im	@	0	(.f64 im (.f64 im re))
0.0ms	re	@	-inf	(.f64 im (.f64 im re))

rewrite88.0ms (2.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1146×	`add-sqr-sqrt`
1136×	`*-un-lft-identity`
1068×	`pow1`
1048×	`add-cube-cbrt`
1028×	`add-cbrt-cube`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	119	13
2	1441	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 im (.f64 im re))

Outputs

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

simplify43.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

1654×	`distribute-rgt-in`
1626×	`distribute-lft-in`
1322×	`log-prod`
820×	`associate-+r+`
808×	`associate-r`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	455
1	88	455
2	339	455
3	2029	455

Stop Event

1×	node limit

Counts

35 → 13

Calls

Call 1

Inputs
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(-.f64 (+.f64 1 (.f64 im (.f64 im re))) 1)
(pow.f64 (.f64 im (.f64 im re)) 1)
(pow.f64 (*.f64 im (sqrt.f64 re)) 2)
(pow.f64 (cbrt.f64 (.f64 im (.f64 im re))) 3)
(pow.f64 (pow.f64 (.f64 im (.f64 im re)) 3) 1/3)
(sqrt.f64 (pow.f64 (.f64 im (.f64 im re)) 2))
(log.f64 (pow.f64 (exp.f64 im) (*.f64 im re)))
(cbrt.f64 (pow.f64 (.f64 im (.f64 im re)) 3))
(expm1.f64 (log1p.f64 (.f64 im (.f64 im re))))
(exp.f64 (log.f64 (.f64 im (.f64 im re))))
(log1p.f64 (expm1.f64 (.f64 im (.f64 im re))))

Outputs
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(*.f64 re (pow.f64 im 2))
(.f64 re (.f64 im im))
(-.f64 (+.f64 1 (.f64 im (.f64 im re))) 1)
(.f64 re (.f64 im im))
(pow.f64 (.f64 im (.f64 im re)) 1)
(.f64 re (.f64 im im))
(pow.f64 (*.f64 im (sqrt.f64 re)) 2)
(.f64 re (.f64 im im))
(pow.f64 (cbrt.f64 (.f64 im (.f64 im re))) 3)
(.f64 re (.f64 im im))
(pow.f64 (pow.f64 (.f64 im (.f64 im re)) 3) 1/3)
(.f64 re (.f64 im im))
(sqrt.f64 (pow.f64 (.f64 im (.f64 im re)) 2))
(.f64 re (.f64 im im))
(log.f64 (pow.f64 (exp.f64 im) (*.f64 im re)))
(.f64 re (.f64 im im))
(cbrt.f64 (pow.f64 (.f64 im (.f64 im re)) 3))
(.f64 re (.f64 im im))
(expm1.f64 (log1p.f64 (.f64 im (.f64 im re))))
(.f64 re (.f64 im im))
(exp.f64 (log.f64 (.f64 im (.f64 im re))))
(.f64 re (.f64 im im))
(log1p.f64 (expm1.f64 (.f64 im (.f64 im re))))
(.f64 re (.f64 im im))

eval3.0ms (0.1%)

Compiler: Compiled 173 to 106 computations (38.7% saved)

prune11.0ms (0.3%)

Pruning

7 alts after pruning (0 fresh and 7 done)

	Pruned	Kept	Total
New	13	0	13
Fresh	0	0	0
Picked	0	1	1
Done	0	6	6
Total	13	7	20

Error

0.0b

Counts

20 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	42.9b	(+.f64 (+.f64 1 re) (.f64 -1/2 (.f64 im (*.f64 im re))))
✓	43.4b	(+.f64 (+.f64 1 re) (.f64 -1/2 (.f64 im im)))
✓	41.2b	(+.f64 1 re)
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
✓	21.1b	(*.f64 (cos.f64 im) (+.f64 re 1))
✓	20.2b	(exp.f64 re)
✓	21.0b	(cos.f64 im)

Compiler

Compiled 52 to 38 computations (26.9% saved)

regimes61.0ms (1.9%)

Counts

8 → 1

Calls

Call 1

Inputs
(+.f64 1 re)
(+.f64 (+.f64 1 re) (.f64 -1/2 (.f64 im im)))
(+.f64 (+.f64 1 re) (.f64 -1/2 (.f64 im (*.f64 im re))))
(+.f64 (+.f64 1 re) (.f64 -1/2 (.f64 (+.f64 1 re) (*.f64 im im))))
(cos.f64 im)
(exp.f64 re)
(*.f64 (cos.f64 im) (+.f64 re 1))
(*.f64 (exp.f64 re) (cos.f64 im))

Outputs
(*.f64 (exp.f64 re) (cos.f64 im))

Calls

5 calls:

41.0ms	(*.f64 (exp.f64 re) (cos.f64 im))
6.0ms	re
5.0ms	im
5.0ms	(cos.f64 im)
2.0ms	(exp.f64 re)

Results

Error	Segments	Branch
0.0b	1	`re`
0.0b	1	`im`
0.0b	1	`(*.f64 (exp.f64 re) (cos.f64 im))`
0.0b	1	`(exp.f64 re)`
0.0b	1	`(cos.f64 im)`

Compiler

Compiled 74 to 46 computations (37.8% saved)

regimes108.0ms (3.4%)

Counts

7 → 2

Calls

Call 1

Inputs
(+.f64 1 re)
(+.f64 (+.f64 1 re) (.f64 -1/2 (.f64 im im)))
(+.f64 (+.f64 1 re) (.f64 -1/2 (.f64 im (*.f64 im re))))
(+.f64 (+.f64 1 re) (.f64 -1/2 (.f64 (+.f64 1 re) (*.f64 im im))))
(cos.f64 im)
(exp.f64 re)
(*.f64 (cos.f64 im) (+.f64 re 1))

Outputs
(exp.f64 re)
(*.f64 (cos.f64 im) (+.f64 re 1))

Calls

4 calls:

47.0ms	im
39.0ms	re
17.0ms	(cos.f64 im)
3.0ms	(exp.f64 re)

Results

Error	Segments	Branch
0.4b	2	`re`
7.6b	6	`im`
0.4b	2	`(exp.f64 re)`
8.8b	4	`(cos.f64 im)`

Compiler

Compiled 62 to 40 computations (35.5% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	0.4762443727745859	0.9999999999988739

Compiler

Compiled 12 to 9 computations (25% saved)

regimes84.0ms (2.6%)

Counts

6 → 2

Calls

Call 1

Inputs
(+.f64 1 re)
(+.f64 (+.f64 1 re) (.f64 -1/2 (.f64 im im)))
(+.f64 (+.f64 1 re) (.f64 -1/2 (.f64 im (*.f64 im re))))
(+.f64 (+.f64 1 re) (.f64 -1/2 (.f64 (+.f64 1 re) (*.f64 im im))))
(cos.f64 im)
(exp.f64 re)

Outputs
(exp.f64 re)
(cos.f64 im)

Calls

4 calls:

54.0ms	im
15.0ms	(cos.f64 im)
9.0ms	re
3.0ms	(exp.f64 re)

Results

Error	Segments	Branch
0.4b	2	`re`
7.6b	6	`im`
0.4b	2	`(exp.f64 re)`
8.8b	4	`(cos.f64 im)`

Compiler

Compiled 56 to 37 computations (33.9% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	0.4762443727745859	0.9999999999988739

Compiler

Compiled 12 to 9 computations (25% saved)

regimes32.0ms (1%)

Counts

5 → 1

Calls

Call 1

Inputs
(+.f64 1 re)
(+.f64 (+.f64 1 re) (.f64 -1/2 (.f64 im im)))
(+.f64 (+.f64 1 re) (.f64 -1/2 (.f64 im (*.f64 im re))))
(+.f64 (+.f64 1 re) (.f64 -1/2 (.f64 (+.f64 1 re) (*.f64 im im))))
(cos.f64 im)

Outputs
(cos.f64 im)

Calls

3 calls:

23.0ms	im
4.0ms	re
4.0ms	(cos.f64 im)

Results

Error	Segments	Branch
21.0b	1	`re`
21.0b	1	`im`
21.0b	1	`(cos.f64 im)`

Compiler

Compiled 50 to 33 computations (34% saved)

regimes9.0ms (0.3%)

Accuracy

Total -2.6b remaining (-6.4%)

Threshold costs -2.6b (-6.4%)

Counts

4 → 1

Calls

Call 1

Inputs
(+.f64 1 re)
(+.f64 (+.f64 1 re) (.f64 -1/2 (.f64 im im)))
(+.f64 (+.f64 1 re) (.f64 -1/2 (.f64 im (*.f64 im re))))
(+.f64 (+.f64 1 re) (.f64 -1/2 (.f64 (+.f64 1 re) (*.f64 im im))))

Outputs
(+.f64 1 re)

Calls

2 calls:

4.0ms	im
4.0ms	re

Results

Error	Segments	Branch
41.2b	1	`re`
41.2b	1	`im`

Compiler

Compiled 44 to 29 computations (34.1% saved)

simplify11.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative`
2×	`1-exp`
2×	`+-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	85
1	23	85

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(*.f64 (exp.f64 re) (cos.f64 im))
(if (<=.f64 (exp.f64 re) 1/2) (exp.f64 re) (*.f64 (cos.f64 im) (+.f64 re 1)))
(if (<=.f64 (exp.f64 re) 1/2) (exp.f64 re) (cos.f64 im))
(cos.f64 im)
(+.f64 1 re)

Outputs
(*.f64 (exp.f64 re) (cos.f64 im))
(if (<=.f64 (exp.f64 re) 1/2) (exp.f64 re) (*.f64 (cos.f64 im) (+.f64 re 1)))
(if (<=.f64 (exp.f64 re) 1/2) (exp.f64 re) (cos.f64 im))
(cos.f64 im)
(+.f64 1 re)
(+.f64 re 1)

Compiler

Compiled 42 to 29 computations (31% saved)

soundness0.0ms (0%)

end30.0ms (0.9%)

Compiler: Compiled 34 to 16 computations (52.9% saved)

Details

analyze84.0ms (2.6%)

sample2.1s (64%)

preprocess4.0ms (0.1%)

simplify11.0ms (0.3%)

eval0.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.2%)

series2.0ms (0.1%)

rewrite53.0ms (1.7%)

simplify70.0ms (2.2%)

eval9.0ms (0.3%)

prune9.0ms (0.3%)

localize3.0ms (0.1%)

localize2.0ms (0.1%)

localize7.0ms (0.2%)

series2.0ms (0.1%)

rewrite74.0ms (2.3%)

simplify54.0ms (1.7%)

eval16.0ms (0.5%)

prune9.0ms (0.3%)

localize3.0ms (0.1%)

localize49.0ms (1.5%)

series1.0ms (0%)

rewrite53.0ms (1.7%)

simplify71.0ms (2.2%)

eval10.0ms (0.3%)

prune7.0ms (0.2%)

localize54.0ms (1.7%)

localize11.0ms (0.3%)

series2.0ms (0%)

rewrite88.0ms (2.7%)

simplify43.0ms (1.3%)

eval3.0ms (0.1%)

prune11.0ms (0.3%)

regimes61.0ms (1.9%)

regimes108.0ms (3.4%)

bsearch0.0ms (0%)

regimes84.0ms (2.6%)

bsearch0.0ms (0%)

regimes32.0ms (1%)

regimes9.0ms (0.3%)

simplify11.0ms (0.3%)

soundness0.0ms (0%)

end30.0ms (0.9%)

Profiling