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)

sample795.0ms (37.6%)

Results

434.0ms	4562×	body	256	valid
348.0ms	3694×	body	256	infinite

Bogosity

preprocess202.0ms (9.6%)

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

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
▶	99.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

Status

Accuracy

Program

▶

99.9%

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

▶

99.9%

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

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 61 to 28 computations (54.1% saved)

localize37.0ms (1.8%)

Local Accuracy

Found 4 expressions with local accuracy:

New	Accuracy	Program
✓	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 91 to 10 computations (89% saved)

series3.0ms (0.2%)

Counts

4 → 48

Calls

12 calls:

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

rewrite63.0ms (3%)

Algorithm

1×	batch-egg-rewrite

Rules

1368×	`pow1`
1262×	`add-exp-log`
1262×	`log1p-expm1-u`
1262×	`expm1-log1p-u`
1230×	`add-log-exp`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	64
1	165	34
2	2021	34

Stop Event

1×	node limit

Counts

4 → 46

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

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 (log.f64 d1) 3))
(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))
(expm1.f64 (log1p.f64 (pow.f64 d1 4)))
(exp.f64 (log.f64 (pow.f64 d1 4)))
(log1p.f64 (expm1.f64 (pow.f64 d1 4)))
(-.f64 (+.f64 1 (pow.f64 d1 5)) 1)
(pow.f64 d1 5)
(pow.f64 (pow.f64 d1 5) 1)
(pow.f64 (cbrt.f64 (pow.f64 d1 5)) 3)
(pow.f64 (pow.f64 (pow.f64 d1 5) 3) 1/3)
(pow.f64 (sqrt.f64 (pow.f64 d1 5)) 2)
(sqrt.f64 (pow.f64 (pow.f64 d1 5) 2))
(log.f64 (exp.f64 (pow.f64 d1 5)))
(cbrt.f64 (pow.f64 (pow.f64 d1 5) 3))
(expm1.f64 (log1p.f64 (pow.f64 d1 5)))
(exp.f64 (log.f64 (pow.f64 d1 5)))
(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 (sqrt.f64 (*.f64 d1 (pow.f64 d1 6))) 2)
(sqrt.f64 (pow.f64 (*.f64 d1 (pow.f64 d1 6)) 2))
(log.f64 (pow.f64 (exp.f64 (pow.f64 d1 6)) d1))
(cbrt.f64 (pow.f64 (*.f64 d1 (pow.f64 d1 6)) 3))
(expm1.f64 (log1p.f64 (*.f64 d1 (pow.f64 d1 6))))
(exp.f64 (log.f64 (*.f64 d1 (pow.f64 d1 6))))
(log1p.f64 (expm1.f64 (*.f64 d1 (pow.f64 d1 6))))

simplify56.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1550×	`fma-def`
1114×	`distribute-rgt-in`
1038×	`distribute-lft-in`
990×	`log-prod`
914×	`associate-+r+`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	99	658
1	230	658
2	871	658
3	2468	658

Stop Event

1×	node limit

Counts

94 → 47

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)
(-.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 (log.f64 d1) 3))
(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))
(expm1.f64 (log1p.f64 (pow.f64 d1 4)))
(exp.f64 (log.f64 (pow.f64 d1 4)))
(log1p.f64 (expm1.f64 (pow.f64 d1 4)))
(-.f64 (+.f64 1 (pow.f64 d1 5)) 1)
(pow.f64 d1 5)
(pow.f64 (pow.f64 d1 5) 1)
(pow.f64 (cbrt.f64 (pow.f64 d1 5)) 3)
(pow.f64 (pow.f64 (pow.f64 d1 5) 3) 1/3)
(pow.f64 (sqrt.f64 (pow.f64 d1 5)) 2)
(sqrt.f64 (pow.f64 (pow.f64 d1 5) 2))
(log.f64 (exp.f64 (pow.f64 d1 5)))
(cbrt.f64 (pow.f64 (pow.f64 d1 5) 3))
(expm1.f64 (log1p.f64 (pow.f64 d1 5)))
(exp.f64 (log.f64 (pow.f64 d1 5)))
(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 (sqrt.f64 (*.f64 d1 (pow.f64 d1 6))) 2)
(sqrt.f64 (pow.f64 (*.f64 d1 (pow.f64 d1 6)) 2))
(log.f64 (pow.f64 (exp.f64 (pow.f64 d1 6)) d1))
(cbrt.f64 (pow.f64 (*.f64 d1 (pow.f64 d1 6)) 3))
(expm1.f64 (log1p.f64 (*.f64 d1 (pow.f64 d1 6))))
(exp.f64 (log.f64 (*.f64 d1 (pow.f64 d1 6))))
(log1p.f64 (expm1.f64 (*.f64 d1 (pow.f64 d1 6))))

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)
(-.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 (log.f64 d1) 3))
(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)
(expm1.f64 (log1p.f64 (pow.f64 d1 4)))
(pow.f64 d1 4)
(exp.f64 (log.f64 (pow.f64 d1 4)))
(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 (pow.f64 d1 5) 1)
(pow.f64 d1 5)
(pow.f64 (cbrt.f64 (pow.f64 d1 5)) 3)
(pow.f64 d1 5)
(pow.f64 (pow.f64 (pow.f64 d1 5) 3) 1/3)
(pow.f64 d1 5)
(pow.f64 (sqrt.f64 (pow.f64 d1 5)) 2)
(pow.f64 d1 5)
(sqrt.f64 (pow.f64 (pow.f64 d1 5) 2))
(pow.f64 d1 5)
(log.f64 (exp.f64 (pow.f64 d1 5)))
(pow.f64 d1 5)
(cbrt.f64 (pow.f64 (pow.f64 d1 5) 3))
(pow.f64 d1 5)
(expm1.f64 (log1p.f64 (pow.f64 d1 5)))
(pow.f64 d1 5)
(exp.f64 (log.f64 (pow.f64 d1 5)))
(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 (sqrt.f64 (*.f64 d1 (pow.f64 d1 6))) 2)
(pow.f64 d1 7)
(sqrt.f64 (pow.f64 (*.f64 d1 (pow.f64 d1 6)) 2))
(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)
(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)
(log1p.f64 (expm1.f64 (*.f64 d1 (pow.f64 d1 6))))
(pow.f64 d1 7)

eval12.0ms (0.6%)

Compiler: Compiled 767 to 424 computations (44.7% saved)

prune9.0ms (0.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	43	4	47
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	43	5	48

Accurracy

99.9%

Counts

48 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.9%	(.f64 (.f64 d1 (*.f64 (pow.f64 d1 7) d1)) d1)
▶	99.9%	(.f64 (.f64 d1 (.f64 (.f64 (pow.f64 d1 5) (*.f64 d1 d1)) d1)) d1)
▶	52.3%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (pow.f64 (pow.f64 d1 3/2) 2) d1) d1) (*.f64 d1 d1)) d1)) d1)
✓	99.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
▶	94.1%	(.f64 (.f64 d1 (.f64 (cbrt.f64 (pow.f64 (.f64 d1 (pow.f64 d1 6)) 3)) d1)) d1)
▶	99.9%	(.f64 (.f64 d1 (*.f64 (pow.f64 d1 7) d1)) d1)
▶	99.9%	(.f64 (.f64 d1 (.f64 (.f64 (pow.f64 d1 5) (*.f64 d1 d1)) d1)) d1)
▶	52.3%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (pow.f64 (pow.f64 d1 3/2) 2) d1) d1) (*.f64 d1 d1)) d1)) d1)
✓	99.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
▶	94.1%	(.f64 (.f64 d1 (.f64 (cbrt.f64 (pow.f64 (.f64 d1 (pow.f64 d1 6)) 3)) d1)) d1)

Compiler

Compiled 158 to 90 computations (43% saved)

localize300.0ms (14.2%)

Local Accuracy

Found 15 expressions with local accuracy:

New	Accuracy	Program
✓	100.0%	(.f64 d1 (.f64 (pow.f64 d1 7) d1))
✓	100.0%	(.f64 (.f64 d1 (*.f64 (pow.f64 d1 7) d1)) d1)
✓	100.0%	(*.f64 (pow.f64 d1 7) d1)
✓	100.0%	(.f64 d1 (.f64 (.f64 (pow.f64 d1 5) (.f64 d1 d1)) d1))
✓	100.0%	(.f64 (.f64 d1 (.f64 (.f64 (pow.f64 d1 5) (*.f64 d1 d1)) d1)) d1)
✓	100.0%	(.f64 (.f64 (pow.f64 d1 5) (*.f64 d1 d1)) d1)
✓	100.0%	(.f64 (pow.f64 d1 5) (.f64 d1 d1))
✓	100.0%	(.f64 (.f64 (.f64 (.f64 (pow.f64 (pow.f64 d1 3/2) 2) d1) d1) (*.f64 d1 d1)) d1)
✓	100.0%	(.f64 (.f64 (.f64 (pow.f64 (pow.f64 d1 3/2) 2) d1) d1) (.f64 d1 d1))
✓	99.9%	(*.f64 (pow.f64 (pow.f64 d1 3/2) 2) d1)
✓	99.9%	(pow.f64 (pow.f64 d1 3/2) 2)
✓	100.0%	(.f64 (.f64 d1 (.f64 (cbrt.f64 (pow.f64 (.f64 d1 (pow.f64 d1 6)) 3)) d1)) d1)
✓	100.0%	(.f64 (cbrt.f64 (pow.f64 (.f64 d1 (pow.f64 d1 6)) 3)) d1)
✓	100.0%	(*.f64 d1 (pow.f64 d1 6))
✓	93.7%	(cbrt.f64 (pow.f64 (*.f64 d1 (pow.f64 d1 6)) 3))

Compiler

Compiled 232 to 134 computations (42.2% saved)

series55.0ms (2.6%)

Counts

15 → 180

Calls

45 calls:

Time	Variable		Point	Expression
26.0ms	d1	@	0	(pow.f64 (pow.f64 d1 3/2) 2)
15.0ms	d1	@	-inf	(pow.f64 (pow.f64 d1 3/2) 2)
6.0ms	d1	@	inf	(pow.f64 (pow.f64 d1 3/2) 2)
2.0ms	d1	@	-inf	(cbrt.f64 (pow.f64 (*.f64 d1 (pow.f64 d1 6)) 3))
1.0ms	d1	@	-inf	(*.f64 (pow.f64 (pow.f64 d1 3/2) 2) d1)

