Details

analyze0.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 21 to 10 computations (52.4% saved)

sample815.0ms (41.3%)

Results

453.0ms	4562×	body	256	valid
352.0ms	3694×	body	256	infinite

Bogosity

preprocess200.0ms (10.1%)

Algorithm

2×	egg-herbie

Rules

2166×	`sqr-pow`
1708×	`unswap-sqr`
1470×	`cube-prod`
996×	`associate-r`
788×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	43
1	27	31
2	60	19
3	115	7
4	438	7
5	1609	7
6	3183	7
7	3334	7
8	3567	7
9	3862	7
10	4246	7
11	4745	7
12	5379	7
13	6111	7
14	6556	7
15	6920	7
16	7277	7
17	7611	7
18	7869	7
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

Outputs
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
(.f64 d1 (.f64 d1 (.f64 (.f64 (pow.f64 d1 3) (*.f64 d1 d1)) (pow.f64 d1 3))))
(.f64 (.f64 d1 d1) (*.f64 (pow.f64 d1 4) (pow.f64 d1 4)))
(*.f64 (pow.f64 d1 5) (pow.f64 d1 5))
(pow.f64 d1 10)

Compiler

Compiled 21 to 10 computations (52.4% saved)

simplify194.0ms (9.8%)

Algorithm

1×	egg-herbie

Rules

2166×	`sqr-pow`
1708×	`unswap-sqr`
1470×	`cube-prod`
996×	`associate-r`
788×	`*-commutative`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	11	43
1	27	31
2	60	19
3	115	7
4	438	7
5	1609	7
6	3183	7
7	3334	7
8	3567	7
9	3862	7
10	4246	7
11	4745	7
12	5379	7
13	6111	7
14	6556	7
15	6920	7
16	7277	7
17	7611	7
18	7869	7

Stop Event

1×	node limit

Counts

1 → 5

Calls

Call 1

Inputs
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

Outputs
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
(.f64 d1 (.f64 d1 (.f64 (.f64 (pow.f64 d1 3) (*.f64 d1 d1)) (pow.f64 d1 3))))
(.f64 (.f64 d1 d1) (*.f64 (pow.f64 d1 4) (pow.f64 d1 4)))
(*.f64 (pow.f64 d1 5) (pow.f64 d1 5))
(pow.f64 d1 10)

eval1.0ms (0.1%)

Compiler: Compiled 56 to 30 computations (46.4% saved)

prune3.0ms (0.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	2	3	5
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	2	4	6

Accurracy

100.0%

Counts

6 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(pow.f64 d1 10)
▶	99.9%	(*.f64 (pow.f64 d1 5) (pow.f64 d1 5))
▶	99.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
▶	100.0%	(pow.f64 d1 10)
▶	99.9%	(*.f64 (pow.f64 d1 5) (pow.f64 d1 5))
▶	99.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

Compiler

Compiled 64 to 36 computations (43.8% saved)

localize75.0ms (3.8%)

Local Accuracy

Found 6 expressions with local accuracy:

New	Accuracy	Program
✓	100.0%	(pow.f64 d1 10)
✓	99.9%	(*.f64 (pow.f64 d1 5) (pow.f64 d1 5))
✓	99.9%	(.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))
✓	99.9%	(.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)
✓	99.9%	(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
✓	99.9%	(.f64 d1 (.f64 d1 d1))

Compiler

Compiled 108 to 21 computations (80.6% saved)

series5.0ms (0.3%)

Counts

6 → 60

Calls

18 calls:

Time	Variable		Point	Expression
1.0ms	d1	@	-inf	(pow.f64 d1 10)
1.0ms	d1	@	inf	(pow.f64 d1 10)
0.0ms	d1	@	0	(*.f64 (pow.f64 d1 5) (pow.f64 d1 5))
0.0ms	d1	@	-inf	(.f64 d1 (.f64 d1 d1))
0.0ms	d1	@	0	(.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))

