Details

analyze0.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 27 to 22 computations (18.5% saved)

sample1.4s (34.4%)

Results

1.4s

8256×

body

256

valid

Bogosity

preprocess84.0ms (2.1%)

Algorithm

2×	egg-herbie

Rules

2022×	`fma-def`
1110×	`sub-neg`
1042×	`unsub-neg`
974×	`distribute-lft-neg-in`
916×	`distribute-neg-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	51
1	38	37
2	118	33
3	357	29
4	1272	13
5	3749	13
6	5604	13
7	7107	13
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

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

Outputs
(+.f64 (.f64 (+.f64 1 (.f64 t 1/5000000000000000)) (+.f64 1 (.f64 t 1/5000000000000000))) (-.f64 -1 (.f64 2 (*.f64 t 1/5000000000000000))))
(fma.f64 (+.f64 1 (.f64 t 1/5000000000000000)) (+.f64 1 (.f64 t 1/5000000000000000)) (+.f64 -1 (.f64 -2 (.f64 t 1/5000000000000000))))
(+.f64 (fma.f64 (fma.f64 t 1/5000000000000000 1) (fma.f64 t 1/5000000000000000 1) -1) (*.f64 -1/2500000000000000 t))
(fma.f64 (fma.f64 t 1/5000000000000000 1) (fma.f64 t 1/5000000000000000 1) (fma.f64 -1/2500000000000000 t -1))
(fma.f64 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)

simplify80.0ms (2%)

Algorithm

1×	egg-herbie

Rules

2022×	`fma-def`
1110×	`sub-neg`
1042×	`unsub-neg`
974×	`distribute-lft-neg-in`
916×	`distribute-neg-in`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	13	51
1	38	37
2	118	33
3	357	29
4	1272	13
5	3749	13
6	5604	13
7	7107	13

Stop Event

1×	node limit

Counts

1 → 6

Calls

Call 1

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

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

eval2.0ms (0%)

Compiler: Compiled 81 to 64 computations (21% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Accurracy

99.4%

Counts

7 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.4%	(.f64 t (.f64 t 1/25000000000000000000000000000000))

Compiler

Compiled 6 to 4 computations (33.3% saved)

localize26.0ms (0.6%)

Local Accuracy

Found 2 expressions with local accuracy:

New	Accuracy	Program
✓	99.5%	(.f64 t (.f64 t 1/25000000000000000000000000000000))
✓	99.3%	(*.f64 t 1/25000000000000000000000000000000)

Compiler

Compiled 12 to 8 computations (33.3% saved)

series2.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite52.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1084×	`pow1`
1044×	`add-sqr-sqrt`
1002×	`add-exp-log`
1002×	`log1p-expm1-u`
1002×	`expm1-log1p-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	20
1	122	20
2	1382	20

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

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

Outputs
(-.f64 (+.f64 1 (*.f64 t 1/25000000000000000000000000000000)) 1)
(pow.f64 (*.f64 t 1/25000000000000000000000000000000) 1)
(pow.f64 (cbrt.f64 (*.f64 t 1/25000000000000000000000000000000)) 3)
(pow.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 t 1/25000000000000000000000000000000)) 2)
(sqrt.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 2))
(log.f64 (exp.f64 (*.f64 t 1/25000000000000000000000000000000)))
(cbrt.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3))
(expm1.f64 (log1p.f64 (*.f64 t 1/25000000000000000000000000000000)))
(exp.f64 (log.f64 (*.f64 t 1/25000000000000000000000000000000)))
(log1p.f64 (expm1.f64 (*.f64 t 1/25000000000000000000000000000000)))
(-.f64 (+.f64 1 (.f64 t (.f64 t 1/25000000000000000000000000000000))) 1)
(pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 1)
(pow.f64 (cbrt.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))) 3)
(pow.f64 (pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 3) 1/3)
(pow.f64 (*.f64 t 1/5000000000000000) 2)
(sqrt.f64 (pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 2))
(log.f64 (pow.f64 (exp.f64 t) (*.f64 t 1/25000000000000000000000000000000)))
(cbrt.f64 (pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 3))
(expm1.f64 (log1p.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))))
(exp.f64 (log.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))))
(log1p.f64 (expm1.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))))

simplify42.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

1242×	`fma-def`
1096×	`distribute-rgt-in`
1060×	`distribute-lft-in`
946×	`log-prod`
916×	`associate-+r+`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	56	460
1	130	460
2	564	460
3	2427	460

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

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

eval5.0ms (0.1%)

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

prune51.0ms (1.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	16	9	25
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	16	10	26

Accurracy

100.0%

Counts

26 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.2%	(pow.f64 (*.f64 t 1/5000000000000000) 2)
	97.1%	(pow.f64 (cbrt.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))) 3)
▶	99.0%	(.f64 t (pow.f64 (sqrt.f64 (.f64 t 1/25000000000000000000000000000000)) 2))
	97.1%	(.f64 t (pow.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) 3))
✓	99.4%	(.f64 t (.f64 t 1/25000000000000000000000000000000))
▶	93.2%	(.f64 t (exp.f64 (log.f64 (.f64 t 1/25000000000000000000000000000000))))
▶	99.1%	(.f64 t (cbrt.f64 (pow.f64 (.f64 t 1/25000000000000000000000000000000) 3)))
▶	99.3%	(.f64 1/25000000000000000000000000000000 (.f64 t t))
	93.3%	(exp.f64 (log.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))))
	98.9%	(cbrt.f64 (pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 3))

Compiler

Compiled 152 to 116 computations (23.7% saved)

localize18.0ms (0.4%)

Local Accuracy

Found 1 expressions with local accuracy:

New	Accuracy	Program
✓	99.3%	(.f64 1/25000000000000000000000000000000 (.f64 t t))

Compiler

Compiled 12 to 6 computations (50% saved)

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

