Metrics for FastMath test5

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)

sample940.0ms (51.8%)

Results

486.0ms	4570×	body	256	valid
443.0ms	3686×	body	256	infinite

Bogosity

preprocess126.0ms (6.9%)

Algorithm

1×	egg-herbie

Rules

1524×	`unswap-sqr`
1112×	`fma-def`
900×	`fma-neg`
844×	`cancel-sign-sub-inv`
608×	`distribute-lft-neg-out`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	21	86
1	77	62
2	313	38
3	852	14
4	1821	14
5	4711	14
6	6515	14
7	7499	14
8	7893	14

Stop Event

1×	node limit

Calls

Call 1

Inputs

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

(*.f64 (*.f64 (neg.f64 d1) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (neg.f64 d1) (*.f64 (neg.f64 d1) (neg.f64 d1))) (neg.f64 d1)) (neg.f64 d1)) (*.f64 (neg.f64 d1) (neg.f64 d1))) (neg.f64 d1))) (neg.f64 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 d1 (.f64 d1 (*.f64 (pow.f64 d1 4) (pow.f64 d1 4))))
(*.f64 (pow.f64 d1 5) (pow.f64 d1 5))
(pow.f64 d1 10)
(.f64 (.f64 (neg.f64 d1) (.f64 (.f64 (.f64 (.f64 (.f64 (neg.f64 d1) (.f64 (neg.f64 d1) (neg.f64 d1))) (neg.f64 d1)) (neg.f64 d1)) (*.f64 (neg.f64 d1) (neg.f64 d1))) (neg.f64 d1))) (neg.f64 d1))
(.f64 d1 (.f64 d1 (.f64 d1 (.f64 (*.f64 d1 (pow.f64 d1 3)) (pow.f64 d1 3)))))
(.f64 d1 (.f64 d1 (*.f64 (pow.f64 d1 4) (pow.f64 d1 4))))
(*.f64 (pow.f64 d1 5) (pow.f64 d1 5))
(pow.f64 d1 10)

Symmetry

(abs d1)

Compiler

Compiled 21 to 10 computations (52.4% saved)

simplify188.0ms (10.4%)

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)

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

Accurracy

100.0%

Counts

6 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(pow.f64 d1 10)
▶	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 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

Compiler

Compiled 48 to 24 computations (50% saved)

localize48.0ms (2.7%)

Local Accuracy

Found 5 expressions with local accuracy:

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

Compiler

Compiled 96 to 13 computations (86.5% saved)

series5.0ms (0.3%)

Counts

5 → 48

Calls

15 calls:

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

rewrite108.0ms (5.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1828×	`pow1`
1700×	`add-exp-log`
1700×	`log1p-expm1-u`
1700×	`expm1-log1p-u`
256×	`associate-r`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	83
1	232	47
2	2827	47

Stop Event

1×	node limit

Counts

5 → 84

Calls

Call 1

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

simplify61.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

1428×	`log-prod`
856×	`fma-def`
826×	`exp-prod`
754×	`cube-prod`
716×	`sqr-pow`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	177	1298
1	389	1178
2	1450	1058
3	4469	1058

Stop Event

1×	node limit

Counts

132 → 92

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

eval28.0ms (1.5%)

Compiler: Compiled 1195 to 741 computations (38% saved)

prune12.0ms (0.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	92	2	94

Accurracy

100.0%

Counts

94 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 47 to 23 computations (51.1% saved)

regimes6.0ms (0.3%)

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

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 45 to 21 computations (53.3% saved)

regimes6.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:

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

simplify5.0ms (0.3%)

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)

soundness242.0ms (13.3%)

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)

end0.0ms (0%)

preprocess36.0ms (2%)

Remove: (abs d1)
Compiler: Compiled 102 to 52 computations (49% saved)

analyze0.0ms (0%)

sample940.0ms (51.8%)

preprocess126.0ms (6.9%)

simplify188.0ms (10.4%)

eval1.0ms (0.1%)

prune2.0ms (0.1%)

localize48.0ms (2.7%)

series5.0ms (0.3%)

rewrite108.0ms (5.9%)

simplify61.0ms (3.4%)

eval28.0ms (1.5%)

prune12.0ms (0.6%)

regimes6.0ms (0.3%)

regimes6.0ms (0.3%)

simplify5.0ms (0.3%)

soundness242.0ms (13.3%)

end0.0ms (0%)

preprocess36.0ms (2%)

Profiling