Details

analyze0.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 27 to 22 computations (18.5% saved)

sample1.2s (39%)

Results

1.2s

8256×

body

256

valid

preprocess64.0ms (2.1%)

Algorithm

2×	egg-herbie

Rules

955×	`fma-def_binary64`
715×	`unsub-neg_binary64`
539×	`distribute-rgt-neg-in_binary64`
490×	`sub-neg_binary64`
471×	`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	1273	7
5	3641	7
6	5322	7
7	6831	7
8	7810	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))))
(fma.f64 (fma.f64 t 1/5000000000000000 1) (fma.f64 t 1/5000000000000000 1) (-.f64 -1 (*.f64 t 1/2500000000000000)))
(fma.f64 (fma.f64 t 1/5000000000000000 1) (fma.f64 t 1/5000000000000000 1) (fma.f64 -1/2500000000000000 t -1))
(fma.f64 t -1/2500000000000000 (.f64 (.f64 t 1/5000000000000000) (fma.f64 t 1/5000000000000000 2)))
(.f64 t (.f64 t 1/25000000000000000000000000000000))

Compiler

Compiled 21 to 18 computations (14.3% saved)

simplify54.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

955×	`fma-def_binary64`
715×	`unsub-neg_binary64`
539×	`distribute-rgt-neg-in_binary64`
490×	`sub-neg_binary64`
471×	`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	1273	7
5	3641	7
6	5322	7
7	6831	7
8	7810	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))))
(fma.f64 (fma.f64 t 1/5000000000000000 1) (fma.f64 t 1/5000000000000000 1) (-.f64 -1 (*.f64 t 1/2500000000000000)))
(fma.f64 (fma.f64 t 1/5000000000000000 1) (fma.f64 t 1/5000000000000000 1) (fma.f64 -1/2500000000000000 t -1))
(fma.f64 t -1/2500000000000000 (.f64 (.f64 t 1/5000000000000000) (fma.f64 t 1/5000000000000000 2)))
(.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)

localize3.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series3.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

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

rewrite36.0ms (1.2%)

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 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 expm1.f64 (log1p.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 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))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.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 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 expm1.f64 (log1p.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 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))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 t (*.f64 t 1/25000000000000000000000000000000))))))))

simplify141.0ms (4.6%)

Algorithm

1×	egg-herbie

Rules

1104×	`sqr-pow_binary64`
618×	`cube-prod_binary64`
555×	`fabs-mul_binary64`
536×	`pow-sqr_binary64`
441×	`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	105	132
5	315	132
6	1204	132
7	2080	132
8	2244	132
9	2428	132
10	2636	132
11	2925	132
12	3318	132
13	3796	132
14	4359	132
15	5045	132
16	5882	132
17	6274	132
18	6562	132
19	6842	132
20	6914	132
21	6948	132
22	7889	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 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))

eval5.0ms (0.2%)

Compiler: Compiled 183 to 135 computations (26.2% saved)

prune25.0ms (0.8%)

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

Counts

26 → 8

Alt Table

Click to see full alt table

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

Compiler

Compiled 118 to 90 computations (23.7% saved)

localize5.0ms (0.2%)

Local error

Found 6 expressions with local error:

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

series4.0ms (0.1%)

Counts

3 → 36

Calls

9 calls:

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

rewrite52.0ms (1.7%)

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	1648	18

Stop Event

1×	node limit

Counts

3 → 49

Calls

Call 1

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

Inputs

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

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

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

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

Outputs

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

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

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

simplify131.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

2020×	`unswap-sqr_binary64`
1104×	`sqr-pow_binary64`
637×	`fabs-mul_binary64`
628×	`pow-sqr_binary64`
611×	`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	206	216
5	686	216
6	893	216
7	1307	216
8	1407	216
9	1542	216
10	1711	216
11	1952	216
12	2265	216
13	2635	216
14	3094	216
15	3673	216
16	4381	216
17	5243	216
18	5669	216
19	5985	216
20	6289	216
21	6369	216
22	6405	216

Stop Event

1×	node limit

Counts

85 → 57

Calls

Call 1

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

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

localize3.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series1.0ms (0%)

Counts

1 → 0

Calls

3 calls:

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