rewrite75.0ms (3.5%)

Algorithm

1×	batch-egg-rewrite

Rules

642×	`add-sqr-sqrt`
622×	`pow1`
610×	`*-un-lft-identity`
604×	`add-exp-log`
604×	`add-log-exp`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	33	303
1	711	105

Stop Event

1×	node limit

Counts

15 → 284

Calls

Call 1

Inputs
(cbrt.f64 (pow.f64 (*.f64 d1 (pow.f64 d1 6)) 3))
(*.f64 d1 (pow.f64 d1 6))
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 (pow.f64 d1 6)) 3)) d1)
(.f64 (.f64 d1 (.f64 (cbrt.f64 (pow.f64 (.f64 d1 (pow.f64 d1 6)) 3)) d1)) d1)
(pow.f64 (pow.f64 d1 3/2) 2)
(*.f64 (pow.f64 (pow.f64 d1 3/2) 2) d1)
(.f64 (.f64 (.f64 (pow.f64 (pow.f64 d1 3/2) 2) d1) d1) (.f64 d1 d1))
(.f64 (.f64 (.f64 (.f64 (pow.f64 (pow.f64 d1 3/2) 2) d1) d1) (*.f64 d1 d1)) d1)
(.f64 (pow.f64 d1 5) (.f64 d1 d1))
(.f64 (.f64 (pow.f64 d1 5) (*.f64 d1 d1)) d1)
(.f64 (.f64 d1 (.f64 (.f64 (pow.f64 d1 5) (*.f64 d1 d1)) d1)) d1)
(.f64 d1 (.f64 (.f64 (pow.f64 d1 5) (.f64 d1 d1)) d1))
(*.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 (exp.f64 (log1p.f64 (pow.f64 d1 7))) 1)
(*.f64 d1 (pow.f64 d1 6))
(*.f64 (pow.f64 d1 6) d1)
(*.f64 (pow.f64 d1 7) 1)
(*.f64 (pow.f64 d1 3) (pow.f64 d1 4))
(.f64 (.f64 d1 d1) (pow.f64 d1 5))
(.f64 (pow.f64 d1 5) (.f64 d1 d1))
(*.f64 1 (pow.f64 d1 7))
(.f64 (.f64 d1 (cbrt.f64 d1)) (*.f64 (pow.f64 (cbrt.f64 d1) 2) (pow.f64 d1 5)))
(.f64 (cbrt.f64 (pow.f64 d1 8)) (.f64 (*.f64 d1 (cbrt.f64 d1)) (pow.f64 d1 3)))
(.f64 (cbrt.f64 (pow.f64 d1 10)) (.f64 (cbrt.f64 (pow.f64 d1 5)) (*.f64 d1 d1)))
(*.f64 (cbrt.f64 (pow.f64 d1 7)) (cbrt.f64 (pow.f64 d1 14)))
(*.f64 (cbrt.f64 (pow.f64 d1 7)) (pow.f64 (pow.f64 d1 14) 1/3))
(*.f64 (cbrt.f64 (pow.f64 d1 14)) (cbrt.f64 (pow.f64 d1 7)))
(.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) (pow.f64 d1 6)))
(*.f64 (pow.f64 d1 4) (pow.f64 d1 3))
(*.f64 (pow.f64 d1 7/2) (pow.f64 d1 7/2))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (pow.f64 d1 6)))
(.f64 (pow.f64 d1 5/2) (.f64 (pow.f64 d1 5/2) (*.f64 d1 d1)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 d1) 2) 7) (pow.f64 (cbrt.f64 d1) 7))
(*.f64 (pow.f64 (sqrt.f64 d1) 7) (pow.f64 (sqrt.f64 d1) 7))
(*.f64 (pow.f64 (pow.f64 d1 14) 1/3) (cbrt.f64 (pow.f64 d1 7)))
(*.f64 (pow.f64 1 1/3) (pow.f64 d1 7))
(*.f64 (pow.f64 (pow.f64 (pow.f64 d1 7) 3/2) 1/3) (pow.f64 (pow.f64 (pow.f64 d1 7) 3/2) 1/3))
(.f64 (.f64 (pow.f64 d1 6) (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1))
(.f64 (.f64 (pow.f64 d1 6) (sqrt.f64 d1)) (sqrt.f64 d1))
(.f64 (.f64 (pow.f64 d1 5) (*.f64 d1 (cbrt.f64 d1))) (pow.f64 (cbrt.f64 d1) 2))
(.f64 (.f64 (*.f64 d1 d1) (pow.f64 d1 5/2)) (pow.f64 d1 5/2))
(.f64 (.f64 (*.f64 d1 d1) (cbrt.f64 (pow.f64 d1 10))) (cbrt.f64 (pow.f64 d1 5)))
(pow.f64 d1 7)
(pow.f64 (pow.f64 d1 7) 1)
(pow.f64 (pow.f64 (pow.f64 d1 7) 3) 1/3)
(pow.f64 (*.f64 d1 d1) 7/2)
(pow.f64 (cbrt.f64 (pow.f64 d1 7)) 3)
(pow.f64 (pow.f64 d1 7/2) 2)
(sqrt.f64 (pow.f64 d1 14))
(log.f64 (exp.f64 (pow.f64 d1 7)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 7))))
(expm1.f64 (log1p.f64 (pow.f64 d1 7)))
(exp.f64 (*.f64 7 (log.f64 d1)))
(exp.f64 (.f64 (.f64 7 (log.f64 d1)) 1))
(exp.f64 (.f64 (.f64 3 (*.f64 7 (log.f64 d1))) 1/3))
(log1p.f64 (expm1.f64 (pow.f64 d1 7)))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 7))) 1)
(pow.f64 d1 7)
(pow.f64 (pow.f64 d1 7) 1)
(pow.f64 (pow.f64 (pow.f64 d1 7) 3) 1/3)
(pow.f64 (*.f64 d1 d1) 7/2)
(pow.f64 (cbrt.f64 (pow.f64 d1 7)) 3)
(pow.f64 (pow.f64 d1 7/2) 2)
(sqrt.f64 (pow.f64 d1 14))
(log.f64 (exp.f64 (pow.f64 d1 7)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 7))))
(cbrt.f64 (pow.f64 (pow.f64 d1 7) 3))
(cbrt.f64 (.f64 (pow.f64 d1 6) (.f64 (pow.f64 d1 14) d1)))
(expm1.f64 (log1p.f64 (pow.f64 d1 7)))
(exp.f64 (*.f64 7 (log.f64 d1)))
(exp.f64 (.f64 (.f64 7 (log.f64 d1)) 1))
(exp.f64 (.f64 (.f64 3 (*.f64 7 (log.f64 d1))) 1/3))
(log1p.f64 (expm1.f64 (pow.f64 d1 7)))
(-.f64 (exp.f64 (log1p.f64 (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)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 8))))
(cbrt.f64 (pow.f64 (pow.f64 d1 8) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 7) 3)))
(expm1.f64 (log1p.f64 (pow.f64 d1 8)))
(exp.f64 (*.f64 8 (log.f64 d1)))
(exp.f64 (.f64 (.f64 8 (log.f64 d1)) 1))
(exp.f64 (*.f64 (log.f64 d1) 8))
(log1p.f64 (expm1.f64 (pow.f64 d1 8)))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 10))) 1)
(pow.f64 d1 10)
(pow.f64 (pow.f64 d1 10) 1)
(pow.f64 (*.f64 d1 d1) 5)
(pow.f64 (pow.f64 d1 5) 2)
(pow.f64 (cbrt.f64 (pow.f64 d1 10)) 3)
(pow.f64 (pow.f64 (pow.f64 d1 10) 3) 1/3)
(sqrt.f64 (pow.f64 (pow.f64 d1 10) 2))
(log.f64 (exp.f64 (pow.f64 d1 10)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 10))))
(cbrt.f64 (pow.f64 (pow.f64 d1 10) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 9) 3)))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 9) 3) (pow.f64 d1 3)))
(expm1.f64 (log1p.f64 (pow.f64 d1 10)))
(exp.f64 (log.f64 (pow.f64 d1 10)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 10)) 1))
(log1p.f64 (expm1.f64 (pow.f64 d1 10)))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 3))) 1)
(.f64 d1 (.f64 d1 d1))
(*.f64 (pow.f64 d1 3/2) (pow.f64 d1 3/2))
(*.f64 (pow.f64 d1 3) 1)
(.f64 (.f64 d1 d1) d1)
(*.f64 1 (pow.f64 d1 3))
(.f64 (.f64 d1 (cbrt.f64 d1)) (*.f64 (pow.f64 (cbrt.f64 d1) 2) d1))
(*.f64 (cbrt.f64 (pow.f64 d1 8)) (cbrt.f64 d1))
(*.f64 (cbrt.f64 d1) (cbrt.f64 (pow.f64 d1 8)))
(*.f64 (pow.f64 (cbrt.f64 d1) 2) (cbrt.f64 (pow.f64 d1 7)))
(*.f64 (sqrt.f64 d1) (pow.f64 d1 5/2))
(*.f64 (pow.f64 d1 5/2) (sqrt.f64 d1))
(.f64 (pow.f64 d1 3/4) (.f64 (pow.f64 d1 3/4) (pow.f64 d1 3/2)))
(.f64 (.f64 (pow.f64 d1 3/2) (pow.f64 d1 3/4)) (pow.f64 d1 3/4))
(.f64 (.f64 d1 (*.f64 d1 (cbrt.f64 d1))) (pow.f64 (cbrt.f64 d1) 2))
(.f64 (.f64 (*.f64 d1 d1) (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1))
(sqrt.f64 (pow.f64 d1 6))
(fabs.f64 (pow.f64 d1 3))
(log.f64 (exp.f64 (pow.f64 d1 3)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 3))))
(cbrt.f64 (pow.f64 d1 9))
(expm1.f64 (log1p.f64 (pow.f64 d1 3)))
(exp.f64 (log.f64 (pow.f64 d1 3)))
(exp.f64 (*.f64 (log.f64 d1) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 3)) 1))
(exp.f64 (+.f64 (log.f64 d1) (*.f64 2 (log.f64 d1))))
(log1p.f64 (expm1.f64 (pow.f64 d1 3)))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 4))) 1)
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 8) 1/2)
(pow.f64 (*.f64 d1 d1) 2)
(pow.f64 (*.f64 d1 (cbrt.f64 d1)) 3)
(pow.f64 (pow.f64 d1 12) 1/3)
(pow.f64 (pow.f64 d1 4) 1)
(sqrt.f64 (pow.f64 d1 8))
(fabs.f64 (pow.f64 d1 4))
(log.f64 (exp.f64 (pow.f64 d1 4)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 4))))
(cbrt.f64 (pow.f64 d1 12))
(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 (exp.f64 (log1p.f64 (pow.f64 d1 7))) 1)
(pow.f64 d1 7)
(pow.f64 (pow.f64 d1 7) 1)
(pow.f64 (pow.f64 (pow.f64 d1 7) 3) 1/3)
(pow.f64 (*.f64 d1 d1) 7/2)
(pow.f64 (cbrt.f64 (pow.f64 d1 7)) 3)
(pow.f64 (pow.f64 d1 7/2) 2)
(sqrt.f64 (pow.f64 d1 14))
(log.f64 (exp.f64 (pow.f64 d1 7)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 7))))
(cbrt.f64 (pow.f64 (pow.f64 d1 7) 3))
(cbrt.f64 (.f64 (pow.f64 d1 6) (.f64 (pow.f64 d1 14) d1)))
(expm1.f64 (log1p.f64 (pow.f64 d1 7)))
(exp.f64 (*.f64 7 (log.f64 d1)))
(exp.f64 (.f64 (.f64 7 (log.f64 d1)) 1))
(exp.f64 (.f64 (.f64 3 (*.f64 7 (log.f64 d1))) 1/3))
(log1p.f64 (expm1.f64 (pow.f64 d1 7)))
(-.f64 (exp.f64 (log1p.f64 (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)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 8))))
(cbrt.f64 (pow.f64 (pow.f64 d1 8) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 7) 3)))
(expm1.f64 (log1p.f64 (pow.f64 d1 8)))
(exp.f64 (*.f64 8 (log.f64 d1)))
(exp.f64 (.f64 (.f64 8 (log.f64 d1)) 1))
(exp.f64 (*.f64 (log.f64 d1) 8))
(log1p.f64 (expm1.f64 (pow.f64 d1 8)))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 7))) 1)
(pow.f64 d1 7)
(pow.f64 (pow.f64 d1 7) 1)
(pow.f64 (pow.f64 (pow.f64 d1 7) 3) 1/3)
(pow.f64 (*.f64 d1 d1) 7/2)
(pow.f64 (cbrt.f64 (pow.f64 d1 7)) 3)
(pow.f64 (pow.f64 d1 7/2) 2)
(sqrt.f64 (pow.f64 d1 14))
(log.f64 (exp.f64 (pow.f64 d1 7)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 7))))
(cbrt.f64 (pow.f64 (pow.f64 d1 7) 3))
(cbrt.f64 (.f64 (pow.f64 d1 6) (.f64 (pow.f64 d1 14) d1)))
(expm1.f64 (log1p.f64 (pow.f64 d1 7)))
(exp.f64 (*.f64 7 (log.f64 d1)))
(exp.f64 (.f64 (.f64 7 (log.f64 d1)) 1))
(exp.f64 (.f64 (.f64 3 (*.f64 7 (log.f64 d1))) 1/3))
(log1p.f64 (expm1.f64 (pow.f64 d1 7)))
(-.f64 (exp.f64 (log1p.f64 (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)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 8))))
(cbrt.f64 (pow.f64 (pow.f64 d1 8) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 7) 3)))
(expm1.f64 (log1p.f64 (pow.f64 d1 8)))
(exp.f64 (*.f64 8 (log.f64 d1)))
(exp.f64 (.f64 (.f64 8 (log.f64 d1)) 1))
(exp.f64 (*.f64 (log.f64 d1) 8))
(log1p.f64 (expm1.f64 (pow.f64 d1 8)))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 10))) 1)
(pow.f64 d1 10)
(pow.f64 (pow.f64 d1 10) 1)
(pow.f64 (*.f64 d1 d1) 5)
(pow.f64 (pow.f64 d1 5) 2)
(pow.f64 (cbrt.f64 (pow.f64 d1 10)) 3)
(pow.f64 (pow.f64 (pow.f64 d1 10) 3) 1/3)
(sqrt.f64 (pow.f64 (pow.f64 d1 10) 2))
(log.f64 (exp.f64 (pow.f64 d1 10)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 10))))
(cbrt.f64 (pow.f64 (pow.f64 d1 10) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 9) 3)))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 9) 3) (pow.f64 d1 3)))
(expm1.f64 (log1p.f64 (pow.f64 d1 10)))
(exp.f64 (log.f64 (pow.f64 d1 10)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 10)) 1))
(log1p.f64 (expm1.f64 (pow.f64 d1 10)))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 9))) 1)
(pow.f64 d1 9)
(pow.f64 (pow.f64 d1 3) 3)
(pow.f64 (pow.f64 d1 9) 1)
(pow.f64 (pow.f64 (pow.f64 d1 9) 3) 1/3)
(pow.f64 (pow.f64 d1 9/2) 2)
(sqrt.f64 (pow.f64 d1 18))
(log.f64 (exp.f64 (pow.f64 d1 9)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 9))))
(cbrt.f64 (pow.f64 (pow.f64 d1 9) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 8) 3)))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 8) 3) (pow.f64 d1 3)))
(expm1.f64 (log1p.f64 (pow.f64 d1 9)))
(exp.f64 (log.f64 (pow.f64 d1 9)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 9)) 1))
(log1p.f64 (expm1.f64 (pow.f64 d1 9)))
(-.f64 (exp.f64 (log1p.f64 (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)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 8))))
(cbrt.f64 (pow.f64 (pow.f64 d1 8) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 7) 3)))
(expm1.f64 (log1p.f64 (pow.f64 d1 8)))
(exp.f64 (*.f64 8 (log.f64 d1)))
(exp.f64 (.f64 (.f64 8 (log.f64 d1)) 1))
(exp.f64 (*.f64 (log.f64 d1) 8))
(log1p.f64 (expm1.f64 (pow.f64 d1 8)))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 10))) 1)
(pow.f64 d1 10)
(pow.f64 (pow.f64 d1 10) 1)
(pow.f64 (*.f64 d1 d1) 5)
(pow.f64 (pow.f64 d1 5) 2)
(pow.f64 (cbrt.f64 (pow.f64 d1 10)) 3)
(pow.f64 (pow.f64 (pow.f64 d1 10) 3) 1/3)
(sqrt.f64 (pow.f64 (pow.f64 d1 10) 2))
(log.f64 (exp.f64 (pow.f64 d1 10)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 10))))
(cbrt.f64 (pow.f64 (pow.f64 d1 10) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 9) 3)))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 9) 3) (pow.f64 d1 3)))
(expm1.f64 (log1p.f64 (pow.f64 d1 10)))
(exp.f64 (log.f64 (pow.f64 d1 10)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 10)) 1))
(log1p.f64 (expm1.f64 (pow.f64 d1 10)))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 9))) 1)
(pow.f64 d1 9)
(pow.f64 (pow.f64 d1 3) 3)
(pow.f64 (pow.f64 d1 9) 1)
(pow.f64 (pow.f64 (pow.f64 d1 9) 3) 1/3)
(pow.f64 (pow.f64 d1 9/2) 2)
(sqrt.f64 (pow.f64 d1 18))
(log.f64 (exp.f64 (pow.f64 d1 9)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 9))))
(cbrt.f64 (pow.f64 (pow.f64 d1 9) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 8) 3)))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 8) 3) (pow.f64 d1 3)))
(expm1.f64 (log1p.f64 (pow.f64 d1 9)))
(exp.f64 (log.f64 (pow.f64 d1 9)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 9)) 1))
(log1p.f64 (expm1.f64 (pow.f64 d1 9)))

