Details

analyze1.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1

Compiler

Compiled 27 to 22 computations (18.5% saved)

sample1.6s (28.9%)

Results

1.6s

8256×

body

256

valid

preprocess86.0ms (1.5%)

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)

simplify78.0ms (1.4%)

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)

localize5.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	@	0	(.f64 t (.f64 t 1/25000000000000000000000000000000))
1.0ms	t	@	-inf	(*.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))

rewrite44.0ms (0.8%)

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))))))))

simplify181.0ms (3.2%)

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))

eval5.0ms (0.1%)

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

prune9.0ms (0.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	19	6	25
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	19	7	26

Error

0.0b

Counts

26 → 7

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))
▶	1.9b	(.f64 t (pow.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) 3))
✓	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))
▶	0.7b	(cbrt.f64 (pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 3))

Compiler

Compiled 102 to 76 computations (25.5% saved)

localize10.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

New

Error

Program

✓

0.2b

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

✓

0.2b

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

✓

0.3b

(*.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))))

rewrite58.0ms (1%)

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)))

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)))))))

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)))))))

simplify170.0ms (3%)

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)

localize75.0ms (1.3%)

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)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
0.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))

rewrite42.0ms (0.7%)

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))))))))

simplify174.0ms (3.1%)

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))

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 t 1/5000000000000000)
✓	0.4b	(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	@	-inf	(*.f64 t 1/5000000000000000)
0.0ms	t	@	0	(*.f64 t 1/5000000000000000)

rewrite49.0ms (0.9%)

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)))))))

simplify168.0ms (3%)

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)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(.f64 t (.f64 t 1/25000000000000000000000000000000))
	0.4b	(*.f64 t 1/25000000000000000000000000000000)
✓	0.6b	(cbrt.f64 (pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 3))
✓	0.7b	(pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 3)

Compiler

Compiled 27 to 19 computations (29.6% saved)

series6.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

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

rewrite109.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

632×	`pow1_binary64`
599×	`add-log-exp_binary64`
599×	`log1p-expm1-u_binary64`
599×	`expm1-log1p-u_binary64`
584×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	173	17
2	1735	17

Stop Event

1×	node limit

Counts

2 → 59

Calls

Call 1

Inputs
(pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 3)
(cbrt.f64 (pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 3))

Outputs

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

simplify131.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

2362×	`associate-l_binary64`
898×	`sqr-pow_binary64`
477×	`pow-sqr_binary64`
370×	`cube-prod_binary64`
299×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	192
1	21	192
2	43	192
3	122	192
4	536	192
5	870	192
6	991	192
7	1164	192
8	1344	192
9	1573	192
10	1864	192
11	2231	192
12	2616	192
13	3094	192
14	3675	192
15	3901	192
16	4079	192
17	4221	192
18	4317	192
19	4391	192

Stop Event

1×	node limit

Counts

83 → 62

Calls

Call 1

Inputs
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 6))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 6))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 6))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 6))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 6))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 6))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 6))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 6))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 6))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 6))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 6))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 6))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))