rewrite73.0ms (3.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1850×	`pow1`
1728×	`add-exp-log`
1728×	`log1p-expm1-u`
1728×	`expm1-log1p-u`
240×	`add-sqr-sqrt`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	78
1	278	48
2	2956	48

Stop Event

1×	node limit

Counts

6 → 106

Calls

Call 1

Inputs
(.f64 d1 (.f64 d1 d1))
(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
(.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)
(.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))
(*.f64 (pow.f64 d1 5) (pow.f64 d1 5))
(pow.f64 d1 10)

Outputs
(-.f64 (+.f64 1 (pow.f64 d1 3)) 1)
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 3) 1)
(pow.f64 (pow.f64 (pow.f64 d1 3) 3) 1/3)
(pow.f64 (pow.f64 d1 3/2) 2)
(sqrt.f64 (pow.f64 d1 6))
(log.f64 (exp.f64 (pow.f64 d1 3)))
(cbrt.f64 (pow.f64 (pow.f64 d1 3) 3))
(expm1.f64 (log1p.f64 (pow.f64 d1 3)))
(exp.f64 (*.f64 3 (log.f64 d1)))
(exp.f64 (*.f64 (log.f64 d1) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 d1)) 1))
(log1p.f64 (expm1.f64 (pow.f64 d1 3)))
(-.f64 (+.f64 1 (pow.f64 d1 4)) 1)
(pow.f64 d1 4)
(pow.f64 (*.f64 d1 d1) 2)
(pow.f64 (pow.f64 d1 4) 1)
(pow.f64 (*.f64 d1 (cbrt.f64 d1)) 3)
(pow.f64 (pow.f64 (pow.f64 d1 4) 3) 1/3)
(sqrt.f64 (pow.f64 (pow.f64 d1 4) 2))
(log.f64 (exp.f64 (pow.f64 d1 4)))
(cbrt.f64 (pow.f64 (pow.f64 d1 4) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 3) 3)))
(expm1.f64 (log1p.f64 (pow.f64 d1 4)))
(exp.f64 (log.f64 (pow.f64 d1 4)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 4)) 1))
(log1p.f64 (expm1.f64 (pow.f64 d1 4)))
(-.f64 (+.f64 1 (pow.f64 d1 5)) 1)
(pow.f64 d1 5)
(pow.f64 (*.f64 d1 d1) 5/2)
(pow.f64 (pow.f64 d1 5) 1)
(pow.f64 (pow.f64 d1 10) 1/2)
(pow.f64 (cbrt.f64 (pow.f64 d1 5)) 3)
(pow.f64 (pow.f64 d1 15) 1/3)
(pow.f64 (pow.f64 d1 5/2) 2)
(sqrt.f64 (pow.f64 d1 10))
(fabs.f64 (pow.f64 d1 5))
(log.f64 (exp.f64 (pow.f64 d1 5)))
(cbrt.f64 (pow.f64 d1 15))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 4) 3)))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 3) 3) (pow.f64 d1 6)))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 4) 3) (pow.f64 d1 3)))
(expm1.f64 (log1p.f64 (pow.f64 d1 5)))
(exp.f64 (*.f64 5 (log.f64 d1)))
(exp.f64 (.f64 (.f64 5 (log.f64 d1)) 1))
(log1p.f64 (expm1.f64 (pow.f64 d1 5)))
(-.f64 (+.f64 1 (*.f64 d1 (pow.f64 d1 6))) 1)
(pow.f64 (*.f64 d1 (pow.f64 d1 6)) 1)
(pow.f64 (.f64 (.f64 d1 d1) (cbrt.f64 d1)) 3)
(pow.f64 (pow.f64 (*.f64 d1 (pow.f64 d1 6)) 3) 1/3)
(pow.f64 (*.f64 d1 (pow.f64 d1 5/2)) 2)
(sqrt.f64 (*.f64 (pow.f64 d1 4) (pow.f64 d1 10)))
(log.f64 (pow.f64 (exp.f64 (pow.f64 d1 6)) d1))
(cbrt.f64 (pow.f64 (*.f64 d1 (pow.f64 d1 6)) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 6) (pow.f64 d1 15)))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 4) 3) (pow.f64 (pow.f64 d1 3) 3)))
(cbrt.f64 (*.f64 (pow.f64 d1 15) (pow.f64 d1 6)))
(expm1.f64 (log1p.f64 (*.f64 d1 (pow.f64 d1 6))))
(exp.f64 (log.f64 (*.f64 d1 (pow.f64 d1 6))))
(exp.f64 (.f64 (log.f64 (.f64 d1 (pow.f64 d1 6))) 1))
(log1p.f64 (expm1.f64 (*.f64 d1 (pow.f64 d1 6))))
(-.f64 (+.f64 1 (pow.f64 d1 10)) 1)
(pow.f64 d1 10)
(pow.f64 (*.f64 d1 d1) 5)
(pow.f64 (pow.f64 d1 5) 2)
(pow.f64 (pow.f64 d1 10) 1)
(pow.f64 (cbrt.f64 (pow.f64 d1 10)) 3)
(pow.f64 (pow.f64 (pow.f64 d1 10) 3) 1/3)
(sqrt.f64 (pow.f64 d1 20))
(log.f64 (exp.f64 (pow.f64 d1 10)))
(cbrt.f64 (pow.f64 (pow.f64 d1 10) 3))
(expm1.f64 (log1p.f64 (pow.f64 d1 10)))
(exp.f64 (*.f64 10 (log.f64 d1)))
(exp.f64 (.f64 (.f64 2 (log.f64 d1)) 5))
(exp.f64 (.f64 (.f64 5 (log.f64 d1)) 2))
(exp.f64 (.f64 (.f64 10 (log.f64 d1)) 1))
(log1p.f64 (expm1.f64 (pow.f64 d1 10)))
(-.f64 (+.f64 1 (pow.f64 d1 10)) 1)
(.f64 d1 (.f64 (pow.f64 d1 4) (pow.f64 d1 5)))
(.f64 (.f64 d1 d1) (pow.f64 (pow.f64 d1 4) 2))
(.f64 (pow.f64 d1 3) (.f64 d1 (pow.f64 d1 6)))
(*.f64 (pow.f64 d1 4) (pow.f64 d1 6))
(*.f64 (pow.f64 d1 5) (pow.f64 d1 5))
(*.f64 (pow.f64 d1 10) 1)
(*.f64 1 (pow.f64 d1 10))
(*.f64 (cbrt.f64 (pow.f64 d1 10)) (cbrt.f64 (pow.f64 d1 20)))
(.f64 (cbrt.f64 (pow.f64 d1 10)) (.f64 (cbrt.f64 (pow.f64 d1 5)) (pow.f64 d1 5)))
(*.f64 (cbrt.f64 (pow.f64 d1 20)) (cbrt.f64 (pow.f64 d1 10)))
(*.f64 (pow.f64 d1 6) (pow.f64 d1 4))
(.f64 (pow.f64 (pow.f64 d1 4) 2) (.f64 d1 d1))
(.f64 (pow.f64 d1 5/2) (.f64 (pow.f64 d1 5/2) (pow.f64 d1 5)))
(.f64 (.f64 (pow.f64 d1 5) (pow.f64 d1 5/2)) (pow.f64 d1 5/2))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 d1) 2) 10) (pow.f64 (cbrt.f64 d1) 10))
(*.f64 (pow.f64 (sqrt.f64 d1) 10) (pow.f64 (sqrt.f64 d1) 10))
(.f64 (pow.f64 (.f64 d1 (cbrt.f64 d1)) 5) (pow.f64 (pow.f64 (cbrt.f64 d1) 2) 5))
(.f64 (.f64 (pow.f64 d1 5) (pow.f64 d1 4)) d1)
(.f64 (.f64 (pow.f64 d1 5) (cbrt.f64 (pow.f64 d1 10))) (cbrt.f64 (pow.f64 d1 5)))
(sqrt.f64 (pow.f64 d1 20))
(log.f64 (exp.f64 (pow.f64 d1 10)))
(cbrt.f64 (pow.f64 (pow.f64 d1 10) 3))
(expm1.f64 (log1p.f64 (pow.f64 d1 10)))
(exp.f64 (*.f64 10 (log.f64 d1)))
(exp.f64 (.f64 (.f64 2 (log.f64 d1)) 5))
(exp.f64 (.f64 (.f64 5 (log.f64 d1)) 2))
(exp.f64 (.f64 (.f64 10 (log.f64 d1)) 1))
(log1p.f64 (expm1.f64 (pow.f64 d1 10)))

