Details

analyze0.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 27 to 22 computations (18.5% saved)

sample1.3s (26.9%)

Results

1.3s

8256×

body

256

valid

Bogosity

preprocess90.0ms (1.8%)

Algorithm

2×	egg-herbie

Rules

955×	`fma-def_binary64`
567×	`unsub-neg_binary64`
542×	`distribute-rgt-neg-in_binary64`
487×	`sub-neg_binary64`
450×	`distribute-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	26
1	35	19
2	115	17
3	354	15
4	1306	7
5	3691	7
6	5418	7
7	6925	7
8	7902	7
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(+.f64 (.f64 (+.f64 1 (.f64 t 1/5000000000000000)) (+.f64 1 (.f64 t 1/5000000000000000))) (-.f64 -1 (.f64 2 (*.f64 t 1/5000000000000000))))

Outputs
(+.f64 (.f64 (+.f64 1 (.f64 t 1/5000000000000000)) (+.f64 1 (.f64 t 1/5000000000000000))) (-.f64 -1 (.f64 2 (*.f64 t 1/5000000000000000))))
(fma.f64 (+.f64 1 (.f64 t 1/5000000000000000)) (+.f64 1 (.f64 t 1/5000000000000000)) (+.f64 -1 (.f64 -2 (.f64 t 1/5000000000000000))))
(+.f64 (fma.f64 (fma.f64 t 1/5000000000000000 1) (fma.f64 t 1/5000000000000000 1) -1) (*.f64 -1/2500000000000000 t))
(fma.f64 (fma.f64 t 1/5000000000000000 1) (fma.f64 t 1/5000000000000000 1) (fma.f64 -1/2500000000000000 t -1))
(fma.f64 (.f64 t 1/5000000000000000) (fma.f64 t 1/5000000000000000 2) (.f64 t -1/2500000000000000))
(.f64 t (.f64 t 1/25000000000000000000000000000000))

Compiler

Compiled 21 to 18 computations (14.3% saved)

simplify79.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

955×	`fma-def_binary64`
567×	`unsub-neg_binary64`
542×	`distribute-rgt-neg-in_binary64`
487×	`sub-neg_binary64`
450×	`distribute-neg-in_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	12	26
1	35	19
2	115	17
3	354	15
4	1306	7
5	3691	7
6	5418	7
7	6925	7
8	7902	7

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(+.f64 (.f64 (+.f64 1 (.f64 t 1/5000000000000000)) (+.f64 1 (.f64 t 1/5000000000000000))) (-.f64 -1 (.f64 2 (*.f64 t 1/5000000000000000))))

Outputs
(+.f64 (.f64 (+.f64 1 (.f64 t 1/5000000000000000)) (+.f64 1 (.f64 t 1/5000000000000000))) (-.f64 -1 (.f64 2 (*.f64 t 1/5000000000000000))))
(fma.f64 (+.f64 1 (.f64 t 1/5000000000000000)) (+.f64 1 (.f64 t 1/5000000000000000)) (+.f64 -1 (.f64 -2 (.f64 t 1/5000000000000000))))
(+.f64 (fma.f64 (fma.f64 t 1/5000000000000000 1) (fma.f64 t 1/5000000000000000 1) -1) (*.f64 -1/2500000000000000 t))
(fma.f64 (fma.f64 t 1/5000000000000000 1) (fma.f64 t 1/5000000000000000 1) (fma.f64 -1/2500000000000000 t -1))
(fma.f64 (.f64 t 1/5000000000000000) (fma.f64 t 1/5000000000000000 2) (.f64 t -1/2500000000000000))
(.f64 t (.f64 t 1/25000000000000000000000000000000))

eval1.0ms (0%)

Compiler: Compiled 25 to 20 computations (20% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.4b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.4b	(.f64 t (.f64 t 1/25000000000000000000000000000000))

Compiler

Compiled 6 to 4 computations (33.3% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 t (.f64 t 1/25000000000000000000000000000000))
✓	0.4b	(*.f64 t 1/25000000000000000000000000000000)

Compiler

Compiled 11 to 7 computations (36.4% saved)

series3.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

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

rewrite75.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

445×	`pow1_binary64`
430×	`add-sqr-sqrt_binary64`
422×	`*-un-lft-identity_binary64`
414×	`add-log-exp_binary64`
414×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	11
1	102	11
2	1142	11

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

Inputs
(*.f64 t 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))

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

Outputs

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

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

simplify203.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
553×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
443×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	132
1	14	132
2	23	132
3	42	132
4	102	132
5	321	132
6	1252	132
7	2126	132
8	2290	132
9	2474	132
10	2682	132
11	2978	132
12	3371	132
13	3852	132
14	4418	132
15	5106	132
16	5941	132
17	6333	132
18	6623	132
19	6895	132
20	6967	132
21	7003	132
22	7944	132

Stop Event

1×	node limit

Counts

46 → 25

Calls

Call 1

Inputs
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))

Outputs
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))

eval10.0ms (0.2%)

Compiler: Compiled 183 to 134 computations (26.8% saved)