rewrite97.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1052×	`pow1`
1018×	`add-sqr-sqrt`
976×	`add-exp-log`
976×	`log1p-expm1-u`
976×	`expm1-log1p-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	123	13
2	1385	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

Outputs
(-.f64 (+.f64 1 (.f64 1/25000000000000000000000000000000 (.f64 t t))) 1)
(pow.f64 (.f64 1/25000000000000000000000000000000 (.f64 t t)) 1)
(pow.f64 (cbrt.f64 (.f64 1/25000000000000000000000000000000 (.f64 t t))) 3)
(pow.f64 (pow.f64 (.f64 1/25000000000000000000000000000000 (.f64 t t)) 3) 1/3)
(pow.f64 (*.f64 t 1/5000000000000000) 2)
(sqrt.f64 (*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4)))
(log.f64 (pow.f64 (exp.f64 1/25000000000000000000000000000000) (*.f64 t t)))
(cbrt.f64 (pow.f64 (.f64 1/25000000000000000000000000000000 (.f64 t t)) 3))
(expm1.f64 (log1p.f64 (.f64 1/25000000000000000000000000000000 (.f64 t t))))
(exp.f64 (log.f64 (.f64 1/25000000000000000000000000000000 (.f64 t t))))
(log1p.f64 (expm1.f64 (.f64 1/25000000000000000000000000000000 (.f64 t t))))

simplify59.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

2334×	`log-prod`
1166×	`distribute-rgt-in`
1148×	`distribute-lft-in`
838×	`associate-r`
732×	`associate-l`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	299
1	91	299
2	319	299
3	2350	299
4	7726	299

Stop Event

1×	node limit

Counts

23 → 14

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

Outputs
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(-.f64 (+.f64 1 (.f64 1/25000000000000000000000000000000 (.f64 t t))) 1)
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(pow.f64 (.f64 1/25000000000000000000000000000000 (.f64 t t)) 1)
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(pow.f64 (cbrt.f64 (.f64 1/25000000000000000000000000000000 (.f64 t t))) 3)
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(pow.f64 (pow.f64 (.f64 1/25000000000000000000000000000000 (.f64 t t)) 3) 1/3)
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(pow.f64 (*.f64 t 1/5000000000000000) 2)
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(sqrt.f64 (*.f64 1/625000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 4)))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(log.f64 (pow.f64 (exp.f64 1/25000000000000000000000000000000) (*.f64 t t)))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(cbrt.f64 (pow.f64 (.f64 1/25000000000000000000000000000000 (.f64 t t)) 3))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(expm1.f64 (log1p.f64 (.f64 1/25000000000000000000000000000000 (.f64 t t))))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(exp.f64 (log.f64 (.f64 1/25000000000000000000000000000000 (.f64 t t))))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(log1p.f64 (expm1.f64 (.f64 1/25000000000000000000000000000000 (.f64 t t))))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/25000000000000000000000000000000 t))

localize61.0ms (1.5%)

Local Accuracy

Found 2 expressions with local accuracy:

New	Accuracy	Program
✓	99.7%	(*.f64 t 1/5000000000000000)
✓	99.3%	(pow.f64 (*.f64 t 1/5000000000000000) 2)

Compiler

Compiled 13 to 10 computations (23.1% saved)

series2.0ms (0%)

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

rewrite56.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1168×	`pow1`
1080×	`add-exp-log`
1080×	`log1p-expm1-u`
1080×	`expm1-log1p-u`
1056×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	20
1	147	20
2	1549	20

Stop Event

1×	node limit

Counts

2 → 35

Calls

Call 1

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

Outputs
(-.f64 (+.f64 1 (.f64 (.f64 t t) 1/25000000000000000000000000000000)) 1)
(.f64 t (.f64 1/5000000000000000 (*.f64 t 1/5000000000000000)))
(.f64 1/5000000000000000 (.f64 t (*.f64 t 1/5000000000000000)))
(.f64 (.f64 t 1/5000000000000000) (*.f64 t 1/5000000000000000))
(.f64 (.f64 (*.f64 t t) 1/25000000000000000000000000000000) 1)
(.f64 1 (.f64 (*.f64 t t) 1/25000000000000000000000000000000))
(.f64 (cbrt.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)) (cbrt.f64 (pow.f64 (.f64 t 1/5000000000000000) 4)))
(.f64 (cbrt.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)) (.f64 (cbrt.f64 (.f64 t 1/5000000000000000)) (.f64 t 1/5000000000000000)))
(.f64 (cbrt.f64 (pow.f64 (.f64 t 1/5000000000000000) 4)) (cbrt.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 (sqrt.f64 (.f64 t 1/5000000000000000)) (.f64 (sqrt.f64 (.f64 t 1/5000000000000000)) (*.f64 t 1/5000000000000000)))
(.f64 (.f64 (.f64 t 1/5000000000000000) (sqrt.f64 (.f64 t 1/5000000000000000))) (sqrt.f64 (*.f64 t 1/5000000000000000)))
(.f64 (.f64 (*.f64 t 1/5000000000000000) t) 1/5000000000000000)
(.f64 (.f64 (*.f64 t 1/5000000000000000) 1/5000000000000000) t)
(.f64 (.f64 (.f64 t 1/5000000000000000) (cbrt.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000))) (cbrt.f64 (.f64 t 1/5000000000000000)))
(sqrt.f64 (pow.f64 (*.f64 t 1/5000000000000000) 4))
(log.f64 (pow.f64 (exp.f64 (*.f64 t t)) 1/25000000000000000000000000000000))
(cbrt.f64 (pow.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000) 3))
(expm1.f64 (log1p.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)))
(exp.f64 (.f64 2 (log.f64 (.f64 t 1/5000000000000000))))
(log1p.f64 (expm1.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)))
(-.f64 (+.f64 1 (*.f64 t 1/5000000000000000)) 1)
(pow.f64 (*.f64 t 1/5000000000000000) 1)
(pow.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000) 1/2)
(pow.f64 (cbrt.f64 (*.f64 t 1/5000000000000000)) 3)
(pow.f64 (pow.f64 (*.f64 t 1/5000000000000000) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 t 1/5000000000000000)) 2)
(sqrt.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000))
(fabs.f64 (*.f64 t 1/5000000000000000))
(log.f64 (pow.f64 (exp.f64 1/5000000000000000) t))
(cbrt.f64 (pow.f64 (*.f64 t 1/5000000000000000) 3))
(expm1.f64 (log1p.f64 (*.f64 t 1/5000000000000000)))
(exp.f64 (log.f64 (*.f64 t 1/5000000000000000)))
(log1p.f64 (expm1.f64 (*.f64 t 1/5000000000000000)))

simplify62.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

950×	`fma-def`
948×	`log-prod`
856×	`distribute-lft-out`
614×	`cube-prod`
590×	`unswap-sqr`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	79	617
1	191	617
2	696	617
3	2473	617
4	5053	617

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)
(-.f64 (+.f64 1 (.f64 (.f64 t t) 1/25000000000000000000000000000000)) 1)
(.f64 t (.f64 1/5000000000000000 (*.f64 t 1/5000000000000000)))
(.f64 1/5000000000000000 (.f64 t (*.f64 t 1/5000000000000000)))
(.f64 (.f64 t 1/5000000000000000) (*.f64 t 1/5000000000000000))
(.f64 (.f64 (*.f64 t t) 1/25000000000000000000000000000000) 1)
(.f64 1 (.f64 (*.f64 t t) 1/25000000000000000000000000000000))
(.f64 (cbrt.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)) (cbrt.f64 (pow.f64 (.f64 t 1/5000000000000000) 4)))
(.f64 (cbrt.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)) (.f64 (cbrt.f64 (.f64 t 1/5000000000000000)) (.f64 t 1/5000000000000000)))
(.f64 (cbrt.f64 (pow.f64 (.f64 t 1/5000000000000000) 4)) (cbrt.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 (sqrt.f64 (.f64 t 1/5000000000000000)) (.f64 (sqrt.f64 (.f64 t 1/5000000000000000)) (*.f64 t 1/5000000000000000)))
(.f64 (.f64 (.f64 t 1/5000000000000000) (sqrt.f64 (.f64 t 1/5000000000000000))) (sqrt.f64 (*.f64 t 1/5000000000000000)))
(.f64 (.f64 (*.f64 t 1/5000000000000000) t) 1/5000000000000000)
(.f64 (.f64 (*.f64 t 1/5000000000000000) 1/5000000000000000) t)
(.f64 (.f64 (.f64 t 1/5000000000000000) (cbrt.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000))) (cbrt.f64 (.f64 t 1/5000000000000000)))
(sqrt.f64 (pow.f64 (*.f64 t 1/5000000000000000) 4))
(log.f64 (pow.f64 (exp.f64 (*.f64 t t)) 1/25000000000000000000000000000000))
(cbrt.f64 (pow.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000) 3))
(expm1.f64 (log1p.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)))
(exp.f64 (.f64 2 (log.f64 (.f64 t 1/5000000000000000))))
(log1p.f64 (expm1.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)))
(-.f64 (+.f64 1 (*.f64 t 1/5000000000000000)) 1)
(pow.f64 (*.f64 t 1/5000000000000000) 1)
(pow.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000) 1/2)
(pow.f64 (cbrt.f64 (*.f64 t 1/5000000000000000)) 3)
(pow.f64 (pow.f64 (*.f64 t 1/5000000000000000) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 t 1/5000000000000000)) 2)
(sqrt.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000))
(fabs.f64 (*.f64 t 1/5000000000000000))
(log.f64 (pow.f64 (exp.f64 1/5000000000000000) t))
(cbrt.f64 (pow.f64 (*.f64 t 1/5000000000000000) 3))
(expm1.f64 (log1p.f64 (*.f64 t 1/5000000000000000)))
(exp.f64 (log.f64 (*.f64 t 1/5000000000000000)))
(log1p.f64 (expm1.f64 (*.f64 t 1/5000000000000000)))

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)
(-.f64 (+.f64 1 (.f64 (.f64 t t) 1/25000000000000000000000000000000)) 1)
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 1/5000000000000000 (*.f64 t 1/5000000000000000)))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 1/5000000000000000 (.f64 t (*.f64 t 1/5000000000000000)))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 (.f64 t 1/5000000000000000) (*.f64 t 1/5000000000000000))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 (.f64 (*.f64 t t) 1/25000000000000000000000000000000) 1)
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 1 (.f64 (*.f64 t t) 1/25000000000000000000000000000000))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 (cbrt.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)) (cbrt.f64 (pow.f64 (.f64 t 1/5000000000000000) 4)))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 (cbrt.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)) (.f64 (cbrt.f64 (.f64 t 1/5000000000000000)) (.f64 t 1/5000000000000000)))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 (cbrt.f64 (pow.f64 (.f64 t 1/5000000000000000) 4)) (cbrt.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 (.f64 t t) 1/25000000000000000000000000000000)
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 (sqrt.f64 (.f64 t 1/5000000000000000)) (.f64 (sqrt.f64 (.f64 t 1/5000000000000000)) (*.f64 t 1/5000000000000000)))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 (.f64 (.f64 t 1/5000000000000000) (sqrt.f64 (.f64 t 1/5000000000000000))) (sqrt.f64 (*.f64 t 1/5000000000000000)))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 (.f64 (*.f64 t 1/5000000000000000) t) 1/5000000000000000)
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 (.f64 (*.f64 t 1/5000000000000000) 1/5000000000000000) t)
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 (.f64 (.f64 t 1/5000000000000000) (cbrt.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000))) (cbrt.f64 (.f64 t 1/5000000000000000)))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(sqrt.f64 (pow.f64 (*.f64 t 1/5000000000000000) 4))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(log.f64 (pow.f64 (exp.f64 (*.f64 t t)) 1/25000000000000000000000000000000))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(cbrt.f64 (pow.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000) 3))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(expm1.f64 (log1p.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(exp.f64 (.f64 2 (log.f64 (.f64 t 1/5000000000000000))))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(log1p.f64 (expm1.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(-.f64 (+.f64 1 (*.f64 t 1/5000000000000000)) 1)
(*.f64 t 1/5000000000000000)
(pow.f64 (*.f64 t 1/5000000000000000) 1)
(*.f64 t 1/5000000000000000)
(pow.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000) 1/2)
(*.f64 t 1/5000000000000000)
(pow.f64 (cbrt.f64 (*.f64 t 1/5000000000000000)) 3)
(*.f64 t 1/5000000000000000)
(pow.f64 (pow.f64 (*.f64 t 1/5000000000000000) 3) 1/3)
(*.f64 t 1/5000000000000000)
(pow.f64 (sqrt.f64 (*.f64 t 1/5000000000000000)) 2)
(*.f64 t 1/5000000000000000)
(sqrt.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000))
(*.f64 t 1/5000000000000000)
(fabs.f64 (*.f64 t 1/5000000000000000))
(*.f64 t 1/5000000000000000)
(log.f64 (pow.f64 (exp.f64 1/5000000000000000) t))
(*.f64 t 1/5000000000000000)
(cbrt.f64 (pow.f64 (*.f64 t 1/5000000000000000) 3))
(*.f64 t 1/5000000000000000)
(expm1.f64 (log1p.f64 (*.f64 t 1/5000000000000000)))
(*.f64 t 1/5000000000000000)
(exp.f64 (log.f64 (*.f64 t 1/5000000000000000)))
(*.f64 t 1/5000000000000000)
(log1p.f64 (expm1.f64 (*.f64 t 1/5000000000000000)))
(*.f64 t 1/5000000000000000)

localize48.0ms (1.2%)

Local Accuracy

Found 3 expressions with local accuracy:

New	Accuracy	Program
✓	99.5%	(.f64 t (exp.f64 (log.f64 (.f64 t 1/25000000000000000000000000000000))))
	99.3%	(*.f64 t 1/25000000000000000000000000000000)
✓	93.1%	(exp.f64 (log.f64 (*.f64 t 1/25000000000000000000000000000000)))

Compiler

Compiled 23 to 17 computations (26.1% saved)

series0.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite60.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1406×	`pow1`
1294×	`add-exp-log`
1294×	`log1p-expm1-u`
1294×	`expm1-log1p-u`
1262×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	20
1	163	20
2	1777	20

Stop Event

1×	node limit

Counts

2 → 36

Calls

Call 1

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

Outputs
(+.f64 1 (-.f64 (*.f64 t 1/25000000000000000000000000000000) 1))
(-.f64 (+.f64 1 (*.f64 t 1/25000000000000000000000000000000)) 1)
(*.f64 t 1/25000000000000000000000000000000)
(*.f64 1/25000000000000000000000000000000 t)
(.f64 (.f64 t 1/25000000000000000000000000000000) 1)
(.f64 1 (.f64 t 1/25000000000000000000000000000000))
(.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) (pow.f64 (cbrt.f64 (*.f64 t 1/25000000000000000000000000000000)) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) 2) (cbrt.f64 (*.f64 t 1/25000000000000000000000000000000)))
(.f64 (pow.f64 (cbrt.f64 t) 2) (.f64 (cbrt.f64 t) 1/25000000000000000000000000000000))
(.f64 (.f64 1/5000000000000000 (sqrt.f64 t)) (*.f64 1/5000000000000000 (sqrt.f64 t)))
(.f64 (sqrt.f64 t) (.f64 (sqrt.f64 t) 1/25000000000000000000000000000000))
(.f64 (.f64 1/25000000000000000000000000000000 (pow.f64 (cbrt.f64 t) 2)) (cbrt.f64 t))
(.f64 (.f64 1/25000000000000000000000000000000 (sqrt.f64 t)) (sqrt.f64 t))
(pow.f64 (*.f64 t 1/25000000000000000000000000000000) 1)
(pow.f64 (cbrt.f64 (*.f64 t 1/25000000000000000000000000000000)) 3)
(pow.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3) 1/3)
(pow.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 2)
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 t 1/25000000000000000000000000000000))) 2)) (cbrt.f64 (log.f64 (.f64 t 1/25000000000000000000000000000000))))
(pow.f64 (exp.f64 1) (log.f64 (*.f64 t 1/25000000000000000000000000000000)))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 t 1/25000000000000000000000000000000)))) (sqrt.f64 (log.f64 (.f64 t 1/25000000000000000000000000000000))))
(sqrt.f64 (.f64 1/625000000000000000000000000000000000000000000000000000000000000 (.f64 t t)))
(log.f64 (pow.f64 (exp.f64 1/25000000000000000000000000000000) t))
(cbrt.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3))
(expm1.f64 (log1p.f64 (*.f64 t 1/25000000000000000000000000000000)))
(log1p.f64 (expm1.f64 (*.f64 t 1/25000000000000000000000000000000)))
(-.f64 (+.f64 1 (.f64 t (.f64 t 1/25000000000000000000000000000000))) 1)
(pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 1)
(pow.f64 (cbrt.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))) 3)
(pow.f64 (pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))) 2)
(sqrt.f64 (pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 2))
(log.f64 (pow.f64 (pow.f64 (exp.f64 1/25000000000000000000000000000000) t) t))
(cbrt.f64 (pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 3))
(expm1.f64 (log1p.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))))
(exp.f64 (log.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))))
(log1p.f64 (expm1.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))))

simplify62.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

1844×	`log-prod`
1392×	`fma-def`
936×	`distribute-lft-out`
926×	`unswap-sqr`
524×	`cube-prod`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	85	628
1	202	628
2	674	628
3	2784	628
4	5652	628

Stop Event

1×	node limit

Counts

60 → 42

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

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

localize48.0ms (1.2%)

Local Accuracy

Found 4 expressions with local accuracy:

New	Accuracy	Program
✓	99.5%	(.f64 t (cbrt.f64 (pow.f64 (.f64 t 1/25000000000000000000000000000000) 3)))
	99.3%	(*.f64 t 1/25000000000000000000000000000000)
✓	99.1%	(cbrt.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3))
✓	98.9%	(pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3)

Compiler

Compiled 27 to 21 computations (22.2% saved)

series9.0ms (0.2%)

Counts

3 → 36

Calls

9 calls:

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

rewrite84.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1596×	`pow1`
1494×	`add-exp-log`
1494×	`log1p-expm1-u`
1494×	`expm1-log1p-u`
1462×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	33
1	210	33
2	2141	33

Stop Event

1×	node limit

Counts

3 → 64

Calls

Call 1

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

Outputs
(-.f64 (+.f64 1 (*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))) 1)
(.f64 t (.f64 1/25000000000000000000000000000000 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000)))
(.f64 1/25000000000000000000000000000000 (.f64 t (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000)))
(.f64 (.f64 t 1/25000000000000000000000000000000) (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000))
(.f64 (.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3)) 1)
(.f64 1 (.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3)))
(.f64 (pow.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) 2) (.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000)))
(.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000) (.f64 t 1/25000000000000000000000000000000))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(.f64 (.f64 (sqrt.f64 t) 1/5000000000000000) (.f64 (.f64 (sqrt.f64 t) 1/5000000000000000) (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000)))
(*.f64 (pow.f64 t 3) 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)
(.f64 (pow.f64 (.f64 t 1/25000000000000000000000000000000) 3/2) (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3/2))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) 2) 3) (*.f64 t 1/25000000000000000000000000000000))
(.f64 (pow.f64 (.f64 (sqrt.f64 t) 1/5000000000000000) 3) (pow.f64 (*.f64 (sqrt.f64 t) 1/5000000000000000) 3))
(.f64 (.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000) t) 1/25000000000000000000000000000000)
(.f64 (.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000) 1/25000000000000000000000000000000) t)
(.f64 (.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000) 1) (*.f64 t 1/25000000000000000000000000000000))
(.f64 (.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000) (pow.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) 2)) (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)))
(.f64 (.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000) (.f64 (sqrt.f64 t) 1/5000000000000000)) (.f64 (sqrt.f64 t) 1/5000000000000000))
(sqrt.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 6))
(log.f64 (pow.f64 (exp.f64 (pow.f64 t 3)) 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))
(cbrt.f64 (pow.f64 (*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3)) 3))
(expm1.f64 (log1p.f64 (*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))))
(exp.f64 (log.f64 (*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))))
(log1p.f64 (expm1.f64 (*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))))
(-.f64 (+.f64 1 (*.f64 t 1/25000000000000000000000000000000)) 1)
(*.f64 t 1/25000000000000000000000000000000)
(*.f64 t (pow.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 1/3))
(*.f64 1/25000000000000000000000000000000 t)
(.f64 (.f64 t 1/25000000000000000000000000000000) 1)
(.f64 1 (.f64 t 1/25000000000000000000000000000000))
(.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) (pow.f64 (cbrt.f64 (*.f64 t 1/25000000000000000000000000000000)) 2))
(.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) (pow.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000) 1/3))
(.f64 (pow.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) 2) (cbrt.f64 (*.f64 t 1/25000000000000000000000000000000)))
(.f64 (pow.f64 (cbrt.f64 t) 2) (.f64 (cbrt.f64 t) 1/25000000000000000000000000000000))
(.f64 (.f64 (sqrt.f64 t) 1/5000000000000000) (*.f64 (sqrt.f64 t) 1/5000000000000000))
(.f64 (sqrt.f64 t) (.f64 (sqrt.f64 t) 1/25000000000000000000000000000000))
(.f64 (pow.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000) 1/3) (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)))
(.f64 (pow.f64 1 1/3) (.f64 t 1/25000000000000000000000000000000))
(.f64 (pow.f64 (pow.f64 (.f64 t 1/25000000000000000000000000000000) 3/2) 1/3) (pow.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3/2) 1/3))
(.f64 (.f64 1/25000000000000000000000000000000 (pow.f64 (cbrt.f64 t) 2)) (cbrt.f64 t))
(.f64 (.f64 1/25000000000000000000000000000000 (sqrt.f64 t)) (sqrt.f64 t))
(pow.f64 (*.f64 t 1/25000000000000000000000000000000) 1)
(pow.f64 (*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3)) 1/3)
(pow.f64 (cbrt.f64 (*.f64 t 1/25000000000000000000000000000000)) 3)
(pow.f64 (*.f64 (sqrt.f64 t) 1/5000000000000000) 2)
(sqrt.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000))
(log.f64 (pow.f64 (exp.f64 t) 1/25000000000000000000000000000000))
(expm1.f64 (log1p.f64 (*.f64 t 1/25000000000000000000000000000000)))
(exp.f64 (log.f64 (*.f64 t 1/25000000000000000000000000000000)))
(log1p.f64 (expm1.f64 (*.f64 t 1/25000000000000000000000000000000)))
(-.f64 (+.f64 1 (.f64 t (.f64 t 1/25000000000000000000000000000000))) 1)
(pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 1)
(pow.f64 (cbrt.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))) 3)
(pow.f64 (pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))) 2)
(sqrt.f64 (pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 2))
(log.f64 (pow.f64 (exp.f64 t) (*.f64 t 1/25000000000000000000000000000000)))
(cbrt.f64 (pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 3))
(cbrt.f64 (.f64 (pow.f64 t 3) (.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))))
(cbrt.f64 (.f64 (.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3)) (pow.f64 t 3)))
(expm1.f64 (log1p.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))))
(exp.f64 (log.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))))
(log1p.f64 (expm1.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))))

simplify104.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1848×	`log-prod`
1266×	`cube-prod`
980×	`unswap-sqr`
780×	`fma-def`
766×	`fabs-mul`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	144	1680
1	373	1458
2	1230	1236
3	4535	1222

Stop Event

1×	node limit

Counts

100 → 85

Calls

Call 1

Inputs
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(.f64 -1 (.f64 t (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(.f64 -1 (.f64 t (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(.f64 -1 (.f64 t (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(.f64 -1 (.f64 t (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 -1 (.f64 (pow.f64 t 2) (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(.f64 -1 (.f64 (pow.f64 t 2) (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(.f64 -1 (.f64 (pow.f64 t 2) (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(.f64 -1 (.f64 (pow.f64 t 2) (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(-.f64 (+.f64 1 (*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))) 1)
(.f64 t (.f64 1/25000000000000000000000000000000 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000)))
(.f64 1/25000000000000000000000000000000 (.f64 t (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000)))
(.f64 (.f64 t 1/25000000000000000000000000000000) (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000))
(.f64 (.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3)) 1)
(.f64 1 (.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3)))
(.f64 (pow.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) 2) (.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000)))
(.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000) (.f64 t 1/25000000000000000000000000000000))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(.f64 (.f64 (sqrt.f64 t) 1/5000000000000000) (.f64 (.f64 (sqrt.f64 t) 1/5000000000000000) (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000)))
(*.f64 (pow.f64 t 3) 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)
(.f64 (pow.f64 (.f64 t 1/25000000000000000000000000000000) 3/2) (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3/2))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) 2) 3) (*.f64 t 1/25000000000000000000000000000000))
(.f64 (pow.f64 (.f64 (sqrt.f64 t) 1/5000000000000000) 3) (pow.f64 (*.f64 (sqrt.f64 t) 1/5000000000000000) 3))
(.f64 (.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000) t) 1/25000000000000000000000000000000)
(.f64 (.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000) 1/25000000000000000000000000000000) t)
(.f64 (.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000) 1) (*.f64 t 1/25000000000000000000000000000000))
(.f64 (.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000) (pow.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) 2)) (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)))
(.f64 (.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000) (.f64 (sqrt.f64 t) 1/5000000000000000)) (.f64 (sqrt.f64 t) 1/5000000000000000))
(sqrt.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 6))
(log.f64 (pow.f64 (exp.f64 (pow.f64 t 3)) 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))
(cbrt.f64 (pow.f64 (*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3)) 3))
(expm1.f64 (log1p.f64 (*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))))
(exp.f64 (log.f64 (*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))))
(log1p.f64 (expm1.f64 (*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))))
(-.f64 (+.f64 1 (*.f64 t 1/25000000000000000000000000000000)) 1)
(*.f64 t 1/25000000000000000000000000000000)
(*.f64 t (pow.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 1/3))
(*.f64 1/25000000000000000000000000000000 t)
(.f64 (.f64 t 1/25000000000000000000000000000000) 1)
(.f64 1 (.f64 t 1/25000000000000000000000000000000))
(.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) (pow.f64 (cbrt.f64 (*.f64 t 1/25000000000000000000000000000000)) 2))
(.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) (pow.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000) 1/3))
(.f64 (pow.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) 2) (cbrt.f64 (*.f64 t 1/25000000000000000000000000000000)))
(.f64 (pow.f64 (cbrt.f64 t) 2) (.f64 (cbrt.f64 t) 1/25000000000000000000000000000000))
(.f64 (.f64 (sqrt.f64 t) 1/5000000000000000) (*.f64 (sqrt.f64 t) 1/5000000000000000))
(.f64 (sqrt.f64 t) (.f64 (sqrt.f64 t) 1/25000000000000000000000000000000))
(.f64 (pow.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000) 1/3) (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)))
(.f64 (pow.f64 1 1/3) (.f64 t 1/25000000000000000000000000000000))
(.f64 (pow.f64 (pow.f64 (.f64 t 1/25000000000000000000000000000000) 3/2) 1/3) (pow.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3/2) 1/3))
(.f64 (.f64 1/25000000000000000000000000000000 (pow.f64 (cbrt.f64 t) 2)) (cbrt.f64 t))
(.f64 (.f64 1/25000000000000000000000000000000 (sqrt.f64 t)) (sqrt.f64 t))
(pow.f64 (*.f64 t 1/25000000000000000000000000000000) 1)
(pow.f64 (*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3)) 1/3)
(pow.f64 (cbrt.f64 (*.f64 t 1/25000000000000000000000000000000)) 3)
(pow.f64 (*.f64 (sqrt.f64 t) 1/5000000000000000) 2)
(sqrt.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000))
(log.f64 (pow.f64 (exp.f64 t) 1/25000000000000000000000000000000))
(expm1.f64 (log1p.f64 (*.f64 t 1/25000000000000000000000000000000)))
(exp.f64 (log.f64 (*.f64 t 1/25000000000000000000000000000000)))
(log1p.f64 (expm1.f64 (*.f64 t 1/25000000000000000000000000000000)))
(-.f64 (+.f64 1 (.f64 t (.f64 t 1/25000000000000000000000000000000))) 1)
(pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 1)
(pow.f64 (cbrt.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))) 3)
(pow.f64 (pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))) 2)
(sqrt.f64 (pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 2))
(log.f64 (pow.f64 (exp.f64 t) (*.f64 t 1/25000000000000000000000000000000)))
(cbrt.f64 (pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 3))
(cbrt.f64 (.f64 (pow.f64 t 3) (.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))))
(cbrt.f64 (.f64 (.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3)) (pow.f64 t 3)))
(expm1.f64 (log1p.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))))
(exp.f64 (log.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))))
(log1p.f64 (expm1.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))))

Outputs
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) t)
(*.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))
(.f64 -1 (.f64 t (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(neg.f64 (*.f64 t (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (neg.f64 t))
(*.f64 t (neg.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(.f64 -1 (.f64 t (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(neg.f64 (*.f64 t (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (neg.f64 t))
(*.f64 t (neg.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(.f64 -1 (.f64 t (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(neg.f64 (*.f64 t (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (neg.f64 t))
(*.f64 t (neg.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(.f64 -1 (.f64 t (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(neg.f64 (*.f64 t (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (neg.f64 t))
(*.f64 t (neg.f64 (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 -1 (.f64 (pow.f64 t 2) (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(neg.f64 (.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t)))
(.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 (neg.f64 t) t))
(.f64 t (neg.f64 (.f64 t (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))
(.f64 t (.f64 t (neg.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))
(.f64 -1 (.f64 (pow.f64 t 2) (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(neg.f64 (.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t)))
(.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 (neg.f64 t) t))
(.f64 t (neg.f64 (.f64 t (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))
(.f64 t (.f64 t (neg.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))
(.f64 -1 (.f64 (pow.f64 t 2) (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(neg.f64 (.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t)))
(.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 (neg.f64 t) t))
(.f64 t (neg.f64 (.f64 t (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))
(.f64 t (.f64 t (neg.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))
(.f64 -1 (.f64 (pow.f64 t 2) (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(neg.f64 (.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t)))
(.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 (neg.f64 t) t))
(.f64 t (neg.f64 (.f64 t (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))
(.f64 t (.f64 t (neg.f64 (cbrt.f64 -1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))
(-.f64 (+.f64 1 (*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))) 1)
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(.f64 t (.f64 1/25000000000000000000000000000000 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000)))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(.f64 1/25000000000000000000000000000000 (.f64 t (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000)))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(.f64 (.f64 t 1/25000000000000000000000000000000) (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(.f64 (.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3)) 1)
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(.f64 1 (.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3)))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(.f64 (pow.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) 2) (.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000)))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000) (.f64 t 1/25000000000000000000000000000000))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(.f64 (.f64 (sqrt.f64 t) 1/5000000000000000) (.f64 (.f64 (sqrt.f64 t) 1/5000000000000000) (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000)))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(*.f64 (pow.f64 t 3) 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(.f64 (pow.f64 (.f64 t 1/25000000000000000000000000000000) 3/2) (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3/2))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) 2) 3) (*.f64 t 1/25000000000000000000000000000000))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(.f64 (pow.f64 (.f64 (sqrt.f64 t) 1/5000000000000000) 3) (pow.f64 (*.f64 (sqrt.f64 t) 1/5000000000000000) 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(.f64 (.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000) t) 1/25000000000000000000000000000000)
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(.f64 (.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000) 1/25000000000000000000000000000000) t)
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(.f64 (.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000) 1) (*.f64 t 1/25000000000000000000000000000000))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(.f64 (.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000) (pow.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) 2)) (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(.f64 (.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000) (.f64 (sqrt.f64 t) 1/5000000000000000)) (.f64 (sqrt.f64 t) 1/5000000000000000))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(sqrt.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 6))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(log.f64 (pow.f64 (exp.f64 (pow.f64 t 3)) 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(cbrt.f64 (pow.f64 (*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3)) 3))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(expm1.f64 (log1p.f64 (*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(exp.f64 (log.f64 (*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(log1p.f64 (expm1.f64 (*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))))
(*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))
(-.f64 (+.f64 1 (*.f64 t 1/25000000000000000000000000000000)) 1)
(+.f64 1 (-.f64 (*.f64 t 1/25000000000000000000000000000000) 1))
(+.f64 (*.f64 t 1/25000000000000000000000000000000) 0)
(*.f64 t 1/25000000000000000000000000000000)
(*.f64 t 1/25000000000000000000000000000000)
(+.f64 1 (-.f64 (*.f64 t 1/25000000000000000000000000000000) 1))
(+.f64 (*.f64 t 1/25000000000000000000000000000000) 0)
(*.f64 t (pow.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 1/3))
(*.f64 t (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 t)
(+.f64 1 (-.f64 (*.f64 t 1/25000000000000000000000000000000) 1))
(+.f64 (*.f64 t 1/25000000000000000000000000000000) 0)
(*.f64 t 1/25000000000000000000000000000000)
(.f64 (.f64 t 1/25000000000000000000000000000000) 1)
(+.f64 1 (-.f64 (*.f64 t 1/25000000000000000000000000000000) 1))
(+.f64 (*.f64 t 1/25000000000000000000000000000000) 0)
(*.f64 t 1/25000000000000000000000000000000)
(.f64 1 (.f64 t 1/25000000000000000000000000000000))
(+.f64 1 (-.f64 (*.f64 t 1/25000000000000000000000000000000) 1))
(+.f64 (*.f64 t 1/25000000000000000000000000000000) 0)
(*.f64 t 1/25000000000000000000000000000000)
(.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) (pow.f64 (cbrt.f64 (*.f64 t 1/25000000000000000000000000000000)) 2))
(+.f64 1 (-.f64 (*.f64 t 1/25000000000000000000000000000000) 1))
(+.f64 (*.f64 t 1/25000000000000000000000000000000) 0)
(*.f64 t 1/25000000000000000000000000000000)
(.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) (pow.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000) 1/3))
(+.f64 1 (-.f64 (*.f64 t 1/25000000000000000000000000000000) 1))
(+.f64 (*.f64 t 1/25000000000000000000000000000000) 0)
(*.f64 t 1/25000000000000000000000000000000)
(.f64 (pow.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) 2) (cbrt.f64 (*.f64 t 1/25000000000000000000000000000000)))
(+.f64 1 (-.f64 (*.f64 t 1/25000000000000000000000000000000) 1))
(+.f64 (*.f64 t 1/25000000000000000000000000000000) 0)
(*.f64 t 1/25000000000000000000000000000000)
(.f64 (pow.f64 (cbrt.f64 t) 2) (.f64 (cbrt.f64 t) 1/25000000000000000000000000000000))
(+.f64 1 (-.f64 (*.f64 t 1/25000000000000000000000000000000) 1))
(+.f64 (*.f64 t 1/25000000000000000000000000000000) 0)
(*.f64 t 1/25000000000000000000000000000000)
(.f64 (.f64 (sqrt.f64 t) 1/5000000000000000) (*.f64 (sqrt.f64 t) 1/5000000000000000))
(+.f64 1 (-.f64 (*.f64 t 1/25000000000000000000000000000000) 1))
(+.f64 (*.f64 t 1/25000000000000000000000000000000) 0)
(*.f64 t 1/25000000000000000000000000000000)
(.f64 (sqrt.f64 t) (.f64 (sqrt.f64 t) 1/25000000000000000000000000000000))
(+.f64 1 (-.f64 (*.f64 t 1/25000000000000000000000000000000) 1))
(+.f64 (*.f64 t 1/25000000000000000000000000000000) 0)
(*.f64 t 1/25000000000000000000000000000000)
(.f64 (pow.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000) 1/3) (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)))
(+.f64 1 (-.f64 (*.f64 t 1/25000000000000000000000000000000) 1))
(+.f64 (*.f64 t 1/25000000000000000000000000000000) 0)
(*.f64 t 1/25000000000000000000000000000000)
(.f64 (pow.f64 1 1/3) (.f64 t 1/25000000000000000000000000000000))
(+.f64 1 (-.f64 (*.f64 t 1/25000000000000000000000000000000) 1))
(+.f64 (*.f64 t 1/25000000000000000000000000000000) 0)
(*.f64 t 1/25000000000000000000000000000000)
(.f64 (pow.f64 (pow.f64 (.f64 t 1/25000000000000000000000000000000) 3/2) 1/3) (pow.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3/2) 1/3))
(.f64 (cbrt.f64 (pow.f64 (.f64 t 1/25000000000000000000000000000000) 3/2)) (cbrt.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3/2)))
(pow.f64 (pow.f64 (*.f64 1/125000000000000000000000000000000000000000000000 (pow.f64 t 3/2)) 1/6) 4)
(.f64 (.f64 1/25000000000000000000000000000000 (pow.f64 (cbrt.f64 t) 2)) (cbrt.f64 t))
(+.f64 1 (-.f64 (*.f64 t 1/25000000000000000000000000000000) 1))
(+.f64 (*.f64 t 1/25000000000000000000000000000000) 0)
(*.f64 t 1/25000000000000000000000000000000)
(.f64 (.f64 1/25000000000000000000000000000000 (sqrt.f64 t)) (sqrt.f64 t))
(+.f64 1 (-.f64 (*.f64 t 1/25000000000000000000000000000000) 1))
(+.f64 (*.f64 t 1/25000000000000000000000000000000) 0)
(*.f64 t 1/25000000000000000000000000000000)
(pow.f64 (*.f64 t 1/25000000000000000000000000000000) 1)
(+.f64 1 (-.f64 (*.f64 t 1/25000000000000000000000000000000) 1))
(+.f64 (*.f64 t 1/25000000000000000000000000000000) 0)
(*.f64 t 1/25000000000000000000000000000000)
(pow.f64 (*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3)) 1/3)
(+.f64 1 (-.f64 (*.f64 t 1/25000000000000000000000000000000) 1))
(+.f64 (*.f64 t 1/25000000000000000000000000000000) 0)
(*.f64 t 1/25000000000000000000000000000000)
(pow.f64 (cbrt.f64 (*.f64 t 1/25000000000000000000000000000000)) 3)
(+.f64 1 (-.f64 (*.f64 t 1/25000000000000000000000000000000) 1))
(+.f64 (*.f64 t 1/25000000000000000000000000000000) 0)
(*.f64 t 1/25000000000000000000000000000000)
(pow.f64 (*.f64 (sqrt.f64 t) 1/5000000000000000) 2)
(+.f64 1 (-.f64 (*.f64 t 1/25000000000000000000000000000000) 1))
(+.f64 (*.f64 t 1/25000000000000000000000000000000) 0)
(*.f64 t 1/25000000000000000000000000000000)
(sqrt.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000))
(+.f64 1 (-.f64 (*.f64 t 1/25000000000000000000000000000000) 1))
(+.f64 (*.f64 t 1/25000000000000000000000000000000) 0)
(*.f64 t 1/25000000000000000000000000000000)
(log.f64 (pow.f64 (exp.f64 t) 1/25000000000000000000000000000000))
(+.f64 1 (-.f64 (*.f64 t 1/25000000000000000000000000000000) 1))
(+.f64 (*.f64 t 1/25000000000000000000000000000000) 0)
(*.f64 t 1/25000000000000000000000000000000)
(expm1.f64 (log1p.f64 (*.f64 t 1/25000000000000000000000000000000)))
(+.f64 1 (-.f64 (*.f64 t 1/25000000000000000000000000000000) 1))
(+.f64 (*.f64 t 1/25000000000000000000000000000000) 0)
(*.f64 t 1/25000000000000000000000000000000)
(exp.f64 (log.f64 (*.f64 t 1/25000000000000000000000000000000)))
(+.f64 1 (-.f64 (*.f64 t 1/25000000000000000000000000000000) 1))
(+.f64 (*.f64 t 1/25000000000000000000000000000000) 0)
(*.f64 t 1/25000000000000000000000000000000)
(log1p.f64 (expm1.f64 (*.f64 t 1/25000000000000000000000000000000)))
(+.f64 1 (-.f64 (*.f64 t 1/25000000000000000000000000000000) 1))
(+.f64 (*.f64 t 1/25000000000000000000000000000000) 0)
(*.f64 t 1/25000000000000000000000000000000)
(-.f64 (+.f64 1 (.f64 t (.f64 t 1/25000000000000000000000000000000))) 1)
(+.f64 1 (-.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 1))
(+.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 0)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 1)
(+.f64 1 (-.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 1))
(+.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 0)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(pow.f64 (cbrt.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))) 3)
(+.f64 1 (-.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 1))
(+.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 0)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(pow.f64 (pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 3) 1/3)
(+.f64 1 (-.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 1))
(+.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 0)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(pow.f64 (sqrt.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))) 2)
(+.f64 1 (-.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 1))
(+.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 0)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(sqrt.f64 (pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 2))
(+.f64 1 (-.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 1))
(+.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 0)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(log.f64 (pow.f64 (exp.f64 t) (*.f64 t 1/25000000000000000000000000000000)))
(+.f64 1 (-.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 1))
(+.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 0)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(cbrt.f64 (pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 3))
(+.f64 1 (-.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 1))
(+.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 0)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(cbrt.f64 (.f64 (pow.f64 t 3) (.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3))))
(+.f64 1 (-.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 1))
(+.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 0)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(cbrt.f64 (.f64 (.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 3)) (pow.f64 t 3)))
(+.f64 1 (-.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 1))
(+.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 0)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(expm1.f64 (log1p.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))))
(+.f64 1 (-.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 1))
(+.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 0)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(exp.f64 (log.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))))
(+.f64 1 (-.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 1))
(+.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 0)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(log1p.f64 (expm1.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))))
(+.f64 1 (-.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 1))
(+.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 0)
(.f64 t (.f64 t 1/25000000000000000000000000000000))

localize46.0ms (1.1%)

Local Accuracy

Found 4 expressions with local accuracy:

New	Accuracy	Program
✓	99.8%	(sqrt.f64 (*.f64 t 1/25000000000000000000000000000000))
✓	99.5%	(.f64 t (pow.f64 (sqrt.f64 (.f64 t 1/25000000000000000000000000000000)) 2))
✓	99.3%	(pow.f64 (sqrt.f64 (*.f64 t 1/25000000000000000000000000000000)) 2)
	99.3%	(*.f64 t 1/25000000000000000000000000000000)

Compiler

Compiled 26 to 20 computations (23.1% saved)

series6.0ms (0.2%)

Counts

3 → 12

Calls

9 calls:

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

rewrite62.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1532×	`pow1`
1418×	`add-exp-log`
1418×	`log1p-expm1-u`
1418×	`expm1-log1p-u`
1386×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	31
1	206	31
2	2021	31

Stop Event

1×	node limit

Counts

3 → 59

Calls

Call 1

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

Outputs
(-.f64 (+.f64 1 (*.f64 t 1/25000000000000000000000000000000)) 1)
(*.f64 t 1/25000000000000000000000000000000)
(*.f64 1/25000000000000000000000000000000 t)
(.f64 (.f64 t 1/25000000000000000000000000000000) 1)
(.f64 (.f64 1/5000000000000000 (sqrt.f64 t)) (*.f64 1/5000000000000000 (sqrt.f64 t)))
(.f64 1 (.f64 t 1/25000000000000000000000000000000))
(.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) (cbrt.f64 (.f64 1/625000000000000000000000000000000000000000000000000000000000000 (.f64 t t))))
(.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) (.f64 (cbrt.f64 (.f64 1/5000000000000000 (sqrt.f64 t))) (*.f64 1/5000000000000000 (sqrt.f64 t))))
(.f64 (cbrt.f64 (.f64 1/625000000000000000000000000000000000000000000000000000000000000 (.f64 t t))) (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)))
(.f64 (pow.f64 (cbrt.f64 t) 2) (.f64 (cbrt.f64 t) 1/25000000000000000000000000000000))
(.f64 (sqrt.f64 (.f64 t (*.f64 t 1/25000000000000000000000000000000))) 1/5000000000000000)
(.f64 (pow.f64 (.f64 t 1/25000000000000000000000000000000) 1/4) (.f64 (pow.f64 (.f64 t 1/25000000000000000000000000000000) 1/4) (*.f64 1/5000000000000000 (sqrt.f64 t))))
(.f64 (sqrt.f64 t) (.f64 (sqrt.f64 t) 1/25000000000000000000000000000000))
(.f64 (sqrt.f64 t) (.f64 1/5000000000000000 (*.f64 1/5000000000000000 (sqrt.f64 t))))
(.f64 (.f64 (.f64 1/5000000000000000 (sqrt.f64 t)) (pow.f64 (.f64 t 1/25000000000000000000000000000000) 1/4)) (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 1/4))
(.f64 (.f64 1/25000000000000000000000000000000 (pow.f64 (cbrt.f64 t) 2)) (cbrt.f64 t))
(.f64 (.f64 1/25000000000000000000000000000000 (sqrt.f64 t)) (sqrt.f64 t))
(.f64 (.f64 (.f64 1/5000000000000000 (sqrt.f64 t)) (cbrt.f64 (.f64 t 1/25000000000000000000000000000000))) (cbrt.f64 (*.f64 1/5000000000000000 (sqrt.f64 t))))
(sqrt.f64 (.f64 1/625000000000000000000000000000000000000000000000000000000000000 (.f64 t t)))
(log.f64 (pow.f64 (exp.f64 1/25000000000000000000000000000000) t))
(cbrt.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3))
(expm1.f64 (log1p.f64 (*.f64 t 1/25000000000000000000000000000000)))
(exp.f64 (log.f64 (*.f64 t 1/25000000000000000000000000000000)))
(log1p.f64 (expm1.f64 (*.f64 t 1/25000000000000000000000000000000)))
(-.f64 (+.f64 1 (.f64 t (.f64 t 1/25000000000000000000000000000000))) 1)
(pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 1)
(pow.f64 (cbrt.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))) 3)
(pow.f64 (pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))) 2)
(sqrt.f64 (pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 2))
(log.f64 (pow.f64 (pow.f64 (exp.f64 1/25000000000000000000000000000000) t) t))
(cbrt.f64 (pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 3))
(expm1.f64 (log1p.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))))
(exp.f64 (log.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))))
(log1p.f64 (expm1.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))))
(-.f64 (+.f64 1 (*.f64 1/5000000000000000 (sqrt.f64 t))) 1)
(.f64 (.f64 1/5000000000000000 (sqrt.f64 t)) 1)
(.f64 1 (.f64 1/5000000000000000 (sqrt.f64 t)))
(.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) (cbrt.f64 (*.f64 1/5000000000000000 (sqrt.f64 t))))
(.f64 (cbrt.f64 (.f64 1/5000000000000000 (sqrt.f64 t))) (cbrt.f64 (*.f64 t 1/25000000000000000000000000000000)))
(*.f64 1/5000000000000000 (sqrt.f64 t))
(.f64 (pow.f64 (.f64 t 1/25000000000000000000000000000000) 1/4) (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 1/4))
(*.f64 (sqrt.f64 t) 1/5000000000000000)
(*.f64 (sqrt.f64 t) (pow.f64 1/25000000000000000000000000000000 1/2))
(.f64 (sqrt.f64 (cbrt.f64 (.f64 1/625000000000000000000000000000000000000000000000000000000000000 (.f64 t t)))) (sqrt.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000))))
(*.f64 (pow.f64 1/25000000000000000000000000000000 1/2) (sqrt.f64 t))
(.f64 (pow.f64 1 1/2) (.f64 1/5000000000000000 (sqrt.f64 t)))
(.f64 (pow.f64 (cbrt.f64 (.f64 1/625000000000000000000000000000000000000000000000000000000000000 (.f64 t t))) 1/2) (pow.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) 1/2))
(pow.f64 (*.f64 t 1/25000000000000000000000000000000) 1/2)
(pow.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 1)
(pow.f64 (cbrt.f64 (*.f64 1/5000000000000000 (sqrt.f64 t))) 3)
(pow.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3/2) 1/3)
(pow.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 1/4) 2)
(fabs.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)))
(log.f64 (pow.f64 (exp.f64 (sqrt.f64 t)) 1/5000000000000000))
(cbrt.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3/2))
(expm1.f64 (log1p.f64 (*.f64 1/5000000000000000 (sqrt.f64 t))))
(exp.f64 (log.f64 (*.f64 1/5000000000000000 (sqrt.f64 t))))
(log1p.f64 (expm1.f64 (*.f64 1/5000000000000000 (sqrt.f64 t))))

simplify77.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

2152×	`log-prod`
1544×	`fma-def`
996×	`fma-neg`
632×	`unswap-sqr`
610×	`*-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	129	1359
1	292	1107
2	969	855
3	2973	855
4	6297	855