simplify69.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

1540×	`log-prod`
1016×	`exp-prod`
996×	`fma-def`
986×	`cube-prod`
708×	`fabs-mul`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	191	1224
1	420	1224
2	1717	1224
3	4659	1224

Stop Event

1×	node limit

Counts

166 → 98

Calls

Call 1

Inputs
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(-.f64 (+.f64 1 (pow.f64 d1 3)) 1)
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 3) 1)
(pow.f64 (pow.f64 (pow.f64 d1 3) 3) 1/3)
(pow.f64 (pow.f64 d1 3/2) 2)
(sqrt.f64 (pow.f64 d1 6))
(log.f64 (exp.f64 (pow.f64 d1 3)))
(cbrt.f64 (pow.f64 (pow.f64 d1 3) 3))
(expm1.f64 (log1p.f64 (pow.f64 d1 3)))
(exp.f64 (*.f64 3 (log.f64 d1)))
(exp.f64 (*.f64 (log.f64 d1) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 d1)) 1))
(log1p.f64 (expm1.f64 (pow.f64 d1 3)))
(-.f64 (+.f64 1 (pow.f64 d1 4)) 1)
(pow.f64 d1 4)
(pow.f64 (*.f64 d1 d1) 2)
(pow.f64 (pow.f64 d1 4) 1)
(pow.f64 (*.f64 d1 (cbrt.f64 d1)) 3)
(pow.f64 (pow.f64 (pow.f64 d1 4) 3) 1/3)
(sqrt.f64 (pow.f64 (pow.f64 d1 4) 2))
(log.f64 (exp.f64 (pow.f64 d1 4)))
(cbrt.f64 (pow.f64 (pow.f64 d1 4) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 3) 3)))
(expm1.f64 (log1p.f64 (pow.f64 d1 4)))
(exp.f64 (log.f64 (pow.f64 d1 4)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 4)) 1))
(log1p.f64 (expm1.f64 (pow.f64 d1 4)))
(-.f64 (+.f64 1 (pow.f64 d1 5)) 1)
(pow.f64 d1 5)
(pow.f64 (*.f64 d1 d1) 5/2)
(pow.f64 (pow.f64 d1 5) 1)
(pow.f64 (pow.f64 d1 10) 1/2)
(pow.f64 (cbrt.f64 (pow.f64 d1 5)) 3)
(pow.f64 (pow.f64 d1 15) 1/3)
(pow.f64 (pow.f64 d1 5/2) 2)
(sqrt.f64 (pow.f64 d1 10))
(fabs.f64 (pow.f64 d1 5))
(log.f64 (exp.f64 (pow.f64 d1 5)))
(cbrt.f64 (pow.f64 d1 15))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 4) 3)))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 3) 3) (pow.f64 d1 6)))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 4) 3) (pow.f64 d1 3)))
(expm1.f64 (log1p.f64 (pow.f64 d1 5)))
(exp.f64 (*.f64 5 (log.f64 d1)))
(exp.f64 (.f64 (.f64 5 (log.f64 d1)) 1))
(log1p.f64 (expm1.f64 (pow.f64 d1 5)))
(-.f64 (+.f64 1 (*.f64 d1 (pow.f64 d1 6))) 1)
(pow.f64 (*.f64 d1 (pow.f64 d1 6)) 1)
(pow.f64 (.f64 (.f64 d1 d1) (cbrt.f64 d1)) 3)
(pow.f64 (pow.f64 (*.f64 d1 (pow.f64 d1 6)) 3) 1/3)
(pow.f64 (*.f64 d1 (pow.f64 d1 5/2)) 2)
(sqrt.f64 (*.f64 (pow.f64 d1 4) (pow.f64 d1 10)))
(log.f64 (pow.f64 (exp.f64 (pow.f64 d1 6)) d1))
(cbrt.f64 (pow.f64 (*.f64 d1 (pow.f64 d1 6)) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 6) (pow.f64 d1 15)))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 4) 3) (pow.f64 (pow.f64 d1 3) 3)))
(cbrt.f64 (*.f64 (pow.f64 d1 15) (pow.f64 d1 6)))
(expm1.f64 (log1p.f64 (*.f64 d1 (pow.f64 d1 6))))
(exp.f64 (log.f64 (*.f64 d1 (pow.f64 d1 6))))
(exp.f64 (.f64 (log.f64 (.f64 d1 (pow.f64 d1 6))) 1))
(log1p.f64 (expm1.f64 (*.f64 d1 (pow.f64 d1 6))))
(-.f64 (+.f64 1 (pow.f64 d1 10)) 1)
(pow.f64 d1 10)
(pow.f64 (*.f64 d1 d1) 5)
(pow.f64 (pow.f64 d1 5) 2)
(pow.f64 (pow.f64 d1 10) 1)
(pow.f64 (cbrt.f64 (pow.f64 d1 10)) 3)
(pow.f64 (pow.f64 (pow.f64 d1 10) 3) 1/3)
(sqrt.f64 (pow.f64 d1 20))
(log.f64 (exp.f64 (pow.f64 d1 10)))
(cbrt.f64 (pow.f64 (pow.f64 d1 10) 3))
(expm1.f64 (log1p.f64 (pow.f64 d1 10)))
(exp.f64 (*.f64 10 (log.f64 d1)))
(exp.f64 (.f64 (.f64 2 (log.f64 d1)) 5))
(exp.f64 (.f64 (.f64 5 (log.f64 d1)) 2))
(exp.f64 (.f64 (.f64 10 (log.f64 d1)) 1))
(log1p.f64 (expm1.f64 (pow.f64 d1 10)))
(-.f64 (+.f64 1 (pow.f64 d1 10)) 1)
(.f64 d1 (.f64 (pow.f64 d1 4) (pow.f64 d1 5)))
(.f64 (.f64 d1 d1) (pow.f64 (pow.f64 d1 4) 2))
(.f64 (pow.f64 d1 3) (.f64 d1 (pow.f64 d1 6)))
(*.f64 (pow.f64 d1 4) (pow.f64 d1 6))
(*.f64 (pow.f64 d1 5) (pow.f64 d1 5))
(*.f64 (pow.f64 d1 10) 1)
(*.f64 1 (pow.f64 d1 10))
(*.f64 (cbrt.f64 (pow.f64 d1 10)) (cbrt.f64 (pow.f64 d1 20)))
(.f64 (cbrt.f64 (pow.f64 d1 10)) (.f64 (cbrt.f64 (pow.f64 d1 5)) (pow.f64 d1 5)))
(*.f64 (cbrt.f64 (pow.f64 d1 20)) (cbrt.f64 (pow.f64 d1 10)))
(*.f64 (pow.f64 d1 6) (pow.f64 d1 4))
(.f64 (pow.f64 (pow.f64 d1 4) 2) (.f64 d1 d1))
(.f64 (pow.f64 d1 5/2) (.f64 (pow.f64 d1 5/2) (pow.f64 d1 5)))
(.f64 (.f64 (pow.f64 d1 5) (pow.f64 d1 5/2)) (pow.f64 d1 5/2))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 d1) 2) 10) (pow.f64 (cbrt.f64 d1) 10))
(*.f64 (pow.f64 (sqrt.f64 d1) 10) (pow.f64 (sqrt.f64 d1) 10))
(.f64 (pow.f64 (.f64 d1 (cbrt.f64 d1)) 5) (pow.f64 (pow.f64 (cbrt.f64 d1) 2) 5))
(.f64 (.f64 (pow.f64 d1 5) (pow.f64 d1 4)) d1)
(.f64 (.f64 (pow.f64 d1 5) (cbrt.f64 (pow.f64 d1 10))) (cbrt.f64 (pow.f64 d1 5)))
(sqrt.f64 (pow.f64 d1 20))
(log.f64 (exp.f64 (pow.f64 d1 10)))
(cbrt.f64 (pow.f64 (pow.f64 d1 10) 3))
(expm1.f64 (log1p.f64 (pow.f64 d1 10)))
(exp.f64 (*.f64 10 (log.f64 d1)))
(exp.f64 (.f64 (.f64 2 (log.f64 d1)) 5))
(exp.f64 (.f64 (.f64 5 (log.f64 d1)) 2))
(exp.f64 (.f64 (.f64 10 (log.f64 d1)) 1))
(log1p.f64 (expm1.f64 (pow.f64 d1 10)))