prune9.0ms (0.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	21	4	25
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	21	5	26

Error

0.0b

Counts

26 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.5b	(pow.f64 (*.f64 t 1/5000000000000000) 2)
▶	0.4b	(.f64 1/25000000000000000000000000000000 (.f64 t t))
✓	0.4b	(.f64 t (.f64 t 1/25000000000000000000000000000000))
▶	0.3b	(.f64 t (sqrt.f64 (.f64 1/625000000000000000000000000000000000000000000000000000000000000 (*.f64 t t))))
▶	0.7b	(.f64 t (pow.f64 (.f64 1/5000000000000000 (sqrt.f64 t)) 2))

Compiler

Compiled 36 to 26 computations (27.8% saved)

localize10.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.4b	(.f64 1/25000000000000000000000000000000 (.f64 t t))

Compiler

Compiled 11 to 5 computations (54.5% saved)

series2.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite60.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

429×	`pow1_binary64`
417×	`add-sqr-sqrt_binary64`
408×	`*-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	103	7
2	1149	7

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

Inputs
(.f64 1/25000000000000000000000000000000 (.f64 t t))

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

Outputs

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

simplify177.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
554×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
441×	`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	105	84
5	331	84
6	1250	84
7	2123	84
8	2287	84
9	2471	84
10	2679	84
11	2976	84
12	3371	84
13	3852	84
14	4418	84
15	5102	84
16	5935	84
17	6327	84
18	6619	84
19	6895	84
20	6969	84
21	7003	84
22	7944	84

Stop Event

1×	node limit

Counts

26 → 16

Calls

Call 1

Inputs
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))

Outputs
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.f64 (.f64 1/625000000000000000000000000000000000000000000000000000000000000 (.f64 t t)))
✓	0.2b	(.f64 t (sqrt.f64 (.f64 1/625000000000000000000000000000000000000000000000000000000000000 (*.f64 t t))))
✓	0.2b	(.f64 1/625000000000000000000000000000000000000000000000000000000000000 (.f64 t t))

New

Error

Program

✓

0.1b

(sqrt.f64 (*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (*.f64 t t)))

✓

0.2b

(*.f64 t (sqrt.f64 (*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (*.f64 t t))))

✓

0.2b

(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (*.f64 t t))

Compiler

Compiled 25 to 12 computations (52% saved)

