Details

analyze4.0ms (0.2%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
50%	50%	50%	0%	0%	0%	0%	3
66.7%	50%	25%	0%	25%	0%	0%	4
80%	50%	12.5%	0%	37.5%	0%	0%	5
88.9%	50%	6.2%	0%	43.7%	0%	0%	6
94.4%	53.1%	3.1%	0%	43.7%	0%	0%	7
97.2%	54.7%	1.6%	0%	43.7%	0%	0%	8
98.6%	54.7%	0.8%	0%	44.5%	0%	0%	9
99.3%	54.7%	0.4%	0%	44.9%	0%	0%	10
99.6%	54.9%	0.2%	0%	44.9%	0%	0%	11
99.8%	54.9%	0.1%	0%	45%	0%	0%	12

Compiler

Compiled 21 to 10 computations (52.4% saved)

sample950.0ms (59.3%)

Results

937.0ms

8256×

body

256

valid

Bogosity

preprocess128.0ms (8%)

Algorithm

2×	egg-herbie

Rules

855×	`unswap-sqr_binary64`
697×	`sqr-pow_binary64`
628×	`cube-prod_binary64`
539×	`associate-l_binary64`
476×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	22
1	28	16
2	57	10
3	111	4
4	426	4
5	1614	4
6	3160	4
7	3311	4
8	3545	4
9	3842	4
10	4228	4
11	4731	4
12	5376	4
13	6158	4
14	6657	4
15	7085	4
16	7506	4
17	7908	4
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 d1 (.f64 (*.f64 d1 (pow.f64 d1 3)) (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)

simplify118.0ms (7.4%)

Algorithm

1×	egg-herbie

Rules

855×	`unswap-sqr_binary64`
697×	`sqr-pow_binary64`
628×	`cube-prod_binary64`
539×	`associate-l_binary64`
476×	`fabs-mul_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	10	22
1	28	16
2	57	10
3	111	4
4	426	4
5	1614	4
6	3160	4
7	3311	4
8	3545	4
9	3842	4
10	4228	4
11	4731	4
12	5376	4
13	6158	4
14	6657	4
15	7085	4
16	7506	4
17	7908	4

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 d1 (.f64 (*.f64 d1 (pow.f64 d1 3)) (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 31 computations (44.6% saved)

prune2.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

Counts

6 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0b	(pow.f64 d1 10)
▶	0.1b	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

Compiler

Compiled 24 to 12 computations (50% saved)

localize14.0ms (0.9%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)
✓	0.1b	(.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))
✓	0.1b	(.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)
✓	0.2b	(.f64 d1 (.f64 d1 d1))

Compiler

Compiled 90 to 9 computations (90% saved)

series21.0ms (1.3%)

Counts

4 → 48

Calls

12 calls:

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

Compiler

Compiled 328 to 280 computations (14.6% saved)

rewrite54.0ms (3.4%)

Algorithm

1×	batch-egg-rewrite

Rules

667×	`pow1_binary64`
618×	`add-log-exp_binary64`
618×	`log1p-expm1-u_binary64`
618×	`expm1-log1p-u_binary64`
602×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	43
1	168	22
2	2068	22

Stop Event

1×	node limit

Counts

4 → 53

Calls

Call 1

Inputs
(.f64 d1 (.f64 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 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (pow.f64 d1 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 d1 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 d1 3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 d1 3) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 d1 3/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 d1 6))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 d1 3) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 d1) 3))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (pow.f64 d1 5)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 d1 5)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 d1 5) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 d1 5) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (pow.f64 d1 5)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (pow.f64 d1 5)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (pow.f64 d1 5) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 d1 5)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 d1 5) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 d1 3) (pow.f64 (pow.f64 d1 4) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (pow.f64 d1 3) 3) (pow.f64 d1 6)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (pow.f64 d1 4) 3) (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 d1 5)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 d1 5)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (pow.f64 d1 5)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (.f64 d1 (pow.f64 d1 6))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 d1 (pow.f64 d1 6)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 d1 (pow.f64 d1 6)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (.f64 d1 d1) (cbrt.f64 d1)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 d1 (sqrt.f64 (pow.f64 d1 5))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 d1 (pow.f64 d1 6)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (pow.f64 d1 6)) d1))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 d1 (pow.f64 d1 6)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 d1 6) (pow.f64 (pow.f64 d1 5) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (pow.f64 d1 4) 3) (pow.f64 (pow.f64 d1 3) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (pow.f64 d1 5) 3) (pow.f64 d1 6)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 d1 (pow.f64 d1 6))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 d1 (pow.f64 d1 6))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 d1 (pow.f64 d1 6))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (pow.f64 (pow.f64 d1 4) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 d1 4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 d1 4) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 (pow.f64 d1 4) 2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 d1 (cbrt.f64 d1)) 2) 3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (pow.f64 (pow.f64 d1 4) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (pow.f64 d1 4) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (pow.f64 d1 4) 2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 d1 3) (pow.f64 (.f64 d1 (pow.f64 d1 6)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (pow.f64 d1 5) 3) (pow.f64 (pow.f64 d1 3) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (pow.f64 d1 4) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (pow.f64 d1 4) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (pow.f64 (pow.f64 d1 4) 2)))))))

simplify48.0ms (3%)

Algorithm

1×	egg-herbie

Rules

749×	`distribute-rgt-in_binary64`
734×	`fma-def_binary64`
714×	`distribute-lft-in_binary64`
544×	`log-prod_binary64`
287×	`sqr-pow_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	135	593
1	312	584
2	1209	572
3	2882	557

Stop Event

1×	node limit

Counts

101 → 73

Calls

Call 1

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

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

localize3.0ms (0.2%)

Compiler: Compiled 6 to 4 computations (33.3% saved)

eval46.0ms (2.9%)

Compiler: Compiled 1103 to 667 computations (39.5% saved)

prune11.0ms (0.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	73	0	73
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	73	2	75

Error

Counts

75 → 2

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(pow.f64 d1 10)
✓	0.1b	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

Compiler

Compiled 24 to 12 computations (50% saved)

regimes6.0ms (0.4%)

Accuracy

Total -0.1b remaining (-∞%)

Threshold costs -0.1b (-∞%)

Counts

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

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

Error	Segments	Branch
0b	1	`d1`
0b	1	`(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)`

Compiler

Compiled 45 to 21 computations (53.3% saved)

simplify3.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	32
1	19	32

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)

soundness175.0ms (10.9%)

Algorithm

1×	egg-herbie

Rules

855×	`unswap-sqr_binary64`
697×	`sqr-pow_binary64`
628×	`cube-prod_binary64`
539×	`associate-l_binary64`
476×	`fabs-mul_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	10	22
1	28	16
2	57	10
3	111	4
4	426	4
5	1614	4
6	3160	4
7	3311	4
8	3545	4
9	3842	4
10	4228	4
11	4731	4
12	5376	4
13	6158	4
14	6657	4
15	7085	4
16	7506	4
17	7908	4

Stop Event

1×	node limit

Compiler

Compiled 250 to 144 computations (42.4% saved)

end19.0ms (1.2%)

Compiler: Compiled 23 to 11 computations (52.2% saved)

Details

analyze4.0ms (0.2%)

sample950.0ms (59.3%)

preprocess128.0ms (8%)

simplify118.0ms (7.4%)

eval1.0ms (0.1%)

prune2.0ms (0.1%)

localize14.0ms (0.9%)

series21.0ms (1.3%)

rewrite54.0ms (3.4%)

simplify48.0ms (3%)

localize3.0ms (0.2%)

eval46.0ms (2.9%)

prune11.0ms (0.7%)

regimes6.0ms (0.4%)

simplify3.0ms (0.2%)

soundness175.0ms (10.9%)

end19.0ms (1.2%)

Profiling