simplify124.0ms (5.9%)

Algorithm

1×	egg-herbie

Rules

1122×	`distribute-rgt-in`
1116×	`distribute-lft-in`
1080×	`log-prod`
546×	`associate-r`
502×	`exp-prod`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	284	4220
1	602	4198
2	2225	4114
3	7612	4114

Stop Event

1×	node limit

Counts

464 → 159

Calls

Call 1

Inputs
(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)
(.f64 -1 (.f64 (pow.f64 d1 7) (cbrt.f64 -1)))
(.f64 -1 (.f64 (pow.f64 d1 7) (cbrt.f64 -1)))
(.f64 -1 (.f64 (pow.f64 d1 7) (cbrt.f64 -1)))
(.f64 -1 (.f64 (pow.f64 d1 7) (cbrt.f64 -1)))
(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 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)
(.f64 -1 (.f64 (pow.f64 d1 8) (cbrt.f64 -1)))
(.f64 -1 (.f64 (pow.f64 d1 8) (cbrt.f64 -1)))
(.f64 -1 (.f64 (pow.f64 d1 8) (cbrt.f64 -1)))
(.f64 -1 (.f64 (pow.f64 d1 8) (cbrt.f64 -1)))
(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 -1 (.f64 (pow.f64 d1 10) (cbrt.f64 -1)))
(.f64 -1 (.f64 (pow.f64 d1 10) (cbrt.f64 -1)))
(.f64 -1 (.f64 (pow.f64 d1 10) (cbrt.f64 -1)))
(.f64 -1 (.f64 (pow.f64 d1 10) (cbrt.f64 -1)))
(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 (exp.f64 (.f64 3/2 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 d1)))))) 2)
(pow.f64 (exp.f64 (.f64 3/2 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 d1)))))) 2)
(pow.f64 (exp.f64 (.f64 3/2 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 d1)))))) 2)
(pow.f64 (exp.f64 (.f64 3/2 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 d1)))))) 2)
(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 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 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 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 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)
(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 (exp.f64 (log1p.f64 (pow.f64 d1 7))) 1)
(*.f64 d1 (pow.f64 d1 6))
(*.f64 (pow.f64 d1 6) d1)
(*.f64 (pow.f64 d1 7) 1)
(*.f64 (pow.f64 d1 3) (pow.f64 d1 4))
(.f64 (.f64 d1 d1) (pow.f64 d1 5))
(.f64 (pow.f64 d1 5) (.f64 d1 d1))
(*.f64 1 (pow.f64 d1 7))
(.f64 (.f64 d1 (cbrt.f64 d1)) (*.f64 (pow.f64 (cbrt.f64 d1) 2) (pow.f64 d1 5)))
(.f64 (cbrt.f64 (pow.f64 d1 8)) (.f64 (*.f64 d1 (cbrt.f64 d1)) (pow.f64 d1 3)))
(.f64 (cbrt.f64 (pow.f64 d1 10)) (.f64 (cbrt.f64 (pow.f64 d1 5)) (*.f64 d1 d1)))
(*.f64 (cbrt.f64 (pow.f64 d1 7)) (cbrt.f64 (pow.f64 d1 14)))
(*.f64 (cbrt.f64 (pow.f64 d1 7)) (pow.f64 (pow.f64 d1 14) 1/3))
(*.f64 (cbrt.f64 (pow.f64 d1 14)) (cbrt.f64 (pow.f64 d1 7)))
(.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) (pow.f64 d1 6)))
(*.f64 (pow.f64 d1 4) (pow.f64 d1 3))
(*.f64 (pow.f64 d1 7/2) (pow.f64 d1 7/2))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (pow.f64 d1 6)))
(.f64 (pow.f64 d1 5/2) (.f64 (pow.f64 d1 5/2) (*.f64 d1 d1)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 d1) 2) 7) (pow.f64 (cbrt.f64 d1) 7))
(*.f64 (pow.f64 (sqrt.f64 d1) 7) (pow.f64 (sqrt.f64 d1) 7))
(*.f64 (pow.f64 (pow.f64 d1 14) 1/3) (cbrt.f64 (pow.f64 d1 7)))
(*.f64 (pow.f64 1 1/3) (pow.f64 d1 7))
(*.f64 (pow.f64 (pow.f64 (pow.f64 d1 7) 3/2) 1/3) (pow.f64 (pow.f64 (pow.f64 d1 7) 3/2) 1/3))
(.f64 (.f64 (pow.f64 d1 6) (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1))
(.f64 (.f64 (pow.f64 d1 6) (sqrt.f64 d1)) (sqrt.f64 d1))
(.f64 (.f64 (pow.f64 d1 5) (*.f64 d1 (cbrt.f64 d1))) (pow.f64 (cbrt.f64 d1) 2))
(.f64 (.f64 (*.f64 d1 d1) (pow.f64 d1 5/2)) (pow.f64 d1 5/2))
(.f64 (.f64 (*.f64 d1 d1) (cbrt.f64 (pow.f64 d1 10))) (cbrt.f64 (pow.f64 d1 5)))
(pow.f64 d1 7)
(pow.f64 (pow.f64 d1 7) 1)
(pow.f64 (pow.f64 (pow.f64 d1 7) 3) 1/3)
(pow.f64 (*.f64 d1 d1) 7/2)
(pow.f64 (cbrt.f64 (pow.f64 d1 7)) 3)
(pow.f64 (pow.f64 d1 7/2) 2)
(sqrt.f64 (pow.f64 d1 14))
(log.f64 (exp.f64 (pow.f64 d1 7)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 7))))
(expm1.f64 (log1p.f64 (pow.f64 d1 7)))
(exp.f64 (*.f64 7 (log.f64 d1)))
(exp.f64 (.f64 (.f64 7 (log.f64 d1)) 1))
(exp.f64 (.f64 (.f64 3 (*.f64 7 (log.f64 d1))) 1/3))
(log1p.f64 (expm1.f64 (pow.f64 d1 7)))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 7))) 1)
(pow.f64 d1 7)
(pow.f64 (pow.f64 d1 7) 1)
(pow.f64 (pow.f64 (pow.f64 d1 7) 3) 1/3)
(pow.f64 (*.f64 d1 d1) 7/2)
(pow.f64 (cbrt.f64 (pow.f64 d1 7)) 3)
(pow.f64 (pow.f64 d1 7/2) 2)
(sqrt.f64 (pow.f64 d1 14))
(log.f64 (exp.f64 (pow.f64 d1 7)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 7))))
(cbrt.f64 (pow.f64 (pow.f64 d1 7) 3))
(cbrt.f64 (.f64 (pow.f64 d1 6) (.f64 (pow.f64 d1 14) d1)))
(expm1.f64 (log1p.f64 (pow.f64 d1 7)))
(exp.f64 (*.f64 7 (log.f64 d1)))
(exp.f64 (.f64 (.f64 7 (log.f64 d1)) 1))
(exp.f64 (.f64 (.f64 3 (*.f64 7 (log.f64 d1))) 1/3))
(log1p.f64 (expm1.f64 (pow.f64 d1 7)))
(-.f64 (exp.f64 (log1p.f64 (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)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 8))))
(cbrt.f64 (pow.f64 (pow.f64 d1 8) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 7) 3)))
(expm1.f64 (log1p.f64 (pow.f64 d1 8)))
(exp.f64 (*.f64 8 (log.f64 d1)))
(exp.f64 (.f64 (.f64 8 (log.f64 d1)) 1))
(exp.f64 (*.f64 (log.f64 d1) 8))
(log1p.f64 (expm1.f64 (pow.f64 d1 8)))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 10))) 1)
(pow.f64 d1 10)
(pow.f64 (pow.f64 d1 10) 1)
(pow.f64 (*.f64 d1 d1) 5)
(pow.f64 (pow.f64 d1 5) 2)
(pow.f64 (cbrt.f64 (pow.f64 d1 10)) 3)
(pow.f64 (pow.f64 (pow.f64 d1 10) 3) 1/3)
(sqrt.f64 (pow.f64 (pow.f64 d1 10) 2))
(log.f64 (exp.f64 (pow.f64 d1 10)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 10))))
(cbrt.f64 (pow.f64 (pow.f64 d1 10) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 9) 3)))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 9) 3) (pow.f64 d1 3)))
(expm1.f64 (log1p.f64 (pow.f64 d1 10)))
(exp.f64 (log.f64 (pow.f64 d1 10)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 10)) 1))
(log1p.f64 (expm1.f64 (pow.f64 d1 10)))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 3))) 1)
(.f64 d1 (.f64 d1 d1))
(*.f64 (pow.f64 d1 3/2) (pow.f64 d1 3/2))
(*.f64 (pow.f64 d1 3) 1)
(.f64 (.f64 d1 d1) d1)
(*.f64 1 (pow.f64 d1 3))
(.f64 (.f64 d1 (cbrt.f64 d1)) (*.f64 (pow.f64 (cbrt.f64 d1) 2) d1))
(*.f64 (cbrt.f64 (pow.f64 d1 8)) (cbrt.f64 d1))
(*.f64 (cbrt.f64 d1) (cbrt.f64 (pow.f64 d1 8)))
(*.f64 (pow.f64 (cbrt.f64 d1) 2) (cbrt.f64 (pow.f64 d1 7)))
(*.f64 (sqrt.f64 d1) (pow.f64 d1 5/2))
(*.f64 (pow.f64 d1 5/2) (sqrt.f64 d1))
(.f64 (pow.f64 d1 3/4) (.f64 (pow.f64 d1 3/4) (pow.f64 d1 3/2)))
(.f64 (.f64 (pow.f64 d1 3/2) (pow.f64 d1 3/4)) (pow.f64 d1 3/4))
(.f64 (.f64 d1 (*.f64 d1 (cbrt.f64 d1))) (pow.f64 (cbrt.f64 d1) 2))
(.f64 (.f64 (*.f64 d1 d1) (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1))
(sqrt.f64 (pow.f64 d1 6))
(fabs.f64 (pow.f64 d1 3))
(log.f64 (exp.f64 (pow.f64 d1 3)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 3))))
(cbrt.f64 (pow.f64 d1 9))
(expm1.f64 (log1p.f64 (pow.f64 d1 3)))
(exp.f64 (log.f64 (pow.f64 d1 3)))
(exp.f64 (*.f64 (log.f64 d1) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 3)) 1))
(exp.f64 (+.f64 (log.f64 d1) (*.f64 2 (log.f64 d1))))
(log1p.f64 (expm1.f64 (pow.f64 d1 3)))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 4))) 1)
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 8) 1/2)
(pow.f64 (*.f64 d1 d1) 2)
(pow.f64 (*.f64 d1 (cbrt.f64 d1)) 3)
(pow.f64 (pow.f64 d1 12) 1/3)
(pow.f64 (pow.f64 d1 4) 1)
(sqrt.f64 (pow.f64 d1 8))
(fabs.f64 (pow.f64 d1 4))
(log.f64 (exp.f64 (pow.f64 d1 4)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 4))))
(cbrt.f64 (pow.f64 d1 12))
(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 (exp.f64 (log1p.f64 (pow.f64 d1 7))) 1)
(pow.f64 d1 7)
(pow.f64 (pow.f64 d1 7) 1)
(pow.f64 (pow.f64 (pow.f64 d1 7) 3) 1/3)
(pow.f64 (*.f64 d1 d1) 7/2)
(pow.f64 (cbrt.f64 (pow.f64 d1 7)) 3)
(pow.f64 (pow.f64 d1 7/2) 2)
(sqrt.f64 (pow.f64 d1 14))
(log.f64 (exp.f64 (pow.f64 d1 7)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 7))))
(cbrt.f64 (pow.f64 (pow.f64 d1 7) 3))
(cbrt.f64 (.f64 (pow.f64 d1 6) (.f64 (pow.f64 d1 14) d1)))
(expm1.f64 (log1p.f64 (pow.f64 d1 7)))
(exp.f64 (*.f64 7 (log.f64 d1)))
(exp.f64 (.f64 (.f64 7 (log.f64 d1)) 1))
(exp.f64 (.f64 (.f64 3 (*.f64 7 (log.f64 d1))) 1/3))
(log1p.f64 (expm1.f64 (pow.f64 d1 7)))
(-.f64 (exp.f64 (log1p.f64 (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)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 8))))
(cbrt.f64 (pow.f64 (pow.f64 d1 8) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 7) 3)))
(expm1.f64 (log1p.f64 (pow.f64 d1 8)))
(exp.f64 (*.f64 8 (log.f64 d1)))
(exp.f64 (.f64 (.f64 8 (log.f64 d1)) 1))
(exp.f64 (*.f64 (log.f64 d1) 8))
(log1p.f64 (expm1.f64 (pow.f64 d1 8)))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 7))) 1)
(pow.f64 d1 7)
(pow.f64 (pow.f64 d1 7) 1)
(pow.f64 (pow.f64 (pow.f64 d1 7) 3) 1/3)
(pow.f64 (*.f64 d1 d1) 7/2)
(pow.f64 (cbrt.f64 (pow.f64 d1 7)) 3)
(pow.f64 (pow.f64 d1 7/2) 2)
(sqrt.f64 (pow.f64 d1 14))
(log.f64 (exp.f64 (pow.f64 d1 7)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 7))))
(cbrt.f64 (pow.f64 (pow.f64 d1 7) 3))
(cbrt.f64 (.f64 (pow.f64 d1 6) (.f64 (pow.f64 d1 14) d1)))
(expm1.f64 (log1p.f64 (pow.f64 d1 7)))
(exp.f64 (*.f64 7 (log.f64 d1)))
(exp.f64 (.f64 (.f64 7 (log.f64 d1)) 1))
(exp.f64 (.f64 (.f64 3 (*.f64 7 (log.f64 d1))) 1/3))
(log1p.f64 (expm1.f64 (pow.f64 d1 7)))
(-.f64 (exp.f64 (log1p.f64 (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)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 8))))
(cbrt.f64 (pow.f64 (pow.f64 d1 8) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 7) 3)))
(expm1.f64 (log1p.f64 (pow.f64 d1 8)))
(exp.f64 (*.f64 8 (log.f64 d1)))
(exp.f64 (.f64 (.f64 8 (log.f64 d1)) 1))
(exp.f64 (*.f64 (log.f64 d1) 8))
(log1p.f64 (expm1.f64 (pow.f64 d1 8)))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 10))) 1)
(pow.f64 d1 10)
(pow.f64 (pow.f64 d1 10) 1)
(pow.f64 (*.f64 d1 d1) 5)
(pow.f64 (pow.f64 d1 5) 2)
(pow.f64 (cbrt.f64 (pow.f64 d1 10)) 3)
(pow.f64 (pow.f64 (pow.f64 d1 10) 3) 1/3)
(sqrt.f64 (pow.f64 (pow.f64 d1 10) 2))
(log.f64 (exp.f64 (pow.f64 d1 10)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 10))))
(cbrt.f64 (pow.f64 (pow.f64 d1 10) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 9) 3)))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 9) 3) (pow.f64 d1 3)))
(expm1.f64 (log1p.f64 (pow.f64 d1 10)))
(exp.f64 (log.f64 (pow.f64 d1 10)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 10)) 1))
(log1p.f64 (expm1.f64 (pow.f64 d1 10)))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 9))) 1)
(pow.f64 d1 9)
(pow.f64 (pow.f64 d1 3) 3)
(pow.f64 (pow.f64 d1 9) 1)
(pow.f64 (pow.f64 (pow.f64 d1 9) 3) 1/3)
(pow.f64 (pow.f64 d1 9/2) 2)
(sqrt.f64 (pow.f64 d1 18))
(log.f64 (exp.f64 (pow.f64 d1 9)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 9))))
(cbrt.f64 (pow.f64 (pow.f64 d1 9) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 8) 3)))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 8) 3) (pow.f64 d1 3)))
(expm1.f64 (log1p.f64 (pow.f64 d1 9)))
(exp.f64 (log.f64 (pow.f64 d1 9)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 9)) 1))
(log1p.f64 (expm1.f64 (pow.f64 d1 9)))
(-.f64 (exp.f64 (log1p.f64 (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)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 8))))
(cbrt.f64 (pow.f64 (pow.f64 d1 8) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 7) 3)))
(expm1.f64 (log1p.f64 (pow.f64 d1 8)))
(exp.f64 (*.f64 8 (log.f64 d1)))
(exp.f64 (.f64 (.f64 8 (log.f64 d1)) 1))
(exp.f64 (*.f64 (log.f64 d1) 8))
(log1p.f64 (expm1.f64 (pow.f64 d1 8)))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 10))) 1)
(pow.f64 d1 10)
(pow.f64 (pow.f64 d1 10) 1)
(pow.f64 (*.f64 d1 d1) 5)
(pow.f64 (pow.f64 d1 5) 2)
(pow.f64 (cbrt.f64 (pow.f64 d1 10)) 3)
(pow.f64 (pow.f64 (pow.f64 d1 10) 3) 1/3)
(sqrt.f64 (pow.f64 (pow.f64 d1 10) 2))
(log.f64 (exp.f64 (pow.f64 d1 10)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 10))))
(cbrt.f64 (pow.f64 (pow.f64 d1 10) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 9) 3)))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 9) 3) (pow.f64 d1 3)))
(expm1.f64 (log1p.f64 (pow.f64 d1 10)))
(exp.f64 (log.f64 (pow.f64 d1 10)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 10)) 1))
(log1p.f64 (expm1.f64 (pow.f64 d1 10)))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 9))) 1)
(pow.f64 d1 9)
(pow.f64 (pow.f64 d1 3) 3)
(pow.f64 (pow.f64 d1 9) 1)
(pow.f64 (pow.f64 (pow.f64 d1 9) 3) 1/3)
(pow.f64 (pow.f64 d1 9/2) 2)
(sqrt.f64 (pow.f64 d1 18))
(log.f64 (exp.f64 (pow.f64 d1 9)))
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 9))))
(cbrt.f64 (pow.f64 (pow.f64 d1 9) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 8) 3)))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 8) 3) (pow.f64 d1 3)))
(expm1.f64 (log1p.f64 (pow.f64 d1 9)))
(exp.f64 (log.f64 (pow.f64 d1 9)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 9)) 1))
(log1p.f64 (expm1.f64 (pow.f64 d1 9)))