series3.0ms (0.1%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	t	@	inf	(.f64 1/625000000000000000000000000000000000000000000000000000000000000 (.f64 t t))
1.0ms	t	@	0	(.f64 1/625000000000000000000000000000000000000000000000000000000000000 (.f64 t t))
0.0ms	t	@	-inf	(.f64 t (sqrt.f64 (.f64 1/625000000000000000000000000000000000000000000000000000000000000 (*.f64 t t))))
0.0ms	t	@	-inf	(.f64 1/625000000000000000000000000000000000000000000000000000000000000 (.f64 t t))
0.0ms	t	@	0	(.f64 t (sqrt.f64 (.f64 1/625000000000000000000000000000000000000000000000000000000000000 (*.f64 t t))))

rewrite61.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

608×	`pow1_binary64`
568×	`add-log-exp_binary64`
568×	`log1p-expm1-u_binary64`
568×	`expm1-log1p-u_binary64`
554×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	28
1	144	18
2	1659	18

Stop Event

1×	node limit

Counts

3 → 49

Calls

Call 1

Inputs

(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (*.f64 t t))

(*.f64 t (sqrt.f64 (*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (*.f64 t t))))

(sqrt.f64 (*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (*.f64 t t)))

Outputs

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

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

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

simplify173.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

2020×	`unswap-sqr_binary64`
1080×	`sqr-pow_binary64`
635×	`fabs-mul_binary64`
612×	`pow-sqr_binary64`
610×	`cube-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	216
1	22	216
2	37	216
3	75	216
4	214	216
5	698	216
6	898	216
7	1312	216
8	1412	216
9	1545	216
10	1717	216
11	1958	216
12	2273	216
13	2645	216
14	3103	216
15	3688	216
16	4394	216
17	5248	216
18	5672	216
19	5990	216
20	6296	216
21	6378	216
22	6414	216

Stop Event

1×	node limit

Counts

85 → 57

Calls

Call 1

Inputs
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 -1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 -1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 -1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 -1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 -1/25000000000000000000000000000000 t)
(*.f64 -1/25000000000000000000000000000000 t)
(*.f64 -1/25000000000000000000000000000000 t)
(*.f64 -1/25000000000000000000000000000000 t)

Outputs
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/625000000000000000000000000000000000000000000000000000000000000 (.f64 t t))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/625000000000000000000000000000000000000000000000000000000000000 (.f64 t t))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/625000000000000000000000000000000000000000000000000000000000000 (.f64 t t))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/625000000000000000000000000000000000000000000000000000000000000 (.f64 t t))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/625000000000000000000000000000000000000000000000000000000000000 (.f64 t t))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/625000000000000000000000000000000000000000000000000000000000000 (.f64 t t))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/625000000000000000000000000000000000000000000000000000000000000 (.f64 t t))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/625000000000000000000000000000000000000000000000000000000000000 (.f64 t t))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/625000000000000000000000000000000000000000000000000000000000000 (.f64 t t))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/625000000000000000000000000000000000000000000000000000000000000 (.f64 t t))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/625000000000000000000000000000000000000000000000000000000000000 (.f64 t t))
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/625000000000000000000000000000000000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(*.f64 -1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) -1/25000000000000000000000000000000)
(.f64 t (.f64 t -1/25000000000000000000000000000000))
(*.f64 -1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) -1/25000000000000000000000000000000)
(.f64 t (.f64 t -1/25000000000000000000000000000000))
(*.f64 -1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) -1/25000000000000000000000000000000)
(.f64 t (.f64 t -1/25000000000000000000000000000000))
(*.f64 -1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) -1/25000000000000000000000000000000)
(.f64 t (.f64 t -1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 t 1/25000000000000000000000000000000)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 t 1/25000000000000000000000000000000)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 t 1/25000000000000000000000000000000)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 t 1/25000000000000000000000000000000)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 t 1/25000000000000000000000000000000)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 t 1/25000000000000000000000000000000)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 t 1/25000000000000000000000000000000)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 t 1/25000000000000000000000000000000)
(*.f64 -1/25000000000000000000000000000000 t)
(*.f64 t -1/25000000000000000000000000000000)
(*.f64 -1/25000000000000000000000000000000 t)
(*.f64 t -1/25000000000000000000000000000000)
(*.f64 -1/25000000000000000000000000000000 t)
(*.f64 t -1/25000000000000000000000000000000)
(*.f64 -1/25000000000000000000000000000000 t)
(*.f64 t -1/25000000000000000000000000000000)

localize12.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 t (pow.f64 (.f64 1/5000000000000000 (sqrt.f64 t)) 2))
✓	0.3b	(*.f64 1/5000000000000000 (sqrt.f64 t))
✓	0.5b	(pow.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 2)

Compiler

Compiled 24 to 15 computations (37.5% saved)

series8.0ms (0.2%)

Counts

3 → 12

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	t	@	-inf	(pow.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 2)
1.0ms	t	@	0	(pow.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 2)
1.0ms	t	@	-inf	(.f64 t (pow.f64 (.f64 1/5000000000000000 (sqrt.f64 t)) 2))
1.0ms	t	@	inf	(pow.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 2)
1.0ms	t	@	inf	(*.f64 1/5000000000000000 (sqrt.f64 t))

rewrite58.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

657×	`pow1_binary64`
610×	`add-log-exp_binary64`
610×	`log1p-expm1-u_binary64`
610×	`expm1-log1p-u_binary64`
595×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	27
1	167	17
2	1784	17

Stop Event

1×	node limit

Counts

3 → 48

Calls

Call 1

Inputs
(pow.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 2)
(*.f64 1/5000000000000000 (sqrt.f64 t))
(.f64 t (pow.f64 (.f64 1/5000000000000000 (sqrt.f64 t)) 2))

Outputs

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

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

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

simplify93.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

618×	`unswap-sqr_binary64`
510×	`unsub-neg_binary64`
351×	`fma-def_binary64`
292×	`fma-neg_binary64`
287×	`sqr-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	84
1	25	84
2	60	84
3	171	84
4	713	84
5	1153	84
6	2208	84
7	2679	84
8	3269	84
9	4118	84
10	5762	84
11	7416	84

Stop Event

1×	node limit

Counts

60 → 51

Calls

Call 1

Inputs
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 -1/25000000000000000000000000000000 (.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 t 2)))
(.f64 -1/25000000000000000000000000000000 (.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 t 2)))
(.f64 -1/25000000000000000000000000000000 (.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 t 2)))
(.f64 -1/25000000000000000000000000000000 (.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 t 2)))

Outputs
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 -1/25000000000000000000000000000000 (.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 t 2)))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 -1/25000000000000000000000000000000 (.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 t 2)))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 -1/25000000000000000000000000000000 (.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 t 2)))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 -1/25000000000000000000000000000000 (.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 t 2)))
(.f64 1/25000000000000000000000000000000 (.f64 t t))

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 t 1/5000000000000000)
✓	0.5b	(pow.f64 (*.f64 t 1/5000000000000000) 2)

Compiler

Compiled 12 to 9 computations (25% saved)

series3.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	t	@	0	(pow.f64 (*.f64 t 1/5000000000000000) 2)
1.0ms	t	@	-inf	(pow.f64 (*.f64 t 1/5000000000000000) 2)
1.0ms	t	@	inf	(pow.f64 (*.f64 t 1/5000000000000000) 2)
0.0ms	t	@	0	(*.f64 t 1/5000000000000000)
0.0ms	t	@	-inf	(*.f64 t 1/5000000000000000)

rewrite48.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

487×	`pow1_binary64`
475×	`add-sqr-sqrt_binary64`
464×	`*-un-lft-identity_binary64`
453×	`add-log-exp_binary64`
453×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	11
1	127	11
2	1309	11

Stop Event

1×	node limit

Counts

2 → 35

Calls

Call 1

Inputs
(pow.f64 (*.f64 t 1/5000000000000000) 2)
(*.f64 t 1/5000000000000000)

Outputs

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

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

simplify177.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