Outputs
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(-.f64 (+.f64 1 (pow.f64 d1 3)) 1)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 3) 1)
(pow.f64 d1 3)
(pow.f64 (pow.f64 (pow.f64 d1 3) 3) 1/3)
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 3/2) 2)
(pow.f64 d1 3)
(sqrt.f64 (pow.f64 d1 6))
(pow.f64 d1 3)
(log.f64 (exp.f64 (pow.f64 d1 3)))
(pow.f64 d1 3)
(cbrt.f64 (pow.f64 (pow.f64 d1 3) 3))
(pow.f64 d1 3)
(expm1.f64 (log1p.f64 (pow.f64 d1 3)))
(pow.f64 d1 3)
(exp.f64 (*.f64 3 (log.f64 d1)))
(pow.f64 d1 3)
(exp.f64 (*.f64 (log.f64 d1) 3))
(pow.f64 d1 3)
(exp.f64 (.f64 (.f64 3 (log.f64 d1)) 1))
(pow.f64 d1 3)
(log1p.f64 (expm1.f64 (pow.f64 d1 3)))
(pow.f64 d1 3)
(-.f64 (+.f64 1 (pow.f64 d1 4)) 1)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 (*.f64 d1 d1) 2)
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 4) 1)
(pow.f64 d1 4)
(pow.f64 (*.f64 d1 (cbrt.f64 d1)) 3)
(pow.f64 d1 4)
(pow.f64 (pow.f64 (pow.f64 d1 4) 3) 1/3)
(pow.f64 d1 4)
(sqrt.f64 (pow.f64 (pow.f64 d1 4) 2))
(pow.f64 d1 4)
(log.f64 (exp.f64 (pow.f64 d1 4)))
(pow.f64 d1 4)
(cbrt.f64 (pow.f64 (pow.f64 d1 4) 3))
(pow.f64 d1 4)
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 3) 3)))
(pow.f64 d1 4)
(expm1.f64 (log1p.f64 (pow.f64 d1 4)))
(pow.f64 d1 4)
(exp.f64 (log.f64 (pow.f64 d1 4)))
(pow.f64 d1 4)
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 4)) 1))
(pow.f64 d1 4)
(log1p.f64 (expm1.f64 (pow.f64 d1 4)))
(pow.f64 d1 4)
(-.f64 (+.f64 1 (pow.f64 d1 5)) 1)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 (*.f64 d1 d1) 5/2)
(pow.f64 d1 5)
(pow.f64 (pow.f64 d1 5) 1)
(pow.f64 d1 5)
(pow.f64 (pow.f64 d1 10) 1/2)
(pow.f64 d1 5)
(pow.f64 (cbrt.f64 (pow.f64 d1 5)) 3)
(pow.f64 d1 5)
(pow.f64 (pow.f64 d1 15) 1/3)
(pow.f64 d1 5)
(pow.f64 (pow.f64 d1 5/2) 2)
(pow.f64 d1 5)
(sqrt.f64 (pow.f64 d1 10))
(pow.f64 d1 5)
(fabs.f64 (pow.f64 d1 5))
(pow.f64 d1 5)
(log.f64 (exp.f64 (pow.f64 d1 5)))
(pow.f64 d1 5)
(cbrt.f64 (pow.f64 d1 15))
(pow.f64 d1 5)
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 4) 3)))
(pow.f64 d1 5)
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 3) 3) (pow.f64 d1 6)))
(pow.f64 d1 5)
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 4) 3) (pow.f64 d1 3)))
(pow.f64 d1 5)
(expm1.f64 (log1p.f64 (pow.f64 d1 5)))
(pow.f64 d1 5)
(exp.f64 (*.f64 5 (log.f64 d1)))
(pow.f64 d1 5)
(exp.f64 (.f64 (.f64 5 (log.f64 d1)) 1))
(pow.f64 d1 5)
(log1p.f64 (expm1.f64 (pow.f64 d1 5)))
(pow.f64 d1 5)
(-.f64 (+.f64 1 (*.f64 d1 (pow.f64 d1 6))) 1)
(pow.f64 d1 7)
(pow.f64 (*.f64 d1 (pow.f64 d1 6)) 1)
(pow.f64 d1 7)
(pow.f64 (.f64 (.f64 d1 d1) (cbrt.f64 d1)) 3)
(pow.f64 d1 7)
(pow.f64 (pow.f64 (*.f64 d1 (pow.f64 d1 6)) 3) 1/3)
(pow.f64 d1 7)
(pow.f64 (*.f64 d1 (pow.f64 d1 5/2)) 2)
(pow.f64 d1 7)
(sqrt.f64 (*.f64 (pow.f64 d1 4) (pow.f64 d1 10)))
(pow.f64 d1 7)
(log.f64 (pow.f64 (exp.f64 (pow.f64 d1 6)) d1))
(pow.f64 d1 7)
(cbrt.f64 (pow.f64 (*.f64 d1 (pow.f64 d1 6)) 3))
(pow.f64 d1 7)
(cbrt.f64 (*.f64 (pow.f64 d1 6) (pow.f64 d1 15)))
(pow.f64 d1 7)
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 4) 3) (pow.f64 (pow.f64 d1 3) 3)))
(pow.f64 d1 7)
(cbrt.f64 (*.f64 (pow.f64 d1 15) (pow.f64 d1 6)))
(pow.f64 d1 7)
(expm1.f64 (log1p.f64 (*.f64 d1 (pow.f64 d1 6))))
(pow.f64 d1 7)
(exp.f64 (log.f64 (*.f64 d1 (pow.f64 d1 6))))
(pow.f64 d1 7)
(exp.f64 (.f64 (log.f64 (.f64 d1 (pow.f64 d1 6))) 1))
(pow.f64 d1 7)
(log1p.f64 (expm1.f64 (*.f64 d1 (pow.f64 d1 6))))
(pow.f64 d1 7)
(-.f64 (+.f64 1 (pow.f64 d1 10)) 1)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 (*.f64 d1 d1) 5)
(pow.f64 d1 10)
(pow.f64 (pow.f64 d1 5) 2)
(pow.f64 d1 10)
(pow.f64 (pow.f64 d1 10) 1)
(pow.f64 d1 10)
(pow.f64 (cbrt.f64 (pow.f64 d1 10)) 3)
(pow.f64 d1 10)
(pow.f64 (pow.f64 (pow.f64 d1 10) 3) 1/3)
(pow.f64 d1 10)
(sqrt.f64 (pow.f64 d1 20))
(pow.f64 d1 10)
(log.f64 (exp.f64 (pow.f64 d1 10)))
(pow.f64 d1 10)
(cbrt.f64 (pow.f64 (pow.f64 d1 10) 3))
(pow.f64 d1 10)
(expm1.f64 (log1p.f64 (pow.f64 d1 10)))
(pow.f64 d1 10)
(exp.f64 (*.f64 10 (log.f64 d1)))
(pow.f64 d1 10)
(exp.f64 (.f64 (.f64 2 (log.f64 d1)) 5))
(pow.f64 d1 10)
(exp.f64 (.f64 (.f64 5 (log.f64 d1)) 2))
(pow.f64 d1 10)
(exp.f64 (.f64 (.f64 10 (log.f64 d1)) 1))
(pow.f64 d1 10)
(log1p.f64 (expm1.f64 (pow.f64 d1 10)))
(pow.f64 d1 10)
(-.f64 (+.f64 1 (pow.f64 d1 10)) 1)
(pow.f64 d1 10)
(.f64 d1 (.f64 (pow.f64 d1 4) (pow.f64 d1 5)))
(pow.f64 d1 10)
(.f64 (.f64 d1 d1) (pow.f64 (pow.f64 d1 4) 2))
(pow.f64 d1 10)
(.f64 (pow.f64 d1 3) (.f64 d1 (pow.f64 d1 6)))
(pow.f64 d1 10)
(*.f64 (pow.f64 d1 4) (pow.f64 d1 6))
(pow.f64 d1 10)
(*.f64 (pow.f64 d1 5) (pow.f64 d1 5))
(pow.f64 d1 10)
(*.f64 (pow.f64 d1 10) 1)
(pow.f64 d1 10)
(*.f64 1 (pow.f64 d1 10))
(pow.f64 d1 10)
(*.f64 (cbrt.f64 (pow.f64 d1 10)) (cbrt.f64 (pow.f64 d1 20)))
(pow.f64 d1 10)
(.f64 (cbrt.f64 (pow.f64 d1 10)) (.f64 (cbrt.f64 (pow.f64 d1 5)) (pow.f64 d1 5)))
(pow.f64 d1 10)
(*.f64 (cbrt.f64 (pow.f64 d1 20)) (cbrt.f64 (pow.f64 d1 10)))
(pow.f64 d1 10)
(*.f64 (pow.f64 d1 6) (pow.f64 d1 4))
(pow.f64 d1 10)
(.f64 (pow.f64 (pow.f64 d1 4) 2) (.f64 d1 d1))
(pow.f64 d1 10)
(.f64 (pow.f64 d1 5/2) (.f64 (pow.f64 d1 5/2) (pow.f64 d1 5)))
(pow.f64 d1 10)
(.f64 (.f64 (pow.f64 d1 5) (pow.f64 d1 5/2)) (pow.f64 d1 5/2))
(pow.f64 d1 10)
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 d1) 2) 10) (pow.f64 (cbrt.f64 d1) 10))
(*.f64 (pow.f64 (sqrt.f64 d1) 10) (pow.f64 (sqrt.f64 d1) 10))
(pow.f64 (sqrt.f64 d1) 20)
(.f64 (pow.f64 (.f64 d1 (cbrt.f64 d1)) 5) (pow.f64 (pow.f64 (cbrt.f64 d1) 2) 5))
(.f64 (.f64 (pow.f64 d1 5) (pow.f64 d1 4)) d1)
(pow.f64 d1 10)
(.f64 (.f64 (pow.f64 d1 5) (cbrt.f64 (pow.f64 d1 10))) (cbrt.f64 (pow.f64 d1 5)))
(pow.f64 d1 10)
(sqrt.f64 (pow.f64 d1 20))
(pow.f64 d1 10)
(log.f64 (exp.f64 (pow.f64 d1 10)))
(pow.f64 d1 10)
(cbrt.f64 (pow.f64 (pow.f64 d1 10) 3))
(pow.f64 d1 10)
(expm1.f64 (log1p.f64 (pow.f64 d1 10)))
(pow.f64 d1 10)
(exp.f64 (*.f64 10 (log.f64 d1)))
(pow.f64 d1 10)
(exp.f64 (.f64 (.f64 2 (log.f64 d1)) 5))
(pow.f64 d1 10)
(exp.f64 (.f64 (.f64 5 (log.f64 d1)) 2))
(pow.f64 d1 10)
(exp.f64 (.f64 (.f64 10 (log.f64 d1)) 1))
(pow.f64 d1 10)
(log1p.f64 (expm1.f64 (pow.f64 d1 10)))
(pow.f64 d1 10)

