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)

Precisions

Click to see histograms. Total time spent on operations: 0.0ms

Operation ival-mult, time spent: 0.0ms, 0.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

sample1.2s (59.6%)

Results

612.0ms	4548×	256	valid
418.0ms	3707×	256	infinite
0.0ms	1×	256	infinite

Precisions

Click to see histograms. Total time spent on operations: 476.0ms

Operation ival-mult, time spent: 469.0ms, 98.0% of total-time

Operation const, time spent: 8.0ms, 2.0% of total-time

Bogosity

preprocess220.0ms (10.6%)

Algorithm

1×	egg-herbie

Rules

299×	`fma-define`
191×	`associate-r`
79×	`associate-l`
58×	`distribute-lft-neg-in`
54×	`distribute-lft-neg-out`

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(*.f64 d1 d1)`
-	-	`(.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1)) d1))`
-	-	`(.f64 d1 (.f64 d1 d1))`
-	-	`d1`
-	-	`(.f64 (.f64 d1 (*.f64 d1 d1)) d1)`
-	-	`(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)`
-	-	`(.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))`
-	-	`(.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)`
-	-	`(.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	24	264
1	86	176
2	322	104
3	820	44
4	989	44
5	1328	44
6	1329	44
7	1329	44
8	1329	44

Stop Event

1×

saturated

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

Symmetry

(abs d1)

Results

37.0ms	256×	256	valid
35.0ms	255×	256	infinite
0.0ms	1×	256	infinite

Compiler

Compiled 202 to 29 computations (85.6% saved)

Precisions

Click to see histograms. Total time spent on operations: 34.0ms

Operation ival-mult, time spent: 34.0ms, 100.0% of total-time

Operation const, time spent: 1.0ms, 3.0% of total-time

eval1.0ms (0%)

Compiler: Compiled 37 to 24 computations (35.1% saved)

prune1.0ms (0.1%)

Alt Table

Click to see full alt table

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

localize62.0ms (3%)

Localize:

Found 4 expressions with local error:

New	Accuracy	Program
✓	99.9%	(.f64 d1 (.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 (.f64 d1 (.f64 d1 d1)) d1) d1)
✓	99.9%	(.f64 d1 (.f64 d1 d1))

Results

21.0ms	128×	256	valid
21.0ms	127×	256	infinite
0.0ms	1×	256	infinite

Compiler

Compiled 96 to 13 computations (86.5% saved)

Precisions

Click to see histograms. Total time spent on operations: 19.0ms

Operation ival-mult, time spent: 14.0ms, 73.0% of total-time

Operation ival-pow, time spent: 5.0ms, 26.0% of total-time

Operation const, time spent: 1.0ms, 5.0% of total-time

series7.0ms (0.3%)

Counts

4 → 48

Calls

Call 1

Inputs
#<alt (.f64 d1 (.f64 d1 d1))>
#<alt (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)>
#<alt (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))>
#<alt (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1)) d1))>

Outputs
#<alt (pow.f64 d1 #s(literal 3 binary64))>
#<alt (pow.f64 d1 #s(literal 3 binary64))>
#<alt (pow.f64 d1 #s(literal 3 binary64))>
#<alt (pow.f64 d1 #s(literal 3 binary64))>
#<alt (pow.f64 d1 #s(literal 3 binary64))>
#<alt (pow.f64 d1 #s(literal 3 binary64))>
#<alt (pow.f64 d1 #s(literal 3 binary64))>
#<alt (pow.f64 d1 #s(literal 3 binary64))>
#<alt (pow.f64 d1 #s(literal 3 binary64))>
#<alt (pow.f64 d1 #s(literal 3 binary64))>
#<alt (pow.f64 d1 #s(literal 3 binary64))>
#<alt (pow.f64 d1 #s(literal 3 binary64))>
#<alt (pow.f64 d1 #s(literal 5 binary64))>
#<alt (pow.f64 d1 #s(literal 5 binary64))>
#<alt (pow.f64 d1 #s(literal 5 binary64))>
#<alt (pow.f64 d1 #s(literal 5 binary64))>
#<alt (pow.f64 d1 #s(literal 5 binary64))>
#<alt (pow.f64 d1 #s(literal 5 binary64))>
#<alt (pow.f64 d1 #s(literal 5 binary64))>
#<alt (pow.f64 d1 #s(literal 5 binary64))>
#<alt (pow.f64 d1 #s(literal 5 binary64))>
#<alt (pow.f64 d1 #s(literal 5 binary64))>
#<alt (pow.f64 d1 #s(literal 5 binary64))>
#<alt (pow.f64 d1 #s(literal 5 binary64))>
#<alt (pow.f64 d1 #s(literal 7 binary64))>
#<alt (pow.f64 d1 #s(literal 7 binary64))>
#<alt (pow.f64 d1 #s(literal 7 binary64))>
#<alt (pow.f64 d1 #s(literal 7 binary64))>
#<alt (pow.f64 d1 #s(literal 7 binary64))>
#<alt (pow.f64 d1 #s(literal 7 binary64))>
#<alt (pow.f64 d1 #s(literal 7 binary64))>
#<alt (pow.f64 d1 #s(literal 7 binary64))>
#<alt (pow.f64 d1 #s(literal 7 binary64))>
#<alt (pow.f64 d1 #s(literal 7 binary64))>
#<alt (pow.f64 d1 #s(literal 7 binary64))>
#<alt (pow.f64 d1 #s(literal 7 binary64))>
#<alt (pow.f64 d1 #s(literal 9 binary64))>
#<alt (pow.f64 d1 #s(literal 9 binary64))>
#<alt (pow.f64 d1 #s(literal 9 binary64))>
#<alt (pow.f64 d1 #s(literal 9 binary64))>
#<alt (pow.f64 d1 #s(literal 9 binary64))>
#<alt (pow.f64 d1 #s(literal 9 binary64))>
#<alt (pow.f64 d1 #s(literal 9 binary64))>
#<alt (pow.f64 d1 #s(literal 9 binary64))>
#<alt (pow.f64 d1 #s(literal 9 binary64))>
#<alt (pow.f64 d1 #s(literal 9 binary64))>
#<alt (pow.f64 d1 #s(literal 9 binary64))>
#<alt (pow.f64 d1 #s(literal 9 binary64))>

Calls

12 calls:

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

rewrite237.0ms (11.5%)

Algorithm

1×	batch-egg-rewrite

Rules

574×	`log1p-expm1-u`
574×	`expm1-log1p-u`
492×	`pow1`
431×	`log-prod`
354×	`pow-prod-down`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	12	118
1	173	55
2	2030	40

Stop Event

1×	node limit

Counts

4 → 109

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

Outputs
(+.f64 #s(literal 0 binary64) (pow.f64 d1 #s(literal 3 binary64)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 #s(literal 3 binary64)))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 #s(literal 3 binary64))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 #s(literal 3 binary64))))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 #s(literal 3 binary64))))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 #s(literal 3 binary64)))) #s(literal 1 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 (pow.f64 d1 #s(literal 2 binary64)) #s(literal 3/2 binary64))
(pow.f64 (pow.f64 d1 #s(literal 3 binary64)) #s(literal 1 binary64))
(pow.f64 (pow.f64 d1 #s(literal 9 binary64)) #s(literal 1/3 binary64))
(pow.f64 (cbrt.f64 d1) #s(literal 9 binary64))
(pow.f64 (pow.f64 d1 #s(literal 6 binary64)) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 (pow.f64 d1 #s(literal 3 binary64)) #s(literal 9 binary64)) #s(literal 1/9 binary64))
(pow.f64 (pow.f64 d1 #s(literal 3/2 binary64)) #s(literal 2 binary64))
(pow.f64 (pow.f64 d1 #s(literal 9/2 binary64)) #s(literal 2/3 binary64))
(pow.f64 (sqrt.f64 d1) #s(literal 6 binary64))
(sqrt.f64 (pow.f64 d1 #s(literal 6 binary64)))
(log.f64 (exp.f64 (pow.f64 d1 #s(literal 3 binary64))))
(cbrt.f64 (pow.f64 d1 #s(literal 9 binary64)))
(expm1.f64 (log1p.f64 (pow.f64 d1 #s(literal 3 binary64))))
(log1p.f64 (expm1.f64 (pow.f64 d1 #s(literal 3 binary64))))
(exp.f64 (*.f64 #s(literal 3 binary64) (log.f64 d1)))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 d1)) #s(literal 1 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 #s(literal 9 binary64))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 3/2 binary64) (log.f64 d1)) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 d1) #s(literal 1 binary64)) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 d1) #s(literal 3 binary64)) #s(literal 1 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 3 binary64) (log.f64 d1)) #s(literal 1 binary64)) #s(literal 1 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 (pow.f64 d1 #s(literal 9 binary64))) #s(literal 1 binary64)) #s(literal 1/3 binary64)))
(+.f64 #s(literal 0 binary64) (pow.f64 d1 #s(literal 5 binary64)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 #s(literal 5 binary64)))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 #s(literal 5 binary64))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 #s(literal 5 binary64))))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 #s(literal 5 binary64))))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 #s(literal 5 binary64)))) #s(literal 1 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 (pow.f64 d1 #s(literal 2 binary64)) #s(literal 5/2 binary64))
(pow.f64 (pow.f64 d1 #s(literal 3 binary64)) #s(literal 5/3 binary64))
(pow.f64 (pow.f64 d1 #s(literal 5 binary64)) #s(literal 1 binary64))
(pow.f64 (pow.f64 (cbrt.f64 d1) #s(literal 5 binary64)) #s(literal 3 binary64))
(pow.f64 (cbrt.f64 d1) #s(literal 15 binary64))
(pow.f64 (pow.f64 d1 #s(literal 10 binary64)) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 d1 #s(literal 15 binary64)) #s(literal 1/3 binary64))
(pow.f64 (pow.f64 d1 #s(literal 5/2 binary64)) #s(literal 2 binary64))
(pow.f64 (sqrt.f64 d1) #s(literal 10 binary64))
(pow.f64 (*.f64 (pow.f64 d1 #s(literal 6 binary64)) (pow.f64 d1 #s(literal 9 binary64))) #s(literal 1/3 binary64))
(sqrt.f64 (pow.f64 d1 #s(literal 10 binary64)))
(log.f64 (exp.f64 (pow.f64 d1 #s(literal 5 binary64))))
(cbrt.f64 (pow.f64 d1 #s(literal 15 binary64)))
(expm1.f64 (log1p.f64 (pow.f64 d1 #s(literal 5 binary64))))
(log1p.f64 (expm1.f64 (pow.f64 d1 #s(literal 5 binary64))))
(exp.f64 (*.f64 #s(literal 5 binary64) (log.f64 d1)))
(exp.f64 (.f64 (.f64 #s(literal 5 binary64) (log.f64 d1)) #s(literal 1 binary64)))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 5 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 d1) #s(literal 5 binary64))) #s(literal 3 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 #s(literal 15 binary64))) #s(literal 1/3 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 #s(literal 5/2 binary64))) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 d1) #s(literal 1 binary64)) #s(literal 5 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 5 binary64) (log.f64 d1)) #s(literal 1 binary64)) #s(literal 1 binary64)))
(+.f64 #s(literal 0 binary64) (pow.f64 d1 #s(literal 7 binary64)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 #s(literal 7 binary64)))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 #s(literal 7 binary64))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 #s(literal 7 binary64))))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 #s(literal 7 binary64))))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 #s(literal 7 binary64)))) #s(literal 1 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 (pow.f64 d1 #s(literal 2 binary64)) #s(literal 7/2 binary64))
(pow.f64 (pow.f64 d1 #s(literal 3 binary64)) #s(literal 7/3 binary64))
(pow.f64 (pow.f64 d1 #s(literal 7 binary64)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (pow.f64 d1 #s(literal 7 binary64))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (pow.f64 d1 #s(literal 7 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 (pow.f64 d1 #s(literal 7 binary64)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (pow.f64 d1 #s(literal 7/2 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (pow.f64 d1 #s(literal 9 binary64)) (pow.f64 d1 #s(literal 12 binary64))) #s(literal 1/3 binary64))
(sqrt.f64 (pow.f64 (pow.f64 d1 #s(literal 7 binary64)) #s(literal 2 binary64)))
(log.f64 (exp.f64 (pow.f64 d1 #s(literal 7 binary64))))
(cbrt.f64 (pow.f64 (pow.f64 d1 #s(literal 7 binary64)) #s(literal 3 binary64)))
(expm1.f64 (log1p.f64 (pow.f64 d1 #s(literal 7 binary64))))
(log1p.f64 (expm1.f64 (pow.f64 d1 #s(literal 7 binary64))))
(exp.f64 (log.f64 (pow.f64 d1 #s(literal 7 binary64))))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 #s(literal 7 binary64))) #s(literal 1 binary64)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (pow.f64 d1 #s(literal 7 binary64)))) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 (pow.f64 d1 #s(literal 7 binary64)))) #s(literal 1/3 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 #s(literal 7/2 binary64))) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 (pow.f64 d1 #s(literal 7 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64)))
(+.f64 #s(literal 0 binary64) (pow.f64 d1 #s(literal 9 binary64)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 #s(literal 9 binary64)))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 #s(literal 9 binary64))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 #s(literal 9 binary64))))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 #s(literal 9 binary64))))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 #s(literal 9 binary64)))) #s(literal 1 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 (pow.f64 d1 #s(literal 3 binary64)) #s(literal 3 binary64))
(pow.f64 (pow.f64 d1 #s(literal 9 binary64)) #s(literal 1 binary64))
(pow.f64 (pow.f64 (pow.f64 d1 #s(literal 3 binary64)) #s(literal 6 binary64)) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 (pow.f64 d1 #s(literal 3 binary64)) #s(literal 9 binary64)) #s(literal 1/3 binary64))
(pow.f64 (pow.f64 d1 #s(literal 3/2 binary64)) #s(literal 6 binary64))
(pow.f64 (pow.f64 d1 #s(literal 9/2 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (pow.f64 d1 #s(literal 6 binary64)) (pow.f64 (pow.f64 d1 #s(literal 7 binary64)) #s(literal 3 binary64))) #s(literal 1/3 binary64))
(pow.f64 (*.f64 (pow.f64 d1 #s(literal 12 binary64)) (pow.f64 d1 #s(literal 15 binary64))) #s(literal 1/3 binary64))
(pow.f64 (*.f64 (pow.f64 (cbrt.f64 d1) #s(literal 5 binary64)) (pow.f64 (cbrt.f64 d1) #s(literal 4 binary64))) #s(literal 3 binary64))
(pow.f64 (*.f64 (pow.f64 d1 #s(literal 15 binary64)) (pow.f64 d1 #s(literal 12 binary64))) #s(literal 1/3 binary64))
(pow.f64 (*.f64 (pow.f64 (pow.f64 d1 #s(literal 7 binary64)) #s(literal 3 binary64)) (pow.f64 d1 #s(literal 6 binary64))) #s(literal 1/3 binary64))
(sqrt.f64 (pow.f64 (pow.f64 d1 #s(literal 3 binary64)) #s(literal 6 binary64)))
(log.f64 (exp.f64 (pow.f64 d1 #s(literal 9 binary64))))
(cbrt.f64 (pow.f64 (pow.f64 d1 #s(literal 3 binary64)) #s(literal 9 binary64)))
(expm1.f64 (log1p.f64 (pow.f64 d1 #s(literal 9 binary64))))
(log1p.f64 (expm1.f64 (pow.f64 d1 #s(literal 9 binary64))))
(exp.f64 (log.f64 (pow.f64 d1 #s(literal 9 binary64))))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 #s(literal 9 binary64))) #s(literal 1 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 d1)) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 (pow.f64 d1 #s(literal 9 binary64)))) #s(literal 1/3 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 #s(literal 9/2 binary64))) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 d1) #s(literal 3 binary64)) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 3 binary64) (log.f64 d1)) #s(literal 1 binary64)) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 (pow.f64 d1 #s(literal 9 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64)))

simplify89.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

980×	`fma-define`
642×	`distribute-lft-out`
474×	`distribute-lft-in`
410×	`prod-exp`
361×	`distribute-rgt-in`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	244	12884903792
1	398	12884903792
2	686	12884903792
3	1880	12884903780
4	6303	12884903780

Stop Event

1×	node limit

Counts

157 → 114

Calls

Call 1

Inputs
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(+.f64 #s(literal 0 binary64) (pow.f64 d1 #s(literal 3 binary64)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 #s(literal 3 binary64)))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 #s(literal 3 binary64))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 #s(literal 3 binary64))))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 #s(literal 3 binary64))))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 #s(literal 3 binary64)))) #s(literal 1 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 (pow.f64 d1 #s(literal 2 binary64)) #s(literal 3/2 binary64))
(pow.f64 (pow.f64 d1 #s(literal 3 binary64)) #s(literal 1 binary64))
(pow.f64 (pow.f64 d1 #s(literal 9 binary64)) #s(literal 1/3 binary64))
(pow.f64 (cbrt.f64 d1) #s(literal 9 binary64))
(pow.f64 (pow.f64 d1 #s(literal 6 binary64)) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 (pow.f64 d1 #s(literal 3 binary64)) #s(literal 9 binary64)) #s(literal 1/9 binary64))
(pow.f64 (pow.f64 d1 #s(literal 3/2 binary64)) #s(literal 2 binary64))
(pow.f64 (pow.f64 d1 #s(literal 9/2 binary64)) #s(literal 2/3 binary64))
(pow.f64 (sqrt.f64 d1) #s(literal 6 binary64))
(sqrt.f64 (pow.f64 d1 #s(literal 6 binary64)))
(log.f64 (exp.f64 (pow.f64 d1 #s(literal 3 binary64))))
(cbrt.f64 (pow.f64 d1 #s(literal 9 binary64)))
(expm1.f64 (log1p.f64 (pow.f64 d1 #s(literal 3 binary64))))
(log1p.f64 (expm1.f64 (pow.f64 d1 #s(literal 3 binary64))))
(exp.f64 (*.f64 #s(literal 3 binary64) (log.f64 d1)))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 d1)) #s(literal 1 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 #s(literal 9 binary64))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 3/2 binary64) (log.f64 d1)) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 d1) #s(literal 1 binary64)) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 d1) #s(literal 3 binary64)) #s(literal 1 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 3 binary64) (log.f64 d1)) #s(literal 1 binary64)) #s(literal 1 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 (pow.f64 d1 #s(literal 9 binary64))) #s(literal 1 binary64)) #s(literal 1/3 binary64)))
(+.f64 #s(literal 0 binary64) (pow.f64 d1 #s(literal 5 binary64)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 #s(literal 5 binary64)))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 #s(literal 5 binary64))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 #s(literal 5 binary64))))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 #s(literal 5 binary64))))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 #s(literal 5 binary64)))) #s(literal 1 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 (pow.f64 d1 #s(literal 2 binary64)) #s(literal 5/2 binary64))
(pow.f64 (pow.f64 d1 #s(literal 3 binary64)) #s(literal 5/3 binary64))
(pow.f64 (pow.f64 d1 #s(literal 5 binary64)) #s(literal 1 binary64))
(pow.f64 (pow.f64 (cbrt.f64 d1) #s(literal 5 binary64)) #s(literal 3 binary64))
(pow.f64 (cbrt.f64 d1) #s(literal 15 binary64))
(pow.f64 (pow.f64 d1 #s(literal 10 binary64)) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 d1 #s(literal 15 binary64)) #s(literal 1/3 binary64))
(pow.f64 (pow.f64 d1 #s(literal 5/2 binary64)) #s(literal 2 binary64))
(pow.f64 (sqrt.f64 d1) #s(literal 10 binary64))
(pow.f64 (*.f64 (pow.f64 d1 #s(literal 6 binary64)) (pow.f64 d1 #s(literal 9 binary64))) #s(literal 1/3 binary64))
(sqrt.f64 (pow.f64 d1 #s(literal 10 binary64)))
(log.f64 (exp.f64 (pow.f64 d1 #s(literal 5 binary64))))
(cbrt.f64 (pow.f64 d1 #s(literal 15 binary64)))
(expm1.f64 (log1p.f64 (pow.f64 d1 #s(literal 5 binary64))))
(log1p.f64 (expm1.f64 (pow.f64 d1 #s(literal 5 binary64))))
(exp.f64 (*.f64 #s(literal 5 binary64) (log.f64 d1)))
(exp.f64 (.f64 (.f64 #s(literal 5 binary64) (log.f64 d1)) #s(literal 1 binary64)))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 5 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 d1) #s(literal 5 binary64))) #s(literal 3 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 #s(literal 15 binary64))) #s(literal 1/3 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 #s(literal 5/2 binary64))) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 d1) #s(literal 1 binary64)) #s(literal 5 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 5 binary64) (log.f64 d1)) #s(literal 1 binary64)) #s(literal 1 binary64)))
(+.f64 #s(literal 0 binary64) (pow.f64 d1 #s(literal 7 binary64)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 #s(literal 7 binary64)))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 #s(literal 7 binary64))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 #s(literal 7 binary64))))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 #s(literal 7 binary64))))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 #s(literal 7 binary64)))) #s(literal 1 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 (pow.f64 d1 #s(literal 2 binary64)) #s(literal 7/2 binary64))
(pow.f64 (pow.f64 d1 #s(literal 3 binary64)) #s(literal 7/3 binary64))
(pow.f64 (pow.f64 d1 #s(literal 7 binary64)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (pow.f64 d1 #s(literal 7 binary64))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (pow.f64 d1 #s(literal 7 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 (pow.f64 d1 #s(literal 7 binary64)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (pow.f64 d1 #s(literal 7/2 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (pow.f64 d1 #s(literal 9 binary64)) (pow.f64 d1 #s(literal 12 binary64))) #s(literal 1/3 binary64))
(sqrt.f64 (pow.f64 (pow.f64 d1 #s(literal 7 binary64)) #s(literal 2 binary64)))
(log.f64 (exp.f64 (pow.f64 d1 #s(literal 7 binary64))))
(cbrt.f64 (pow.f64 (pow.f64 d1 #s(literal 7 binary64)) #s(literal 3 binary64)))
(expm1.f64 (log1p.f64 (pow.f64 d1 #s(literal 7 binary64))))
(log1p.f64 (expm1.f64 (pow.f64 d1 #s(literal 7 binary64))))
(exp.f64 (log.f64 (pow.f64 d1 #s(literal 7 binary64))))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 #s(literal 7 binary64))) #s(literal 1 binary64)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (pow.f64 d1 #s(literal 7 binary64)))) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 (pow.f64 d1 #s(literal 7 binary64)))) #s(literal 1/3 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 #s(literal 7/2 binary64))) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 (pow.f64 d1 #s(literal 7 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64)))
(+.f64 #s(literal 0 binary64) (pow.f64 d1 #s(literal 9 binary64)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 #s(literal 9 binary64)))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 #s(literal 9 binary64))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 #s(literal 9 binary64))))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 #s(literal 9 binary64))))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 #s(literal 9 binary64)))) #s(literal 1 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 (pow.f64 d1 #s(literal 3 binary64)) #s(literal 3 binary64))
(pow.f64 (pow.f64 d1 #s(literal 9 binary64)) #s(literal 1 binary64))
(pow.f64 (pow.f64 (pow.f64 d1 #s(literal 3 binary64)) #s(literal 6 binary64)) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 (pow.f64 d1 #s(literal 3 binary64)) #s(literal 9 binary64)) #s(literal 1/3 binary64))
(pow.f64 (pow.f64 d1 #s(literal 3/2 binary64)) #s(literal 6 binary64))
(pow.f64 (pow.f64 d1 #s(literal 9/2 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (pow.f64 d1 #s(literal 6 binary64)) (pow.f64 (pow.f64 d1 #s(literal 7 binary64)) #s(literal 3 binary64))) #s(literal 1/3 binary64))
(pow.f64 (*.f64 (pow.f64 d1 #s(literal 12 binary64)) (pow.f64 d1 #s(literal 15 binary64))) #s(literal 1/3 binary64))
(pow.f64 (*.f64 (pow.f64 (cbrt.f64 d1) #s(literal 5 binary64)) (pow.f64 (cbrt.f64 d1) #s(literal 4 binary64))) #s(literal 3 binary64))
(pow.f64 (*.f64 (pow.f64 d1 #s(literal 15 binary64)) (pow.f64 d1 #s(literal 12 binary64))) #s(literal 1/3 binary64))
(pow.f64 (*.f64 (pow.f64 (pow.f64 d1 #s(literal 7 binary64)) #s(literal 3 binary64)) (pow.f64 d1 #s(literal 6 binary64))) #s(literal 1/3 binary64))
(sqrt.f64 (pow.f64 (pow.f64 d1 #s(literal 3 binary64)) #s(literal 6 binary64)))
(log.f64 (exp.f64 (pow.f64 d1 #s(literal 9 binary64))))
(cbrt.f64 (pow.f64 (pow.f64 d1 #s(literal 3 binary64)) #s(literal 9 binary64)))
(expm1.f64 (log1p.f64 (pow.f64 d1 #s(literal 9 binary64))))
(log1p.f64 (expm1.f64 (pow.f64 d1 #s(literal 9 binary64))))
(exp.f64 (log.f64 (pow.f64 d1 #s(literal 9 binary64))))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 #s(literal 9 binary64))) #s(literal 1 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 d1)) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 (pow.f64 d1 #s(literal 9 binary64)))) #s(literal 1/3 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 #s(literal 9/2 binary64))) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 d1) #s(literal 3 binary64)) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 3 binary64) (log.f64 d1)) #s(literal 1 binary64)) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 (pow.f64 d1 #s(literal 9 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64)))

Outputs
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(+.f64 #s(literal 0 binary64) (pow.f64 d1 #s(literal 3 binary64)))
(pow.f64 d1 #s(literal 3 binary64))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 #s(literal 3 binary64)))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 #s(literal 3 binary64))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 #s(literal 3 binary64))))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 #s(literal 3 binary64))))))
(*.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 #s(literal 3 binary64))))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 #s(literal 3 binary64)))) #s(literal 1 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 (pow.f64 d1 #s(literal 2 binary64)) #s(literal 3/2 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 (pow.f64 d1 #s(literal 3 binary64)) #s(literal 1 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 (pow.f64 d1 #s(literal 9 binary64)) #s(literal 1/3 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 (cbrt.f64 d1) #s(literal 9 binary64))
(pow.f64 (pow.f64 d1 #s(literal 6 binary64)) #s(literal 1/2 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 (pow.f64 (pow.f64 d1 #s(literal 3 binary64)) #s(literal 9 binary64)) #s(literal 1/9 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 (pow.f64 d1 #s(literal 3/2 binary64)) #s(literal 2 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 (pow.f64 d1 #s(literal 9/2 binary64)) #s(literal 2/3 binary64))
(pow.f64 (sqrt.f64 d1) #s(literal 6 binary64))
(sqrt.f64 (pow.f64 d1 #s(literal 6 binary64)))
(pow.f64 d1 #s(literal 3 binary64))
(log.f64 (exp.f64 (pow.f64 d1 #s(literal 3 binary64))))
(pow.f64 d1 #s(literal 3 binary64))
(cbrt.f64 (pow.f64 d1 #s(literal 9 binary64)))
(pow.f64 d1 #s(literal 3 binary64))
(expm1.f64 (log1p.f64 (pow.f64 d1 #s(literal 3 binary64))))
(pow.f64 d1 #s(literal 3 binary64))
(log1p.f64 (expm1.f64 (pow.f64 d1 #s(literal 3 binary64))))
(pow.f64 d1 #s(literal 3 binary64))
(exp.f64 (*.f64 #s(literal 3 binary64) (log.f64 d1)))
(pow.f64 d1 #s(literal 3 binary64))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 3 binary64)))
(pow.f64 d1 #s(literal 3 binary64))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 d1)) #s(literal 1 binary64)))
(pow.f64 d1 #s(literal 3 binary64))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 #s(literal 9 binary64))) #s(literal 1/3 binary64)))
(pow.f64 d1 #s(literal 3 binary64))
(exp.f64 (.f64 (.f64 #s(literal 3/2 binary64) (log.f64 d1)) #s(literal 2 binary64)))
(pow.f64 d1 #s(literal 3 binary64))
(exp.f64 (.f64 (.f64 (log.f64 d1) #s(literal 1 binary64)) #s(literal 3 binary64)))
(pow.f64 d1 #s(literal 3 binary64))
(exp.f64 (.f64 (.f64 (log.f64 d1) #s(literal 3 binary64)) #s(literal 1 binary64)))
(pow.f64 d1 #s(literal 3 binary64))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 3 binary64) (log.f64 d1)) #s(literal 1 binary64)) #s(literal 1 binary64)))
(pow.f64 d1 #s(literal 3 binary64))
(exp.f64 (.f64 (.f64 (log.f64 (pow.f64 d1 #s(literal 9 binary64))) #s(literal 1 binary64)) #s(literal 1/3 binary64)))
(pow.f64 d1 #s(literal 3 binary64))
(+.f64 #s(literal 0 binary64) (pow.f64 d1 #s(literal 5 binary64)))
(pow.f64 d1 #s(literal 5 binary64))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 #s(literal 5 binary64)))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 #s(literal 5 binary64))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 #s(literal 5 binary64))))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 #s(literal 5 binary64))))))
(*.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 #s(literal 5 binary64))))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 #s(literal 5 binary64)))) #s(literal 1 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 (pow.f64 d1 #s(literal 2 binary64)) #s(literal 5/2 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 (pow.f64 d1 #s(literal 3 binary64)) #s(literal 5/3 binary64))
(pow.f64 (pow.f64 d1 #s(literal 5 binary64)) #s(literal 1 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 (pow.f64 (cbrt.f64 d1) #s(literal 5 binary64)) #s(literal 3 binary64))
(pow.f64 (cbrt.f64 d1) #s(literal 15 binary64))
(pow.f64 (pow.f64 d1 #s(literal 10 binary64)) #s(literal 1/2 binary64))
(sqrt.f64 (pow.f64 d1 #s(literal 10 binary64)))
(pow.f64 (pow.f64 d1 #s(literal 15 binary64)) #s(literal 1/3 binary64))
(cbrt.f64 (pow.f64 d1 #s(literal 15 binary64)))
(pow.f64 (pow.f64 d1 #s(literal 5/2 binary64)) #s(literal 2 binary64))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 (sqrt.f64 d1) #s(literal 10 binary64))
(pow.f64 (*.f64 (pow.f64 d1 #s(literal 6 binary64)) (pow.f64 d1 #s(literal 9 binary64))) #s(literal 1/3 binary64))
(cbrt.f64 (pow.f64 d1 #s(literal 15 binary64)))
(sqrt.f64 (pow.f64 d1 #s(literal 10 binary64)))
(log.f64 (exp.f64 (pow.f64 d1 #s(literal 5 binary64))))
(pow.f64 d1 #s(literal 5 binary64))
(cbrt.f64 (pow.f64 d1 #s(literal 15 binary64)))
(expm1.f64 (log1p.f64 (pow.f64 d1 #s(literal 5 binary64))))
(pow.f64 d1 #s(literal 5 binary64))
(log1p.f64 (expm1.f64 (pow.f64 d1 #s(literal 5 binary64))))
(pow.f64 d1 #s(literal 5 binary64))
(exp.f64 (*.f64 #s(literal 5 binary64) (log.f64 d1)))
(pow.f64 d1 #s(literal 5 binary64))
(exp.f64 (.f64 (.f64 #s(literal 5 binary64) (log.f64 d1)) #s(literal 1 binary64)))
(pow.f64 d1 #s(literal 5 binary64))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 5 binary64)))
(pow.f64 d1 #s(literal 5 binary64))
(exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 d1) #s(literal 5 binary64))) #s(literal 3 binary64)))
(pow.f64 (pow.f64 (cbrt.f64 d1) #s(literal 5 binary64)) #s(literal 3 binary64))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 #s(literal 15 binary64))) #s(literal 1/3 binary64)))
(cbrt.f64 (pow.f64 d1 #s(literal 15 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 #s(literal 5/2 binary64))) #s(literal 2 binary64)))
(pow.f64 d1 #s(literal 5 binary64))
(exp.f64 (.f64 (.f64 (log.f64 d1) #s(literal 1 binary64)) #s(literal 5 binary64)))
(pow.f64 d1 #s(literal 5 binary64))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 5 binary64) (log.f64 d1)) #s(literal 1 binary64)) #s(literal 1 binary64)))
(pow.f64 d1 #s(literal 5 binary64))
(+.f64 #s(literal 0 binary64) (pow.f64 d1 #s(literal 7 binary64)))
(pow.f64 d1 #s(literal 7 binary64))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 #s(literal 7 binary64)))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 #s(literal 7 binary64))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 #s(literal 7 binary64))))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 #s(literal 7 binary64))))))
(*.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 #s(literal 7 binary64))))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 #s(literal 7 binary64)))) #s(literal 1 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 (pow.f64 d1 #s(literal 2 binary64)) #s(literal 7/2 binary64))
(pow.f64 (pow.f64 d1 #s(literal 3 binary64)) #s(literal 7/3 binary64))
(pow.f64 (pow.f64 d1 #s(literal 7 binary64)) #s(literal 1 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 (cbrt.f64 (pow.f64 d1 #s(literal 7 binary64))) #s(literal 3 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 (pow.f64 (pow.f64 d1 #s(literal 7 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 (pow.f64 (pow.f64 d1 #s(literal 7 binary64)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 (pow.f64 d1 #s(literal 7/2 binary64)) #s(literal 2 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 (*.f64 (pow.f64 d1 #s(literal 9 binary64)) (pow.f64 d1 #s(literal 12 binary64))) #s(literal 1/3 binary64))
(pow.f64 d1 #s(literal 7 binary64))
(sqrt.f64 (pow.f64 (pow.f64 d1 #s(literal 7 binary64)) #s(literal 2 binary64)))
(pow.f64 d1 #s(literal 7 binary64))
(log.f64 (exp.f64 (pow.f64 d1 #s(literal 7 binary64))))
(pow.f64 d1 #s(literal 7 binary64))
(cbrt.f64 (pow.f64 (pow.f64 d1 #s(literal 7 binary64)) #s(literal 3 binary64)))
(pow.f64 d1 #s(literal 7 binary64))
(expm1.f64 (log1p.f64 (pow.f64 d1 #s(literal 7 binary64))))
(pow.f64 d1 #s(literal 7 binary64))
(log1p.f64 (expm1.f64 (pow.f64 d1 #s(literal 7 binary64))))
(pow.f64 d1 #s(literal 7 binary64))
(exp.f64 (log.f64 (pow.f64 d1 #s(literal 7 binary64))))
(pow.f64 d1 #s(literal 7 binary64))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 #s(literal 7 binary64))) #s(literal 1 binary64)))
(pow.f64 d1 #s(literal 7 binary64))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (pow.f64 d1 #s(literal 7 binary64)))) #s(literal 3 binary64)))
(pow.f64 d1 #s(literal 7 binary64))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 (pow.f64 d1 #s(literal 7 binary64)))) #s(literal 1/3 binary64)))
(pow.f64 d1 #s(literal 7 binary64))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 #s(literal 7/2 binary64))) #s(literal 2 binary64)))
(pow.f64 d1 #s(literal 7 binary64))
(exp.f64 (.f64 (.f64 (log.f64 (pow.f64 d1 #s(literal 7 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64)))
(pow.f64 d1 #s(literal 7 binary64))
(+.f64 #s(literal 0 binary64) (pow.f64 d1 #s(literal 9 binary64)))
(pow.f64 d1 #s(literal 9 binary64))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 #s(literal 9 binary64)))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 #s(literal 9 binary64))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 #s(literal 9 binary64))))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 #s(literal 9 binary64))))))
(*.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 #s(literal 9 binary64))))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 #s(literal 9 binary64)))) #s(literal 1 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 (pow.f64 d1 #s(literal 3 binary64)) #s(literal 3 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 (pow.f64 d1 #s(literal 9 binary64)) #s(literal 1 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 (pow.f64 (pow.f64 d1 #s(literal 3 binary64)) #s(literal 6 binary64)) #s(literal 1/2 binary64))
(sqrt.f64 (pow.f64 (pow.f64 d1 #s(literal 3 binary64)) #s(literal 6 binary64)))
(sqrt.f64 (pow.f64 d1 #s(literal 18 binary64)))
(pow.f64 (pow.f64 (pow.f64 d1 #s(literal 3 binary64)) #s(literal 9 binary64)) #s(literal 1/3 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 (pow.f64 d1 #s(literal 3/2 binary64)) #s(literal 6 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 (pow.f64 d1 #s(literal 9/2 binary64)) #s(literal 2 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 (*.f64 (pow.f64 d1 #s(literal 6 binary64)) (pow.f64 (pow.f64 d1 #s(literal 7 binary64)) #s(literal 3 binary64))) #s(literal 1/3 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 (*.f64 (pow.f64 d1 #s(literal 12 binary64)) (pow.f64 d1 #s(literal 15 binary64))) #s(literal 1/3 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 (*.f64 (pow.f64 (cbrt.f64 d1) #s(literal 5 binary64)) (pow.f64 (cbrt.f64 d1) #s(literal 4 binary64))) #s(literal 3 binary64))
(pow.f64 (*.f64 (pow.f64 d1 #s(literal 15 binary64)) (pow.f64 d1 #s(literal 12 binary64))) #s(literal 1/3 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 (*.f64 (pow.f64 (pow.f64 d1 #s(literal 7 binary64)) #s(literal 3 binary64)) (pow.f64 d1 #s(literal 6 binary64))) #s(literal 1/3 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(sqrt.f64 (pow.f64 (pow.f64 d1 #s(literal 3 binary64)) #s(literal 6 binary64)))
(sqrt.f64 (pow.f64 d1 #s(literal 18 binary64)))
(log.f64 (exp.f64 (pow.f64 d1 #s(literal 9 binary64))))
(pow.f64 d1 #s(literal 9 binary64))
(cbrt.f64 (pow.f64 (pow.f64 d1 #s(literal 3 binary64)) #s(literal 9 binary64)))
(pow.f64 d1 #s(literal 9 binary64))
(expm1.f64 (log1p.f64 (pow.f64 d1 #s(literal 9 binary64))))
(pow.f64 d1 #s(literal 9 binary64))
(log1p.f64 (expm1.f64 (pow.f64 d1 #s(literal 9 binary64))))
(pow.f64 d1 #s(literal 9 binary64))
(exp.f64 (log.f64 (pow.f64 d1 #s(literal 9 binary64))))
(pow.f64 d1 #s(literal 9 binary64))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 #s(literal 9 binary64))) #s(literal 1 binary64)))
(pow.f64 d1 #s(literal 9 binary64))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 d1)) #s(literal 3 binary64)))
(pow.f64 d1 #s(literal 9 binary64))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 (pow.f64 d1 #s(literal 9 binary64)))) #s(literal 1/3 binary64)))
(pow.f64 d1 #s(literal 9 binary64))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 #s(literal 9/2 binary64))) #s(literal 2 binary64)))
(pow.f64 d1 #s(literal 9 binary64))
(exp.f64 (.f64 (.f64 (log.f64 d1) #s(literal 3 binary64)) #s(literal 3 binary64)))
(pow.f64 d1 #s(literal 9 binary64))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 3 binary64) (log.f64 d1)) #s(literal 1 binary64)) #s(literal 3 binary64)))
(pow.f64 d1 #s(literal 9 binary64))
(exp.f64 (.f64 (.f64 (log.f64 (pow.f64 d1 #s(literal 9 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64)))
(pow.f64 d1 #s(literal 9 binary64))

eval31.0ms (1.5%)

Compiler: Compiled 1672 to 1012 computations (39.5% saved)

prune19.0ms (0.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	114	0	114
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	114	2	116

Accuracy

100.0%

Counts

116 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(pow.f64 d1 #s(literal 10 binary64))
✓	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)

regimes2.0ms (0.1%)

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 #s(literal 10 binary64))

Outputs
(pow.f64 d1 #s(literal 10 binary64))

Calls

2 calls:

1.0ms	d1
1.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 22 to 10 computations (54.5% saved)

regimes2.0ms (0.1%)

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:

1.0ms	d1
1.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 22 to 10 computations (54.5% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	95
1	22	95

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(pow.f64 d1 #s(literal 10 binary64))
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

Outputs

(pow.f64 d1 #s(literal 10 binary64))

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

soundness109.0ms (5.2%)

Rules

299×	`fma-define`
191×	`associate-r`
79×	`associate-l`
58×	`distribute-lft-neg-in`
54×	`distribute-lft-neg-out`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	24	264
1	86	176
2	322	104
3	820	44
4	989	44
5	1328	44
6	1329	44
7	1329	44
8	1329	44

Stop Event

1×

saturated

Compiler

Compiled 180 to 28 computations (84.4% saved)

end0.0ms (0%)

preprocess55.0ms (2.7%)

Remove: (abs d1)
Compiler: Compiled 118 to 64 computations (45.8% saved)

analyze0.0ms (0%)

sample1.2s (59.6%)

preprocess220.0ms (10.6%)

eval1.0ms (0%)

prune1.0ms (0.1%)

localize62.0ms (3%)

series7.0ms (0.3%)

rewrite237.0ms (11.5%)

simplify89.0ms (4.3%)

eval31.0ms (1.5%)

prune19.0ms (0.9%)

regimes2.0ms (0.1%)

regimes2.0ms (0.1%)

simplify3.0ms (0.1%)

soundness109.0ms (5.2%)

end0.0ms (0%)

preprocess55.0ms (2.7%)

Profiling