1101×	`sqr-pow_binary64`
565×	`cube-prod_binary64`
560×	`fabs-mul_binary64`
528×	`pow-sqr_binary64`
517×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	132
1	15	132
2	26	132
3	52	132
4	123	132
5	377	132
6	1466	132
7	2355	132
8	2519	132
9	2732	132
10	2952	132
11	3258	132
12	3660	132
13	4153	132
14	4721	132
15	5407	132
16	6238	132
17	6632	132
18	6922	132
19	7198	132
20	7272	132
21	7308	132

Stop Event

1×	node limit

Counts

59 → 38

Calls

Call 1

Inputs
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 t)
(*.f64 1/5000000000000000 t)
(*.f64 1/5000000000000000 t)
(*.f64 1/5000000000000000 t)
(*.f64 1/5000000000000000 t)
(*.f64 1/5000000000000000 t)
(*.f64 1/5000000000000000 t)
(*.f64 1/5000000000000000 t)
(*.f64 1/5000000000000000 t)
(*.f64 1/5000000000000000 t)
(*.f64 1/5000000000000000 t)
(*.f64 1/5000000000000000 t)

Outputs
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/5000000000000000 t)
(*.f64 t 1/5000000000000000)
(*.f64 1/5000000000000000 t)
(*.f64 t 1/5000000000000000)
(*.f64 1/5000000000000000 t)
(*.f64 t 1/5000000000000000)
(*.f64 1/5000000000000000 t)
(*.f64 t 1/5000000000000000)
(*.f64 1/5000000000000000 t)
(*.f64 t 1/5000000000000000)
(*.f64 1/5000000000000000 t)
(*.f64 t 1/5000000000000000)
(*.f64 1/5000000000000000 t)
(*.f64 t 1/5000000000000000)
(*.f64 1/5000000000000000 t)
(*.f64 t 1/5000000000000000)
(*.f64 1/5000000000000000 t)
(*.f64 t 1/5000000000000000)
(*.f64 1/5000000000000000 t)
(*.f64 t 1/5000000000000000)
(*.f64 1/5000000000000000 t)
(*.f64 t 1/5000000000000000)
(*.f64 1/5000000000000000 t)
(*.f64 t 1/5000000000000000)

eval39.0ms (0.8%)

Compiler: Compiled 1416 to 995 computations (29.7% saved)

prune22.0ms (0.5%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	157	5	162
Fresh	0	0	0
Picked	1	0	1
Done	2	2	4
Total	160	7	167

Error

Counts

167 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.6b	(.f64 t (.f64 (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2) t))
▶	0.2b	(sqrt.f64 (*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4)))
✓	0.4b	(.f64 1/25000000000000000000000000000000 (.f64 t t))
✓	0.4b	(.f64 t (.f64 t 1/25000000000000000000000000000000))
▶	0.5b	(.f64 (.f64 t 1/5000000000000000) (*.f64 t 1/5000000000000000))
▶	0.4b	(.f64 (.f64 (*.f64 t 1/5000000000000000) 1/5000000000000000) t)
▶	0.5b	(.f64 (.f64 (*.f64 t 1/5000000000000000) t) 1/5000000000000000)

Compiler

Compiled 90 to 68 computations (24.4% saved)

localize17.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f64 t 4)
✓	0.1b	(sqrt.f64 (*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4)))
✓	0.3b	(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))

Compiler

Compiled 18 to 14 computations (22.2% saved)

series7.0ms (0.1%)

Counts

3 → 12

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	t	@	-inf	(pow.f64 t 4)
1.0ms	t	@	inf	(pow.f64 t 4)
1.0ms	t	@	0	(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))
1.0ms	t	@	inf	(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))
0.0ms	t	@	-inf	(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))

rewrite62.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

573×	`pow1_binary64`
539×	`add-log-exp_binary64`
539×	`log1p-expm1-u_binary64`
539×	`expm1-log1p-u_binary64`
526×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	20
1	148	18
2	1559	18

Stop Event

1×	node limit

Counts

3 → 50

Calls

Call 1

Inputs
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))
(sqrt.f64 (*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4)))
(pow.f64 t 4)

Outputs

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

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 (*.f64 t t) 1/25000000000000000000000000000000)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 t t) 1/25000000000000000000000000000000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 (*.f64 t t) 1/25000000000000000000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 t t) 1/25000000000000000000000000000000)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 t t) (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))) (cbrt.f64 (*.f64 (*.f64 t t) 1/25000000000000000000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (*.f64 t t) 1/25000000000000000000000000000000)) (cbrt.f64 (*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/25000000000000000000000000000000 (*.f64 t t))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1/5000000000000000 t) (*.f64 1/5000000000000000 t))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (cbrt.f64 (*.f64 (pow.f64 t 8) 1/390625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (sqrt.f64 (cbrt.f64 (*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2) (*.f64 t t))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/2) (*.f64 (*.f64 t t) 1/25000000000000000000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 (pow.f64 t 8) 1/390625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 1/2) (pow.f64 (cbrt.f64 (*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (*.f64 t t) 1/25000000000000000000000000000000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4)) 3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (*.f64 t t) 1/25000000000000000000000000000000)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/5000000000000000 t) 2)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 t t) 1/25000000000000000000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 1/25000000000000000000000000000000) (*.f64 t t)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4)) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (*.f64 t t) 1/25000000000000000000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (*.f64 t t) 1/25000000000000000000000000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (*.f64 t t) 1/25000000000000000000000000000000)))))))

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