rewrite36.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

477×	`pow1_binary64`
465×	`add-sqr-sqrt_binary64`
455×	`*-un-lft-identity_binary64`
445×	`add-log-exp_binary64`
445×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	125	7
2	1268	7

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

Outputs

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

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

11 → 11

Calls

Call 1

Inputs

Outputs

localize3.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series3.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

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

rewrite38.0ms (1.2%)

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

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

simplify134.0ms (4.4%)

Algorithm

1×	egg-herbie

Rules

1127×	`sqr-pow_binary64`
565×	`cube-prod_binary64`
554×	`fabs-mul_binary64`
541×	`pow-sqr_binary64`
502×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	132
1	15	132
2	26	132
3	51	132
4	125	132
5	361	132
6	1340	132
7	2220	132
8	2384	132
9	2598	132
10	2818	132
11	3116	132
12	3518	132
13	4004	132
14	4563	132
15	5249	132
16	6086	132
17	6476	132
18	6764	132
19	7040	132
20	7110	132
21	7144	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)

localize6.0ms (0.2%)

Local error

Found 8 expressions with local error:

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

series65.0ms (2.1%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
29.0ms	t	@	0	(log.f64 (*.f64 t 1/25000000000000000000000000000000))
27.0ms	t	@	-inf	(log.f64 (*.f64 t 1/25000000000000000000000000000000))
6.0ms	t	@	inf	(log.f64 (*.f64 t 1/25000000000000000000000000000000))
0.0ms	t	@	0	(exp.f64 (log.f64 (*.f64 t 1/25000000000000000000000000000000)))
0.0ms	t	@	inf	(exp.f64 (log.f64 (*.f64 t 1/25000000000000000000000000000000)))

rewrite54.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

529×	`pow1_binary64`
509×	`add-sqr-sqrt_binary64`
491×	`add-log-exp_binary64`
491×	`log1p-expm1-u_binary64`
491×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	126	17
2	1343	17

Stop Event

1×	node limit

Counts

3 → 59

Calls

Call 1

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

Outputs

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

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

simplify36.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

842×	`fma-neg_binary64`
477×	`distribute-rgt-in_binary64`
458×	`associate-l_binary64`
434×	`unswap-sqr_binary64`
377×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	22	248
1	43	240
2	62	240
3	135	240
4	324	240
5	895	240
6	3222	240

Stop Event

1×	node limit

Counts

95 → 64

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

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

localize6.0ms (0.2%)

Local error

Found 8 expressions with local error:

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

series5.0ms (0.2%)

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

rewrite55.0ms (1.8%)

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	1731	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 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 expm1.f64 (log1p.f64 (*.f64 (pow.f64 (*.f64 t t) 3) 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))))))

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

simplify104.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

2366×	`associate-l_binary64`
915×	`sqr-pow_binary64`
512×	`pow-sqr_binary64`
372×	`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	483	192
5	808	192
6	929	192
7	1104	192
8	1284	192
9	1513	192
10	1804	192
11	2166	192
12	2549	192
13	3029	192
14	3610	192
15	3836	192
16	4018	192
17	4158	192
18	4252	192
19	4324	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)))

eval83.0ms (2.7%)

Compiler: Compiled 2561 to 1835 computations (28.3% saved)

prune31.0ms (1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	266	3	269
Fresh	2	0	2
Picked	1	0	1
Done	4	1	5
Total	273	4	277

Error

Counts

277 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 28 to 20 computations (28.6% saved)

localize3.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

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

rewrite34.0ms (1.1%)

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

simplify137.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

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

localize4.0ms (0.1%)

Local error

Found 6 expressions with local error:

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

series2.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite41.0ms (1.3%)

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	11
2	1369	11

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

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

simplify142.0ms (4.6%)

Algorithm

1×	egg-herbie

Rules

1104×	`sqr-pow_binary64`
618×	`cube-prod_binary64`
555×	`fabs-mul_binary64`
536×	`pow-sqr_binary64`
441×	`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	105	132
5	315	132
6	1204	132
7	2080	132
8	2244	132
9	2428	132
10	2636	132
11	2925	132
12	3318	132
13	3796	132
14	4359	132
15	5045	132
16	5882	132
17	6274	132
18	6562	132
19	6842	132
20	6914	132
21	6948	132
22	7889	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 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))