Outputs
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 6))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 6))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 6))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 6))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 6))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 6))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 6))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 6))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 6))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 6))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 6))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 6))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(.f64 t (.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(.f64 t (.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(.f64 t (.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(.f64 t (.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(.f64 t (.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(.f64 t (.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(.f64 t (.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(.f64 t (.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(.f64 t (.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(.f64 t (.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(.f64 t (.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(.f64 t (.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 t (pow.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) 3))
	0.4b	(*.f64 t 1/25000000000000000000000000000000)
✓	0.8b	(cbrt.f64 (*.f64 t 1/25000000000000000000000000000000))
✓	0.9b	(pow.f64 (cbrt.f64 (*.f64 t 1/25000000000000000000000000000000)) 3)

Compiler

Compiled 25 to 19 computations (24% saved)

series15.0ms (0.3%)

Counts

3 → 12

Calls

9 calls:

Time	Variable		Point	Expression
4.0ms	t	@	0	(.f64 t (pow.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) 3))
3.0ms	t	@	-inf	(.f64 t (pow.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) 3))
2.0ms	t	@	0	(pow.f64 (cbrt.f64 (*.f64 t 1/25000000000000000000000000000000)) 3)
2.0ms	t	@	-inf	(pow.f64 (cbrt.f64 (*.f64 t 1/25000000000000000000000000000000)) 3)
1.0ms	t	@	inf	(pow.f64 (cbrt.f64 (*.f64 t 1/25000000000000000000000000000000)) 3)

rewrite64.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

621×	`pow1_binary64`
588×	`add-log-exp_binary64`
588×	`log1p-expm1-u_binary64`
588×	`expm1-log1p-u_binary64`
575×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	171	17
2	1662	17

Stop Event

1×	node limit

Counts

3 → 60

Calls

Call 1

Inputs
(pow.f64 (cbrt.f64 (*.f64 t 1/25000000000000000000000000000000)) 3)
(cbrt.f64 (*.f64 t 1/25000000000000000000000000000000))
(.f64 t (pow.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) 3))

Outputs

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

simplify171.0ms (3%)

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

72 → 62

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))

eval137.0ms (2.4%)

Compiler: Compiled 2672 to 1951 computations (27% saved)

prune39.0ms (0.7%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	267	5	272
Fresh	1	0	1
Picked	1	0	1
Done	3	2	5
Total	272	7	279

Error

Counts

279 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.4b	(.f64 1/25000000000000000000000000000000 (.f64 t t))
▶	0.2b	(sqrt.f64 (*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4)))
▶	0.6b	(.f64 t (.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
▶	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)
✓	0.4b	(.f64 t (.f64 t 1/25000000000000000000000000000000))

Compiler

Compiled 88 to 66 computations (25% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	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)

series3.0ms (0%)

Counts

2 → 12

Calls

6 calls:

Time	Variable		Point	Expression
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))
0.0ms	t	@	inf	(sqrt.f64 (*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4)))
0.0ms	t	@	0	(sqrt.f64 (*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4)))

rewrite86.0ms (1.5%)

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	16
1	148	14
2	1559	14

Stop Event

1×	node limit

Counts

2 → 36

Calls

Call 1

Inputs
(*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4))
(sqrt.f64 (*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (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)))))))

simplify172.0ms (3%)

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

48 → 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))

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))

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 13 to 9 computations (30.8% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
0.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.7%)

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))))))

simplify192.0ms (3.4%)

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))

localize8.0ms (0.1%)

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	@	0	(.f64 (.f64 (*.f64 t 1/5000000000000000) 1/5000000000000000) t)
0.0ms	t	@	inf	(.f64 (.f64 (*.f64 t 1/5000000000000000) 1/5000000000000000) t)

rewrite51.0ms (0.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))))))))

simplify180.0ms (3.2%)

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))

localize23.0ms (0.4%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 18 to 12 computations (33.3% saved)

series2.0ms (0%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	t	@	inf	(.f64 (.f64 t 1/5000000000000000) t)
0.0ms	t	@	0	(.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 (*.f64 t 1/5000000000000000) t) 1/5000000000000000)
0.0ms	t	@	-inf	(.f64 (.f64 (*.f64 t 1/5000000000000000) t) 1/5000000000000000)

rewrite47.0ms (0.8%)

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 (*.f64 t 1/5000000000000000) t) 1/5000000000000000)
(.f64 (.f64 t 1/5000000000000000) 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 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))))))))

