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.1s (32.6%)

Results

1.0s

8256×

body

256

valid

Bogosity

preprocess84.0ms (2.6%)

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.4%)

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

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)

localize5.0ms (0.2%)

Local Accuracy

Found 2 expressions with local accuracy:

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

Compiler

Compiled 11 to 7 computations (36.4% saved)

series2.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

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

rewrite62.0ms (1.9%)

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

simplify65.0ms (2%)

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)

eval4.0ms (0.1%)

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

prune8.0ms (0.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

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

Accurracy

100.0%

Counts

26 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.3%	(pow.f64 (*.f64 t 1/5000000000000000) 2)
	97.1%	(pow.f64 (cbrt.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))) 3)
✓	99.4%	(.f64 t (.f64 t 1/25000000000000000000000000000000))
▶	93.3%	(.f64 t (exp.f64 (log.f64 (.f64 t 1/25000000000000000000000000000000))))
	99.0%	(.f64 t (cbrt.f64 (pow.f64 (.f64 t 1/25000000000000000000000000000000) 3)))
▶	99.4%	(.f64 1/25000000000000000000000000000000 (.f64 t t))
▶	93.2%	(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 116 to 88 computations (24.1% saved)

localize4.0ms (0.1%)

Local Accuracy

Found 1 expressions with local accuracy:

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

Compiler

Compiled 11 to 5 computations (54.5% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite83.0ms (2.5%)

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

simplify58.0ms (1.8%)

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

localize5.0ms (0.2%)

Local Accuracy

Found 2 expressions with local accuracy:

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

Compiler

Compiled 12 to 9 computations (25% saved)

series2.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

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

rewrite52.0ms (1.6%)

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

simplify74.0ms (2.2%)

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)

localize13.0ms (0.4%)

Local Accuracy

Found 3 expressions with local accuracy:

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

Compiler

Compiled 24 to 16 computations (33.3% saved)

series0.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time

Variable

Point

Expression

0.0ms

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

0.0ms

inf

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

0.0ms

-inf

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

rewrite106.0ms (3.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1408×	`pow1`
1296×	`add-exp-log`
1296×	`log1p-expm1-u`
1296×	`expm1-log1p-u`
1264×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	164	13
2	1788	13

Stop Event

1×	node limit

Counts

1 → 31

Calls

Call 1

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

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

simplify62.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

2164×	`log-prod`
916×	`unswap-sqr`
884×	`fma-def`
862×	`distribute-rgt-in`
826×	`distribute-lft-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	78	653
1	198	653
2	654	653
3	2531	653
4	6872	653

Stop Event

1×	node limit

Counts

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

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

localize14.0ms (0.4%)

Local Accuracy

Found 3 expressions with local accuracy:

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

Compiler

Compiled 22 to 16 computations (27.3% 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	@	-inf	(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))))

rewrite75.0ms (2.3%)

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

simplify64.0ms (1.9%)

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)

localize12.0ms (0.4%)

Local Accuracy

Found 4 expressions with local accuracy:

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

Compiler

Compiled 27 to 19 computations (29.6% saved)

series4.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

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

rewrite84.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1612×	`pow1`
1510×	`add-exp-log`
1510×	`log1p-expm1-u`
1510×	`expm1-log1p-u`
1478×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	32
1	210	32
2	2188	32

Stop Event

1×	node limit

Counts

2 → 59

Calls

Call 1

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

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

simplify72.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

1628×	`log-prod`
1456×	`exp-prod`
1364×	`cube-prod`
968×	`fma-neg`
844×	`fabs-mul`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	134	1527
1	332	1353
2	1377	1179
3	4539	1179

Stop Event

1×	node limit

Counts

83 → 67

Calls

Call 1

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

eval60.0ms (1.8%)

Compiler: Compiled 2482 to 1756 computations (29.3% saved)

prune28.0ms (0.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	257	4	261
Fresh	2	0	2
Picked	1	0	1
Done	3	2	5
Total	263	6	269

Accurracy

100.0%

Counts

269 → 6

Alt Table

Click to see full alt table

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

Compiler

Compiled 43 to 31 computations (27.9% saved)

localize7.0ms (0.2%)

Local Accuracy

Found 2 expressions with local accuracy:

New

Accuracy

Program

✓

99.4%

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

✓

98.4%

(cbrt.f64 1/15625000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)

Compiler

Compiled 14 to 8 computations (42.9% 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))

rewrite58.0ms (1.8%)

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

simplify59.0ms (1.8%)

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

localize5.0ms (0.2%)

Local Accuracy

Found 2 expressions with local accuracy:

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

Compiler

Compiled 13 to 9 computations (30.8% 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))

rewrite48.0ms (1.4%)

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

simplify73.0ms (2.2%)

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

localize7.0ms (0.2%)

Local Accuracy

Found 3 expressions with local accuracy:

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

Compiler

Compiled 18 to 13 computations (27.8% saved)

series1.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite53.0ms (1.6%)

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

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

simplify47.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

2024×	`log-prod`
1598×	`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	3395	460

Stop Event

1×	node limit

Counts

46 → 26

Calls

Call 1

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

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

localize7.0ms (0.2%)

Local Accuracy

Found 3 expressions with local accuracy:

New	Accuracy	Program
	99.8%	(*.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 18 to 12 computations (33.3% saved)

series1.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite65.0ms (2%)

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

simplify63.0ms (1.9%)

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

eval30.0ms (0.9%)

Compiler: Compiled 1319 to 948 computations (28.1% saved)

prune55.0ms (1.7%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	158	0	158
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	158	6	164

Accurracy

100.0%

Counts

164 → 6

Alt Table

Click to see full alt table

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

Compiler

Compiled 43 to 31 computations (27.9% saved)

regimes20.0ms (0.6%)

Counts

13 → 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)))
(pow.f64 (cbrt.f64 (.f64 t (.f64 t 1/25000000000000000000000000000000))) 3)

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

Calls

3 calls:

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

Results

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 126 to 94 computations (25.4% saved)

regimes9.0ms (0.3%)

Accuracy

Total -0.5b remaining (-128.4%)

Threshold costs -0.5b (-128.4%)

Counts

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

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

Calls

2 calls:

4.0ms	(*.f64 t 1/5000000000000000)
4.0ms	t

Results

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

Compiler

Compiled 31 to 21 computations (32.3% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	32
1	14	32

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 14 to 10 computations (28.6% saved)

soundness403.0ms (12.2%)

Rules

2022×	`fma-def`
1242×	`fma-def`
1242×	`fma-def`
1168×	`pow1`
1110×	`sub-neg`

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
0	7	20
1	147	20
2	1549	20
0	56	460
1	130	460
2	564	460
3	2427	460

Stop Event

1×	node limit
1×	node limit
1×	node limit
1×	node limit

Compiler

Compiled 371 to 302 computations (18.6% saved)

end14.0ms (0.4%)

Compiler: Compiled 13 to 9 computations (30.8% saved)

Details

analyze0.0ms (0%)

sample1.1s (32.6%)

preprocess84.0ms (2.6%)

simplify80.0ms (2.4%)

eval2.0ms (0.1%)

prune1.0ms (0%)

localize5.0ms (0.2%)

series2.0ms (0.1%)

rewrite62.0ms (1.9%)

simplify65.0ms (2%)

eval4.0ms (0.1%)

prune8.0ms (0.2%)

localize4.0ms (0.1%)

series1.0ms (0%)

rewrite83.0ms (2.5%)

simplify58.0ms (1.8%)

localize5.0ms (0.2%)

series2.0ms (0.1%)

rewrite52.0ms (1.6%)

simplify74.0ms (2.2%)

localize13.0ms (0.4%)

series0.0ms (0%)

rewrite106.0ms (3.2%)

simplify62.0ms (1.9%)

localize14.0ms (0.4%)

series0.0ms (0%)

rewrite75.0ms (2.3%)

simplify64.0ms (1.9%)

localize12.0ms (0.4%)

series4.0ms (0.1%)

rewrite84.0ms (2.6%)

simplify72.0ms (2.2%)

eval60.0ms (1.8%)

prune28.0ms (0.9%)

localize7.0ms (0.2%)

series0.0ms (0%)

rewrite58.0ms (1.8%)

simplify59.0ms (1.8%)

localize5.0ms (0.2%)

series0.0ms (0%)

rewrite48.0ms (1.4%)

simplify73.0ms (2.2%)

localize7.0ms (0.2%)

series1.0ms (0%)

rewrite53.0ms (1.6%)

simplify47.0ms (1.4%)

localize7.0ms (0.2%)

series1.0ms (0%)

rewrite65.0ms (2%)

simplify63.0ms (1.9%)

eval30.0ms (0.9%)

prune55.0ms (1.7%)

regimes20.0ms (0.6%)

regimes9.0ms (0.3%)

simplify4.0ms (0.1%)

soundness403.0ms (12.2%)

end14.0ms (0.4%)

Profiling