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)

sample900.0ms (49.8%)

Results

542.0ms	4547×	body	256	valid
346.0ms	3709×	body	256	infinite

Bogosity

preprocess200.0ms (11.1%)

Algorithm

2×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

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

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

Compiler

Compiled 21 to 10 computations (52.4% saved)

simplify193.0ms (10.7%)

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)

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

Compiler

Compiled 24 to 12 computations (50% saved)

localize38.0ms (2.1%)

Local Accuracy

Found 4 expressions with local accuracy:

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

Compiler

Compiled 91 to 10 computations (89% saved)

series4.0ms (0.2%)

Counts

4 → 48

Calls

12 calls:

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

rewrite74.0ms (4.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1528×	`pow1`
1410×	`add-exp-log`
1410×	`log1p-expm1-u`
1410×	`expm1-log1p-u`
1374×	`add-log-exp`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	82
1	186	40
2	2303	40

Stop Event

1×	node limit

Counts

4 → 45

Calls

Call 1

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

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

simplify55.0ms (3%)

Algorithm

1×	egg-herbie

Rules

1762×	`fma-def`
1170×	`distribute-rgt-in`
1108×	`distribute-lft-in`
1004×	`associate-+r+`
980×	`log-prod`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	101	651
1	237	651
2	946	651
3	2500	651

Stop Event

1×	node limit

Counts

93 → 47

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

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

localize21.0ms (1.2%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

eval11.0ms (0.6%)

Compiler: Compiled 691 to 411 computations (40.5% saved)

prune11.0ms (0.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	47	0	47
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	47	2	49

Accurracy

100.0%

Counts

49 → 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 24 to 12 computations (50% saved)

regimes6.0ms (0.3%)

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

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)

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)

soundness246.0ms (13.6%)

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)

end43.0ms (2.4%)

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

Details

analyze0.0ms (0%)

sample900.0ms (49.8%)

preprocess200.0ms (11.1%)

simplify193.0ms (10.7%)

eval1.0ms (0.1%)

prune1.0ms (0.1%)

localize38.0ms (2.1%)

series4.0ms (0.2%)

rewrite74.0ms (4.1%)

simplify55.0ms (3%)

localize21.0ms (1.2%)

eval11.0ms (0.6%)

prune11.0ms (0.6%)

regimes6.0ms (0.3%)

simplify5.0ms (0.3%)

soundness246.0ms (13.6%)

end43.0ms (2.4%)

Profiling