eval30.0ms (1.5%)

Compiler: Compiled 1290 to 756 computations (41.4% saved)

prune12.0ms (0.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Accurracy

100.0%

Counts

101 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(pow.f64 d1 10)
▶	99.9%	(.f64 (.f64 d1 (*.f64 (pow.f64 d1 7) d1)) d1)
✓	99.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
✓	100.0%	(pow.f64 d1 10)
▶	99.9%	(.f64 (.f64 d1 (*.f64 (pow.f64 d1 7) d1)) d1)
✓	99.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

Compiler

Compiled 68 to 36 computations (47.1% saved)

localize48.0ms (2.4%)

Local Accuracy

Found 3 expressions with local accuracy:

New	Accuracy	Program
✓	100.0%	(.f64 d1 (.f64 (pow.f64 d1 7) d1))
✓	99.9%	(.f64 (.f64 d1 (*.f64 (pow.f64 d1 7) d1)) d1)
✓	99.9%	(*.f64 (pow.f64 d1 7) d1)

Compiler

Compiled 28 to 17 computations (39.3% saved)

series2.0ms (0.1%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
0.0ms	d1	@	0	(.f64 d1 (.f64 (pow.f64 d1 7) d1))
0.0ms	d1	@	0	(*.f64 (pow.f64 d1 7) d1)
0.0ms	d1	@	0	(.f64 (.f64 d1 (*.f64 (pow.f64 d1 7) d1)) d1)
0.0ms	d1	@	inf	(*.f64 (pow.f64 d1 7) d1)
0.0ms	d1	@	-inf	(.f64 d1 (.f64 (pow.f64 d1 7) d1))

rewrite63.0ms (3.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1538×	`pow1`
1432×	`add-exp-log`
1430×	`log1p-expm1-u`
1430×	`expm1-log1p-u`
1404×	`add-log-exp`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	39
1	171	27
2	2005	27

Stop Event

1×	node limit

Counts

3 → 35

Calls

Call 1

Inputs
(*.f64 (pow.f64 d1 7) d1)
(.f64 (.f64 d1 (*.f64 (pow.f64 d1 7) d1)) d1)
(.f64 d1 (.f64 (pow.f64 d1 7) d1))

Outputs
(-.f64 (+.f64 1 (pow.f64 d1 8)) 1)
(pow.f64 d1 8)
(pow.f64 (pow.f64 d1 8) 1)
(pow.f64 (cbrt.f64 (pow.f64 d1 8)) 3)
(pow.f64 (pow.f64 (pow.f64 d1 8) 3) 1/3)
(pow.f64 (pow.f64 d1 4) 2)
(sqrt.f64 (pow.f64 d1 16))
(log.f64 (exp.f64 (pow.f64 d1 8)))
(cbrt.f64 (pow.f64 (pow.f64 d1 8) 3))
(expm1.f64 (log1p.f64 (pow.f64 d1 8)))
(exp.f64 (*.f64 (log.f64 d1) 8))
(log1p.f64 (expm1.f64 (pow.f64 d1 8)))
(-.f64 (+.f64 1 (*.f64 d1 (pow.f64 d1 9))) 1)
(pow.f64 (*.f64 d1 (pow.f64 d1 9)) 1)
(pow.f64 (cbrt.f64 (*.f64 d1 (pow.f64 d1 9))) 3)
(pow.f64 (pow.f64 (*.f64 d1 (pow.f64 d1 9)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 d1 (pow.f64 d1 9))) 2)
(sqrt.f64 (pow.f64 (*.f64 d1 (pow.f64 d1 9)) 2))
(log.f64 (pow.f64 (exp.f64 d1) (pow.f64 d1 9)))
(cbrt.f64 (pow.f64 (*.f64 d1 (pow.f64 d1 9)) 3))
(expm1.f64 (log1p.f64 (*.f64 d1 (pow.f64 d1 9))))
(exp.f64 (log.f64 (*.f64 d1 (pow.f64 d1 9))))
(log1p.f64 (expm1.f64 (*.f64 d1 (pow.f64 d1 9))))
(-.f64 (+.f64 1 (pow.f64 d1 9)) 1)
(pow.f64 d1 9)
(pow.f64 (pow.f64 d1 9) 1)
(pow.f64 (cbrt.f64 (pow.f64 d1 9)) 3)
(pow.f64 (pow.f64 (pow.f64 d1 9) 3) 1/3)
(pow.f64 (sqrt.f64 (pow.f64 d1 9)) 2)
(sqrt.f64 (pow.f64 (pow.f64 d1 9) 2))
(log.f64 (exp.f64 (pow.f64 d1 9)))
(cbrt.f64 (pow.f64 (pow.f64 d1 9) 3))
(expm1.f64 (log1p.f64 (pow.f64 d1 9)))
(exp.f64 (log.f64 (pow.f64 d1 9)))
(log1p.f64 (expm1.f64 (pow.f64 d1 9)))

simplify68.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

1214×	`exp-sum`
1174×	`fma-def`
870×	`log-prod`
736×	`distribute-rgt-in`
710×	`distribute-lft-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	79	497
1	180	497
2	762	497
3	2072	497
4	6486	497

Stop Event

1×	node limit

Counts

71 → 36

Calls

Call 1

Inputs
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(-.f64 (+.f64 1 (pow.f64 d1 8)) 1)
(pow.f64 d1 8)
(pow.f64 (pow.f64 d1 8) 1)
(pow.f64 (cbrt.f64 (pow.f64 d1 8)) 3)
(pow.f64 (pow.f64 (pow.f64 d1 8) 3) 1/3)
(pow.f64 (pow.f64 d1 4) 2)
(sqrt.f64 (pow.f64 d1 16))
(log.f64 (exp.f64 (pow.f64 d1 8)))
(cbrt.f64 (pow.f64 (pow.f64 d1 8) 3))
(expm1.f64 (log1p.f64 (pow.f64 d1 8)))
(exp.f64 (*.f64 (log.f64 d1) 8))
(log1p.f64 (expm1.f64 (pow.f64 d1 8)))
(-.f64 (+.f64 1 (*.f64 d1 (pow.f64 d1 9))) 1)
(pow.f64 (*.f64 d1 (pow.f64 d1 9)) 1)
(pow.f64 (cbrt.f64 (*.f64 d1 (pow.f64 d1 9))) 3)
(pow.f64 (pow.f64 (*.f64 d1 (pow.f64 d1 9)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 d1 (pow.f64 d1 9))) 2)
(sqrt.f64 (pow.f64 (*.f64 d1 (pow.f64 d1 9)) 2))
(log.f64 (pow.f64 (exp.f64 d1) (pow.f64 d1 9)))
(cbrt.f64 (pow.f64 (*.f64 d1 (pow.f64 d1 9)) 3))
(expm1.f64 (log1p.f64 (*.f64 d1 (pow.f64 d1 9))))
(exp.f64 (log.f64 (*.f64 d1 (pow.f64 d1 9))))
(log1p.f64 (expm1.f64 (*.f64 d1 (pow.f64 d1 9))))
(-.f64 (+.f64 1 (pow.f64 d1 9)) 1)
(pow.f64 d1 9)
(pow.f64 (pow.f64 d1 9) 1)
(pow.f64 (cbrt.f64 (pow.f64 d1 9)) 3)
(pow.f64 (pow.f64 (pow.f64 d1 9) 3) 1/3)
(pow.f64 (sqrt.f64 (pow.f64 d1 9)) 2)
(sqrt.f64 (pow.f64 (pow.f64 d1 9) 2))
(log.f64 (exp.f64 (pow.f64 d1 9)))
(cbrt.f64 (pow.f64 (pow.f64 d1 9) 3))
(expm1.f64 (log1p.f64 (pow.f64 d1 9)))
(exp.f64 (log.f64 (pow.f64 d1 9)))
(log1p.f64 (expm1.f64 (pow.f64 d1 9)))

Outputs
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(-.f64 (+.f64 1 (pow.f64 d1 8)) 1)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 (pow.f64 d1 8) 1)
(pow.f64 d1 8)
(pow.f64 (cbrt.f64 (pow.f64 d1 8)) 3)
(pow.f64 d1 8)
(pow.f64 (pow.f64 (pow.f64 d1 8) 3) 1/3)
(pow.f64 d1 8)
(pow.f64 (pow.f64 d1 4) 2)
(pow.f64 d1 8)
(sqrt.f64 (pow.f64 d1 16))
(pow.f64 d1 8)
(log.f64 (exp.f64 (pow.f64 d1 8)))
(pow.f64 d1 8)
(cbrt.f64 (pow.f64 (pow.f64 d1 8) 3))
(pow.f64 d1 8)
(expm1.f64 (log1p.f64 (pow.f64 d1 8)))
(pow.f64 d1 8)
(exp.f64 (*.f64 (log.f64 d1) 8))
(pow.f64 d1 8)
(log1p.f64 (expm1.f64 (pow.f64 d1 8)))
(pow.f64 d1 8)
(-.f64 (+.f64 1 (*.f64 d1 (pow.f64 d1 9))) 1)
(pow.f64 d1 10)
(pow.f64 (*.f64 d1 (pow.f64 d1 9)) 1)
(pow.f64 d1 10)
(pow.f64 (cbrt.f64 (*.f64 d1 (pow.f64 d1 9))) 3)
(pow.f64 d1 10)
(pow.f64 (pow.f64 (*.f64 d1 (pow.f64 d1 9)) 3) 1/3)
(pow.f64 d1 10)
(pow.f64 (sqrt.f64 (*.f64 d1 (pow.f64 d1 9))) 2)
(pow.f64 d1 10)
(sqrt.f64 (pow.f64 (*.f64 d1 (pow.f64 d1 9)) 2))
(pow.f64 d1 10)
(log.f64 (pow.f64 (exp.f64 d1) (pow.f64 d1 9)))
(pow.f64 d1 10)
(cbrt.f64 (pow.f64 (*.f64 d1 (pow.f64 d1 9)) 3))
(pow.f64 d1 10)
(expm1.f64 (log1p.f64 (*.f64 d1 (pow.f64 d1 9))))
(pow.f64 d1 10)
(exp.f64 (log.f64 (*.f64 d1 (pow.f64 d1 9))))
(pow.f64 d1 10)
(log1p.f64 (expm1.f64 (*.f64 d1 (pow.f64 d1 9))))
(pow.f64 d1 10)
(-.f64 (+.f64 1 (pow.f64 d1 9)) 1)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 (pow.f64 d1 9) 1)
(pow.f64 d1 9)
(pow.f64 (cbrt.f64 (pow.f64 d1 9)) 3)
(pow.f64 d1 9)
(pow.f64 (pow.f64 (pow.f64 d1 9) 3) 1/3)
(pow.f64 d1 9)
(pow.f64 (sqrt.f64 (pow.f64 d1 9)) 2)
(pow.f64 d1 9)
(sqrt.f64 (pow.f64 (pow.f64 d1 9) 2))
(pow.f64 d1 9)
(log.f64 (exp.f64 (pow.f64 d1 9)))
(pow.f64 d1 9)
(cbrt.f64 (pow.f64 (pow.f64 d1 9) 3))
(pow.f64 d1 9)
(expm1.f64 (log1p.f64 (pow.f64 d1 9)))
(pow.f64 d1 9)
(exp.f64 (log.f64 (pow.f64 d1 9)))
(pow.f64 d1 9)
(log1p.f64 (expm1.f64 (pow.f64 d1 9)))
(pow.f64 d1 9)

eval7.0ms (0.4%)

Compiler: Compiled 290 to 207 computations (28.6% saved)

prune7.0ms (0.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	36	0	36
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	36	3	39

Accurracy

100.0%

Counts

39 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(pow.f64 d1 10)
✓	99.9%	(.f64 (.f64 d1 (*.f64 (pow.f64 d1 7) d1)) d1)
✓	99.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

Compiler

Compiled 73 to 39 computations (46.6% saved)

regimes7.0ms (0.3%)

Counts

4 → 1

Calls

Call 1

Inputs
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
(pow.f64 d1 10)
(.f64 (.f64 d1 (*.f64 (pow.f64 d1 7) d1)) d1)
(*.f64 (pow.f64 d1 5) (pow.f64 d1 5))

Outputs
(pow.f64 d1 10)

Calls

2 calls:

3.0ms	d1
2.0ms	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

Results

Accuracy	Segments	Branch
100.0%	1	`d1`
100.0%	1	`(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)`

Compiler

Compiled 61 to 31 computations (49.2% saved)

regimes5.0ms (0.3%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

Outputs
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

Calls

2 calls:

3.0ms	d1
2.0ms	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

Results

Accuracy	Segments	Branch
99.9%	1	`d1`
99.9%	1	`(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)`

Compiler

Compiled 42 to 19 computations (54.8% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

14×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	62
1	20	62

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(pow.f64 d1 10)
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

Outputs

(pow.f64 d1 10)

(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

(*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 d1) (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))))))))

Compiler

Compiled 24 to 12 computations (50% saved)

soundness244.0ms (12.4%)

Rules

2166×	`sqr-pow`
1708×	`unswap-sqr`
1470×	`cube-prod`
996×	`associate-r`
788×	`*-commutative`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	11	43
1	27	31
2	60	19
3	115	7
4	438	7
5	1609	7
6	3183	7
7	3334	7
8	3567	7
9	3862	7
10	4246	7
11	4745	7
12	5379	7
13	6111	7
14	6556	7
15	6920	7
16	7277	7
17	7611	7
18	7869	7

Stop Event

1×	node limit

Compiler

Compiled 252 to 100 computations (60.3% saved)

end38.0ms (1.9%)

Compiler: Compiled 94 to 46 computations (51.1% saved)

FastMath test5

Details

analyze0.0ms (0%)

sample815.0ms (41.3%)

preprocess200.0ms (10.1%)

simplify194.0ms (9.8%)

eval1.0ms (0.1%)

prune3.0ms (0.1%)

localize75.0ms (3.8%)

series5.0ms (0.3%)

rewrite73.0ms (3.7%)

simplify69.0ms (3.5%)

eval30.0ms (1.5%)

prune12.0ms (0.6%)

localize48.0ms (2.4%)

series2.0ms (0.1%)

rewrite63.0ms (3.2%)

simplify68.0ms (3.5%)

eval7.0ms (0.4%)

prune7.0ms (0.4%)

regimes7.0ms (0.3%)

regimes5.0ms (0.3%)

simplify4.0ms (0.2%)

soundness244.0ms (12.4%)

end38.0ms (1.9%)

Profiling