simplify172.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
554×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
441×	`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	105	84
5	331	84
6	1250	84
7	2123	84
8	2287	84
9	2471	84
10	2679	84
11	2976	84
12	3371	84
13	3852	84
14	4418	84
15	5102	84
16	5935	84
17	6327	84
18	6619	84
19	6895	84
20	6969	84
21	7003	84
22	7944	84

Stop Event

1×	node limit

Counts

62 → 52

Calls

Call 1

Inputs
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))

Outputs
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.2b	(*.f64 t 1/5000000000000000)
✓	0.5b	(.f64 (.f64 t 1/5000000000000000) (*.f64 t 1/5000000000000000))

Compiler

Compiled 13 to 9 computations (30.8% saved)

series2.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
2.0ms	t	@	0	(.f64 (.f64 t 1/5000000000000000) (*.f64 t 1/5000000000000000))
0.0ms	t	@	inf	(.f64 (.f64 t 1/5000000000000000) (*.f64 t 1/5000000000000000))
0.0ms	t	@	-inf	(.f64 (.f64 t 1/5000000000000000) (*.f64 t 1/5000000000000000))

rewrite40.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

454×	`pow1_binary64`
441×	`add-sqr-sqrt_binary64`
431×	`*-un-lft-identity_binary64`
423×	`add-log-exp_binary64`
423×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	105	7
2	1208	7

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 (.f64 t 1/5000000000000000) (*.f64 t 1/5000000000000000))

Outputs

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

simplify173.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
554×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
441×	`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	105	84
5	331	84
6	1250	84
7	2123	84
8	2287	84
9	2471	84
10	2679	84
11	2976	84
12	3371	84
13	3852	84
14	4418	84
15	5102	84
16	5935	84
17	6327	84
18	6619	84
19	6895	84
20	6969	84
21	7003	84
22	7944	84

Stop Event

1×	node limit

Counts

23 → 13

Calls

Call 1

Inputs
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))

Outputs
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.2b	(*.f64 t 1/5000000000000000)
✓	0.2b	(.f64 (.f64 (*.f64 t 1/5000000000000000) 1/5000000000000000) t)
✓	0.3b	(.f64 (.f64 t 1/5000000000000000) 1/5000000000000000)

Compiler

Compiled 18 to 13 computations (27.8% saved)

series2.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite93.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

521×	`pow1_binary64`
503×	`add-sqr-sqrt_binary64`
482×	`add-log-exp_binary64`
482×	`log1p-expm1-u_binary64`
482×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	11
1	123	11
2	1382	11

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

Inputs
(.f64 (.f64 t 1/5000000000000000) 1/5000000000000000)
(.f64 (.f64 (*.f64 t 1/5000000000000000) 1/5000000000000000) t)

Outputs

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

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

simplify182.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
553×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
443×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	132
1	14	132
2	23	132
3	42	132
4	102	132
5	321	132
6	1252	132
7	2126	132
8	2290	132
9	2474	132
10	2682	132
11	2978	132
12	3371	132
13	3852	132
14	4418	132
15	5106	132
16	5941	132
17	6333	132
18	6623	132
19	6895	132
20	6967	132
21	7003	132
22	7944	132

Stop Event

1×	node limit

Counts

46 → 25

Calls

Call 1

Inputs
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))

Outputs
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.2b	(*.f64 t 1/5000000000000000)
✓	0.3b	(.f64 (.f64 (*.f64 t 1/5000000000000000) t) 1/5000000000000000)
✓	0.3b	(.f64 (.f64 t 1/5000000000000000) t)

Compiler

Compiled 18 to 12 computations (33.3% saved)

series2.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite48.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

518×	`pow1_binary64`
500×	`add-sqr-sqrt_binary64`
479×	`add-log-exp_binary64`
479×	`log1p-expm1-u_binary64`
479×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	17
1	122	14
2	1370	14

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

Inputs
(.f64 (.f64 t 1/5000000000000000) t)
(.f64 (.f64 (*.f64 t 1/5000000000000000) t) 1/5000000000000000)

Outputs

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

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

simplify163.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