((#(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))))))))

simplify159.0ms (2.8%)

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/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 (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))

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))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/5000000000000000)
(.f64 t (.f64 t 1/5000000000000000))
(.f64 1/5000000000000000 (.f64 t t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/5000000000000000)
(.f64 t (.f64 t 1/5000000000000000))
(.f64 1/5000000000000000 (.f64 t t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/5000000000000000)
(.f64 t (.f64 t 1/5000000000000000))
(.f64 1/5000000000000000 (.f64 t t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/5000000000000000)
(.f64 t (.f64 t 1/5000000000000000))
(.f64 1/5000000000000000 (.f64 t t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/5000000000000000)
(.f64 t (.f64 t 1/5000000000000000))
(.f64 1/5000000000000000 (.f64 t t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/5000000000000000)
(.f64 t (.f64 t 1/5000000000000000))
(.f64 1/5000000000000000 (.f64 t t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/5000000000000000)
(.f64 t (.f64 t 1/5000000000000000))
(.f64 1/5000000000000000 (.f64 t t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/5000000000000000)
(.f64 t (.f64 t 1/5000000000000000))
(.f64 1/5000000000000000 (.f64 t t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/5000000000000000)
(.f64 t (.f64 t 1/5000000000000000))
(.f64 1/5000000000000000 (.f64 t t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/5000000000000000)
(.f64 t (.f64 t 1/5000000000000000))
(.f64 1/5000000000000000 (.f64 t t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/5000000000000000)
(.f64 t (.f64 t 1/5000000000000000))
(.f64 1/5000000000000000 (.f64 t t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/5000000000000000)
(.f64 t (.f64 t 1/5000000000000000))
(.f64 1/5000000000000000 (.f64 t t))

localize11.0ms (0.2%)

Local error

Found 3 expressions with local error:

New

Error

Program

✓

0.2b

(*.f64 t (*.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))

✓

0.4b

(*.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))

✓

1.0b

(cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)

Compiler

Compiled 15 to 11 computations (26.7% saved)

series3.0ms (0%)

Counts

3 → 24

Calls

6 calls:

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

rewrite57.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

518×	`pow1_binary64`
499×	`add-sqr-sqrt_binary64`
484×	`add-log-exp_binary64`
484×	`log1p-expm1-u_binary64`
484×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	18
1	120	18
2	1343	18

Stop Event

1×	node limit

Counts

3 → 37

Calls

Call 1

Inputs

(cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)

(*.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))

(*.f64 t (*.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))

Outputs

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

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

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

simplify187.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	180
1	15	180
2	24	180
3	43	180
4	105	180
5	328	180
6	1263	180
7	2138	180
8	2302	180
9	2486	180
10	2694	180
11	2993	180
12	3384	180
13	3869	180
14	4435	180
15	5127	180
16	5962	180
17	6358	180
18	6646	180
19	6922	180
20	6994	180
21	7028	180
22	7969	180

Stop Event

1×	node limit

Counts

61 → 40

Calls

Call 1

Inputs
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))

Outputs
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))

eval50.0ms (0.9%)

Compiler: Compiled 1693 to 1251 computations (26.1% saved)

prune27.0ms (0.5%)

Pruning

7 alts after pruning (1 fresh and 6 done)

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

Error

Counts

209 → 7

Alt Table

Click to see full alt table

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

Compiler

Compiled 50 to 37 computations (26% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 18 to 9 computations (50% saved)

series1.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite46.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

527×	`pow1_binary64`
511×	`add-sqr-sqrt_binary64`
488×	`add-log-exp_binary64`
488×	`log1p-expm1-u_binary64`
488×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	17
1	123	14
2	1398	14

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

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

Outputs

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

simplify158.0ms (2.8%)

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/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 (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))

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))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/5000000000000000)
(.f64 t (.f64 t 1/5000000000000000))
(.f64 1/5000000000000000 (.f64 t t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/5000000000000000)
(.f64 t (.f64 t 1/5000000000000000))
(.f64 1/5000000000000000 (.f64 t t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/5000000000000000)
(.f64 t (.f64 t 1/5000000000000000))
(.f64 1/5000000000000000 (.f64 t t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/5000000000000000)
(.f64 t (.f64 t 1/5000000000000000))
(.f64 1/5000000000000000 (.f64 t t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/5000000000000000)
(.f64 t (.f64 t 1/5000000000000000))
(.f64 1/5000000000000000 (.f64 t t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/5000000000000000)
(.f64 t (.f64 t 1/5000000000000000))
(.f64 1/5000000000000000 (.f64 t t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/5000000000000000)
(.f64 t (.f64 t 1/5000000000000000))
(.f64 1/5000000000000000 (.f64 t t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/5000000000000000)
(.f64 t (.f64 t 1/5000000000000000))
(.f64 1/5000000000000000 (.f64 t t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/5000000000000000)
(.f64 t (.f64 t 1/5000000000000000))
(.f64 1/5000000000000000 (.f64 t t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/5000000000000000)
(.f64 t (.f64 t 1/5000000000000000))
(.f64 1/5000000000000000 (.f64 t t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/5000000000000000)
(.f64 t (.f64 t 1/5000000000000000))
(.f64 1/5000000000000000 (.f64 t t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/5000000000000000)
(.f64 t (.f64 t 1/5000000000000000))
(.f64 1/5000000000000000 (.f64 t t))

eval6.0ms (0.1%)

Compiler: Compiled 213 to 147 computations (31% saved)

prune7.0ms (0.1%)

Pruning

7 alts after pruning (0 fresh and 7 done)

	Pruned	Kept	Total
New	26	0	26
Fresh	0	0	0
Picked	0	1	1
Done	0	6	6
Total	26	7	33

Error

Counts

33 → 7

Alt Table

Click to see full alt table

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

Compiler

Compiled 50 to 37 computations (26% saved)

regimes30.0ms (0.5%)

Counts

14 → 1

Calls

Call 1

Inputs
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 (.f64 1/5000000000000000 (*.f64 t t)) 1/5000000000000000)
(.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 t (.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(.f64 t (sqrt.f64 (.f64 1/625000000000000000000000000000000000000000000000000000000000000 (*.f64 t t))))
(sqrt.f64 (*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4)))
(.f64 t (pow.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) 3))
(.f64 t (pow.f64 (.f64 1/5000000000000000 (sqrt.f64 t)) 2))
(cbrt.f64 (pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 3))

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

Calls

4 calls:

8.0ms	(*.f64 t 1/5000000000000000)
7.0ms	(*.f64 t 1/5000000000000000)
7.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.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 137 to 101 computations (26.3% saved)

regimes25.0ms (0.4%)

Counts

10 → 1

Calls

Call 1

Inputs
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 (.f64 1/5000000000000000 (*.f64 t t)) 1/5000000000000000)
(.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 t (.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(.f64 t (sqrt.f64 (.f64 1/625000000000000000000000000000000000000000000000000000000000000 (*.f64 t t))))

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

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.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 107 to 78 computations (27.1% saved)

regimes23.0ms (0.4%)

Accuracy

Total -61.5b remaining (-16535.4%)

Threshold costs -61.5b (-16535.4%)

Counts

9 → 1

Calls

Call 1

Inputs
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 (.f64 1/5000000000000000 (*.f64 t t)) 1/5000000000000000)
(.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 t (.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))

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

Calls

4 calls:

7.0ms	(*.f64 t 1/5000000000000000)
6.0ms	(*.f64 t 1/5000000000000000)
5.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 99 to 74 computations (25.3% saved)

simplify11.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	28
1	17	28

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 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 1/25000000000000000000000000000000 (.f64 t t))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)

Compiler

Compiled 22 to 16 computations (27.3% saved)

soundness495.0ms (8.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)

end23.0ms (0.4%)

Compiler: Compiled 20 to 13 computations (35% saved)

Details

analyze1.0ms (0%)

sample1.6s (28.9%)

preprocess86.0ms (1.5%)

simplify78.0ms (1.4%)

eval1.0ms (0%)

prune1.0ms (0%)

localize5.0ms (0.1%)

series3.0ms (0.1%)

rewrite44.0ms (0.8%)

simplify181.0ms (3.2%)

eval5.0ms (0.1%)

prune9.0ms (0.2%)

localize10.0ms (0.2%)

series3.0ms (0.1%)

rewrite58.0ms (1%)

simplify170.0ms (3%)

localize75.0ms (1.3%)

series1.0ms (0%)

rewrite42.0ms (0.7%)

simplify174.0ms (3.1%)

localize6.0ms (0.1%)

series3.0ms (0.1%)

rewrite49.0ms (0.9%)

simplify168.0ms (3%)

localize14.0ms (0.3%)

series6.0ms (0.1%)

rewrite109.0ms (1.9%)

simplify131.0ms (2.3%)

localize14.0ms (0.3%)

series15.0ms (0.3%)

rewrite64.0ms (1.1%)

simplify171.0ms (3%)

eval137.0ms (2.4%)

prune39.0ms (0.7%)

localize9.0ms (0.2%)

series3.0ms (0%)

rewrite86.0ms (1.5%)

simplify172.0ms (3%)

localize6.0ms (0.1%)

series1.0ms (0%)

rewrite40.0ms (0.7%)

simplify192.0ms (3.4%)

localize8.0ms (0.1%)

series2.0ms (0%)

rewrite51.0ms (0.9%)

simplify180.0ms (3.2%)

localize23.0ms (0.4%)

series2.0ms (0%)

rewrite47.0ms (0.8%)

simplify159.0ms (2.8%)

localize11.0ms (0.2%)

series3.0ms (0%)

rewrite57.0ms (1%)

simplify187.0ms (3.3%)

eval50.0ms (0.9%)

prune27.0ms (0.5%)

localize7.0ms (0.1%)

series1.0ms (0%)

rewrite46.0ms (0.8%)

simplify158.0ms (2.8%)

eval6.0ms (0.1%)

prune7.0ms (0.1%)

regimes30.0ms (0.5%)

regimes25.0ms (0.4%)

regimes23.0ms (0.4%)

simplify11.0ms (0.2%)

soundness495.0ms (8.8%)

end23.0ms (0.4%)

Profiling