Stop Event

1×	node limit

Counts

71 → 74

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

Outputs
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t -1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t -1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t -1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t -1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t -1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t -1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t -1/25000000000000000000000000000000))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t -1/25000000000000000000000000000000))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1/25000000000000000000000000000000) 2) (pow.f64 t 2)))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t -1/25000000000000000000000000000000))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1/25000000000000000000000000000000) 2) (pow.f64 t 2)))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t -1/25000000000000000000000000000000))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1/25000000000000000000000000000000) 2) (pow.f64 t 2)))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t -1/25000000000000000000000000000000))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1/25000000000000000000000000000000) 2) (pow.f64 t 2)))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t -1/25000000000000000000000000000000))
(-.f64 (+.f64 1 (*.f64 t 1/25000000000000000000000000000000)) 1)
(+.f64 1 (-.f64 (*.f64 1/25000000000000000000000000000000 t) 1))
(+.f64 (*.f64 1/25000000000000000000000000000000 t) 0)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 t 1/25000000000000000000000000000000)
(+.f64 1 (-.f64 (*.f64 1/25000000000000000000000000000000 t) 1))
(+.f64 (*.f64 1/25000000000000000000000000000000 t) 0)
(*.f64 1/25000000000000000000000000000000 t)
(*.f64 1/25000000000000000000000000000000 t)
(+.f64 1 (-.f64 (*.f64 1/25000000000000000000000000000000 t) 1))
(+.f64 (*.f64 1/25000000000000000000000000000000 t) 0)
(.f64 (.f64 t 1/25000000000000000000000000000000) 1)
(+.f64 1 (-.f64 (*.f64 1/25000000000000000000000000000000 t) 1))
(+.f64 (*.f64 1/25000000000000000000000000000000 t) 0)
(*.f64 1/25000000000000000000000000000000 t)
(.f64 (.f64 1/5000000000000000 (sqrt.f64 t)) (*.f64 1/5000000000000000 (sqrt.f64 t)))
(+.f64 1 (-.f64 (*.f64 1/25000000000000000000000000000000 t) 1))
(+.f64 (*.f64 1/25000000000000000000000000000000 t) 0)
(*.f64 1/25000000000000000000000000000000 t)
(.f64 1 (.f64 t 1/25000000000000000000000000000000))
(+.f64 1 (-.f64 (*.f64 1/25000000000000000000000000000000 t) 1))
(+.f64 (*.f64 1/25000000000000000000000000000000 t) 0)
(*.f64 1/25000000000000000000000000000000 t)
(.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) (cbrt.f64 (.f64 1/625000000000000000000000000000000000000000000000000000000000000 (.f64 t t))))
(.f64 (cbrt.f64 (.f64 1/25000000000000000000000000000000 t)) (cbrt.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000)))
(.f64 (cbrt.f64 (.f64 1/25000000000000000000000000000000 t)) (cbrt.f64 (.f64 t (.f64 t 1/625000000000000000000000000000000000000000000000000000000000000))))
(.f64 (cbrt.f64 (.f64 t (.f64 t 1/625000000000000000000000000000000000000000000000000000000000000))) (cbrt.f64 (.f64 1/25000000000000000000000000000000 t)))
(.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) (.f64 (cbrt.f64 (.f64 1/5000000000000000 (sqrt.f64 t))) (*.f64 1/5000000000000000 (sqrt.f64 t))))
(+.f64 1 (-.f64 (*.f64 1/25000000000000000000000000000000 t) 1))
(+.f64 (*.f64 1/25000000000000000000000000000000 t) 0)
(*.f64 1/25000000000000000000000000000000 t)
(.f64 (cbrt.f64 (.f64 1/625000000000000000000000000000000000000000000000000000000000000 (.f64 t t))) (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)))
(.f64 (cbrt.f64 (.f64 1/25000000000000000000000000000000 t)) (cbrt.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000)))
(.f64 (cbrt.f64 (.f64 1/25000000000000000000000000000000 t)) (cbrt.f64 (.f64 t (.f64 t 1/625000000000000000000000000000000000000000000000000000000000000))))
(.f64 (cbrt.f64 (.f64 t (.f64 t 1/625000000000000000000000000000000000000000000000000000000000000))) (cbrt.f64 (.f64 1/25000000000000000000000000000000 t)))
(.f64 (pow.f64 (cbrt.f64 t) 2) (.f64 (cbrt.f64 t) 1/25000000000000000000000000000000))
(+.f64 1 (-.f64 (*.f64 1/25000000000000000000000000000000 t) 1))
(+.f64 (*.f64 1/25000000000000000000000000000000 t) 0)
(*.f64 1/25000000000000000000000000000000 t)
(.f64 (sqrt.f64 (.f64 t (*.f64 t 1/25000000000000000000000000000000))) 1/5000000000000000)
(+.f64 1 (-.f64 (*.f64 1/25000000000000000000000000000000 t) 1))
(+.f64 (*.f64 1/25000000000000000000000000000000 t) 0)
(*.f64 1/25000000000000000000000000000000 t)
(.f64 (pow.f64 (.f64 t 1/25000000000000000000000000000000) 1/4) (.f64 (pow.f64 (.f64 t 1/25000000000000000000000000000000) 1/4) (*.f64 1/5000000000000000 (sqrt.f64 t))))
(+.f64 1 (-.f64 (*.f64 1/25000000000000000000000000000000 t) 1))
(+.f64 (*.f64 1/25000000000000000000000000000000 t) 0)
(*.f64 1/25000000000000000000000000000000 t)
(.f64 (sqrt.f64 t) (.f64 (sqrt.f64 t) 1/25000000000000000000000000000000))
(+.f64 1 (-.f64 (*.f64 1/25000000000000000000000000000000 t) 1))
(+.f64 (*.f64 1/25000000000000000000000000000000 t) 0)
(*.f64 1/25000000000000000000000000000000 t)
(.f64 (sqrt.f64 t) (.f64 1/5000000000000000 (*.f64 1/5000000000000000 (sqrt.f64 t))))
(+.f64 1 (-.f64 (*.f64 1/25000000000000000000000000000000 t) 1))
(+.f64 (*.f64 1/25000000000000000000000000000000 t) 0)
(*.f64 1/25000000000000000000000000000000 t)
(.f64 (.f64 (.f64 1/5000000000000000 (sqrt.f64 t)) (pow.f64 (.f64 t 1/25000000000000000000000000000000) 1/4)) (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 1/4))
(+.f64 1 (-.f64 (*.f64 1/25000000000000000000000000000000 t) 1))
(+.f64 (*.f64 1/25000000000000000000000000000000 t) 0)
(*.f64 1/25000000000000000000000000000000 t)
(.f64 (.f64 1/25000000000000000000000000000000 (pow.f64 (cbrt.f64 t) 2)) (cbrt.f64 t))
(+.f64 1 (-.f64 (*.f64 1/25000000000000000000000000000000 t) 1))
(+.f64 (*.f64 1/25000000000000000000000000000000 t) 0)
(*.f64 1/25000000000000000000000000000000 t)
(.f64 (.f64 1/25000000000000000000000000000000 (sqrt.f64 t)) (sqrt.f64 t))
(+.f64 1 (-.f64 (*.f64 1/25000000000000000000000000000000 t) 1))
(+.f64 (*.f64 1/25000000000000000000000000000000 t) 0)
(*.f64 1/25000000000000000000000000000000 t)
(.f64 (.f64 (.f64 1/5000000000000000 (sqrt.f64 t)) (cbrt.f64 (.f64 t 1/25000000000000000000000000000000))) (cbrt.f64 (*.f64 1/5000000000000000 (sqrt.f64 t))))
(+.f64 1 (-.f64 (*.f64 1/25000000000000000000000000000000 t) 1))
(+.f64 (*.f64 1/25000000000000000000000000000000 t) 0)
(*.f64 1/25000000000000000000000000000000 t)
(sqrt.f64 (.f64 1/625000000000000000000000000000000000000000000000000000000000000 (.f64 t t)))
(+.f64 1 (-.f64 (*.f64 1/25000000000000000000000000000000 t) 1))
(+.f64 (*.f64 1/25000000000000000000000000000000 t) 0)
(*.f64 1/25000000000000000000000000000000 t)
(log.f64 (pow.f64 (exp.f64 1/25000000000000000000000000000000) t))
(+.f64 1 (-.f64 (*.f64 1/25000000000000000000000000000000 t) 1))
(+.f64 (*.f64 1/25000000000000000000000000000000 t) 0)
(*.f64 1/25000000000000000000000000000000 t)
(cbrt.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3))
(+.f64 1 (-.f64 (*.f64 1/25000000000000000000000000000000 t) 1))
(+.f64 (*.f64 1/25000000000000000000000000000000 t) 0)
(*.f64 1/25000000000000000000000000000000 t)
(expm1.f64 (log1p.f64 (*.f64 t 1/25000000000000000000000000000000)))
(+.f64 1 (-.f64 (*.f64 1/25000000000000000000000000000000 t) 1))
(+.f64 (*.f64 1/25000000000000000000000000000000 t) 0)
(*.f64 1/25000000000000000000000000000000 t)
(exp.f64 (log.f64 (*.f64 t 1/25000000000000000000000000000000)))
(+.f64 1 (-.f64 (*.f64 1/25000000000000000000000000000000 t) 1))
(+.f64 (*.f64 1/25000000000000000000000000000000 t) 0)
(*.f64 1/25000000000000000000000000000000 t)
(log1p.f64 (expm1.f64 (*.f64 t 1/25000000000000000000000000000000)))
(+.f64 1 (-.f64 (*.f64 1/25000000000000000000000000000000 t) 1))
(+.f64 (*.f64 1/25000000000000000000000000000000 t) 0)
(*.f64 1/25000000000000000000000000000000 t)
(-.f64 (+.f64 1 (.f64 t (.f64 t 1/25000000000000000000000000000000))) 1)
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t -1/25000000000000000000000000000000))
(pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 1)
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t -1/25000000000000000000000000000000))
(pow.f64 (cbrt.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))) 3)
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t -1/25000000000000000000000000000000))
(pow.f64 (pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 3) 1/3)
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t -1/25000000000000000000000000000000))
(pow.f64 (sqrt.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))) 2)
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t -1/25000000000000000000000000000000))
(sqrt.f64 (pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t -1/25000000000000000000000000000000))
(log.f64 (pow.f64 (pow.f64 (exp.f64 1/25000000000000000000000000000000) t) t))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t -1/25000000000000000000000000000000))
(cbrt.f64 (pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 3))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t -1/25000000000000000000000000000000))
(expm1.f64 (log1p.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t -1/25000000000000000000000000000000))
(exp.f64 (log.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t -1/25000000000000000000000000000000))
(log1p.f64 (expm1.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t -1/25000000000000000000000000000000))
(-.f64 (+.f64 1 (*.f64 1/5000000000000000 (sqrt.f64 t))) 1)
(+.f64 (+.f64 1 (*.f64 1/5000000000000000 (sqrt.f64 t))) -1)
(+.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 0)
(*.f64 1/5000000000000000 (sqrt.f64 t))
(.f64 (.f64 1/5000000000000000 (sqrt.f64 t)) 1)
(+.f64 (+.f64 1 (*.f64 1/5000000000000000 (sqrt.f64 t))) -1)
(+.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 0)
(*.f64 1/5000000000000000 (sqrt.f64 t))
(.f64 1 (.f64 1/5000000000000000 (sqrt.f64 t)))
(+.f64 (+.f64 1 (*.f64 1/5000000000000000 (sqrt.f64 t))) -1)
(+.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 0)
(*.f64 1/5000000000000000 (sqrt.f64 t))
(.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) (cbrt.f64 (*.f64 1/5000000000000000 (sqrt.f64 t))))
(+.f64 (+.f64 1 (*.f64 1/5000000000000000 (sqrt.f64 t))) -1)
(+.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 0)
(*.f64 1/5000000000000000 (sqrt.f64 t))
(.f64 (cbrt.f64 (.f64 1/5000000000000000 (sqrt.f64 t))) (cbrt.f64 (*.f64 t 1/25000000000000000000000000000000)))
(+.f64 (+.f64 1 (*.f64 1/5000000000000000 (sqrt.f64 t))) -1)
(+.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 0)
(*.f64 1/5000000000000000 (sqrt.f64 t))
(*.f64 1/5000000000000000 (sqrt.f64 t))
(+.f64 (+.f64 1 (*.f64 1/5000000000000000 (sqrt.f64 t))) -1)
(+.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 0)
(.f64 (pow.f64 (.f64 t 1/25000000000000000000000000000000) 1/4) (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 1/4))
(+.f64 (+.f64 1 (*.f64 1/5000000000000000 (sqrt.f64 t))) -1)
(+.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 0)
(*.f64 1/5000000000000000 (sqrt.f64 t))
(*.f64 (sqrt.f64 t) 1/5000000000000000)
(+.f64 (+.f64 1 (*.f64 1/5000000000000000 (sqrt.f64 t))) -1)
(+.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 0)
(*.f64 1/5000000000000000 (sqrt.f64 t))
(*.f64 (sqrt.f64 t) (pow.f64 1/25000000000000000000000000000000 1/2))
(+.f64 (+.f64 1 (*.f64 1/5000000000000000 (sqrt.f64 t))) -1)
(+.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 0)
(*.f64 1/5000000000000000 (sqrt.f64 t))
(.f64 (sqrt.f64 (cbrt.f64 (.f64 1/625000000000000000000000000000000000000000000000000000000000000 (.f64 t t)))) (sqrt.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000))))
(.f64 (sqrt.f64 (cbrt.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000))) (sqrt.f64 (cbrt.f64 (.f64 1/25000000000000000000000000000000 t))))
(.f64 (sqrt.f64 (cbrt.f64 (.f64 t (.f64 t 1/625000000000000000000000000000000000000000000000000000000000000)))) (sqrt.f64 (cbrt.f64 (.f64 1/25000000000000000000000000000000 t))))
(*.f64 (pow.f64 1/25000000000000000000000000000000 1/2) (sqrt.f64 t))
(+.f64 (+.f64 1 (*.f64 1/5000000000000000 (sqrt.f64 t))) -1)
(+.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 0)
(*.f64 1/5000000000000000 (sqrt.f64 t))
(.f64 (pow.f64 1 1/2) (.f64 1/5000000000000000 (sqrt.f64 t)))
(+.f64 (+.f64 1 (*.f64 1/5000000000000000 (sqrt.f64 t))) -1)
(+.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 0)
(*.f64 1/5000000000000000 (sqrt.f64 t))
(.f64 (pow.f64 (cbrt.f64 (.f64 1/625000000000000000000000000000000000000000000000000000000000000 (.f64 t t))) 1/2) (pow.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) 1/2))
(.f64 (sqrt.f64 (cbrt.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000))) (sqrt.f64 (cbrt.f64 (.f64 1/25000000000000000000000000000000 t))))
(.f64 (sqrt.f64 (cbrt.f64 (.f64 t (.f64 t 1/625000000000000000000000000000000000000000000000000000000000000)))) (sqrt.f64 (cbrt.f64 (.f64 1/25000000000000000000000000000000 t))))
(pow.f64 (*.f64 t 1/25000000000000000000000000000000) 1/2)
(+.f64 (+.f64 1 (*.f64 1/5000000000000000 (sqrt.f64 t))) -1)
(+.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 0)
(*.f64 1/5000000000000000 (sqrt.f64 t))
(pow.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 1)
(+.f64 (+.f64 1 (*.f64 1/5000000000000000 (sqrt.f64 t))) -1)
(+.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 0)
(*.f64 1/5000000000000000 (sqrt.f64 t))
(pow.f64 (cbrt.f64 (*.f64 1/5000000000000000 (sqrt.f64 t))) 3)
(+.f64 (+.f64 1 (*.f64 1/5000000000000000 (sqrt.f64 t))) -1)
(+.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 0)
(*.f64 1/5000000000000000 (sqrt.f64 t))
(pow.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3/2) 1/3)
(cbrt.f64 (pow.f64 (*.f64 1/25000000000000000000000000000000 t) 3/2))
(cbrt.f64 (*.f64 (pow.f64 t 3/2) 1/125000000000000000000000000000000000000000000000))
(pow.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 1/4) 2)
(+.f64 (+.f64 1 (*.f64 1/5000000000000000 (sqrt.f64 t))) -1)
(+.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 0)
(*.f64 1/5000000000000000 (sqrt.f64 t))
(fabs.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)))
(+.f64 (+.f64 1 (*.f64 1/5000000000000000 (sqrt.f64 t))) -1)
(+.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 0)
(*.f64 1/5000000000000000 (sqrt.f64 t))
(log.f64 (pow.f64 (exp.f64 (sqrt.f64 t)) 1/5000000000000000))
(+.f64 (+.f64 1 (*.f64 1/5000000000000000 (sqrt.f64 t))) -1)
(+.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 0)
(*.f64 1/5000000000000000 (sqrt.f64 t))
(cbrt.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3/2))
(cbrt.f64 (pow.f64 (*.f64 1/25000000000000000000000000000000 t) 3/2))
(cbrt.f64 (*.f64 (pow.f64 t 3/2) 1/125000000000000000000000000000000000000000000000))
(expm1.f64 (log1p.f64 (*.f64 1/5000000000000000 (sqrt.f64 t))))
(+.f64 (+.f64 1 (*.f64 1/5000000000000000 (sqrt.f64 t))) -1)
(+.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 0)
(*.f64 1/5000000000000000 (sqrt.f64 t))
(exp.f64 (log.f64 (*.f64 1/5000000000000000 (sqrt.f64 t))))
(+.f64 (+.f64 1 (*.f64 1/5000000000000000 (sqrt.f64 t))) -1)
(+.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 0)
(*.f64 1/5000000000000000 (sqrt.f64 t))
(log1p.f64 (expm1.f64 (*.f64 1/5000000000000000 (sqrt.f64 t))))
(+.f64 (+.f64 1 (*.f64 1/5000000000000000 (sqrt.f64 t))) -1)
(+.f64 (*.f64 1/5000000000000000 (sqrt.f64 t)) 0)
(*.f64 1/5000000000000000 (sqrt.f64 t))