2020×	`unswap-sqr_binary64`
1080×	`sqr-pow_binary64`
637×	`fabs-mul_binary64`
612×	`pow-sqr_binary64`
610×	`cube-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	168
1	15	168
2	30	168
3	62	168
4	160	168
5	503	168
6	692	168
7	1106	168
8	1206	168
9	1341	168
10	1513	168
11	1756	168
12	2073	168
13	2443	168
14	2899	168
15	3486	168
16	4192	168
17	5050	168
18	5478	168
19	5792	168
20	6098	168
21	6176	168
22	6212	168

Stop Event

1×	node limit

Counts

46 → 26

Calls

Call 1

Inputs
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))

Outputs
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 1/5000000000000000 (.f64 t t))
(.f64 t (.f64 1/5000000000000000 t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 1/5000000000000000 (.f64 t t))
(.f64 t (.f64 1/5000000000000000 t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 1/5000000000000000 (.f64 t t))
(.f64 t (.f64 1/5000000000000000 t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 1/5000000000000000 (.f64 t t))
(.f64 t (.f64 1/5000000000000000 t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 1/5000000000000000 (.f64 t t))
(.f64 t (.f64 1/5000000000000000 t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 1/5000000000000000 (.f64 t t))
(.f64 t (.f64 1/5000000000000000 t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 1/5000000000000000 (.f64 t t))
(.f64 t (.f64 1/5000000000000000 t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 1/5000000000000000 (.f64 t t))
(.f64 t (.f64 1/5000000000000000 t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 1/5000000000000000 (.f64 t t))
(.f64 t (.f64 1/5000000000000000 t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 1/5000000000000000 (.f64 t t))
(.f64 t (.f64 1/5000000000000000 t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 1/5000000000000000 (.f64 t t))
(.f64 t (.f64 1/5000000000000000 t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 1/5000000000000000 (.f64 t t))
(.f64 t (.f64 1/5000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 1/25000000000000000000000000000000 (.f64 t t))

localize18.0ms (0.4%)

Local error

Found 3 expressions with local error:

New

Error

Program

✓

0.2b

(*.f64 t (*.f64 (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2) t))

✓

0.4b

(*.f64 (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2) t)

✓

1.0b

(pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2)

Compiler

Compiled 19 to 15 computations (21.1% saved)

series2.0ms (0%)

Counts

3 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	t	@	0	(*.f64 (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2) t)
0.0ms	t	@	-inf	(*.f64 (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2) t)
0.0ms	t	@	inf	(*.f64 (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2) t)
0.0ms	t	@	inf	(.f64 t (.f64 (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2) t))
0.0ms	t	@	0	(.f64 t (.f64 (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2) t))

rewrite56.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

583×	`pow1_binary64`
546×	`add-log-exp_binary64`
546×	`log1p-expm1-u_binary64`
546×	`expm1-log1p-u_binary64`
536×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	151	12
2	1507	12

Stop Event

1×	node limit

Counts

3 → 23

Calls

Call 1

Inputs

(pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2)

(*.f64 (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2) t)

(*.f64 t (*.f64 (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2) t))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x . 1/25000000000000000000000000000000)))))

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

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

simplify185.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
553×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
443×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	132
1	14	132
2	23	132
3	42	132
4	102	132
5	321	132
6	1252	132
7	2126	132
8	2290	132
9	2474	132
10	2682	132
11	2978	132
12	3371	132
13	3852	132
14	4418	132
15	5106	132
16	5941	132
17	6333	132
18	6623	132
19	6895	132
20	6967	132
21	7003	132
22	7944	132

Stop Event

1×	node limit

Counts

47 → 26

Calls

Call 1

Inputs
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))

Outputs
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))

eval49.0ms (1%)

Compiler: Compiled 1680 to 1236 computations (26.4% saved)

prune26.0ms (0.5%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	201	1	202
Fresh	0	0	0
Picked	1	0	1
Done	1	5	6
Total	203	6	209

Error

Counts

209 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.4b	(.f64 t (.f64 t 1/25000000000000000000000000000000))
▶	0.5b	(.f64 (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2) (.f64 t t))
✓	0.4b	(.f64 1/25000000000000000000000000000000 (.f64 t t))
✓	0.5b	(.f64 (.f64 t 1/5000000000000000) (*.f64 t 1/5000000000000000))
✓	0.4b	(.f64 (.f64 (*.f64 t 1/5000000000000000) 1/5000000000000000) t)
✓	0.5b	(.f64 (.f64 (*.f64 t 1/5000000000000000) t) 1/5000000000000000)

Compiler

Compiled 44 to 32 computations (27.3% saved)

localize12.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.4b	(.f64 (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2) (.f64 t t))
	1.0b	(pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2)

Compiler

Compiled 17 to 11 computations (35.3% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time

Variable

Point

Expression

1.0ms

inf

(*.f64 (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2) (*.f64 t t))

0.0ms

(*.f64 (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2) (*.f64 t t))

0.0ms

-inf

(*.f64 (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2) (*.f64 t t))

rewrite52.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

562×	`pow1_binary64`
527×	`add-log-exp_binary64`
527×	`log1p-expm1-u_binary64`
527×	`expm1-log1p-u_binary64`
516×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	7
1	151	7
2	1502	7

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2) (.f64 t t))

Outputs

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

simplify223.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
554×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
441×	`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	105	84
5	331	84
6	1250	84
7	2123	84
8	2287	84
9	2471	84
10	2679	84
11	2976	84
12	3371	84
13	3852	84
14	4418	84
15	5102	84
16	5935	84
17	6327	84
18	6619	84
19	6895	84
20	6969	84
21	7003	84
22	7944	84

Stop Event

1×	node limit

Counts

23 → 13

Calls

Call 1

Inputs
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))

Outputs
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))

eval3.0ms (0.1%)

Compiler: Compiled 96 to 62 computations (35.4% saved)