Outputs
(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)
(.f64 -1 (.f64 (pow.f64 d1 7) (cbrt.f64 -1)))
(neg.f64 (*.f64 (pow.f64 d1 7) (cbrt.f64 -1)))
(*.f64 (pow.f64 d1 7) (neg.f64 (cbrt.f64 -1)))
(.f64 -1 (.f64 (pow.f64 d1 7) (cbrt.f64 -1)))
(neg.f64 (*.f64 (pow.f64 d1 7) (cbrt.f64 -1)))
(*.f64 (pow.f64 d1 7) (neg.f64 (cbrt.f64 -1)))
(.f64 -1 (.f64 (pow.f64 d1 7) (cbrt.f64 -1)))
(neg.f64 (*.f64 (pow.f64 d1 7) (cbrt.f64 -1)))
(*.f64 (pow.f64 d1 7) (neg.f64 (cbrt.f64 -1)))
(.f64 -1 (.f64 (pow.f64 d1 7) (cbrt.f64 -1)))
(neg.f64 (*.f64 (pow.f64 d1 7) (cbrt.f64 -1)))
(*.f64 (pow.f64 d1 7) (neg.f64 (cbrt.f64 -1)))
(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 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)
(.f64 -1 (.f64 (pow.f64 d1 8) (cbrt.f64 -1)))
(neg.f64 (*.f64 (cbrt.f64 -1) (pow.f64 d1 8)))
(*.f64 (cbrt.f64 -1) (neg.f64 (pow.f64 d1 8)))
(.f64 -1 (.f64 (pow.f64 d1 8) (cbrt.f64 -1)))
(neg.f64 (*.f64 (cbrt.f64 -1) (pow.f64 d1 8)))
(*.f64 (cbrt.f64 -1) (neg.f64 (pow.f64 d1 8)))
(.f64 -1 (.f64 (pow.f64 d1 8) (cbrt.f64 -1)))
(neg.f64 (*.f64 (cbrt.f64 -1) (pow.f64 d1 8)))
(*.f64 (cbrt.f64 -1) (neg.f64 (pow.f64 d1 8)))
(.f64 -1 (.f64 (pow.f64 d1 8) (cbrt.f64 -1)))
(neg.f64 (*.f64 (cbrt.f64 -1) (pow.f64 d1 8)))
(*.f64 (cbrt.f64 -1) (neg.f64 (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)
(.f64 -1 (.f64 (pow.f64 d1 10) (cbrt.f64 -1)))
(neg.f64 (*.f64 (cbrt.f64 -1) (pow.f64 d1 10)))
(*.f64 (cbrt.f64 -1) (neg.f64 (pow.f64 d1 10)))
(.f64 -1 (.f64 (pow.f64 d1 10) (cbrt.f64 -1)))
(neg.f64 (*.f64 (cbrt.f64 -1) (pow.f64 d1 10)))
(*.f64 (cbrt.f64 -1) (neg.f64 (pow.f64 d1 10)))
(.f64 -1 (.f64 (pow.f64 d1 10) (cbrt.f64 -1)))
(neg.f64 (*.f64 (cbrt.f64 -1) (pow.f64 d1 10)))
(*.f64 (cbrt.f64 -1) (neg.f64 (pow.f64 d1 10)))
(.f64 -1 (.f64 (pow.f64 d1 10) (cbrt.f64 -1)))
(neg.f64 (*.f64 (cbrt.f64 -1) (pow.f64 d1 10)))
(*.f64 (cbrt.f64 -1) (neg.f64 (pow.f64 d1 10)))
(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 (exp.f64 (.f64 3/2 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 d1)))))) 2)
(pow.f64 (pow.f64 (exp.f64 3/2) (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 d1))))) 2)
(pow.f64 (exp.f64 3/2) (*.f64 2 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 d1)))))
(pow.f64 (*.f64 (pow.f64 -1 3/2) (pow.f64 (/.f64 -1 d1) -3/2)) 2)
(pow.f64 (exp.f64 (.f64 3/2 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 d1)))))) 2)
(pow.f64 (pow.f64 (exp.f64 3/2) (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 d1))))) 2)
(pow.f64 (exp.f64 3/2) (*.f64 2 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 d1)))))
(pow.f64 (*.f64 (pow.f64 -1 3/2) (pow.f64 (/.f64 -1 d1) -3/2)) 2)
(pow.f64 (exp.f64 (.f64 3/2 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 d1)))))) 2)
(pow.f64 (pow.f64 (exp.f64 3/2) (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 d1))))) 2)
(pow.f64 (exp.f64 3/2) (*.f64 2 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 d1)))))
(pow.f64 (*.f64 (pow.f64 -1 3/2) (pow.f64 (/.f64 -1 d1) -3/2)) 2)
(pow.f64 (exp.f64 (.f64 3/2 (+.f64 (log.f64 -1) (.f64 -1 (log.f64 (/.f64 -1 d1)))))) 2)
(pow.f64 (pow.f64 (exp.f64 3/2) (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 d1))))) 2)
(pow.f64 (exp.f64 3/2) (*.f64 2 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 d1)))))
(pow.f64 (*.f64 (pow.f64 -1 3/2) (pow.f64 (/.f64 -1 d1) -3/2)) 2)
(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 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 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 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 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)
(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 (exp.f64 (log1p.f64 (pow.f64 d1 7))) 1)
(pow.f64 d1 7)
(*.f64 d1 (pow.f64 d1 6))
(pow.f64 d1 7)
(*.f64 (pow.f64 d1 6) d1)
(pow.f64 d1 7)
(*.f64 (pow.f64 d1 7) 1)
(pow.f64 d1 7)
(*.f64 (pow.f64 d1 3) (pow.f64 d1 4))
(pow.f64 d1 7)
(.f64 (.f64 d1 d1) (pow.f64 d1 5))
(pow.f64 d1 7)
(.f64 (pow.f64 d1 5) (.f64 d1 d1))
(pow.f64 d1 7)
(*.f64 1 (pow.f64 d1 7))
(pow.f64 d1 7)
(.f64 (.f64 d1 (cbrt.f64 d1)) (*.f64 (pow.f64 (cbrt.f64 d1) 2) (pow.f64 d1 5)))
(pow.f64 d1 7)
(.f64 (cbrt.f64 (pow.f64 d1 8)) (.f64 (*.f64 d1 (cbrt.f64 d1)) (pow.f64 d1 3)))
(.f64 (cbrt.f64 (pow.f64 d1 8)) (.f64 d1 (*.f64 (cbrt.f64 d1) (pow.f64 d1 3))))
(.f64 (cbrt.f64 (pow.f64 d1 8)) (.f64 (pow.f64 d1 4) (cbrt.f64 d1)))
(.f64 (cbrt.f64 (pow.f64 d1 10)) (.f64 (cbrt.f64 (pow.f64 d1 5)) (*.f64 d1 d1)))
(.f64 (cbrt.f64 (pow.f64 d1 10)) (.f64 (*.f64 d1 d1) (cbrt.f64 (pow.f64 d1 5))))
(.f64 d1 (.f64 (*.f64 d1 (cbrt.f64 (pow.f64 d1 10))) (cbrt.f64 (pow.f64 d1 5))))
(*.f64 (cbrt.f64 (pow.f64 d1 7)) (cbrt.f64 (pow.f64 d1 14)))
(*.f64 (cbrt.f64 (pow.f64 d1 7)) (pow.f64 (pow.f64 d1 14) 1/3))
(*.f64 (cbrt.f64 (pow.f64 d1 7)) (cbrt.f64 (pow.f64 d1 14)))
(*.f64 (cbrt.f64 (pow.f64 d1 14)) (cbrt.f64 (pow.f64 d1 7)))
(*.f64 (cbrt.f64 (pow.f64 d1 7)) (cbrt.f64 (pow.f64 d1 14)))
(.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) (pow.f64 d1 6)))
(pow.f64 d1 7)
(*.f64 (pow.f64 d1 4) (pow.f64 d1 3))
(pow.f64 d1 7)
(*.f64 (pow.f64 d1 7/2) (pow.f64 d1 7/2))
(pow.f64 d1 7)
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (pow.f64 d1 6)))
(pow.f64 d1 7)
(.f64 (pow.f64 d1 5/2) (.f64 (pow.f64 d1 5/2) (*.f64 d1 d1)))
(pow.f64 d1 7)
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 d1) 2) 7) (pow.f64 (cbrt.f64 d1) 7))
(*.f64 (pow.f64 (sqrt.f64 d1) 7) (pow.f64 (sqrt.f64 d1) 7))
(pow.f64 (sqrt.f64 d1) 14)
(*.f64 (pow.f64 (pow.f64 d1 14) 1/3) (cbrt.f64 (pow.f64 d1 7)))
(*.f64 (cbrt.f64 (pow.f64 d1 7)) (cbrt.f64 (pow.f64 d1 14)))
(*.f64 (pow.f64 1 1/3) (pow.f64 d1 7))
(pow.f64 d1 7)
(*.f64 (pow.f64 (pow.f64 (pow.f64 d1 7) 3/2) 1/3) (pow.f64 (pow.f64 (pow.f64 d1 7) 3/2) 1/3))
(*.f64 (cbrt.f64 (pow.f64 (pow.f64 d1 7) 3/2)) (cbrt.f64 (pow.f64 (pow.f64 d1 7) 3/2)))
(.f64 (.f64 (pow.f64 d1 6) (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1))
(pow.f64 d1 7)
(.f64 (.f64 (pow.f64 d1 6) (sqrt.f64 d1)) (sqrt.f64 d1))
(pow.f64 d1 7)
(.f64 (.f64 (pow.f64 d1 5) (*.f64 d1 (cbrt.f64 d1))) (pow.f64 (cbrt.f64 d1) 2))
(pow.f64 d1 7)
(.f64 (.f64 (*.f64 d1 d1) (pow.f64 d1 5/2)) (pow.f64 d1 5/2))
(pow.f64 d1 7)
(.f64 (.f64 (*.f64 d1 d1) (cbrt.f64 (pow.f64 d1 10))) (cbrt.f64 (pow.f64 d1 5)))
(.f64 (cbrt.f64 (pow.f64 d1 10)) (.f64 (*.f64 d1 d1) (cbrt.f64 (pow.f64 d1 5))))
(.f64 d1 (.f64 (*.f64 d1 (cbrt.f64 (pow.f64 d1 10))) (cbrt.f64 (pow.f64 d1 5))))
(pow.f64 d1 7)
(pow.f64 (pow.f64 d1 7) 1)
(pow.f64 d1 7)
(pow.f64 (pow.f64 (pow.f64 d1 7) 3) 1/3)
(pow.f64 d1 7)
(pow.f64 (*.f64 d1 d1) 7/2)
(pow.f64 (cbrt.f64 (pow.f64 d1 7)) 3)
(pow.f64 d1 7)
(pow.f64 (pow.f64 d1 7/2) 2)
(pow.f64 d1 7)
(sqrt.f64 (pow.f64 d1 14))
(pow.f64 d1 7)
(log.f64 (exp.f64 (pow.f64 d1 7)))
(pow.f64 d1 7)
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 7))))
(pow.f64 d1 7)
(expm1.f64 (log1p.f64 (pow.f64 d1 7)))
(pow.f64 d1 7)
(exp.f64 (*.f64 7 (log.f64 d1)))
(pow.f64 d1 7)
(exp.f64 (.f64 (.f64 7 (log.f64 d1)) 1))
(pow.f64 d1 7)
(exp.f64 (.f64 (.f64 3 (*.f64 7 (log.f64 d1))) 1/3))
(pow.f64 d1 7)
(log1p.f64 (expm1.f64 (pow.f64 d1 7)))
(pow.f64 d1 7)
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 7))) 1)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 (pow.f64 d1 7) 1)
(pow.f64 d1 7)
(pow.f64 (pow.f64 (pow.f64 d1 7) 3) 1/3)
(pow.f64 d1 7)
(pow.f64 (*.f64 d1 d1) 7/2)
(pow.f64 (cbrt.f64 (pow.f64 d1 7)) 3)
(pow.f64 d1 7)
(pow.f64 (pow.f64 d1 7/2) 2)
(pow.f64 d1 7)
(sqrt.f64 (pow.f64 d1 14))
(pow.f64 d1 7)
(log.f64 (exp.f64 (pow.f64 d1 7)))
(pow.f64 d1 7)
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 7))))
(pow.f64 d1 7)
(cbrt.f64 (pow.f64 (pow.f64 d1 7) 3))
(pow.f64 d1 7)
(cbrt.f64 (.f64 (pow.f64 d1 6) (.f64 (pow.f64 d1 14) d1)))
(pow.f64 d1 7)
(expm1.f64 (log1p.f64 (pow.f64 d1 7)))
(pow.f64 d1 7)
(exp.f64 (*.f64 7 (log.f64 d1)))
(pow.f64 d1 7)
(exp.f64 (.f64 (.f64 7 (log.f64 d1)) 1))
(pow.f64 d1 7)
(exp.f64 (.f64 (.f64 3 (*.f64 7 (log.f64 d1))) 1/3))
(pow.f64 d1 7)
(log1p.f64 (expm1.f64 (pow.f64 d1 7)))
(pow.f64 d1 7)
(-.f64 (exp.f64 (log1p.f64 (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)
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 8))))
(pow.f64 d1 8)
(cbrt.f64 (pow.f64 (pow.f64 d1 8) 3))
(pow.f64 d1 8)
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 7) 3)))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 d1 21)))
(expm1.f64 (log1p.f64 (pow.f64 d1 8)))
(pow.f64 d1 8)
(exp.f64 (*.f64 8 (log.f64 d1)))
(pow.f64 d1 8)
(exp.f64 (.f64 (.f64 8 (log.f64 d1)) 1))
(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 (exp.f64 (log1p.f64 (pow.f64 d1 10))) 1)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 (pow.f64 d1 10) 1)
(pow.f64 d1 10)
(pow.f64 (*.f64 d1 d1) 5)
(pow.f64 (pow.f64 d1 5) 2)
(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 (pow.f64 d1 10) 2))
(pow.f64 d1 10)
(log.f64 (exp.f64 (pow.f64 d1 10)))
(pow.f64 d1 10)
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 10))))
(pow.f64 d1 10)
(cbrt.f64 (pow.f64 (pow.f64 d1 10) 3))
(pow.f64 d1 10)
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 9) 3)))
(cbrt.f64 (*.f64 (pow.f64 d1 9) (pow.f64 d1 21)))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 9) 3) (pow.f64 d1 3)))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 9) 3)))
(cbrt.f64 (*.f64 (pow.f64 d1 9) (pow.f64 d1 21)))
(expm1.f64 (log1p.f64 (pow.f64 d1 10)))
(pow.f64 d1 10)
(exp.f64 (log.f64 (pow.f64 d1 10)))
(pow.f64 d1 10)
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 10)) 1))
(pow.f64 d1 10)
(log1p.f64 (expm1.f64 (pow.f64 d1 10)))
(pow.f64 d1 10)
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 3))) 1)
(pow.f64 d1 3)
(.f64 d1 (.f64 d1 d1))
(pow.f64 d1 3)
(*.f64 (pow.f64 d1 3/2) (pow.f64 d1 3/2))
(pow.f64 d1 3)
(*.f64 (pow.f64 d1 3) 1)
(pow.f64 d1 3)
(.f64 (.f64 d1 d1) d1)
(pow.f64 d1 3)
(*.f64 1 (pow.f64 d1 3))
(pow.f64 d1 3)
(.f64 (.f64 d1 (cbrt.f64 d1)) (*.f64 (pow.f64 (cbrt.f64 d1) 2) d1))
(pow.f64 d1 3)
(*.f64 (cbrt.f64 (pow.f64 d1 8)) (cbrt.f64 d1))
(*.f64 (cbrt.f64 d1) (cbrt.f64 (pow.f64 d1 8)))
(*.f64 (cbrt.f64 d1) (cbrt.f64 (pow.f64 d1 8)))
(*.f64 (pow.f64 (cbrt.f64 d1) 2) (cbrt.f64 (pow.f64 d1 7)))
(*.f64 (sqrt.f64 d1) (pow.f64 d1 5/2))
(*.f64 (pow.f64 d1 5/2) (sqrt.f64 d1))
(*.f64 (sqrt.f64 d1) (pow.f64 d1 5/2))
(.f64 (pow.f64 d1 3/4) (.f64 (pow.f64 d1 3/4) (pow.f64 d1 3/2)))
(pow.f64 d1 3)
(.f64 (.f64 (pow.f64 d1 3/2) (pow.f64 d1 3/4)) (pow.f64 d1 3/4))
(pow.f64 d1 3)
(.f64 (.f64 d1 (*.f64 d1 (cbrt.f64 d1))) (pow.f64 (cbrt.f64 d1) 2))
(pow.f64 d1 3)
(.f64 (.f64 (*.f64 d1 d1) (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1))
(pow.f64 d1 3)
(sqrt.f64 (pow.f64 d1 6))
(pow.f64 d1 3)
(fabs.f64 (pow.f64 d1 3))
(pow.f64 d1 3)
(log.f64 (exp.f64 (pow.f64 d1 3)))
(pow.f64 d1 3)
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 3))))
(pow.f64 d1 3)
(cbrt.f64 (pow.f64 d1 9))
(expm1.f64 (log1p.f64 (pow.f64 d1 3)))
(pow.f64 d1 3)
(exp.f64 (log.f64 (pow.f64 d1 3)))
(pow.f64 d1 3)
(exp.f64 (*.f64 (log.f64 d1) 3))
(pow.f64 d1 3)
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 3)) 1))
(pow.f64 d1 3)
(exp.f64 (+.f64 (log.f64 d1) (*.f64 2 (log.f64 d1))))
(pow.f64 d1 3)
(log1p.f64 (expm1.f64 (pow.f64 d1 3)))
(pow.f64 d1 3)
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 4))) 1)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 8) 1/2)
(pow.f64 d1 4)
(pow.f64 (*.f64 d1 d1) 2)
(pow.f64 d1 4)
(pow.f64 (*.f64 d1 (cbrt.f64 d1)) 3)
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 12) 1/3)
(cbrt.f64 (pow.f64 d1 12))
(pow.f64 (pow.f64 d1 4) 1)
(pow.f64 d1 4)
(sqrt.f64 (pow.f64 d1 8))
(pow.f64 d1 4)
(fabs.f64 (pow.f64 d1 4))
(pow.f64 d1 4)
(log.f64 (exp.f64 (pow.f64 d1 4)))
(pow.f64 d1 4)
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 4))))
(pow.f64 d1 4)
(cbrt.f64 (pow.f64 d1 12))
(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 (exp.f64 (log1p.f64 (pow.f64 d1 7))) 1)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 (pow.f64 d1 7) 1)
(pow.f64 d1 7)
(pow.f64 (pow.f64 (pow.f64 d1 7) 3) 1/3)
(pow.f64 d1 7)
(pow.f64 (*.f64 d1 d1) 7/2)
(pow.f64 (cbrt.f64 (pow.f64 d1 7)) 3)
(pow.f64 d1 7)
(pow.f64 (pow.f64 d1 7/2) 2)
(pow.f64 d1 7)
(sqrt.f64 (pow.f64 d1 14))
(pow.f64 d1 7)
(log.f64 (exp.f64 (pow.f64 d1 7)))
(pow.f64 d1 7)
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 7))))
(pow.f64 d1 7)
(cbrt.f64 (pow.f64 (pow.f64 d1 7) 3))
(pow.f64 d1 7)
(cbrt.f64 (.f64 (pow.f64 d1 6) (.f64 (pow.f64 d1 14) d1)))
(pow.f64 d1 7)
(expm1.f64 (log1p.f64 (pow.f64 d1 7)))
(pow.f64 d1 7)
(exp.f64 (*.f64 7 (log.f64 d1)))
(pow.f64 d1 7)
(exp.f64 (.f64 (.f64 7 (log.f64 d1)) 1))
(pow.f64 d1 7)
(exp.f64 (.f64 (.f64 3 (*.f64 7 (log.f64 d1))) 1/3))
(pow.f64 d1 7)
(log1p.f64 (expm1.f64 (pow.f64 d1 7)))
(pow.f64 d1 7)
(-.f64 (exp.f64 (log1p.f64 (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)
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 8))))
(pow.f64 d1 8)
(cbrt.f64 (pow.f64 (pow.f64 d1 8) 3))
(pow.f64 d1 8)
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 7) 3)))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 d1 21)))
(expm1.f64 (log1p.f64 (pow.f64 d1 8)))
(pow.f64 d1 8)
(exp.f64 (*.f64 8 (log.f64 d1)))
(pow.f64 d1 8)
(exp.f64 (.f64 (.f64 8 (log.f64 d1)) 1))
(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 (exp.f64 (log1p.f64 (pow.f64 d1 7))) 1)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 (pow.f64 d1 7) 1)
(pow.f64 d1 7)
(pow.f64 (pow.f64 (pow.f64 d1 7) 3) 1/3)
(pow.f64 d1 7)
(pow.f64 (*.f64 d1 d1) 7/2)
(pow.f64 (cbrt.f64 (pow.f64 d1 7)) 3)
(pow.f64 d1 7)
(pow.f64 (pow.f64 d1 7/2) 2)
(pow.f64 d1 7)
(sqrt.f64 (pow.f64 d1 14))
(pow.f64 d1 7)
(log.f64 (exp.f64 (pow.f64 d1 7)))
(pow.f64 d1 7)
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 7))))
(pow.f64 d1 7)
(cbrt.f64 (pow.f64 (pow.f64 d1 7) 3))
(pow.f64 d1 7)
(cbrt.f64 (.f64 (pow.f64 d1 6) (.f64 (pow.f64 d1 14) d1)))
(pow.f64 d1 7)
(expm1.f64 (log1p.f64 (pow.f64 d1 7)))
(pow.f64 d1 7)
(exp.f64 (*.f64 7 (log.f64 d1)))
(pow.f64 d1 7)
(exp.f64 (.f64 (.f64 7 (log.f64 d1)) 1))
(pow.f64 d1 7)
(exp.f64 (.f64 (.f64 3 (*.f64 7 (log.f64 d1))) 1/3))
(pow.f64 d1 7)
(log1p.f64 (expm1.f64 (pow.f64 d1 7)))
(pow.f64 d1 7)
(-.f64 (exp.f64 (log1p.f64 (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)
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 8))))
(pow.f64 d1 8)
(cbrt.f64 (pow.f64 (pow.f64 d1 8) 3))
(pow.f64 d1 8)
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 7) 3)))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 d1 21)))
(expm1.f64 (log1p.f64 (pow.f64 d1 8)))
(pow.f64 d1 8)
(exp.f64 (*.f64 8 (log.f64 d1)))
(pow.f64 d1 8)
(exp.f64 (.f64 (.f64 8 (log.f64 d1)) 1))
(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 (exp.f64 (log1p.f64 (pow.f64 d1 10))) 1)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 (pow.f64 d1 10) 1)
(pow.f64 d1 10)
(pow.f64 (*.f64 d1 d1) 5)
(pow.f64 (pow.f64 d1 5) 2)
(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 (pow.f64 d1 10) 2))
(pow.f64 d1 10)
(log.f64 (exp.f64 (pow.f64 d1 10)))
(pow.f64 d1 10)
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 10))))
(pow.f64 d1 10)
(cbrt.f64 (pow.f64 (pow.f64 d1 10) 3))
(pow.f64 d1 10)
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 9) 3)))
(cbrt.f64 (*.f64 (pow.f64 d1 9) (pow.f64 d1 21)))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 9) 3) (pow.f64 d1 3)))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 9) 3)))
(cbrt.f64 (*.f64 (pow.f64 d1 9) (pow.f64 d1 21)))
(expm1.f64 (log1p.f64 (pow.f64 d1 10)))
(pow.f64 d1 10)
(exp.f64 (log.f64 (pow.f64 d1 10)))
(pow.f64 d1 10)
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 10)) 1))
(pow.f64 d1 10)
(log1p.f64 (expm1.f64 (pow.f64 d1 10)))
(pow.f64 d1 10)
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 9))) 1)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 (pow.f64 d1 3) 3)
(pow.f64 d1 9)
(pow.f64 (pow.f64 d1 9) 1)
(pow.f64 d1 9)
(pow.f64 (pow.f64 (pow.f64 d1 9) 3) 1/3)
(pow.f64 d1 9)
(pow.f64 (pow.f64 d1 9/2) 2)
(pow.f64 d1 9)
(sqrt.f64 (pow.f64 d1 18))
(pow.f64 d1 9)
(log.f64 (exp.f64 (pow.f64 d1 9)))
(pow.f64 d1 9)
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 9))))
(pow.f64 d1 9)
(cbrt.f64 (pow.f64 (pow.f64 d1 9) 3))
(pow.f64 d1 9)
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 8) 3)))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 8) 3) (pow.f64 d1 3)))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 8) 3)))
(expm1.f64 (log1p.f64 (pow.f64 d1 9)))
(pow.f64 d1 9)
(exp.f64 (log.f64 (pow.f64 d1 9)))
(pow.f64 d1 9)
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 9)) 1))
(pow.f64 d1 9)
(log1p.f64 (expm1.f64 (pow.f64 d1 9)))
(pow.f64 d1 9)
(-.f64 (exp.f64 (log1p.f64 (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)
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 8))))
(pow.f64 d1 8)
(cbrt.f64 (pow.f64 (pow.f64 d1 8) 3))
(pow.f64 d1 8)
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 7) 3)))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 d1 21)))
(expm1.f64 (log1p.f64 (pow.f64 d1 8)))
(pow.f64 d1 8)
(exp.f64 (*.f64 8 (log.f64 d1)))
(pow.f64 d1 8)
(exp.f64 (.f64 (.f64 8 (log.f64 d1)) 1))
(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 (exp.f64 (log1p.f64 (pow.f64 d1 10))) 1)
(pow.f64 d1 10)
(pow.f64 d1 10)
(pow.f64 (pow.f64 d1 10) 1)
(pow.f64 d1 10)
(pow.f64 (*.f64 d1 d1) 5)
(pow.f64 (pow.f64 d1 5) 2)
(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 (pow.f64 d1 10) 2))
(pow.f64 d1 10)
(log.f64 (exp.f64 (pow.f64 d1 10)))
(pow.f64 d1 10)
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 10))))
(pow.f64 d1 10)
(cbrt.f64 (pow.f64 (pow.f64 d1 10) 3))
(pow.f64 d1 10)
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 9) 3)))
(cbrt.f64 (*.f64 (pow.f64 d1 9) (pow.f64 d1 21)))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 9) 3) (pow.f64 d1 3)))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 9) 3)))
(cbrt.f64 (*.f64 (pow.f64 d1 9) (pow.f64 d1 21)))
(expm1.f64 (log1p.f64 (pow.f64 d1 10)))
(pow.f64 d1 10)
(exp.f64 (log.f64 (pow.f64 d1 10)))
(pow.f64 d1 10)
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 10)) 1))
(pow.f64 d1 10)
(log1p.f64 (expm1.f64 (pow.f64 d1 10)))
(pow.f64 d1 10)
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 9))) 1)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 (pow.f64 d1 3) 3)
(pow.f64 d1 9)
(pow.f64 (pow.f64 d1 9) 1)
(pow.f64 d1 9)
(pow.f64 (pow.f64 (pow.f64 d1 9) 3) 1/3)
(pow.f64 d1 9)
(pow.f64 (pow.f64 d1 9/2) 2)
(pow.f64 d1 9)
(sqrt.f64 (pow.f64 d1 18))
(pow.f64 d1 9)
(log.f64 (exp.f64 (pow.f64 d1 9)))
(pow.f64 d1 9)
(log.f64 (+.f64 1 (expm1.f64 (pow.f64 d1 9))))
(pow.f64 d1 9)
(cbrt.f64 (pow.f64 (pow.f64 d1 9) 3))
(pow.f64 d1 9)
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 8) 3)))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 8) 3) (pow.f64 d1 3)))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 8) 3)))
(expm1.f64 (log1p.f64 (pow.f64 d1 9)))
(pow.f64 d1 9)
(exp.f64 (log.f64 (pow.f64 d1 9)))
(pow.f64 d1 9)
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 9)) 1))
(pow.f64 d1 9)
(log1p.f64 (expm1.f64 (pow.f64 d1 9)))
(pow.f64 d1 9)