localize4.0ms (0.1%)

Local error

Found 6 expressions with local error:

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

series2.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

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

rewrite46.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

520×	`pow1_binary64`
502×	`add-sqr-sqrt_binary64`
481×	`add-log-exp_binary64`
481×	`log1p-expm1-u_binary64`
481×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

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

Outputs

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

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

simplify121.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

2020×	`unswap-sqr_binary64`
1104×	`sqr-pow_binary64`
638×	`fabs-mul_binary64`
628×	`pow-sqr_binary64`
611×	`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	159	168
5	495	168
6	688	168
7	1102	168
8	1202	168
9	1337	168
10	1509	168
11	1752	168
12	2067	168
13	2439	168
14	2896	168
15	3473	168
16	4181	168
17	5037	168
18	5465	168
19	5777	168
20	6085	168
21	6165	168
22	6201	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 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 t (.f64 t 1/25000000000000000000000000000000))

eval24.0ms (0.8%)

Compiler: Compiled 813 to 589 computations (27.6% saved)

prune12.0ms (0.4%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	97	0	97
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	97	4	101

Error

Counts

101 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 28 to 20 computations (28.6% saved)

regimes28.0ms (0.9%)

Counts

12 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 123 to 92 computations (25.2% saved)

regimes22.0ms (0.7%)

Counts

7 → 1

Calls

Call 1

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

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

Calls

4 calls:

5.0ms	(*.f64 t 1/5000000000000000)
5.0ms	(*.f64 t 1/5000000000000000)
5.0ms	t
4.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 84 to 65 computations (22.6% saved)

regimes4.0ms (0.1%)

Accuracy

Total -0.2b remaining (-50.6%)

Threshold costs -0.2b (-50.6%)

Counts

2 → 1

Calls

Call 1

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

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

Calls

1 calls:

3.0ms

Results

Error	Segments	Branch
0.4b	1	`t`

Compiler

Compiled 13 to 8 computations (38.5% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	36
1	23	36

Stop Event

1×

saturated

Calls

Call 1

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

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

end49.0ms (1.6%)

Stop Event

1×

done

Compiler

Compiled 55 to 36 computations (34.5% saved)

Details

analyze0.0ms (0%)

sample1.2s (39%)

preprocess64.0ms (2.1%)

simplify54.0ms (1.8%)

eval1.0ms (0%)

prune1.0ms (0%)

localize3.0ms (0.1%)

series3.0ms (0.1%)

rewrite36.0ms (1.2%)

simplify141.0ms (4.6%)

eval5.0ms (0.2%)

prune25.0ms (0.8%)

localize5.0ms (0.2%)

series4.0ms (0.1%)

rewrite52.0ms (1.7%)

simplify131.0ms (4.3%)

localize3.0ms (0.1%)

series1.0ms (0%)

rewrite36.0ms (1.2%)

simplify6.0ms (0.2%)

localize3.0ms (0.1%)

series3.0ms (0.1%)

rewrite38.0ms (1.2%)

simplify134.0ms (4.4%)

localize6.0ms (0.2%)

series65.0ms (2.1%)

rewrite54.0ms (1.8%)

simplify36.0ms (1.2%)

localize6.0ms (0.2%)

series5.0ms (0.2%)

rewrite55.0ms (1.8%)

simplify104.0ms (3.4%)

eval83.0ms (2.7%)

prune31.0ms (1%)

localize3.0ms (0.1%)

series1.0ms (0%)

rewrite34.0ms (1.1%)

simplify137.0ms (4.5%)

localize4.0ms (0.1%)

series2.0ms (0%)

rewrite41.0ms (1.3%)

simplify142.0ms (4.6%)

localize4.0ms (0.1%)

series2.0ms (0.1%)

rewrite46.0ms (1.5%)

simplify121.0ms (3.9%)

eval24.0ms (0.8%)

prune12.0ms (0.4%)

regimes28.0ms (0.9%)

regimes22.0ms (0.7%)

regimes4.0ms (0.1%)

simplify2.0ms (0.1%)

end49.0ms (1.6%)

Profiling