prune4.0ms (0.1%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	14	0	14
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	14	6	20

Error

Counts

20 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.4b	(.f64 t (.f64 t 1/25000000000000000000000000000000))
✓	0.5b	(.f64 (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2) (.f64 t t))
✓	0.4b	(.f64 1/25000000000000000000000000000000 (.f64 t t))
✓	0.5b	(.f64 (.f64 t 1/5000000000000000) (*.f64 t 1/5000000000000000))
✓	0.4b	(.f64 (.f64 (*.f64 t 1/5000000000000000) 1/5000000000000000) t)
✓	0.5b	(.f64 (.f64 (*.f64 t 1/5000000000000000) t) 1/5000000000000000)

Compiler

Compiled 44 to 32 computations (27.3% saved)

regimes29.0ms (0.6%)

Counts

12 → 1

Calls

Call 1

Inputs
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 (.f64 t 1/5000000000000000) (*.f64 t 1/5000000000000000))
(.f64 (.f64 (*.f64 t 1/5000000000000000) 1/5000000000000000) t)
(.f64 (.f64 (*.f64 t 1/5000000000000000) t) 1/5000000000000000)
(+.f64 (.f64 (+.f64 1 (.f64 t 1/5000000000000000)) (+.f64 1 (.f64 t 1/5000000000000000))) (-.f64 -1 (.f64 2 (*.f64 t 1/5000000000000000))))
(pow.f64 (*.f64 t 1/5000000000000000) 2)
(.f64 (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2) (.f64 t t))
(.f64 t (.f64 (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2) t))
(.f64 t (sqrt.f64 (.f64 1/625000000000000000000000000000000000000000000000000000000000000 (*.f64 t t))))
(sqrt.f64 (*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4)))
(.f64 t (pow.f64 (.f64 1/5000000000000000 (sqrt.f64 t)) 2))

Outputs
(sqrt.f64 (*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4)))

Calls

4 calls:

8.0ms	(*.f64 t 1/5000000000000000)
8.0ms	t
7.0ms	(*.f64 t 1/5000000000000000)
3.0ms	(+.f64 (.f64 (+.f64 1 (.f64 t 1/5000000000000000)) (+.f64 1 (.f64 t 1/5000000000000000))) (-.f64 -1 (.f64 2 (*.f64 t 1/5000000000000000))))

Results

Error	Segments	Branch
0.2b	1	`t`
0.2b	1	`(+.f64 (.f64 (+.f64 1 (.f64 t 1/5000000000000000)) (+.f64 1 (.f64 t 1/5000000000000000))) (-.f64 -1 (.f64 2 (*.f64 t 1/5000000000000000))))`
0.2b	1	`(*.f64 t 1/5000000000000000)`
0.2b	1	`(*.f64 t 1/5000000000000000)`

Compiler

Compiled 122 to 90 computations (26.2% saved)

regimes25.0ms (0.5%)

Counts

10 → 1

Calls

Call 1

Inputs
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 (.f64 t 1/5000000000000000) (*.f64 t 1/5000000000000000))
(.f64 (.f64 (*.f64 t 1/5000000000000000) 1/5000000000000000) t)
(.f64 (.f64 (*.f64 t 1/5000000000000000) t) 1/5000000000000000)
(+.f64 (.f64 (+.f64 1 (.f64 t 1/5000000000000000)) (+.f64 1 (.f64 t 1/5000000000000000))) (-.f64 -1 (.f64 2 (*.f64 t 1/5000000000000000))))
(pow.f64 (*.f64 t 1/5000000000000000) 2)
(.f64 (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2) (.f64 t t))
(.f64 t (.f64 (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2) t))
(.f64 t (sqrt.f64 (.f64 1/625000000000000000000000000000000000000000000000000000000000000 (*.f64 t t))))

Outputs
(.f64 t (sqrt.f64 (.f64 1/625000000000000000000000000000000000000000000000000000000000000 (*.f64 t t))))

Calls

4 calls:

6.0ms	t
6.0ms	(*.f64 t 1/5000000000000000)
6.0ms	(*.f64 t 1/5000000000000000)
3.0ms	(+.f64 (.f64 (+.f64 1 (.f64 t 1/5000000000000000)) (+.f64 1 (.f64 t 1/5000000000000000))) (-.f64 -1 (.f64 2 (*.f64 t 1/5000000000000000))))

Results

Error	Segments	Branch
0.3b	1	`t`
0.3b	1	`(+.f64 (.f64 (+.f64 1 (.f64 t 1/5000000000000000)) (+.f64 1 (.f64 t 1/5000000000000000))) (-.f64 -1 (.f64 2 (*.f64 t 1/5000000000000000))))`
0.3b	1	`(*.f64 t 1/5000000000000000)`
0.3b	1	`(*.f64 t 1/5000000000000000)`

Compiler

Compiled 108 to 79 computations (26.9% saved)

regimes24.0ms (0.5%)

Accuracy

Total -61.5b remaining (-15731.9%)

Threshold costs -61.5b (-15731.9%)

Counts

9 → 1

Calls

Call 1