eval105.0ms (2.6%)

Compiler: Compiled 2704 to 1936 computations (28.4% saved)

prune27.0ms (0.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	285	4	289
Fresh	4	0	4
Picked	1	0	1
Done	3	2	5
Total	293	6	299

Accurracy

100.0%

Counts

299 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.4%	(.f64 (.f64 (*.f64 t 1/5000000000000000) t) 1/5000000000000000)
▶	99.3%	(.f64 (.f64 (*.f64 t 1/5000000000000000) 1/5000000000000000) t)
▶	99.2%	(.f64 (.f64 t 1/5000000000000000) (*.f64 t 1/5000000000000000))
▶	99.1%	(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
✓	99.4%	(.f64 t (.f64 t 1/25000000000000000000000000000000))
✓	99.3%	(.f64 1/25000000000000000000000000000000 (.f64 t t))

Compiler

Compiled 43 to 31 computations (27.9% saved)

localize71.0ms (1.8%)

Local Accuracy

Found 2 expressions with local accuracy:

New

Accuracy

Program

✓

99.3%

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

✓

98.4%

(cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)

Compiler

Compiled 15 to 9 computations (40% saved)

series0.0ms (0%)

Counts

2 → 12

Calls

3 calls:

Time

Variable

Point

Expression

0.0ms

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

0.0ms

inf

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

0.0ms

-inf

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

rewrite56.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1358×	`pow1`
1260×	`add-exp-log`
1260×	`log1p-expm1-u`
1260×	`expm1-log1p-u`
1230×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	22
1	158	22
2	1791	22

Stop Event

1×	node limit

Counts

2 → 26

Calls

Call 1

Inputs

(cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)

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

Outputs
(-.f64 (+.f64 1 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 1)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1)
(*.f64 1 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))
(*.f64 (cbrt.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (cbrt.f64 (cbrt.f64 1/244140625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 (cbrt.f64 (cbrt.f64 1/244140625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (cbrt.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 (pow.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 1/6) (pow.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 1/6))
(pow.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 1/3)
(pow.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1)
(pow.f64 (cbrt.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 3)
(pow.f64 (pow.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 1/6) 2)
(sqrt.f64 (cbrt.f64 1/244140625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))
(log.f64 (exp.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(expm1.f64 (log1p.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(exp.f64 (log.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(log1p.f64 (expm1.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(-.f64 (+.f64 1 (.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))) 1)
(pow.f64 (.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t)) 1)
(pow.f64 (cbrt.f64 (.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))) 3)
(pow.f64 (.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 (.f64 t t) 3)) 1/3)
(pow.f64 (*.f64 t (pow.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 1/6)) 2)
(sqrt.f64 (*.f64 (cbrt.f64 1/244140625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 4)))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (*.f64 t t)))
(cbrt.f64 (.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 (.f64 t t) 3)))
(expm1.f64 (log1p.f64 (.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))))
(exp.f64 (log.f64 (.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))))
(log1p.f64 (expm1.f64 (.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))))

simplify69.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

1502×	`log-prod`
1248×	`fma-def`
900×	`unswap-sqr`
588×	`exp-sum`
574×	`fma-neg`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	63	666
1	130	582
2	400	510
3	1572	510
4	5133	510

Stop Event

1×	node limit

Counts

38 → 32

Calls

Call 1

Inputs
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(-.f64 (+.f64 1 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 1)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1)
(*.f64 1 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))
(*.f64 (cbrt.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (cbrt.f64 (cbrt.f64 1/244140625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 (cbrt.f64 (cbrt.f64 1/244140625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (cbrt.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 (pow.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 1/6) (pow.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 1/6))
(pow.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 1/3)
(pow.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1)
(pow.f64 (cbrt.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 3)
(pow.f64 (pow.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 1/6) 2)
(sqrt.f64 (cbrt.f64 1/244140625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))
(log.f64 (exp.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(expm1.f64 (log1p.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(exp.f64 (log.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(log1p.f64 (expm1.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(-.f64 (+.f64 1 (.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))) 1)
(pow.f64 (.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t)) 1)
(pow.f64 (cbrt.f64 (.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))) 3)
(pow.f64 (.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 (.f64 t t) 3)) 1/3)
(pow.f64 (*.f64 t (pow.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 1/6)) 2)
(sqrt.f64 (*.f64 (cbrt.f64 1/244140625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 4)))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (*.f64 t t)))
(cbrt.f64 (.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 (.f64 t t) 3)))
(expm1.f64 (log1p.f64 (.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))))
(exp.f64 (log.f64 (.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))))
(log1p.f64 (expm1.f64 (.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))))

Outputs
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 2))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(-.f64 (+.f64 1 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 1)
(+.f64 1 (-.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1))
(+.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 0)
(cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)
(*.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1)
(+.f64 1 (-.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1))
(+.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 0)
(cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)
(*.f64 1 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))
(+.f64 1 (-.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1))
(+.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 0)
(cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)
(*.f64 (cbrt.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (cbrt.f64 (cbrt.f64 1/244140625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 (cbrt.f64 (cbrt.f64 1/244140625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (cbrt.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 (cbrt.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (cbrt.f64 (cbrt.f64 1/244140625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(*.f64 (pow.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 1/6) (pow.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 1/6))
(+.f64 1 (-.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1))
(+.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 0)
(cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)
(pow.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 1/3)
(+.f64 1 (-.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1))
(+.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 0)
(cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)
(pow.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1)
(+.f64 1 (-.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1))
(+.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 0)
(cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)
(pow.f64 (cbrt.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 3)
(+.f64 1 (-.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1))
(+.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 0)
(cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)
(pow.f64 (pow.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 1/6) 2)
(+.f64 1 (-.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1))
(+.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 0)
(cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)
(sqrt.f64 (cbrt.f64 1/244140625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))
(log.f64 (exp.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(+.f64 1 (-.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1))
(+.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 0)
(cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)
(expm1.f64 (log1p.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(+.f64 1 (-.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1))
(+.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 0)
(cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)
(exp.f64 (log.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(+.f64 1 (-.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1))
(+.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 0)
(cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)
(log1p.f64 (expm1.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
(+.f64 1 (-.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1))
(+.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 0)
(cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)
(-.f64 (+.f64 1 (.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))) 1)
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(pow.f64 (.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t)) 1)
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(pow.f64 (cbrt.f64 (.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))) 3)
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(pow.f64 (.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 (.f64 t t) 3)) 1/3)
(cbrt.f64 (.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 (.f64 t t) 3)))
(cbrt.f64 (*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 6)))
(pow.f64 (*.f64 t (pow.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 1/6)) 2)
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(sqrt.f64 (*.f64 (cbrt.f64 1/244140625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (pow.f64 t 4)))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (*.f64 t t)))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(cbrt.f64 (.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 (.f64 t t) 3)))
(cbrt.f64 (*.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (pow.f64 t 6)))
(expm1.f64 (log1p.f64 (.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(exp.f64 (log.f64 (.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(log1p.f64 (expm1.f64 (.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))))
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))

localize23.0ms (0.6%)

Local Accuracy

Found 2 expressions with local accuracy:

New	Accuracy	Program
	99.7%	(*.f64 t 1/5000000000000000)
✓	99.3%	(.f64 (.f64 t 1/5000000000000000) (*.f64 t 1/5000000000000000))

Compiler

Compiled 14 to 10 computations (28.6% saved)

series0.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite59.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1102×	`pow1`
1020×	`add-exp-log`
1020×	`log1p-expm1-u`
1020×	`expm1-log1p-u`
998×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	125	13
2	1448	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

Outputs
(-.f64 (+.f64 1 (.f64 t (.f64 1/25000000000000000000000000000000 t))) 1)
(pow.f64 (*.f64 t 1/5000000000000000) 2)
(pow.f64 (.f64 t (.f64 1/25000000000000000000000000000000 t)) 1)
(pow.f64 (pow.f64 (cbrt.f64 (*.f64 t 1/5000000000000000)) 2) 3)
(pow.f64 (pow.f64 (.f64 t (.f64 1/25000000000000000000000000000000 t)) 3) 1/3)
(sqrt.f64 (pow.f64 (*.f64 t 1/5000000000000000) 4))
(log.f64 (pow.f64 (exp.f64 t) (*.f64 1/25000000000000000000000000000000 t)))
(cbrt.f64 (pow.f64 (.f64 t (.f64 1/25000000000000000000000000000000 t)) 3))
(expm1.f64 (log1p.f64 (.f64 t (.f64 1/25000000000000000000000000000000 t))))
(exp.f64 (.f64 (log.f64 (.f64 t 1/5000000000000000)) 2))
(log1p.f64 (expm1.f64 (.f64 t (.f64 1/25000000000000000000000000000000 t))))

simplify70.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

908×	`fma-neg`
840×	`associate-*r/`
780×	`associate-*l/`
588×	`*-commutative`
572×	`distribute-lft-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	299
1	98	299
2	268	299
3	1298	299
4	3910	299
5	7867	299

Stop Event

1×	node limit

Counts

23 → 13

Calls

Call 1

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

Outputs
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 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 (+.f64 1 (.f64 t (.f64 1/25000000000000000000000000000000 t))) 1)
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(pow.f64 (*.f64 t 1/5000000000000000) 2)
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(pow.f64 (.f64 t (.f64 1/25000000000000000000000000000000 t)) 1)
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(pow.f64 (pow.f64 (cbrt.f64 (*.f64 t 1/5000000000000000)) 2) 3)
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(pow.f64 (pow.f64 (.f64 t (.f64 1/25000000000000000000000000000000 t)) 3) 1/3)
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(sqrt.f64 (pow.f64 (*.f64 t 1/5000000000000000) 4))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(log.f64 (pow.f64 (exp.f64 t) (*.f64 1/25000000000000000000000000000000 t)))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(cbrt.f64 (pow.f64 (.f64 t (.f64 1/25000000000000000000000000000000 t)) 3))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(expm1.f64 (log1p.f64 (.f64 t (.f64 1/25000000000000000000000000000000 t))))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(exp.f64 (.f64 (log.f64 (.f64 t 1/5000000000000000)) 2))
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(log1p.f64 (expm1.f64 (.f64 t (.f64 1/25000000000000000000000000000000 t))))
(.f64 1/25000000000000000000000000000000 (.f64 t t))

localize27.0ms (0.7%)

Local Accuracy

Found 3 expressions with local accuracy:

New	Accuracy	Program
	99.7%	(*.f64 t 1/5000000000000000)
✓	99.5%	(.f64 (.f64 (*.f64 t 1/5000000000000000) 1/5000000000000000) t)
✓	99.5%	(.f64 (.f64 t 1/5000000000000000) 1/5000000000000000)

Compiler

Compiled 19 to 14 computations (26.3% saved)

series0.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite66.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1236×	`pow1`
1138×	`add-exp-log`
1138×	`log1p-expm1-u`
1138×	`expm1-log1p-u`
1112×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	20
1	143	20
2	1618	20

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

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

Outputs
(-.f64 (+.f64 1 (*.f64 t 1/25000000000000000000000000000000)) 1)
(pow.f64 (*.f64 t 1/25000000000000000000000000000000) 1)
(pow.f64 (cbrt.f64 (*.f64 t 1/25000000000000000000000000000000)) 3)
(pow.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3) 1/3)
(pow.f64 (*.f64 (sqrt.f64 t) 1/5000000000000000) 2)
(sqrt.f64 (.f64 (.f64 t t) 1/625000000000000000000000000000000000000000000000000000000000000))
(log.f64 (pow.f64 (exp.f64 t) 1/25000000000000000000000000000000))
(cbrt.f64 (pow.f64 (*.f64 t 1/25000000000000000000000000000000) 3))
(expm1.f64 (log1p.f64 (*.f64 t 1/25000000000000000000000000000000)))
(exp.f64 (log.f64 (*.f64 t 1/25000000000000000000000000000000)))
(log1p.f64 (expm1.f64 (*.f64 t 1/25000000000000000000000000000000)))
(-.f64 (+.f64 1 (.f64 (.f64 t t) 1/25000000000000000000000000000000)) 1)
(pow.f64 (*.f64 t 1/5000000000000000) 2)
(pow.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000) 1)
(pow.f64 (cbrt.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)) 3)
(pow.f64 (pow.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000) 3) 1/3)
(sqrt.f64 (pow.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000) 2))
(log.f64 (exp.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)))
(cbrt.f64 (pow.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000) 3))
(expm1.f64 (log1p.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)))
(exp.f64 (log.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)))
(log1p.f64 (expm1.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)))

simplify100.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

2024×	`log-prod`
1634×	`associate-l`
1230×	`fma-def`
824×	`associate-+r+`
810×	`unswap-sqr`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	59	460
1	140	460
2	545	460
3	3424	460

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

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

localize43.0ms (1.1%)

Local Accuracy

Found 3 expressions with local accuracy:

New	Accuracy	Program
	99.7%	(*.f64 t 1/5000000000000000)
✓	99.7%	(.f64 (.f64 t 1/5000000000000000) t)
✓	99.6%	(.f64 (.f64 (*.f64 t 1/5000000000000000) t) 1/5000000000000000)

Compiler

Compiled 19 to 13 computations (31.6% saved)

series1.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite55.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1230×	`pow1`
1132×	`add-exp-log`
1132×	`log1p-expm1-u`
1132×	`expm1-log1p-u`
1106×	`add-log-exp`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	32
1	142	26
2	1606	26

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

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

Outputs
(-.f64 (+.f64 1 (.f64 (.f64 t t) 1/25000000000000000000000000000000)) 1)
(pow.f64 (*.f64 t 1/5000000000000000) 2)
(pow.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000) 1)
(pow.f64 (cbrt.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)) 3)
(pow.f64 (pow.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000) 3) 1/3)
(sqrt.f64 (pow.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000) 2))
(log.f64 (exp.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)))
(cbrt.f64 (pow.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000) 3))
(expm1.f64 (log1p.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)))
(exp.f64 (log.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)))
(log1p.f64 (expm1.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)))
(-.f64 (+.f64 1 (.f64 t (.f64 t 1/5000000000000000))) 1)
(pow.f64 (.f64 t (.f64 t 1/5000000000000000)) 1)
(pow.f64 (cbrt.f64 (.f64 t (.f64 t 1/5000000000000000))) 3)
(pow.f64 (pow.f64 (.f64 t (.f64 t 1/5000000000000000)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 t (.f64 t 1/5000000000000000))) 2)
(sqrt.f64 (pow.f64 (.f64 t (.f64 t 1/5000000000000000)) 2))
(log.f64 (pow.f64 (exp.f64 t) (*.f64 t 1/5000000000000000)))
(cbrt.f64 (pow.f64 (.f64 t (.f64 t 1/5000000000000000)) 3))
(expm1.f64 (log1p.f64 (.f64 t (.f64 t 1/5000000000000000))))
(exp.f64 (log.f64 (.f64 t (.f64 t 1/5000000000000000))))
(log1p.f64 (expm1.f64 (.f64 t (.f64 t 1/5000000000000000))))

simplify62.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

1342×	`log-prod`
1108×	`fma-def`
940×	`distribute-rgt-in`
898×	`distribute-lft-in`
738×	`unswap-sqr`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	57	598
1	141	598
2	581	598
3	2182	598
4	7502	598

Stop Event

1×	node limit

Counts

46 → 27

Calls

Call 1

Inputs
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(-.f64 (+.f64 1 (.f64 (.f64 t t) 1/25000000000000000000000000000000)) 1)
(pow.f64 (*.f64 t 1/5000000000000000) 2)
(pow.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000) 1)
(pow.f64 (cbrt.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)) 3)
(pow.f64 (pow.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000) 3) 1/3)
(sqrt.f64 (pow.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000) 2))
(log.f64 (exp.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)))
(cbrt.f64 (pow.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000) 3))
(expm1.f64 (log1p.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)))
(exp.f64 (log.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)))
(log1p.f64 (expm1.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)))
(-.f64 (+.f64 1 (.f64 t (.f64 t 1/5000000000000000))) 1)
(pow.f64 (.f64 t (.f64 t 1/5000000000000000)) 1)
(pow.f64 (cbrt.f64 (.f64 t (.f64 t 1/5000000000000000))) 3)
(pow.f64 (pow.f64 (.f64 t (.f64 t 1/5000000000000000)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 t (.f64 t 1/5000000000000000))) 2)
(sqrt.f64 (pow.f64 (.f64 t (.f64 t 1/5000000000000000)) 2))
(log.f64 (pow.f64 (exp.f64 t) (*.f64 t 1/5000000000000000)))
(cbrt.f64 (pow.f64 (.f64 t (.f64 t 1/5000000000000000)) 3))
(expm1.f64 (log1p.f64 (.f64 t (.f64 t 1/5000000000000000))))
(exp.f64 (log.f64 (.f64 t (.f64 t 1/5000000000000000))))
(log1p.f64 (expm1.f64 (.f64 t (.f64 t 1/5000000000000000))))

Outputs
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/25000000000000000000000000000000 (pow.f64 t 2))
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 t (.f64 t 1/5000000000000000))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 t (.f64 t 1/5000000000000000))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 t (.f64 t 1/5000000000000000))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 t (.f64 t 1/5000000000000000))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 t (.f64 t 1/5000000000000000))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 t (.f64 t 1/5000000000000000))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 t (.f64 t 1/5000000000000000))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 t (.f64 t 1/5000000000000000))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 t (.f64 t 1/5000000000000000))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 t (.f64 t 1/5000000000000000))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 t (.f64 t 1/5000000000000000))
(*.f64 1/5000000000000000 (pow.f64 t 2))
(.f64 t (.f64 t 1/5000000000000000))
(-.f64 (+.f64 1 (.f64 (.f64 t t) 1/25000000000000000000000000000000)) 1)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(pow.f64 (*.f64 t 1/5000000000000000) 2)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(pow.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000) 1)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(pow.f64 (cbrt.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)) 3)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(pow.f64 (pow.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000) 3) 1/3)
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(sqrt.f64 (pow.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000) 2))
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(log.f64 (exp.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)))
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(cbrt.f64 (pow.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000) 3))
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(expm1.f64 (log1p.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)))
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(exp.f64 (log.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)))
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(log1p.f64 (expm1.f64 (.f64 (.f64 t t) 1/25000000000000000000000000000000)))
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 t (.f64 1/25000000000000000000000000000000 t))
(-.f64 (+.f64 1 (.f64 t (.f64 t 1/5000000000000000))) 1)
(.f64 t (.f64 t 1/5000000000000000))
(pow.f64 (.f64 t (.f64 t 1/5000000000000000)) 1)
(.f64 t (.f64 t 1/5000000000000000))
(pow.f64 (cbrt.f64 (.f64 t (.f64 t 1/5000000000000000))) 3)
(.f64 t (.f64 t 1/5000000000000000))
(pow.f64 (pow.f64 (.f64 t (.f64 t 1/5000000000000000)) 3) 1/3)
(.f64 t (.f64 t 1/5000000000000000))
(pow.f64 (sqrt.f64 (.f64 t (.f64 t 1/5000000000000000))) 2)
(.f64 t (.f64 t 1/5000000000000000))
(sqrt.f64 (pow.f64 (.f64 t (.f64 t 1/5000000000000000)) 2))
(.f64 t (.f64 t 1/5000000000000000))
(log.f64 (pow.f64 (exp.f64 t) (*.f64 t 1/5000000000000000)))
(.f64 t (.f64 t 1/5000000000000000))
(cbrt.f64 (pow.f64 (.f64 t (.f64 t 1/5000000000000000)) 3))
(.f64 t (.f64 t 1/5000000000000000))
(expm1.f64 (log1p.f64 (.f64 t (.f64 t 1/5000000000000000))))
(.f64 t (.f64 t 1/5000000000000000))
(exp.f64 (log.f64 (.f64 t (.f64 t 1/5000000000000000))))
(.f64 t (.f64 t 1/5000000000000000))
(log1p.f64 (expm1.f64 (.f64 t (.f64 t 1/5000000000000000))))
(.f64 t (.f64 t 1/5000000000000000))

eval36.0ms (0.9%)

Compiler: Compiled 1314 to 945 computations (28.1% saved)

prune24.0ms (0.6%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	157	0	157
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	157	6	163

Accurracy

100.0%

Counts

163 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.4%	(.f64 (.f64 (*.f64 t 1/5000000000000000) t) 1/5000000000000000)
✓	99.3%	(.f64 (.f64 (*.f64 t 1/5000000000000000) 1/5000000000000000) t)
✓	99.2%	(.f64 (.f64 t 1/5000000000000000) (*.f64 t 1/5000000000000000))
✓	99.1%	(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
✓	99.4%	(.f64 t (.f64 t 1/25000000000000000000000000000000))
✓	99.3%	(.f64 1/25000000000000000000000000000000 (.f64 t t))

Compiler

Compiled 43 to 31 computations (27.9% saved)

regimes46.0ms (1.1%)

Accuracy

Total -61.4b remaining (-15270.7%)

Threshold costs -61.4b (-15270.7%)

Counts

15 → 1

Calls

Call 1

Inputs
(.f64 1/25000000000000000000000000000000 (.f64 t t))
(.f64 t (.f64 t 1/25000000000000000000000000000000))
(.f64 (.f64 t 1/5000000000000000) (*.f64 t 1/5000000000000000))
(.f64 (.f64 (*.f64 t 1/5000000000000000) 1/5000000000000000) t)
(.f64 (.f64 (*.f64 t 1/5000000000000000) t) 1/5000000000000000)
(+.f64 (.f64 (+.f64 1 (.f64 t 1/5000000000000000)) (+.f64 1 (.f64 t 1/5000000000000000))) (-.f64 -1 (.f64 2 (*.f64 t 1/5000000000000000))))
(pow.f64 (*.f64 t 1/5000000000000000) 2)
(.f64 (cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.f64 t t))
(exp.f64 (log.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))))
(.f64 t (exp.f64 (log.f64 (.f64 t 1/25000000000000000000000000000000))))
(cbrt.f64 (pow.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000)) 3))
(.f64 t (cbrt.f64 (pow.f64 (.f64 t 1/25000000000000000000000000000000) 3)))
(.f64 t (pow.f64 (cbrt.f64 (.f64 t 1/25000000000000000000000000000000)) 3))
(.f64 t (pow.f64 (sqrt.f64 (.f64 t 1/25000000000000000000000000000000)) 2))
(pow.f64 (cbrt.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))) 3)

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

Calls

3 calls:

11.0ms	t
8.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

Accuracy	Segments	Branch
99.4%	1	`t`
99.4%	1	`(+.f64 (.f64 (+.f64 1 (.f64 t 1/5000000000000000)) (+.f64 1 (.f64 t 1/5000000000000000))) (-.f64 -1 (.f64 2 (*.f64 t 1/5000000000000000))))`
99.4%	1	`(*.f64 t 1/5000000000000000)`

Compiler

Compiled 142 to 106 computations (25.4% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	26
1	11	26

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 12 to 8 computations (33.3% saved)

soundness327.0ms (8.2%)

Rules

2022×	`fma-def`
1242×	`fma-def`
1110×	`sub-neg`
1096×	`distribute-rgt-in`
1060×	`distribute-lft-in`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	13	51
1	38	37
2	118	33
3	357	29
4	1272	13
5	3749	13
6	5604	13
7	7107	13
0	56	460
1	130	460
2	564	460
3	2427	460

Stop Event

1×	node limit
1×	node limit

Compiler

Compiled 316 to 262 computations (17.1% saved)

end47.0ms (1.2%)

Compiler: Compiled 100 to 80 computations (20% saved)

Details

analyze0.0ms (0%)

sample1.4s (34.4%)

preprocess84.0ms (2.1%)

simplify80.0ms (2%)

eval2.0ms (0%)

prune1.0ms (0%)

localize26.0ms (0.6%)

series2.0ms (0%)

rewrite52.0ms (1.3%)

simplify42.0ms (1.1%)

eval5.0ms (0.1%)

prune51.0ms (1.3%)

localize18.0ms (0.4%)

series0.0ms (0%)

rewrite97.0ms (2.4%)

simplify59.0ms (1.5%)

localize61.0ms (1.5%)

series2.0ms (0%)

rewrite56.0ms (1.4%)

simplify62.0ms (1.5%)

localize48.0ms (1.2%)

series0.0ms (0%)

rewrite60.0ms (1.5%)

simplify62.0ms (1.6%)

localize48.0ms (1.2%)

series9.0ms (0.2%)

rewrite84.0ms (2.1%)

simplify104.0ms (2.6%)

localize46.0ms (1.1%)

series6.0ms (0.2%)

rewrite62.0ms (1.6%)

simplify77.0ms (1.9%)

eval105.0ms (2.6%)

prune27.0ms (0.7%)

localize71.0ms (1.8%)

series0.0ms (0%)

rewrite56.0ms (1.4%)

simplify69.0ms (1.7%)

localize23.0ms (0.6%)

series0.0ms (0%)

rewrite59.0ms (1.5%)

simplify70.0ms (1.7%)

localize27.0ms (0.7%)

series0.0ms (0%)

rewrite66.0ms (1.7%)

simplify100.0ms (2.5%)

localize43.0ms (1.1%)

series1.0ms (0%)

rewrite55.0ms (1.4%)

simplify62.0ms (1.5%)

eval36.0ms (0.9%)

prune24.0ms (0.6%)

regimes46.0ms (1.1%)

simplify4.0ms (0.1%)

soundness327.0ms (8.2%)

end47.0ms (1.2%)

Profiling