Details

analyze1.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 27 to 22 computations (18.5% saved)

sample1.3s (22.1%)

Results

1.2s

8256×

body

256

valid

Bogosity

preprocess149.0ms (2.6%)

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)

simplify104.0ms (1.8%)

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.3b	(.f64 t (.f64 t 1/25000000000000000000000000000000))
✓	0.4b	(*.f64 t 1/25000000000000000000000000000000)

Compiler

Compiled 11 to 7 computations (36.4% saved)

series3.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

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

rewrite48.0ms (0.9%)

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

simplify194.0ms (3.4%)

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

eval11.0ms (0.2%)

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

prune17.0ms (0.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	18	7	25
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	18	8	26

Error

0.0b

Counts

26 → 8

Alt Table

Click to see full alt table

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

Compiler

Compiled 120 to 90 computations (25% saved)

localize20.0ms (0.4%)

Local error

Found 3 expressions with local error:

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

New

Error

Program

✓

0.2b

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

✓

0.3b

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

✓

0.3b

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

rewrite57.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	1658	18

Stop Event

1×	node limit

Counts

3 → 49

Calls

Call 1

Inputs

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

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

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

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

simplify175.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

2020×	`unswap-sqr_binary64`
1080×	`sqr-pow_binary64`
636×	`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	74	216
4	213	216
5	689	216
6	891	216
7	1305	216
8	1405	216
9	1538	216
10	1707	216
11	1950	216
12	2267	216
13	2637	216
14	3092	216
15	3683	216
16	4391	216
17	5253	216
18	5677	216
19	5997	216
20	6301	216
21	6377	216
22	6411	216

Stop Event

1×	node limit

Counts

85 → 57

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

localize4.0ms (0.1%)

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

rewrite68.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

429×	`pow1_binary64`
417×	`add-sqr-sqrt_binary64`
408×	`*-un-lft-identity_binary64`
401×	`add-log-exp_binary64`
401×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	103	7
2	1149	7

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

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

Outputs

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

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

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

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 12 to 9 computations (25% saved)

series3.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

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

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

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(.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)

rewrite63.0ms (1.1%)

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

simplify134.0ms (2.4%)

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

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 26 to 20 computations (23.1% saved)

series7.0ms (0.1%)

Counts

3 → 36

Calls

9 calls:

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

rewrite131.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

624×	`pow1_binary64`
591×	`add-log-exp_binary64`
591×	`log1p-expm1-u_binary64`
591×	`expm1-log1p-u_binary64`
577×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	18
1	173	18
2	1694	18

Stop Event

1×	node limit

Counts

3 → 62

Calls

Call 1

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

Outputs

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

simplify168.0ms (3%)

Algorithm

1×	egg-herbie

Rules

1042×	`fma-def_binary64`
551×	`fma-neg_binary64`
370×	`distribute-rgt-neg-in_binary64`
362×	`distribute-lft-neg-in_binary64`
329×	`sqr-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	280
1	43	280
2	94	280
3	196	280
4	583	280
5	944	280
6	1669	280
7	2186	280
8	2897	280
9	4343	280
10	5030	280
11	5890	280
12	7220	280

Stop Event

1×	node limit

Counts

98 → 70

Calls

Call 1

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

Outputs
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))
(.f64 -1 (.f64 t (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(neg.f64 (*.f64 t (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 t (neg.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (neg.f64 t))
(.f64 -1 (.f64 t (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(neg.f64 (*.f64 t (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 t (neg.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (neg.f64 t))
(.f64 -1 (.f64 t (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(neg.f64 (*.f64 t (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 t (neg.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (neg.f64 t))
(.f64 -1 (.f64 t (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(neg.f64 (*.f64 t (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 t (neg.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (neg.f64 t))
(*.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 -1 (.f64 (pow.f64 t 2) (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(neg.f64 (.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t)))
(.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 (neg.f64 t) t))
(.f64 t (.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (neg.f64 t)))
(.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t (neg.f64 t)))
(.f64 -1 (.f64 (pow.f64 t 2) (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(neg.f64 (.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t)))
(.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 (neg.f64 t) t))
(.f64 t (.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (neg.f64 t)))
(.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t (neg.f64 t)))
(.f64 -1 (.f64 (pow.f64 t 2) (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(neg.f64 (.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t)))
(.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 (neg.f64 t) t))
(.f64 t (.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (neg.f64 t)))
(.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t (neg.f64 t)))
(.f64 -1 (.f64 (pow.f64 t 2) (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(neg.f64 (.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t)))
(.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 (neg.f64 t) t))
(.f64 t (.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (neg.f64 t)))
(.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t (neg.f64 t)))

eval77.0ms (1.4%)

Compiler: Compiled 2692 to 1936 computations (28.1% saved)

prune41.0ms (0.7%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	275	5	280
Fresh	2	0	2
Picked	1	0	1
Done	3	2	5
Total	281	7	288

Error

Counts

288 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.5b	(.f64 t (.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t))
✓	0.4b	(.f64 1/25000000000000000000000000000000 (.f64 t t))
▶	0.4b	(.f64 (.f64 (*.f64 t 1/5000000000000000) 1/5000000000000000) t)
▶	0.4b	(.f64 (.f64 (*.f64 t 1/5000000000000000) t) 1/5000000000000000)
▶	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 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.1%)

Counts

2 → 12

Calls

6 calls:

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

rewrite55.0ms (1%)

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

simplify175.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

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.5b	(.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))

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

simplify173.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

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

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

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

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

simplify179.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
557×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
442×	`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	104	132
5	328	132
6	1233	132
7	2113	132
8	2277	132
9	2461	132
10	2669	132
11	2968	132
12	3361	132
13	3844	132
14	4412	132
15	5104	132
16	5939	132
17	6331	132
18	6617	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 (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/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/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)

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

Compiler

Compiled 18 to 12 computations (33.3% saved)

series5.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

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

rewrite49.0ms (0.9%)

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

simplify157.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.3b

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

✓

0.4b

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

✓

1.0b

(cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)

Compiler

Compiled 15 to 11 computations (26.7% saved)

series2.0ms (0%)

Counts

3 → 12

Calls

6 calls:

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

rewrite121.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

515×	`pow1_binary64`
496×	`add-sqr-sqrt_binary64`
481×	`add-log-exp_binary64`
481×	`log1p-expm1-u_binary64`
481×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

3 → 37

Calls

Call 1

Inputs

(cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)

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

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

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

simplify234.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	108
1	13	108
2	24	108
3	45	108
4	105	108
5	335	108
6	1260	108
7	2136	108
8	2300	108
9	2484	108
10	2692	108
11	2987	108
12	3382	108
13	3863	108
14	4429	108
15	5115	108
16	5946	108
17	6340	108
18	6632	108
19	6908	108
20	6978	108
21	7012	108
22	7953	108

Stop Event

1×	node limit

Counts

49 → 39

Calls

Call 1

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

eval96.0ms (1.7%)

Compiler: Compiled 1689 to 1249 computations (26.1% saved)

prune54.0ms (1%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	200	1	201
Fresh	0	0	0
Picked	0	1	1
Done	1	5	6
Total	201	7	208

Error

Counts

208 → 7

Alt Table

Click to see full alt table

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

Compiler

Compiled 50 to 37 computations (26% saved)

localize16.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 18 to 9 computations (50% saved)

series3.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite67.0ms (1.2%)

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

Outputs

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

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

simplify230.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

46 → 26

Calls

Call 1

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

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

eval10.0ms (0.2%)

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

prune20.0ms (0.3%)

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 t (.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t))
✓	0.4b	(.f64 1/25000000000000000000000000000000 (.f64 t t))
✓	0.4b	(.f64 (.f64 (*.f64 t 1/5000000000000000) 1/5000000000000000) t)
✓	0.2b	(sqrt.f64 (*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4)))
✓	0.5b	(.f64 (.f64 1/5000000000000000 (*.f64 t t)) 1/5000000000000000)
✓	0.5b	(.f64 (.f64 t 1/5000000000000000) (*.f64 t 1/5000000000000000))
✓	0.4b	(.f64 t (.f64 t 1/25000000000000000000000000000000))

Compiler

Compiled 50 to 37 computations (26% saved)

regimes81.0ms (1.4%)

Counts

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

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

Calls

4 calls:

33.0ms	t
18.0ms	(*.f64 t 1/5000000000000000)
17.0ms	(*.f64 t 1/5000000000000000)
5.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 145 to 107 computations (26.2% saved)

regimes50.0ms (0.9%)

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

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

Calls

4 calls:

14.0ms	t
13.0ms	(*.f64 t 1/5000000000000000)
12.0ms	(*.f64 t 1/5000000000000000)
5.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)

regimes47.0ms (0.8%)

Accuracy

Total -61.5b remaining (-15797.9%)

Threshold costs -61.5b (-15797.9%)

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

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

Calls

4 calls:

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

simplify7.0ms (0.1%)

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)

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

end24.0ms (0.4%)

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

Details

analyze1.0ms (0%)

sample1.3s (22.1%)

preprocess149.0ms (2.6%)

simplify104.0ms (1.8%)

eval1.0ms (0%)

prune1.0ms (0%)

localize5.0ms (0.1%)

series3.0ms (0.1%)

rewrite48.0ms (0.9%)

simplify194.0ms (3.4%)

eval11.0ms (0.2%)

prune17.0ms (0.3%)

localize20.0ms (0.4%)

series3.0ms (0.1%)

rewrite57.0ms (1%)

simplify175.0ms (3.1%)

localize4.0ms (0.1%)

series1.0ms (0%)

rewrite68.0ms (1.2%)

simplify172.0ms (3%)

localize5.0ms (0.1%)

series3.0ms (0.1%)

rewrite49.0ms (0.9%)

simplify172.0ms (3%)

localize15.0ms (0.3%)

series6.0ms (0.1%)

rewrite63.0ms (1.1%)

simplify134.0ms (2.4%)

localize15.0ms (0.3%)

series7.0ms (0.1%)

rewrite131.0ms (2.3%)

simplify168.0ms (3%)

eval77.0ms (1.4%)

prune41.0ms (0.7%)

localize9.0ms (0.2%)

series3.0ms (0.1%)

rewrite55.0ms (1%)

simplify175.0ms (3.1%)

localize6.0ms (0.1%)

series1.0ms (0%)

rewrite93.0ms (1.7%)

simplify173.0ms (3.1%)

localize8.0ms (0.1%)

series2.0ms (0%)

rewrite51.0ms (0.9%)

simplify179.0ms (3.2%)

localize8.0ms (0.1%)

series5.0ms (0.1%)

rewrite49.0ms (0.9%)

simplify157.0ms (2.8%)

localize11.0ms (0.2%)

series2.0ms (0%)

rewrite121.0ms (2.1%)

simplify234.0ms (4.1%)

eval96.0ms (1.7%)

prune54.0ms (1%)

localize16.0ms (0.3%)

series3.0ms (0%)

rewrite67.0ms (1.2%)

simplify230.0ms (4.1%)

eval10.0ms (0.2%)

prune20.0ms (0.3%)

regimes81.0ms (1.4%)

regimes50.0ms (0.9%)

regimes47.0ms (0.8%)

simplify7.0ms (0.1%)

soundness440.0ms (7.8%)

end24.0ms (0.4%)

Profiling