Inputs
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 (.f64 t 1/5000000000000000) (*.f64 t 1/5000000000000000))
(.f64 (.f64 (*.f64 t 1/5000000000000000) 1/5000000000000000) t)
(.f64 (.f64 (*.f64 t 1/5000000000000000) t) 1/5000000000000000)
(+.f64 (.f64 (+.f64 1 (.f64 t 1/5000000000000000)) (+.f64 1 (.f64 t 1/5000000000000000))) (-.f64 -1 (.f64 2 (*.f64 t 1/5000000000000000))))
(pow.f64 (*.f64 t 1/5000000000000000) 2)
(.f64 (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2) (.f64 t t))
(.f64 t (.f64 (pow.f64 1/625000000000000000000000000000000000000000000000000000000000000 1/2) t))

Outputs
(.f64 t (.f64 t 1/25000000000000000000000000000000))

Calls

4 calls:

7.0ms	(*.f64 t 1/5000000000000000)
6.0ms	(*.f64 t 1/5000000000000000)
6.0ms	t
2.0ms	(+.f64 (.f64 (+.f64 1 (.f64 t 1/5000000000000000)) (+.f64 1 (.f64 t 1/5000000000000000))) (-.f64 -1 (.f64 2 (*.f64 t 1/5000000000000000))))

Results

Error	Segments	Branch
0.4b	1	`t`
0.4b	1	`(+.f64 (.f64 (+.f64 1 (.f64 t 1/5000000000000000)) (+.f64 1 (.f64 t 1/5000000000000000))) (-.f64 -1 (.f64 2 (*.f64 t 1/5000000000000000))))`
0.4b	1	`(*.f64 t 1/5000000000000000)`
0.4b	1	`(*.f64 t 1/5000000000000000)`

Compiler

Compiled 100 to 75 computations (25% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	35
1	21	35

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(sqrt.f64 (*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4)))
(.f64 t (sqrt.f64 (.f64 1/625000000000000000000000000000000000000000000000000000000000000 (*.f64 t t))))
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 1/25000000000000000000000000000000 (.f64 t t))

Outputs
(sqrt.f64 (*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4)))
(.f64 t (sqrt.f64 (.f64 1/625000000000000000000000000000000000000000000000000000000000000 (*.f64 t t))))
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)

Compiler

Compiled 28 to 20 computations (28.6% saved)

soundness390.0ms (8%)

Algorithm

2×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
955×	`fma-def_binary64`
617×	`cube-prod_binary64`
567×	`unsub-neg_binary64`
553×	`fabs-mul_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	12	26
1	35	19
2	115	17
3	354	15
4	1306	7
5	3691	7
6	5418	7
7	6925	7
8	7902	7
0	7	132
1	14	132
2	23	132
3	42	132
4	102	132
5	321	132
6	1252	132
7	2126	132
8	2290	132
9	2474	132
10	2682	132
11	2978	132
12	3371	132
13	3852	132
14	4418	132
15	5106	132
16	5941	132
17	6333	132
18	6623	132
19	6895	132
20	6967	132
21	7003	132
22	7944	132

Stop Event

1×	node limit
1×	node limit

Compiler

Compiled 399 to 330 computations (17.3% saved)

end47.0ms (1%)

Compiler: Compiled 25 to 16 computations (36% saved)

Details

analyze0.0ms (0%)

sample1.3s (26.9%)

preprocess90.0ms (1.8%)

simplify79.0ms (1.6%)

eval1.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.1%)

series3.0ms (0.1%)

rewrite75.0ms (1.5%)

simplify203.0ms (4.1%)

eval10.0ms (0.2%)

prune9.0ms (0.2%)

localize10.0ms (0.2%)

series2.0ms (0%)

rewrite60.0ms (1.2%)

simplify177.0ms (3.6%)

localize9.0ms (0.2%)

series3.0ms (0.1%)

rewrite61.0ms (1.2%)

simplify173.0ms (3.5%)

localize12.0ms (0.3%)

series8.0ms (0.2%)

rewrite58.0ms (1.2%)

simplify93.0ms (1.9%)

localize6.0ms (0.1%)

series3.0ms (0.1%)

rewrite48.0ms (1%)

simplify177.0ms (3.6%)

eval39.0ms (0.8%)

prune22.0ms (0.5%)

localize17.0ms (0.3%)

series7.0ms (0.1%)

rewrite62.0ms (1.3%)

simplify172.0ms (3.5%)

localize5.0ms (0.1%)

series2.0ms (0%)

rewrite40.0ms (0.8%)

simplify173.0ms (3.5%)

localize9.0ms (0.2%)

series2.0ms (0%)

rewrite93.0ms (1.9%)

simplify182.0ms (3.7%)

localize7.0ms (0.1%)

series2.0ms (0%)

rewrite48.0ms (1%)

simplify163.0ms (3.3%)

localize18.0ms (0.4%)

series2.0ms (0%)

rewrite56.0ms (1.1%)

simplify185.0ms (3.8%)

eval49.0ms (1%)

prune26.0ms (0.5%)

localize12.0ms (0.3%)

series1.0ms (0%)

rewrite52.0ms (1.1%)

simplify223.0ms (4.5%)

eval3.0ms (0.1%)

prune4.0ms (0.1%)

regimes29.0ms (0.6%)

regimes25.0ms (0.5%)

regimes24.0ms (0.5%)

simplify5.0ms (0.1%)

soundness390.0ms (8%)

end47.0ms (1%)

Profiling