eval40.0ms (1.9%)

Compiler: Compiled 2205 to 1311 computations (40.5% saved)

prune23.0ms (1.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	158	1	159
Fresh	0	0	0
Picked	3	1	4
Done	0	1	1
Total	161	3	164

Accurracy

100.0%

Counts

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

localize18.0ms (0.8%)

Local Accuracy

Found 1 expressions with local accuracy:

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

Compiler

Compiled 7 to 5 computations (28.6% saved)

series1.0ms (0.1%)

Counts

1 → 0

Calls

3 calls:

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

rewrite51.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

912×	`pow1`
894×	`add-sqr-sqrt`
866×	`*-un-lft-identity`
854×	`add-exp-log`
854×	`log1p-expm1-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	106	7
2	1180	7

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

Inputs
(pow.f64 d1 10)

Outputs
(-.f64 (+.f64 1 (pow.f64 d1 10)) 1)
(*.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 20)) (cbrt.f64 (pow.f64 d1 10)))
(*.f64 (pow.f64 d1 5) (pow.f64 d1 5))
(*.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))
(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)))
(log1p.f64 (expm1.f64 (pow.f64 d1 10)))

simplify59.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

2078×	`fma-def`
876×	`associate-r`
766×	`fma-neg`
658×	`associate-l`
500×	`sqr-pow`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	42	288
1	82	228
2	173	168
3	497	168
4	2372	168
5	5298	168

Stop Event

1×	node limit

Counts

14 → 18

Calls

Call 1

Inputs
(-.f64 (+.f64 1 (pow.f64 d1 10)) 1)
(*.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 20)) (cbrt.f64 (pow.f64 d1 10)))
(*.f64 (pow.f64 d1 5) (pow.f64 d1 5))
(*.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))
(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)))
(log1p.f64 (expm1.f64 (pow.f64 d1 10)))

Outputs
(-.f64 (+.f64 1 (pow.f64 d1 10)) 1)
(+.f64 (+.f64 1 (pow.f64 d1 10)) -1)
(+.f64 (pow.f64 d1 10) 0)
(pow.f64 d1 10)
(*.f64 (pow.f64 d1 10) 1)
(+.f64 (+.f64 1 (pow.f64 d1 10)) -1)
(+.f64 (pow.f64 d1 10) 0)
(pow.f64 d1 10)
(*.f64 1 (pow.f64 d1 10))
(+.f64 (+.f64 1 (pow.f64 d1 10)) -1)
(+.f64 (pow.f64 d1 10) 0)
(pow.f64 d1 10)
(*.f64 (cbrt.f64 (pow.f64 d1 10)) (cbrt.f64 (pow.f64 d1 20)))
(*.f64 (cbrt.f64 (pow.f64 d1 20)) (cbrt.f64 (pow.f64 d1 10)))
(*.f64 (cbrt.f64 (pow.f64 d1 10)) (cbrt.f64 (pow.f64 d1 20)))
(*.f64 (pow.f64 d1 5) (pow.f64 d1 5))
(+.f64 (+.f64 1 (pow.f64 d1 10)) -1)
(+.f64 (pow.f64 d1 10) 0)
(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)
(sqrt.f64 (pow.f64 d1 20))
(+.f64 (+.f64 1 (pow.f64 d1 10)) -1)
(+.f64 (pow.f64 d1 10) 0)
(pow.f64 d1 10)
(log.f64 (exp.f64 (pow.f64 d1 10)))
(+.f64 (+.f64 1 (pow.f64 d1 10)) -1)
(+.f64 (pow.f64 d1 10) 0)
(pow.f64 d1 10)
(cbrt.f64 (pow.f64 (pow.f64 d1 10) 3))
(+.f64 (+.f64 1 (pow.f64 d1 10)) -1)
(+.f64 (pow.f64 d1 10) 0)
(pow.f64 d1 10)
(expm1.f64 (log1p.f64 (pow.f64 d1 10)))
(+.f64 (+.f64 1 (pow.f64 d1 10)) -1)
(+.f64 (pow.f64 d1 10) 0)
(pow.f64 d1 10)
(exp.f64 (*.f64 10 (log.f64 d1)))
(+.f64 (+.f64 1 (pow.f64 d1 10)) -1)
(+.f64 (pow.f64 d1 10) 0)
(pow.f64 d1 10)
(log1p.f64 (expm1.f64 (pow.f64 d1 10)))
(+.f64 (+.f64 1 (pow.f64 d1 10)) -1)
(+.f64 (pow.f64 d1 10) 0)
(pow.f64 d1 10)

eval3.0ms (0.2%)

Compiler: Compiled 112 to 86 computations (23.2% saved)

prune5.0ms (0.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	18	0	18
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	18	3	21

Accurracy

100.0%

Counts

21 → 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 112 to 59 computations (47.3% saved)

regimes8.0ms (0.4%)

Counts

6 → 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 (.f64 d1 (.f64 (.f64 (pow.f64 d1 5) (*.f64 d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (pow.f64 (pow.f64 d1 3/2) 2) d1) d1) (*.f64 d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 (cbrt.f64 (pow.f64 (.f64 d1 (pow.f64 d1 6)) 3)) d1)) d1)

Outputs
(pow.f64 d1 10)

Calls

2 calls:

4.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 100 to 51 computations (49% saved)

regimes5.0ms (0.2%)

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:

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

soundness126.0ms (6%)

Rules

1368×	`pow1`
1262×	`add-exp-log`
1262×	`log1p-expm1-u`
1262×	`expm1-log1p-u`
1230×	`add-log-exp`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	64
1	165	34
2	2021	34

Stop Event

1×	node limit

Compiler

Compiled 224 to 86 computations (61.6% saved)

end36.0ms (1.7%)

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

FastMath test5

Details

analyze0.0ms (0%)

sample795.0ms (37.6%)

preprocess202.0ms (9.6%)

localize37.0ms (1.8%)

series3.0ms (0.2%)

rewrite63.0ms (3%)

simplify56.0ms (2.6%)

eval12.0ms (0.6%)

prune9.0ms (0.4%)

localize300.0ms (14.2%)

series55.0ms (2.6%)

rewrite75.0ms (3.5%)

simplify124.0ms (5.9%)

eval40.0ms (1.9%)

prune23.0ms (1.1%)

localize18.0ms (0.8%)

series1.0ms (0.1%)

rewrite51.0ms (2.4%)

simplify59.0ms (2.8%)

eval3.0ms (0.2%)

prune5.0ms (0.2%)

regimes8.0ms (0.4%)

regimes5.0ms (0.2%)

simplify4.0ms (0.2%)

soundness126.0ms (6%)

end36.0ms (1.7%)

Profiling