Metrics for Jmat.Real.erfi, branch x greater than or equal to 5

analyze0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	25%	75%	0%	0%	0%	0
100%	25%	0%	75%	0%	0%	0%	1

Compiler

Compiled 107 to 34 computations (68.2% saved)

sample2.3s (5%)

Memory

79.2MiB live, 2 490.3MiB allocated

Samples

1.6s

8 256×

valid

Precisions

Click to see histograms. Total time spent on operations: 1.3s

ival-mult: 611.0ms (45.6% of total)

ival-div: 282.0ms (21% of total)

ival-add: 148.0ms (11% of total)

ival-exp: 97.0ms (7.2% of total)

ival-sqrt: 57.0ms (4.3% of total)

ival-fabs: 49.0ms (3.7% of total)

ival->=: 39.0ms (2.9% of total)

ival-pi: 32.0ms (2.4% of total)

exact: 23.0ms (1.7% of total)

ival-assert: 3.0ms (0.2% of total)

Bogosity

preprocess457.0ms (1%)

Memory

-88.8MiB live, 811.8MiB allocated

Algorithm

1×	egg-herbie

Rules

17 878×	`lower-fma.f64`
17 878×	`lower-fma.f32`
3 728×	`lower-*.f32`
3 704×	`lower-*.f64`
2 218×	`lower-/.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	195
1	102	109
2	418	81
3	2113	67
4	7958	67
0	31	97
0	58	95
1	114	54
2	339	40
3	1234	33
4	3563	33
5	5185	32
6	5973	32
7	6315	32
8	6316	32
9	6316	32
10	7812	32
0	8158	31

Stop Event

1×	iter limit
1×	node limit
1×	iter limit
1×	node limit

Calls

Call 1

Inputs
(.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (.f64 (.f64 (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))

Inputs

(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))

Outputs
(.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (.f64 (.f64 (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))
(.f64 (/.f64 (exp.f64 (.f64 x x)) (.f64 (sqrt.f64 (PI.f64)) (fabs.f64 x))) (fma.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) (fma.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) (+.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 15/8 binary64) (.f64 x x))) #s(literal 1/2 binary64)) #s(literal 1 binary64)))

Outputs

(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))

(*.f64 (/.f64 (exp.f64 (*.f64 x x)) (*.f64 (sqrt.f64 (PI.f64)) (fabs.f64 x))) (fma.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)) (fma.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)) (+.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 15/8 binary64) (*.f64 x x))) #s(literal 1/2 binary64)) #s(literal 1 binary64)))

Symmetry

(abs x)

explain529.0ms (1.2%)

Memory

18.1MiB live, 965.8MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))`
-	-	`(.f64 (.f64 (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))`
-	-	`(.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))`
-	-	`#s(literal 8 binary64)`
-	-	`#s(literal 1 binary64)`
-	-	`#s(literal 3 binary64)`
-	-	`(/.f64 #s(literal 3 binary64) #s(literal 4 binary64))`
-	-	`(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))`
-	-	(+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (.f64 (.f64 (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))))
-	-	`(/.f64 #s(literal 1 binary64) (fabs.f64 x))`
-	-	`(.f64 (.f64 (.f64 (.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))`
-	-	`(exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))`
-	-	`#s(literal 15 binary64)`
-	-	`(PI.f64)`
-	-	`(.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))`
-	-	`(/.f64 #s(literal 1 binary64) #s(literal 2 binary64))`
-	-	`(.f64 (.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))`
-	-	`(*.f64 (fabs.f64 x) (fabs.f64 x))`
-	-	`(fabs.f64 x)`
-	-	`#s(literal 4 binary64)`
-	-	`(/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64)))`
-	-	(+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (.f64 (.f64 (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))))
-	-	(.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (.f64 (.f64 (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))
-	-	`(sqrt.f64 (PI.f64))`
-	-	`(+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))))`
-	-	`#s(literal 2 binary64)`
-	-	`(.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))`
-	-	`(.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))`
-	-	`(.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (.f64 (.f64 (.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))`
-	-	`x`
-	-	`(/.f64 #s(literal 15 binary64) #s(literal 8 binary64))`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	1

Precision?

0/0

Recall?

0/0

Samples

95.0ms

512×

valid

Compiler

Compiled 1 278 to 128 computations (90% saved)

Precisions

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

ival-mult: 30.0ms (47.6% of total)

ival-div: 14.0ms (22.2% of total)

ival-add: 6.0ms (9.5% of total)

ival-sqrt: 4.0ms (6.3% of total)

ival-exp: 3.0ms (4.8% of total)

ival-fabs: 3.0ms (4.8% of total)

ival-pi: 2.0ms (3.2% of total)

exact: 1.0ms (1.6% of total)

ival-assert: 0.0ms (0% of total)

ival-true: 0.0ms (0% of total)

eval0.0ms (0%)

Memory: 0.8MiB live, 0.8MiB allocated
Compiler: Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Memory

1.7MiB live, 1.7MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (.f64 (.f64 (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))

Status

Accuracy

Program

▶

100.0%

(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))

Compiler

Compiled 104 to 31 computations (70.2% saved)

simplify0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

localize150.0ms (0.3%)

Memory

6.6MiB live, 119.5MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
✓	accuracy	99.9%	(.f64 (.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))
✓	accuracy	99.8%	(.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))
✓	accuracy	99.6%	(*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))
✓	accuracy	98.4%	(sqrt.f64 (PI.f64))

Samples

93.0ms

256×

valid

Compiler

Compiled 535 to 33 computations (93.8% saved)

Precisions

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

ival-div: 56.0ms (69.4% of total)

ival-mult: 15.0ms (18.6% of total)

ival-add: 3.0ms (3.7% of total)

ival-exp: 2.0ms (2.5% of total)

ival-sqrt: 2.0ms (2.5% of total)

ival-pi: 1.0ms (1.2% of total)

ival-fabs: 1.0ms (1.2% of total)

exact: 1.0ms (1.2% of total)

ival-assert: 0.0ms (0% of total)

ival-true: 0.0ms (0% of total)

series9.0ms (0%)

Memory

11.6MiB live, 11.6MiB allocated

Counts

4 → 36

Calls

Call 1

Inputs
#<alt (sqrt.f64 (PI.f64))>
#<alt (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))>
#<alt (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))>
#<alt (.f64 (.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))>

Outputs
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 3))>
#<alt (/ 1 (pow (fabs x) 3))>
#<alt (/ 1 (pow (fabs x) 3))>
#<alt (/ 1 (pow (fabs x) 3))>
#<alt (/ 1 (pow (fabs x) 3))>
#<alt (/ 1 (pow (fabs x) 3))>
#<alt (/ 1 (pow (fabs x) 3))>
#<alt (/ 1 (pow (fabs x) 3))>
#<alt (/ 1 (pow (fabs x) 3))>
#<alt (/ 1 (pow (fabs x) 3))>
#<alt (/ 1 (pow (fabs x) 3))>
#<alt (/ 1 (pow (fabs x) 3))>
#<alt (/ 1 (pow (fabs x) 4))>
#<alt (/ 1 (pow (fabs x) 4))>
#<alt (/ 1 (pow (fabs x) 4))>
#<alt (/ 1 (pow (fabs x) 4))>
#<alt (/ 1 (pow (fabs x) 4))>
#<alt (/ 1 (pow (fabs x) 4))>
#<alt (/ 1 (pow (fabs x) 4))>
#<alt (/ 1 (pow (fabs x) 4))>
#<alt (/ 1 (pow (fabs x) 4))>
#<alt (/ 1 (pow (fabs x) 4))>
#<alt (/ 1 (pow (fabs x) 4))>
#<alt (/ 1 (pow (fabs x) 4))>

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	x	@	0	(* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x)))
1.0ms	x	@	-inf	(* (/ 1 (fabs x)) (/ 1 (fabs x)))
1.0ms	x	@	inf	(* (/ 1 (fabs x)) (/ 1 (fabs x)))
1.0ms	x	@	inf	(* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))
1.0ms	x	@	0	(* (/ 1 (fabs x)) (/ 1 (fabs x)))

rewrite82.0ms (0.2%)

Memory

-13.6MiB live, 111.7MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

808×	`prod-exp`
474×	`lower-fma.f64`
474×	`lower-fma.f32`
474×	`frac-times`
466×	`lower-*.f32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	9	44
0	16	23
1	62	16
2	359	14
3	2120	10
0	9312	10

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

4 → 142

Calls

Call 1

Inputs
(sqrt.f64 (PI.f64))
(*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))
(.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))
(.f64 (.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))

Outputs
#s(literal 1 binary64)
(PI.f64)
(+.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) (*.f64 x x)))
(exp.f64 (*.f64 (log.f64 x) #s(literal -2 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 x) #s(literal -2 binary64)) #s(literal 1 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 x) #s(literal -1/2 binary64)) #s(literal 4 binary64)))
(exp.f64 (fma.f64 (neg.f64 (log.f64 x)) #s(literal 3/2 binary64) (*.f64 (log.f64 x) #s(literal -1/2 binary64))))
(exp.f64 (fma.f64 (log.f64 x) #s(literal -1/2 binary64) (*.f64 (neg.f64 (log.f64 x)) #s(literal 3/2 binary64))))
(-.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) (*.f64 x x)))
(-.f64 (/.f64 #s(literal 0 binary64) x) (/.f64 #s(literal -1 binary64) (*.f64 x x)))
(neg.f64 (/.f64 #s(literal -1 binary64) (*.f64 x x)))
(/.f64 (/.f64 #s(literal -1 binary64) x) x)
(/.f64 (/.f64 #s(literal -1 binary64) (*.f64 x x)) #s(literal -1 binary64))
(/.f64 (/.f64 #s(literal -1 binary64) (*.f64 x x)) #s(literal 1 binary64))
(/.f64 (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (.f64 x x)))) (/.f64 #s(literal -1 binary64) (.f64 x x)))
(/.f64 #s(literal -1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (/.f64 #s(literal -1 binary64) (.f64 x x)) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (+.f64 (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (.f64 x x)))) (.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) (.f64 x x))))))
(pow.f64 x #s(literal -2 binary64))
(pow.f64 (/.f64 #s(literal -1 binary64) x) #s(literal 2 binary64))
(pow.f64 (/.f64 #s(literal -1 binary64) (*.f64 x x)) #s(literal 1 binary64))
(pow.f64 (.f64 x (.f64 x (*.f64 x x))) #s(literal -1/2 binary64))
(pow.f64 (*.f64 x x) #s(literal -1 binary64))
(pow.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) #s(literal 4 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (neg.f64 (log.f64 x)))
(*.f64 (/.f64 #s(literal -1 binary64) x) (/.f64 #s(literal -1 binary64) x))
(.f64 (/.f64 #s(literal -1 binary64) x) (.f64 (.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) #s(literal -1 binary64)) (.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) #s(literal -1 binary64))))
(.f64 (/.f64 #s(literal -1 binary64) (.f64 x x)) #s(literal -1 binary64))
(.f64 (/.f64 #s(literal -1 binary64) (.f64 x x)) #s(literal 1 binary64))
(.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (.f64 x x)))
(.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) (.f64 x x)))
(*.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) x))
(*.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) x) (sqrt.f64 (/.f64 #s(literal -1 binary64) x)))
(*.f64 (neg.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x))) (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) x))
(*.f64 (neg.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) x)) (sqrt.f64 (/.f64 #s(literal -1 binary64) x)))
(.f64 (.f64 (pow.f64 x #s(literal -3/4 binary64)) (pow.f64 x #s(literal -1/4 binary64))) (*.f64 (pow.f64 x #s(literal -3/4 binary64)) (pow.f64 x #s(literal -1/4 binary64))))
(.f64 (.f64 (pow.f64 x #s(literal -1/4 binary64)) (pow.f64 x #s(literal -3/4 binary64))) (*.f64 (pow.f64 x #s(literal -1/4 binary64)) (pow.f64 x #s(literal -3/4 binary64))))
(+.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x x))))
(exp.f64 (*.f64 #s(literal 3 binary64) (neg.f64 (log.f64 x))))
(exp.f64 (*.f64 (log.f64 x) #s(literal -3 binary64)))
(exp.f64 (+.f64 (neg.f64 (log.f64 x)) (*.f64 (log.f64 x) #s(literal -2 binary64))))
(exp.f64 (-.f64 (*.f64 (log.f64 x) #s(literal -2 binary64)) (log.f64 x)))
(exp.f64 (.f64 (.f64 (log.f64 x) #s(literal -2 binary64)) #s(literal 3/2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 x (*.f64 x x))) #s(literal -1 binary64)))
(exp.f64 (*.f64 (log.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) x)) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 x) #s(literal 3 binary64)) #s(literal -1 binary64)))
(exp.f64 (.f64 (.f64 (neg.f64 (log.f64 x)) #s(literal 3/2 binary64)) #s(literal 2 binary64)))
(exp.f64 (fma.f64 (neg.f64 (log.f64 x)) #s(literal 3/2 binary64) (*.f64 (neg.f64 (log.f64 x)) #s(literal 3/2 binary64))))
(exp.f64 (neg.f64 (*.f64 (log.f64 x) #s(literal 3 binary64))))
(exp.f64 (-.f64 (neg.f64 (log.f64 x)) (*.f64 #s(literal 2 binary64) (log.f64 x))))
(-.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x x))))
(-.f64 (/.f64 #s(literal 0 binary64) x) (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x x))))
(-.f64 (/.f64 #s(literal 0 binary64) (.f64 x x)) (/.f64 #s(literal -1 binary64) (.f64 x (*.f64 x x))))
(neg.f64 (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x x))))
(/.f64 (/.f64 #s(literal -1 binary64) x) (*.f64 x x))
(/.f64 (/.f64 #s(literal -1 binary64) (*.f64 x x)) x)
(/.f64 (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x x))) #s(literal -1 binary64))
(/.f64 (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x x))) #s(literal 1 binary64))
(/.f64 #s(literal -1 binary64) (.f64 x (.f64 x x)))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x x))) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (fma.f64 (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x x))) (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x x))) (.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) (.f64 x (*.f64 x x)))))))
(/.f64 (-.f64 #s(literal 0 binary64) (.f64 (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x x))) (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x x))))) (/.f64 #s(literal -1 binary64) (.f64 x (*.f64 x x))))
(pow.f64 x #s(literal -3 binary64))
(pow.f64 (/.f64 #s(literal -1 binary64) x) #s(literal 3 binary64))
(pow.f64 (/.f64 #s(literal -1 binary64) (*.f64 x x)) #s(literal 3/2 binary64))
(pow.f64 (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x x))) #s(literal 1 binary64))
(pow.f64 (.f64 x (.f64 x x)) #s(literal -1 binary64))
(pow.f64 (*.f64 x x) #s(literal -3/2 binary64))
(pow.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) #s(literal 6 binary64))
(pow.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) x) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 3 binary64)) (neg.f64 (log.f64 x)))
(.f64 (/.f64 #s(literal -1 binary64) x) (/.f64 #s(literal -1 binary64) (.f64 x x)))
(.f64 (/.f64 #s(literal -1 binary64) (.f64 x x)) (/.f64 #s(literal -1 binary64) x))
(.f64 (/.f64 #s(literal -1 binary64) (.f64 x (*.f64 x x))) #s(literal -1 binary64))
(.f64 (/.f64 #s(literal -1 binary64) (.f64 x (*.f64 x x))) #s(literal 1 binary64))
(.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (.f64 x (*.f64 x x))))
(.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) (.f64 x (*.f64 x x))))
(.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) (.f64 x x)))
(*.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) x) (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) x))
(*.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) x) (neg.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) x)))
(.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) x) (.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) x) #s(literal -1 binary64)))
(*.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) x) (pow.f64 (neg.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x))) #s(literal 3 binary64)))
(.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) x) (pow.f64 (.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) #s(literal -1 binary64)) #s(literal 3 binary64)))
(.f64 (neg.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x))) (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) (.f64 x x)))
(*.f64 (neg.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) x)) (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) x))
(*.f64 (neg.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) x)) (neg.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) x)))
(.f64 (neg.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) x)) (.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) x) #s(literal -1 binary64)))
(.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) (.f64 x x)) (sqrt.f64 (/.f64 #s(literal -1 binary64) x)))
(*.f64 (pow.f64 (neg.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x))) #s(literal 3 binary64)) (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) x))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) x) #s(literal 1 binary64)) (pow.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) x) #s(literal 1 binary64)))
(.f64 (.f64 (pow.f64 #s(literal -1 binary64) #s(literal 3/2 binary64)) (pow.f64 #s(literal -1 binary64) #s(literal 3/2 binary64))) (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x x))))
(.f64 (neg.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) (.f64 x x))) (sqrt.f64 (/.f64 #s(literal -1 binary64) x)))
(*.f64 (neg.f64 (neg.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) x))) (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) x))
(exp.f64 (*.f64 (neg.f64 (log.f64 x)) #s(literal 4 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 x) #s(literal -2 binary64)) #s(literal 2 binary64)))
(exp.f64 (+.f64 (neg.f64 (log.f64 x)) (*.f64 #s(literal 3 binary64) (neg.f64 (log.f64 x)))))
(exp.f64 (fma.f64 (log.f64 x) #s(literal -2 binary64) (*.f64 (log.f64 x) #s(literal -2 binary64))))
(exp.f64 (fma.f64 #s(literal 3 binary64) (neg.f64 (log.f64 x)) (neg.f64 (log.f64 x))))
(exp.f64 (*.f64 (log.f64 x) #s(literal -4 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 x (.f64 x (.f64 x x)))) #s(literal -1 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -2 binary64)))
(exp.f64 (+.f64 (neg.f64 (log.f64 x)) (*.f64 (log.f64 x) #s(literal -3 binary64))))
(exp.f64 (+.f64 (neg.f64 (log.f64 x)) (+.f64 (neg.f64 (log.f64 x)) (*.f64 (log.f64 x) #s(literal -2 binary64)))))
(exp.f64 (+.f64 (neg.f64 (log.f64 x)) (-.f64 (*.f64 (log.f64 x) #s(literal -2 binary64)) (log.f64 x))))
(exp.f64 (fma.f64 (log.f64 x) #s(literal -3 binary64) (neg.f64 (log.f64 x))))
(exp.f64 (+.f64 (+.f64 (neg.f64 (log.f64 x)) (*.f64 (log.f64 x) #s(literal -2 binary64))) (neg.f64 (log.f64 x))))
(exp.f64 (+.f64 (-.f64 (*.f64 (log.f64 x) #s(literal -2 binary64)) (log.f64 x)) (neg.f64 (log.f64 x))))
(exp.f64 (-.f64 (neg.f64 (log.f64 x)) (*.f64 (log.f64 x) #s(literal 3 binary64))))
(exp.f64 (-.f64 (.f64 (log.f64 x) #s(literal -2 binary64)) (.f64 #s(literal 2 binary64) (log.f64 x))))
(exp.f64 (-.f64 (*.f64 (log.f64 x) #s(literal -3 binary64)) (log.f64 x)))
(exp.f64 (-.f64 (+.f64 (neg.f64 (log.f64 x)) (*.f64 (log.f64 x) #s(literal -2 binary64))) (log.f64 x)))
(exp.f64 (-.f64 (-.f64 (*.f64 (log.f64 x) #s(literal -2 binary64)) (log.f64 x)) (log.f64 x)))
(-.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (*.f64 x x)))))
(-.f64 (/.f64 #s(literal 0 binary64) x) (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (*.f64 x x)))))
(-.f64 (/.f64 #s(literal 0 binary64) (.f64 x x)) (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (.f64 x x)))))
(-.f64 (/.f64 #s(literal 0 binary64) (.f64 x (.f64 x x))) (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (*.f64 x x)))))
(neg.f64 (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (*.f64 x x)))))
(/.f64 (/.f64 #s(literal -1 binary64) x) (.f64 x (.f64 x x)))
(/.f64 (/.f64 #s(literal -1 binary64) (.f64 x x)) (.f64 x x))
(/.f64 (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x x))) x)
(/.f64 (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (*.f64 x x)))) #s(literal -1 binary64))
(/.f64 (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (*.f64 x x)))) #s(literal 1 binary64))
(/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (*.f64 x x))))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x))))
(pow.f64 x #s(literal -4 binary64))
(pow.f64 (/.f64 #s(literal -1 binary64) x) #s(literal 4 binary64))
(pow.f64 (/.f64 #s(literal -1 binary64) (*.f64 x x)) #s(literal 2 binary64))
(pow.f64 (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (*.f64 x x)))) #s(literal 1 binary64))
(pow.f64 (.f64 x (.f64 x (*.f64 x x))) #s(literal -1 binary64))
(pow.f64 (*.f64 x x) #s(literal -2 binary64))
(pow.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) #s(literal 8 binary64))
(.f64 (/.f64 #s(literal -1 binary64) x) (/.f64 #s(literal -1 binary64) (.f64 x (*.f64 x x))))
(.f64 (/.f64 #s(literal -1 binary64) (.f64 x x)) (/.f64 #s(literal -1 binary64) (*.f64 x x)))
(.f64 (/.f64 #s(literal -1 binary64) (.f64 x (*.f64 x x))) (/.f64 #s(literal -1 binary64) x))
(.f64 (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (.f64 x x)))) #s(literal -1 binary64))
(.f64 (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (.f64 x x)))) #s(literal 1 binary64))
(.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (.f64 x x)))))
(.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (.f64 x x)))))
(.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) (.f64 x (*.f64 x x))))
(.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) x) (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) (.f64 x x)))
(.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) (.f64 x (*.f64 x x))) (sqrt.f64 (/.f64 #s(literal -1 binary64) x)))
(.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) (.f64 x x)) (/.f64 (sqrt.f64 (/.f64 #s(literal -1 binary64) x)) x))

simplify8.0ms (0%)

Memory

16.3MiB live, 16.3MiB allocated

Algorithm

1×	egg-herbie

Rules

28×	`lower-/.f32`
28×	`lower-/.f64`
18×	`associate-/r*`
16×	`lower-*.f64`
16×	`lower-*.f32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	216
1	17	204
2	23	204
3	31	204
4	38	204
5	40	204
0	40	204

Stop Event

1×	iter limit
1×	saturated

Counts

36 → 36

Calls

Call 1

Inputs
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 3))
(/ 1 (pow (fabs x) 3))
(/ 1 (pow (fabs x) 3))
(/ 1 (pow (fabs x) 3))
(/ 1 (pow (fabs x) 3))
(/ 1 (pow (fabs x) 3))
(/ 1 (pow (fabs x) 3))
(/ 1 (pow (fabs x) 3))
(/ 1 (pow (fabs x) 3))
(/ 1 (pow (fabs x) 3))
(/ 1 (pow (fabs x) 3))
(/ 1 (pow (fabs x) 3))
(/ 1 (pow (fabs x) 4))
(/ 1 (pow (fabs x) 4))
(/ 1 (pow (fabs x) 4))
(/ 1 (pow (fabs x) 4))
(/ 1 (pow (fabs x) 4))
(/ 1 (pow (fabs x) 4))
(/ 1 (pow (fabs x) 4))
(/ 1 (pow (fabs x) 4))
(/ 1 (pow (fabs x) 4))
(/ 1 (pow (fabs x) 4))
(/ 1 (pow (fabs x) 4))
(/ 1 (pow (fabs x) 4))

Outputs
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (fabs.f64 x))))
(/ 1 (pow (fabs x) 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (fabs.f64 x))))
(/ 1 (pow (fabs x) 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (fabs.f64 x))))
(/ 1 (pow (fabs x) 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (fabs.f64 x))))
(/ 1 (pow (fabs x) 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (fabs.f64 x))))
(/ 1 (pow (fabs x) 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (fabs.f64 x))))
(/ 1 (pow (fabs x) 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (fabs.f64 x))))
(/ 1 (pow (fabs x) 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (fabs.f64 x))))
(/ 1 (pow (fabs x) 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (fabs.f64 x))))
(/ 1 (pow (fabs x) 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (fabs.f64 x))))
(/ 1 (pow (fabs x) 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (fabs.f64 x))))
(/ 1 (pow (fabs x) 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (fabs.f64 x))))
(/ 1 (pow (fabs x) 4))
(/.f64 #s(literal 1 binary64) (pow.f64 (fabs.f64 x) #s(literal 4 binary64)))
(/ 1 (pow (fabs x) 4))
(/.f64 #s(literal 1 binary64) (pow.f64 (fabs.f64 x) #s(literal 4 binary64)))
(/ 1 (pow (fabs x) 4))
(/.f64 #s(literal 1 binary64) (pow.f64 (fabs.f64 x) #s(literal 4 binary64)))
(/ 1 (pow (fabs x) 4))
(/.f64 #s(literal 1 binary64) (pow.f64 (fabs.f64 x) #s(literal 4 binary64)))
(/ 1 (pow (fabs x) 4))
(/.f64 #s(literal 1 binary64) (pow.f64 (fabs.f64 x) #s(literal 4 binary64)))
(/ 1 (pow (fabs x) 4))
(/.f64 #s(literal 1 binary64) (pow.f64 (fabs.f64 x) #s(literal 4 binary64)))
(/ 1 (pow (fabs x) 4))
(/.f64 #s(literal 1 binary64) (pow.f64 (fabs.f64 x) #s(literal 4 binary64)))
(/ 1 (pow (fabs x) 4))
(/.f64 #s(literal 1 binary64) (pow.f64 (fabs.f64 x) #s(literal 4 binary64)))
(/ 1 (pow (fabs x) 4))
(/.f64 #s(literal 1 binary64) (pow.f64 (fabs.f64 x) #s(literal 4 binary64)))
(/ 1 (pow (fabs x) 4))
(/.f64 #s(literal 1 binary64) (pow.f64 (fabs.f64 x) #s(literal 4 binary64)))
(/ 1 (pow (fabs x) 4))
(/.f64 #s(literal 1 binary64) (pow.f64 (fabs.f64 x) #s(literal 4 binary64)))
(/ 1 (pow (fabs x) 4))
(/.f64 #s(literal 1 binary64) (pow.f64 (fabs.f64 x) #s(literal 4 binary64)))

eval83.0ms (0.2%)

Memory: -0.6MiB live, 150.9MiB allocated
Compiler: Compiled 46 184 to 2 285 computations (95.1% saved)

prune49.0ms (0.1%)

Memory

-18.2MiB live, 101.8MiB allocated

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	468	1	469
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	469	1	470

Accuracy

100.0%

Counts

470 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (.f64 x x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))

Status

Accuracy

Program

▶

100.0%

(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (*.f64 (/.f64 #s(literal 1 binary64) (*.f64 x (*.f64 x (*.f64 x x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))

Compiler

Compiled 94 to 36 computations (61.7% saved)

simplify0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

localize123.0ms (0.3%)

Memory

43.6MiB live, 191.0MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
✓	accuracy	99.8%	(.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))
✓	accuracy	99.6%	(*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))
✓	accuracy	99.1%	(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x))))
✓	accuracy	98.4%	(sqrt.f64 (PI.f64))

Samples

54.0ms

256×

valid

Compiler

Compiled 533 to 38 computations (92.9% saved)

Precisions

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

ival-mult: 22.0ms (55.1% of total)

ival-div: 8.0ms (20% of total)

ival-add: 3.0ms (7.5% of total)

ival-exp: 2.0ms (5% of total)

ival-sqrt: 2.0ms (5% of total)

ival-pi: 1.0ms (2.5% of total)

ival-fabs: 1.0ms (2.5% of total)

exact: 1.0ms (2.5% of total)

ival-assert: 0.0ms (0% of total)

ival-true: 0.0ms (0% of total)

series5.0ms (0%)

Memory

-33.9MiB live, 2.4MiB allocated

Counts

4 → 36

Calls

Call 1

Inputs
#<alt (sqrt.f64 (PI.f64))>
#<alt (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x))))>
#<alt (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))>
#<alt (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))>

Outputs
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 3))>
#<alt (/ 1 (pow (fabs x) 3))>
#<alt (/ 1 (pow (fabs x) 3))>
#<alt (/ 1 (pow (fabs x) 3))>
#<alt (/ 1 (pow (fabs x) 3))>
#<alt (/ 1 (pow (fabs x) 3))>
#<alt (/ 1 (pow (fabs x) 3))>
#<alt (/ 1 (pow (fabs x) 3))>
#<alt (/ 1 (pow (fabs x) 3))>
#<alt (/ 1 (pow (fabs x) 3))>
#<alt (/ 1 (pow (fabs x) 3))>
#<alt (/ 1 (pow (fabs x) 3))>

Calls

9 calls:

Time	Variable		Point	Expression
3.0ms	x	@	0	(* (/ 1 (fabs x)) (/ 1 (fabs x)))
1.0ms	x	@	0	(/ 1 (* x (* x (* x x))))
0.0ms	x	@	inf	(/ 1 (* x (* x (* x x))))
0.0ms	x	@	-inf	(/ 1 (* x (* x (* x x))))
0.0ms	x	@	inf	(* (/ 1 (fabs x)) (/ 1 (fabs x)))

rewrite195.0ms (0.4%)

Memory

38.9MiB live, 266.3MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

2 184×	`lower-*.f32`
2 174×	`lower-*.f64`
2 078×	`lower-fma.f64`
2 078×	`lower-fma.f32`
1 368×	`lower-pow.f64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	12	34
0	22	21
1	76	15
2	394	12
3	2239	11
0	8367	11

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

4 → 263

Calls

Call 1

Inputs
(sqrt.f64 (PI.f64))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x))))
(*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))
(.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))

Outputs
(log.f64 (exp.f64 (sqrt.f64 (PI.f64))))
(exp.f64 (*.f64 #s(literal 1/2 binary64) (log.f64 (PI.f64))))
(exp.f64 (.f64 (.f64 (log.f64 (PI.f64)) #s(literal 1/3 binary64)) #s(literal 3/2 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 2 binary64) (log.f64 (PI.f64))) #s(literal 1/4 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 (PI.f64))) #s(literal 1/6 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 (PI.f64) (sqrt.f64 (PI.f64)))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 1/6 binary64) (log.f64 (PI.f64))) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 (PI.f64)) #s(literal 1/4 binary64)) #s(literal 2 binary64)))
(fabs.f64 (sqrt.f64 (PI.f64)))
(fabs.f64 (neg.f64 (sqrt.f64 (PI.f64))))
(fabs.f64 (neg.f64 (neg.f64 (sqrt.f64 (PI.f64)))))
(sqrt.f64 (PI.f64))
(cbrt.f64 (*.f64 (PI.f64) (sqrt.f64 (PI.f64))))
(pow.f64 (PI.f64) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 (PI.f64)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (PI.f64)) #s(literal 3/2 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 3/4 binary64))
(pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 1/4 binary64))
(pow.f64 (.f64 (PI.f64) (.f64 (PI.f64) (PI.f64))) #s(literal 1/6 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) #s(literal 3 binary64))
(pow.f64 (E.f64) (*.f64 #s(literal 1/2 binary64) (log.f64 (PI.f64))))
(pow.f64 (E.f64) (/.f64 (log.f64 (PI.f64)) #s(literal 2 binary64)))
(pow.f64 (.f64 (.f64 (PI.f64) (PI.f64)) (.f64 (PI.f64) (.f64 (PI.f64) (*.f64 (PI.f64) (PI.f64))))) #s(literal 1/12 binary64))
(pow.f64 (sqrt.f64 (sqrt.f64 (PI.f64))) #s(literal 2 binary64))
(pow.f64 (*.f64 (PI.f64) (sqrt.f64 (PI.f64))) #s(literal 1/3 binary64))
(pow.f64 (.f64 (PI.f64) (.f64 (PI.f64) (*.f64 (PI.f64) (PI.f64)))) #s(literal 1/8 binary64))
(pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 (PI.f64)))
(*.f64 (sqrt.f64 (PI.f64)) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64)))
(*.f64 (cbrt.f64 (PI.f64)) (pow.f64 (PI.f64) #s(literal 1/6 binary64)))
(*.f64 (cbrt.f64 (PI.f64)) (pow.f64 (cbrt.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64))) #s(literal 3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) (cbrt.f64 (PI.f64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) (log.f64 (exp.f64 (cbrt.f64 (PI.f64)))))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (cbrt.f64 (pow.f64 (PI.f64) #s(literal 5/6 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (cbrt.f64 (pow.f64 (PI.f64) #s(literal 7/6 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (sqrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 7/3 binary64))))
(*.f64 (sqrt.f64 (sqrt.f64 (PI.f64))) (sqrt.f64 (sqrt.f64 (PI.f64))))
(*.f64 (sqrt.f64 (sqrt.f64 (PI.f64))) (log.f64 (exp.f64 (sqrt.f64 (sqrt.f64 (PI.f64))))))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 4/3 binary64)) (cbrt.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/12 binary64)) (sqrt.f64 (pow.f64 (PI.f64) #s(literal 5/6 binary64))))
(.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (PI.f64)))) (cbrt.f64 (.f64 (PI.f64) (sqrt.f64 (sqrt.f64 (PI.f64))))))
(.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (PI.f64)))) (sqrt.f64 (sqrt.f64 (.f64 (PI.f64) (sqrt.f64 (PI.f64))))))
(.f64 (cbrt.f64 (sqrt.f64 (.f64 (PI.f64) (sqrt.f64 (PI.f64))))) (cbrt.f64 (sqrt.f64 (*.f64 (PI.f64) (sqrt.f64 (PI.f64))))))
(*.f64 (cbrt.f64 (pow.f64 (PI.f64) #s(literal 5/6 binary64))) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(*.f64 (cbrt.f64 (pow.f64 (PI.f64) #s(literal 7/6 binary64))) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(.f64 (cbrt.f64 (.f64 (PI.f64) (sqrt.f64 (sqrt.f64 (PI.f64))))) (cbrt.f64 (sqrt.f64 (sqrt.f64 (PI.f64)))))
(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (PI.f64)))) #s(literal 3 binary64)) (pow.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (PI.f64)))) #s(literal 3 binary64)))
(*.f64 (sqrt.f64 (pow.f64 (PI.f64) #s(literal 5/6 binary64))) (pow.f64 (PI.f64) #s(literal 1/12 binary64)))
(.f64 (sqrt.f64 (sqrt.f64 (.f64 (PI.f64) (sqrt.f64 (PI.f64))))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (PI.f64)))))
(*.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)))) (sqrt.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(exp.f64 (*.f64 #s(literal -4 binary64) (log.f64 x)))
(exp.f64 (.f64 (.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -2 binary64)))
(exp.f64 (*.f64 (log.f64 x) #s(literal -4 binary64)))
(exp.f64 (*.f64 (neg.f64 (log.f64 x)) #s(literal 4 binary64)))
(exp.f64 (.f64 (log.f64 (/.f64 #s(literal 1 binary64) (.f64 x x))) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 (.f64 x (.f64 (.f64 x x) x)) (.f64 x (.f64 (.f64 x x) x)))) #s(literal -1/2 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x))) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 (log.f64 x) #s(literal 4 binary64)) #s(literal -1/2 binary64)) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64)) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 x) #s(literal -2 binary64)) #s(literal 2 binary64)))
(exp.f64 (.f64 (neg.f64 (.f64 #s(literal 2 binary64) (log.f64 x))) #s(literal 2 binary64)))
(exp.f64 (+.f64 (neg.f64 (log.f64 x)) (*.f64 (log.f64 x) #s(literal -3 binary64))))
(exp.f64 (+.f64 (neg.f64 (log.f64 x)) (*.f64 #s(literal 3 binary64) (neg.f64 (log.f64 x)))))
(exp.f64 (+.f64 (neg.f64 (log.f64 x)) (+.f64 (neg.f64 (log.f64 x)) (*.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x))))))
(exp.f64 (+.f64 (neg.f64 (log.f64 x)) (fma.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x)) (neg.f64 (log.f64 x)))))
(exp.f64 (+.f64 (neg.f64 (log.f64 x)) (-.f64 (neg.f64 (log.f64 x)) (*.f64 #s(literal 2 binary64) (log.f64 x)))))
(exp.f64 (fma.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x)) (.f64 (.f64 (log.f64 x) #s(literal 4 binary64)) #s(literal -1/2 binary64))))
(exp.f64 (fma.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x)) (.f64 (.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64))))
(exp.f64 (fma.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x)) (*.f64 (log.f64 x) #s(literal -2 binary64))))
(exp.f64 (fma.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x)) (log.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)))))
(exp.f64 (fma.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x)) (neg.f64 (*.f64 #s(literal 2 binary64) (log.f64 x)))))
(exp.f64 (fma.f64 (.f64 (log.f64 x) #s(literal 4 binary64)) #s(literal -1/2 binary64) (.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x)))))
(exp.f64 (fma.f64 (.f64 (log.f64 x) #s(literal 4 binary64)) #s(literal -1/2 binary64) (.f64 (*.f64 (log.f64 x) #s(literal 4 binary64)) #s(literal -1/2 binary64))))
(exp.f64 (fma.f64 (.f64 (log.f64 x) #s(literal 4 binary64)) #s(literal -1/2 binary64) (.f64 (*.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64))))
(exp.f64 (fma.f64 (.f64 (log.f64 x) #s(literal 4 binary64)) #s(literal -1/2 binary64) (.f64 (log.f64 x) #s(literal -2 binary64))))
(exp.f64 (fma.f64 (.f64 (log.f64 x) #s(literal 4 binary64)) #s(literal -1/2 binary64) (log.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)))))
(exp.f64 (fma.f64 (.f64 (log.f64 x) #s(literal 4 binary64)) #s(literal -1/2 binary64) (neg.f64 (.f64 #s(literal 2 binary64) (log.f64 x)))))
(exp.f64 (fma.f64 (.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64) (.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x)))))
(exp.f64 (fma.f64 (.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64) (.f64 (*.f64 (log.f64 x) #s(literal 4 binary64)) #s(literal -1/2 binary64))))
(exp.f64 (fma.f64 (.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64) (.f64 (*.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64))))
(exp.f64 (fma.f64 (.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64) (.f64 (log.f64 x) #s(literal -2 binary64))))
(exp.f64 (fma.f64 (.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64) (log.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)))))
(exp.f64 (fma.f64 (.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64) (neg.f64 (.f64 #s(literal 2 binary64) (log.f64 x)))))
(exp.f64 (fma.f64 (log.f64 x) #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x)))))
(exp.f64 (fma.f64 (log.f64 x) #s(literal -2 binary64) (.f64 (.f64 (log.f64 x) #s(literal 4 binary64)) #s(literal -1/2 binary64))))
(exp.f64 (fma.f64 (log.f64 x) #s(literal -2 binary64) (.f64 (.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64))))
(exp.f64 (fma.f64 (log.f64 x) #s(literal -2 binary64) (*.f64 (log.f64 x) #s(literal -2 binary64))))
(exp.f64 (fma.f64 (log.f64 x) #s(literal -2 binary64) (log.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)))))
(exp.f64 (fma.f64 (log.f64 x) #s(literal -2 binary64) (neg.f64 (*.f64 #s(literal 2 binary64) (log.f64 x)))))
(exp.f64 (+.f64 (log.f64 (/.f64 #s(literal 1 binary64) (.f64 x x))) (.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x)))))
(exp.f64 (+.f64 (log.f64 (/.f64 #s(literal 1 binary64) (.f64 x x))) (.f64 (*.f64 (log.f64 x) #s(literal 4 binary64)) #s(literal -1/2 binary64))))
(exp.f64 (+.f64 (log.f64 (/.f64 #s(literal 1 binary64) (.f64 x x))) (.f64 (*.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64))))
(exp.f64 (+.f64 (log.f64 (/.f64 #s(literal 1 binary64) (.f64 x x))) (.f64 (log.f64 x) #s(literal -2 binary64))))
(exp.f64 (+.f64 (log.f64 (/.f64 #s(literal 1 binary64) (.f64 x x))) (neg.f64 (.f64 #s(literal 2 binary64) (log.f64 x)))))
(exp.f64 (+.f64 (neg.f64 (.f64 #s(literal 2 binary64) (log.f64 x))) (.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x)))))
(exp.f64 (+.f64 (neg.f64 (.f64 #s(literal 2 binary64) (log.f64 x))) (.f64 (*.f64 (log.f64 x) #s(literal 4 binary64)) #s(literal -1/2 binary64))))
(exp.f64 (+.f64 (neg.f64 (.f64 #s(literal 2 binary64) (log.f64 x))) (.f64 (*.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64))))
(exp.f64 (+.f64 (neg.f64 (.f64 #s(literal 2 binary64) (log.f64 x))) (.f64 (log.f64 x) #s(literal -2 binary64))))
(exp.f64 (+.f64 (neg.f64 (.f64 #s(literal 2 binary64) (log.f64 x))) (log.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)))))
(exp.f64 (+.f64 (neg.f64 (.f64 #s(literal 2 binary64) (log.f64 x))) (neg.f64 (.f64 #s(literal 2 binary64) (log.f64 x)))))
(exp.f64 (fma.f64 (log.f64 x) #s(literal -3 binary64) (neg.f64 (log.f64 x))))
(exp.f64 (fma.f64 #s(literal 3 binary64) (neg.f64 (log.f64 x)) (neg.f64 (log.f64 x))))
(exp.f64 (+.f64 (+.f64 (neg.f64 (log.f64 x)) (*.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x)))) (neg.f64 (log.f64 x))))
(exp.f64 (+.f64 (fma.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x)) (neg.f64 (log.f64 x))) (neg.f64 (log.f64 x))))
(exp.f64 (+.f64 (-.f64 (neg.f64 (log.f64 x)) (*.f64 #s(literal 2 binary64) (log.f64 x))) (neg.f64 (log.f64 x))))
(exp.f64 (+.f64 (neg.f64 (log.f64 x)) (.f64 (.f64 #s(literal 3 binary64) (log.f64 x)) #s(literal -1 binary64))))
(exp.f64 (+.f64 (neg.f64 (log.f64 x)) (neg.f64 (*.f64 #s(literal 3 binary64) (log.f64 x)))))
(exp.f64 (fma.f64 (*.f64 #s(literal 3 binary64) (log.f64 x)) #s(literal -1 binary64) (neg.f64 (log.f64 x))))
(exp.f64 (+.f64 (neg.f64 (*.f64 #s(literal 3 binary64) (log.f64 x))) (neg.f64 (log.f64 x))))
(exp.f64 (-.f64 (.f64 (.f64 (log.f64 x) #s(literal 4 binary64)) #s(literal -1/2 binary64)) (*.f64 #s(literal 2 binary64) (log.f64 x))))
(exp.f64 (-.f64 (.f64 (.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64)) (*.f64 #s(literal 2 binary64) (log.f64 x))))
(exp.f64 (-.f64 (.f64 (log.f64 x) #s(literal -2 binary64)) (.f64 #s(literal 2 binary64) (log.f64 x))))
(exp.f64 (-.f64 (neg.f64 (.f64 #s(literal 2 binary64) (log.f64 x))) (.f64 #s(literal 2 binary64) (log.f64 x))))
(exp.f64 (-.f64 (*.f64 (log.f64 x) #s(literal -3 binary64)) (log.f64 x)))
(exp.f64 (-.f64 (*.f64 #s(literal 3 binary64) (neg.f64 (log.f64 x))) (log.f64 x)))
(exp.f64 (-.f64 (+.f64 (neg.f64 (log.f64 x)) (*.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x)))) (log.f64 x)))
(exp.f64 (-.f64 (fma.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x)) (neg.f64 (log.f64 x))) (log.f64 x)))
(exp.f64 (-.f64 (-.f64 (neg.f64 (log.f64 x)) (*.f64 #s(literal 2 binary64) (log.f64 x))) (log.f64 x)))
(exp.f64 (-.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 x)) #s(literal -1 binary64)) (log.f64 x)))
(exp.f64 (-.f64 (neg.f64 (*.f64 #s(literal 3 binary64) (log.f64 x))) (log.f64 x)))
(-.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 (*.f64 x x) x))))
(-.f64 (/.f64 #s(literal 0 binary64) (.f64 x x)) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 (.f64 x x) x))))
(-.f64 (/.f64 #s(literal 0 binary64) (.f64 (.f64 x x) x)) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 (*.f64 x x) x))))
(neg.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 (*.f64 x x) x))))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 (*.f64 x x) x)))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (*.f64 x x))))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 (*.f64 x x) x))) #s(literal 1 binary64))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 (*.f64 x x) x))) #s(literal -1 binary64))
(/.f64 (/.f64 #s(literal 1 binary64) x) (.f64 (.f64 x x) x))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) (.f64 x x))
(/.f64 #s(literal -1 binary64) (.f64 x (.f64 (*.f64 x x) x)))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x)) x)
(/.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (*.f64 x x)) (/.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) x))))
(/.f64 (neg.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (*.f64 x x))) (neg.f64 (/.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 (.f64 x x) x))) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (fma.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 (.f64 x x) x))) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 (.f64 x x) x))) (.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 (*.f64 x x) x)))))))
(pow.f64 (*.f64 x x) #s(literal -2 binary64))
(pow.f64 (.f64 x (.f64 (*.f64 x x) x)) #s(literal -1 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 (*.f64 x x) x))) #s(literal 1 binary64))
(pow.f64 x #s(literal -4 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 4 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)) #s(literal 2 binary64))
(pow.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal 8 binary64))
(pow.f64 (.f64 (.f64 x (.f64 (.f64 x x) x)) (.f64 x (.f64 (*.f64 x x) x))) #s(literal -1/2 binary64))
(pow.f64 (exp.f64 #s(literal -1 binary64)) (*.f64 (log.f64 x) #s(literal 4 binary64)))
(.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 (.f64 x x) x))))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 (.f64 x x) x))) #s(literal 1 binary64))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 (.f64 x x) x))) #s(literal -1 binary64))
(.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 #s(literal 1 binary64) (.f64 (*.f64 x x) x)))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) (/.f64 #s(literal 1 binary64) (*.f64 x x)))
(.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 (.f64 x x) x))))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 (*.f64 x x) x)) (/.f64 #s(literal 1 binary64) x))
(.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (.f64 x x)))
(exp.f64 (*.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x))))
(exp.f64 (.f64 (.f64 (log.f64 x) #s(literal 4 binary64)) #s(literal -1/2 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64)))
(exp.f64 (*.f64 (log.f64 x) #s(literal -2 binary64)))
(exp.f64 (log.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x))))
(exp.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (log.f64 x))))
(exp.f64 (.f64 (log.f64 (/.f64 #s(literal 1 binary64) (.f64 x x))) #s(literal 1 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x))) #s(literal 1 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 (log.f64 x) #s(literal 4 binary64)) #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64)) #s(literal 1 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 x) #s(literal -2 binary64)) #s(literal 1 binary64)))
(exp.f64 (.f64 (neg.f64 (.f64 #s(literal 2 binary64) (log.f64 x))) #s(literal 1 binary64)))
(exp.f64 (-.f64 (neg.f64 (log.f64 x)) (log.f64 x)))
(-.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) (*.f64 x x)))
(-.f64 (/.f64 #s(literal 0 binary64) x) (/.f64 #s(literal 1 binary64) (*.f64 x x)))
(neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)) #s(literal 1 binary64))
(/.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)) #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) (*.f64 x x))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (+.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 (.f64 x x) x))) (.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) (.f64 x x))))))
(pow.f64 (*.f64 x x) #s(literal -1 binary64))
(pow.f64 (.f64 x (.f64 (*.f64 x x) x)) #s(literal -1/2 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 (*.f64 x x) x))) #s(literal 1/2 binary64))
(pow.f64 x #s(literal -2 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 2 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)) #s(literal 1 binary64))
(pow.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal 4 binary64))
(pow.f64 (.f64 (.f64 x (.f64 (.f64 x x) x)) (.f64 x (.f64 (*.f64 x x) x))) #s(literal -1/4 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (neg.f64 (log.f64 x)))
(.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x x)))
(*.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 #s(literal 1 binary64) x))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) #s(literal 1 binary64))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x x)))
(*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x))
(*.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(*.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x) (/.f64 #s(literal 1 binary64) (sqrt.f64 x)))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 x)) #s(literal -1 binary64)))
(exp.f64 (*.f64 (log.f64 x) #s(literal -3 binary64)))
(exp.f64 (*.f64 #s(literal 3 binary64) (neg.f64 (log.f64 x))))
(exp.f64 (+.f64 (neg.f64 (log.f64 x)) (*.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x)))))
(exp.f64 (fma.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x)) (neg.f64 (log.f64 x))))
(exp.f64 (neg.f64 (*.f64 #s(literal 3 binary64) (log.f64 x))))
(exp.f64 (-.f64 (neg.f64 (log.f64 x)) (*.f64 #s(literal 2 binary64) (log.f64 x))))
(exp.f64 (.f64 (log.f64 (/.f64 #s(literal 1 binary64) (.f64 x x))) #s(literal 3/2 binary64)))
(exp.f64 (*.f64 (log.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x)) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x))) #s(literal 3/2 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 (log.f64 x) #s(literal 4 binary64)) #s(literal -1/2 binary64)) #s(literal 3/2 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64)) #s(literal 3/2 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 x) #s(literal -2 binary64)) #s(literal 3/2 binary64)))
(exp.f64 (.f64 (neg.f64 (.f64 #s(literal 2 binary64) (log.f64 x))) #s(literal 3/2 binary64)))
(exp.f64 (.f64 (.f64 (neg.f64 (log.f64 x)) #s(literal 3/2 binary64)) #s(literal 2 binary64)))
(exp.f64 (+.f64 (neg.f64 (log.f64 x)) (.f64 (.f64 (log.f64 x) #s(literal 4 binary64)) #s(literal -1/2 binary64))))
(exp.f64 (+.f64 (neg.f64 (log.f64 x)) (.f64 (.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64))))
(exp.f64 (+.f64 (neg.f64 (log.f64 x)) (*.f64 (log.f64 x) #s(literal -2 binary64))))
(exp.f64 (+.f64 (neg.f64 (log.f64 x)) (log.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)))))
(exp.f64 (+.f64 (neg.f64 (log.f64 x)) (neg.f64 (*.f64 #s(literal 2 binary64) (log.f64 x)))))
(exp.f64 (fma.f64 (*.f64 (log.f64 x) #s(literal 4 binary64)) #s(literal -1/2 binary64) (neg.f64 (log.f64 x))))
(exp.f64 (fma.f64 (*.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64) (neg.f64 (log.f64 x))))
(exp.f64 (fma.f64 (log.f64 x) #s(literal -2 binary64) (neg.f64 (log.f64 x))))
(exp.f64 (+.f64 (log.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x))) (neg.f64 (log.f64 x))))
(exp.f64 (+.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (log.f64 x))) (neg.f64 (log.f64 x))))
(exp.f64 (fma.f64 (neg.f64 (log.f64 x)) #s(literal 3/2 binary64) (*.f64 (neg.f64 (log.f64 x)) #s(literal 3/2 binary64))))
(exp.f64 (-.f64 (*.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x))) (log.f64 x)))
(exp.f64 (-.f64 (.f64 (.f64 (log.f64 x) #s(literal 4 binary64)) #s(literal -1/2 binary64)) (log.f64 x)))
(exp.f64 (-.f64 (.f64 (.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64)) (log.f64 x)))
(exp.f64 (-.f64 (*.f64 (log.f64 x) #s(literal -2 binary64)) (log.f64 x)))
(exp.f64 (-.f64 (log.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x))) (log.f64 x)))
(exp.f64 (-.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (log.f64 x))) (log.f64 x)))
(-.f64 (/.f64 #s(literal 0 binary64) (.f64 x x)) (/.f64 #s(literal 1 binary64) (.f64 (*.f64 x x) x)))
(-.f64 (/.f64 #s(literal 0 binary64) x) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x)))
(neg.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x)))
(/.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x)))
(/.f64 (/.f64 #s(literal 1 binary64) x) (*.f64 x x))
(/.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)) x)
(/.f64 #s(literal -1 binary64) (.f64 (.f64 x x) x))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x)) #s(literal 1 binary64))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x)) #s(literal -1 binary64))
(/.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x) (/.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) x))))
(/.f64 (neg.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x)) (neg.f64 (/.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))))
(pow.f64 (*.f64 x x) #s(literal -3/2 binary64))
(pow.f64 (.f64 x (.f64 (*.f64 x x) x)) #s(literal -3/4 binary64))
(pow.f64 x #s(literal -3 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)) #s(literal 3/2 binary64))
(pow.f64 (.f64 (.f64 x x) x) #s(literal -1 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x)) #s(literal 1 binary64))
(pow.f64 (/.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) #s(literal -2 binary64))
(pow.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal 6 binary64))
(pow.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x) #s(literal 2 binary64))
(pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 (*.f64 x x) x))) #s(literal -1/2 binary64))
(pow.f64 (.f64 (.f64 x (.f64 (.f64 x x) x)) (*.f64 x x)) #s(literal -1/2 binary64))
(pow.f64 (.f64 (.f64 (.f64 x x) x) (.f64 (*.f64 x x) x)) #s(literal -1/2 binary64))
(pow.f64 (exp.f64 #s(literal 3 binary64)) (neg.f64 (log.f64 x)))
(.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 (*.f64 x x) x)))
(.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 #s(literal 1 binary64) (.f64 x x)))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) (/.f64 #s(literal 1 binary64) x))
(.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (.f64 (*.f64 x x) x)))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 (*.f64 x x) x)) #s(literal 1 binary64))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 (*.f64 x x) x)) #s(literal -1 binary64))
(.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (.f64 x x)))
(*.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x))
(*.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x) (pow.f64 (neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) #s(literal 3 binary64)))
(.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x) (pow.f64 (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal -1 binary64)) #s(literal 3 binary64)))
(.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (.f64 x x)) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(.f64 (pow.f64 (.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) #s(literal 3 binary64)) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x))
(*.f64 (pow.f64 (neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) #s(literal 3 binary64)) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x))
(.f64 (pow.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) #s(literal 3 binary64)) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x))

simplify12.0ms (0%)

Memory

-20.1MiB live, 16.3MiB allocated

Algorithm

1×	egg-herbie

Rules

28×	`lower-/.f32`
28×	`lower-/.f64`
16×	`lower-*.f64`
16×	`lower-*.f32`
16×	`associate-/r*`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	204
1	17	192
2	23	192
3	31	192
4	38	192
5	39	192
0	39	192

Stop Event

1×	iter limit
1×	saturated

Counts

36 → 36

Calls

Call 1

Inputs
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 3))
(/ 1 (pow (fabs x) 3))
(/ 1 (pow (fabs x) 3))
(/ 1 (pow (fabs x) 3))
(/ 1 (pow (fabs x) 3))
(/ 1 (pow (fabs x) 3))
(/ 1 (pow (fabs x) 3))
(/ 1 (pow (fabs x) 3))
(/ 1 (pow (fabs x) 3))
(/ 1 (pow (fabs x) 3))
(/ 1 (pow (fabs x) 3))
(/ 1 (pow (fabs x) 3))

Outputs
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (fabs.f64 x))))
(/ 1 (pow (fabs x) 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (fabs.f64 x))))
(/ 1 (pow (fabs x) 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (fabs.f64 x))))
(/ 1 (pow (fabs x) 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (fabs.f64 x))))
(/ 1 (pow (fabs x) 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (fabs.f64 x))))
(/ 1 (pow (fabs x) 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (fabs.f64 x))))
(/ 1 (pow (fabs x) 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (fabs.f64 x))))
(/ 1 (pow (fabs x) 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (fabs.f64 x))))
(/ 1 (pow (fabs x) 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (fabs.f64 x))))
(/ 1 (pow (fabs x) 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (fabs.f64 x))))
(/ 1 (pow (fabs x) 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (fabs.f64 x))))
(/ 1 (pow (fabs x) 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (fabs.f64 x))))

eval93.0ms (0.2%)

Memory: 42.5MiB live, 181.8MiB allocated
Compiler: Compiled 39 841 to 2 597 computations (93.5% saved)

prune57.0ms (0.1%)

Memory

-13.3MiB live, 106.0MiB allocated

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	433	1	434
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	434	1	435

Accuracy

100.0%

Counts

435 → 1

Alt Table

Click to see full alt table

Status

Accuracy

Program

▶

100.0%

(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) (*.f64 (*.f64 x x) x)))) (*.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (*.f64 (/.f64 #s(literal 1 binary64) (*.f64 x (*.f64 x (*.f64 x x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))

Compiler

Compiled 87 to 38 computations (56.3% saved)

simplify0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

localize149.0ms (0.3%)

Memory

1.1MiB live, 219.6MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
✓	accuracy	99.6%	(/.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x))
✓	accuracy	99.6%	(*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))
✓	accuracy	99.1%	(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x))))
✓	accuracy	98.4%	(sqrt.f64 (PI.f64))

Samples

92.0ms

256×

valid

Compiler

Compiled 510 to 40 computations (92.2% saved)

Precisions

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

ival-add: 35.0ms (48.3% of total)

ival-mult: 21.0ms (29% of total)

ival-div: 10.0ms (13.8% of total)

ival-exp: 2.0ms (2.8% of total)

ival-sqrt: 2.0ms (2.8% of total)

ival-pi: 1.0ms (1.4% of total)

ival-fabs: 1.0ms (1.4% of total)

exact: 1.0ms (1.4% of total)

ival-assert: 0.0ms (0% of total)

ival-true: 0.0ms (0% of total)

series1.0ms (0%)

Memory

2.9MiB live, 2.9MiB allocated

Counts

4 → 36

Calls

Call 1

Inputs
#<alt (sqrt.f64 (PI.f64))>
#<alt (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x))))>
#<alt (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))>
#<alt (/.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x))>

Outputs
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow (fabs x) 2))>
#<alt (/ 1 (pow x 3))>
#<alt (/ 1 (pow x 3))>
#<alt (/ 1 (pow x 3))>
#<alt (/ 1 (pow x 3))>
#<alt (/ 1 (pow x 3))>
#<alt (/ 1 (pow x 3))>
#<alt (/ 1 (pow x 3))>
#<alt (/ 1 (pow x 3))>
#<alt (/ 1 (pow x 3))>
#<alt (/ 1 (pow x 3))>
#<alt (/ 1 (pow x 3))>
#<alt (/ 1 (pow x 3))>

Calls

9 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(/ 1 (* (* x x) x))
0.0ms	x	@	-inf	(/ 1 (* (* x x) x))
0.0ms	x	@	inf	(/ 1 (* (* x x) x))
0.0ms	x	@	0	(/ 1 (* x (* x (* x x))))
0.0ms	x	@	inf	(* (/ 1 (fabs x)) (/ 1 (fabs x)))

rewrite162.0ms (0.4%)

Memory

-17.6MiB live, 258.6MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

2 152×	`lower-*.f32`
2 142×	`lower-*.f64`
1 952×	`lower-fma.f64`
1 952×	`lower-fma.f32`
1 376×	`lower-pow.f64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	13	27
0	24	20
1	83	13
2	376	11
3	2266	11
0	8364	11

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

4 → 222

Calls

Call 1

Inputs
(sqrt.f64 (PI.f64))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x))))
(*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x)))
(/.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x))

Outputs
(log.f64 (exp.f64 (sqrt.f64 (PI.f64))))
(exp.f64 (*.f64 #s(literal 1/2 binary64) (log.f64 (PI.f64))))
(exp.f64 (.f64 (.f64 (log.f64 (PI.f64)) #s(literal 1/3 binary64)) #s(literal 3/2 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 2 binary64) (log.f64 (PI.f64))) #s(literal 1/4 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 (PI.f64))) #s(literal 1/6 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 (PI.f64) (sqrt.f64 (PI.f64)))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 1/6 binary64) (log.f64 (PI.f64))) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 (PI.f64)) #s(literal 1/4 binary64)) #s(literal 2 binary64)))
(fabs.f64 (sqrt.f64 (PI.f64)))
(fabs.f64 (neg.f64 (sqrt.f64 (PI.f64))))
(fabs.f64 (neg.f64 (neg.f64 (sqrt.f64 (PI.f64)))))
(sqrt.f64 (PI.f64))
(cbrt.f64 (*.f64 (PI.f64) (sqrt.f64 (PI.f64))))
(pow.f64 (PI.f64) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 (PI.f64)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (PI.f64)) #s(literal 3/2 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 2/3 binary64)) #s(literal 3/4 binary64))
(pow.f64 (*.f64 (PI.f64) (PI.f64)) #s(literal 1/4 binary64))
(pow.f64 (.f64 (PI.f64) (.f64 (PI.f64) (PI.f64))) #s(literal 1/6 binary64))
(pow.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) #s(literal 3 binary64))
(pow.f64 (E.f64) (*.f64 #s(literal 1/2 binary64) (log.f64 (PI.f64))))
(pow.f64 (E.f64) (/.f64 (log.f64 (PI.f64)) #s(literal 2 binary64)))
(pow.f64 (.f64 (.f64 (PI.f64) (PI.f64)) (.f64 (PI.f64) (.f64 (PI.f64) (*.f64 (PI.f64) (PI.f64))))) #s(literal 1/12 binary64))
(pow.f64 (sqrt.f64 (sqrt.f64 (PI.f64))) #s(literal 2 binary64))
(pow.f64 (*.f64 (PI.f64) (sqrt.f64 (PI.f64))) #s(literal 1/3 binary64))
(pow.f64 (.f64 (PI.f64) (.f64 (PI.f64) (*.f64 (PI.f64) (PI.f64)))) #s(literal 1/8 binary64))
(pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 (PI.f64)))
(*.f64 (sqrt.f64 (PI.f64)) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64)))
(*.f64 (cbrt.f64 (PI.f64)) (pow.f64 (PI.f64) #s(literal 1/6 binary64)))
(*.f64 (cbrt.f64 (PI.f64)) (pow.f64 (cbrt.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64))) #s(literal 3 binary64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) (cbrt.f64 (PI.f64)))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64)) (log.f64 (exp.f64 (cbrt.f64 (PI.f64)))))
(*.f64 (pow.f64 (PI.f64) #s(literal 2/9 binary64)) (cbrt.f64 (pow.f64 (PI.f64) #s(literal 5/6 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (cbrt.f64 (pow.f64 (PI.f64) #s(literal 7/6 binary64))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64)) (sqrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 7/3 binary64))))
(*.f64 (sqrt.f64 (sqrt.f64 (PI.f64))) (sqrt.f64 (sqrt.f64 (PI.f64))))
(*.f64 (sqrt.f64 (sqrt.f64 (PI.f64))) (log.f64 (exp.f64 (sqrt.f64 (sqrt.f64 (PI.f64))))))
(*.f64 (pow.f64 (PI.f64) #s(literal 1/12 binary64)) (sqrt.f64 (pow.f64 (PI.f64) #s(literal 5/6 binary64))))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) #s(literal 4/3 binary64)) (cbrt.f64 (pow.f64 (PI.f64) #s(literal 1/6 binary64))))
(.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (PI.f64)))) (cbrt.f64 (.f64 (PI.f64) (sqrt.f64 (sqrt.f64 (PI.f64))))))
(.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (PI.f64)))) (sqrt.f64 (sqrt.f64 (.f64 (PI.f64) (sqrt.f64 (PI.f64))))))
(*.f64 (cbrt.f64 (pow.f64 (PI.f64) #s(literal 7/6 binary64))) (pow.f64 (PI.f64) #s(literal 1/9 binary64)))
(*.f64 (cbrt.f64 (pow.f64 (PI.f64) #s(literal 5/6 binary64))) (pow.f64 (PI.f64) #s(literal 2/9 binary64)))
(.f64 (cbrt.f64 (.f64 (PI.f64) (sqrt.f64 (sqrt.f64 (PI.f64))))) (cbrt.f64 (sqrt.f64 (sqrt.f64 (PI.f64)))))
(.f64 (cbrt.f64 (sqrt.f64 (.f64 (PI.f64) (sqrt.f64 (PI.f64))))) (cbrt.f64 (sqrt.f64 (*.f64 (PI.f64) (sqrt.f64 (PI.f64))))))
(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (PI.f64)))) #s(literal 3 binary64)) (pow.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (PI.f64)))) #s(literal 3 binary64)))
(*.f64 (sqrt.f64 (pow.f64 (PI.f64) #s(literal 5/6 binary64))) (pow.f64 (PI.f64) #s(literal 1/12 binary64)))
(.f64 (sqrt.f64 (sqrt.f64 (.f64 (PI.f64) (sqrt.f64 (PI.f64))))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (PI.f64)))))
(*.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (PI.f64) #s(literal 8/3 binary64)))) (sqrt.f64 (pow.f64 (PI.f64) #s(literal 1/9 binary64))))
(exp.f64 (*.f64 #s(literal -4 binary64) (log.f64 x)))
(exp.f64 (.f64 (.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -2 binary64)))
(exp.f64 (*.f64 (neg.f64 (log.f64 x)) #s(literal 4 binary64)))
(exp.f64 (.f64 (log.f64 (/.f64 #s(literal 1 binary64) (.f64 x x))) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) #s(literal -1/2 binary64)))
(exp.f64 (*.f64 (log.f64 x) #s(literal -4 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x))) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal -1/2 binary64)) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64)) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 x) #s(literal -2 binary64)) #s(literal 2 binary64)))
(exp.f64 (.f64 (neg.f64 (.f64 #s(literal 2 binary64) (log.f64 x))) #s(literal 2 binary64)))
(exp.f64 (fma.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x)) (.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal -1/2 binary64))))
(exp.f64 (fma.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x)) (.f64 (.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64))))
(exp.f64 (fma.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x)) (*.f64 (log.f64 x) #s(literal -2 binary64))))
(exp.f64 (fma.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x)) (log.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)))))
(exp.f64 (fma.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x)) (neg.f64 (*.f64 #s(literal 2 binary64) (log.f64 x)))))
(exp.f64 (fma.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal -1/2 binary64) (.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x)))))
(exp.f64 (fma.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal -1/2 binary64) (.f64 (*.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal -1/2 binary64))))
(exp.f64 (fma.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal -1/2 binary64) (.f64 (*.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64))))
(exp.f64 (fma.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal -1/2 binary64) (.f64 (log.f64 x) #s(literal -2 binary64))))
(exp.f64 (fma.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal -1/2 binary64) (log.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)))))
(exp.f64 (fma.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal -1/2 binary64) (neg.f64 (.f64 #s(literal 2 binary64) (log.f64 x)))))
(exp.f64 (fma.f64 (.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64) (.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x)))))
(exp.f64 (fma.f64 (.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64) (.f64 (*.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal -1/2 binary64))))
(exp.f64 (fma.f64 (.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64) (.f64 (*.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64))))
(exp.f64 (fma.f64 (.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64) (.f64 (log.f64 x) #s(literal -2 binary64))))
(exp.f64 (fma.f64 (.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64) (log.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)))))
(exp.f64 (fma.f64 (.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64) (neg.f64 (.f64 #s(literal 2 binary64) (log.f64 x)))))
(exp.f64 (fma.f64 (log.f64 x) #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x)))))
(exp.f64 (fma.f64 (log.f64 x) #s(literal -2 binary64) (.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal -1/2 binary64))))
(exp.f64 (fma.f64 (log.f64 x) #s(literal -2 binary64) (.f64 (.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64))))
(exp.f64 (fma.f64 (log.f64 x) #s(literal -2 binary64) (*.f64 (log.f64 x) #s(literal -2 binary64))))
(exp.f64 (fma.f64 (log.f64 x) #s(literal -2 binary64) (log.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)))))
(exp.f64 (fma.f64 (log.f64 x) #s(literal -2 binary64) (neg.f64 (*.f64 #s(literal 2 binary64) (log.f64 x)))))
(exp.f64 (+.f64 (log.f64 (/.f64 #s(literal 1 binary64) (.f64 x x))) (.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x)))))
(exp.f64 (+.f64 (log.f64 (/.f64 #s(literal 1 binary64) (.f64 x x))) (.f64 (*.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal -1/2 binary64))))
(exp.f64 (+.f64 (log.f64 (/.f64 #s(literal 1 binary64) (.f64 x x))) (.f64 (*.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64))))
(exp.f64 (+.f64 (log.f64 (/.f64 #s(literal 1 binary64) (.f64 x x))) (.f64 (log.f64 x) #s(literal -2 binary64))))
(exp.f64 (+.f64 (log.f64 (/.f64 #s(literal 1 binary64) (.f64 x x))) (neg.f64 (.f64 #s(literal 2 binary64) (log.f64 x)))))
(exp.f64 (+.f64 (neg.f64 (.f64 #s(literal 2 binary64) (log.f64 x))) (.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x)))))
(exp.f64 (+.f64 (neg.f64 (.f64 #s(literal 2 binary64) (log.f64 x))) (.f64 (*.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal -1/2 binary64))))
(exp.f64 (+.f64 (neg.f64 (.f64 #s(literal 2 binary64) (log.f64 x))) (.f64 (*.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64))))
(exp.f64 (+.f64 (neg.f64 (.f64 #s(literal 2 binary64) (log.f64 x))) (.f64 (log.f64 x) #s(literal -2 binary64))))
(exp.f64 (+.f64 (neg.f64 (.f64 #s(literal 2 binary64) (log.f64 x))) (log.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)))))
(exp.f64 (+.f64 (neg.f64 (.f64 #s(literal 2 binary64) (log.f64 x))) (neg.f64 (.f64 #s(literal 2 binary64) (log.f64 x)))))
(exp.f64 (-.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal -1/2 binary64)) (*.f64 #s(literal 2 binary64) (log.f64 x))))
(exp.f64 (-.f64 (.f64 (.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64)) (*.f64 #s(literal 2 binary64) (log.f64 x))))
(exp.f64 (-.f64 (.f64 (log.f64 x) #s(literal -2 binary64)) (.f64 #s(literal 2 binary64) (log.f64 x))))
(exp.f64 (-.f64 (neg.f64 (.f64 #s(literal 2 binary64) (log.f64 x))) (.f64 #s(literal 2 binary64) (log.f64 x))))
(-.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x)))))
(-.f64 (/.f64 #s(literal 0 binary64) (.f64 x (.f64 x x))) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x)))))
(-.f64 (/.f64 #s(literal 0 binary64) (.f64 x x)) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (.f64 x x)))))
(-.f64 (/.f64 #s(literal 0 binary64) x) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x)))))
(neg.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x)))))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x))))
(/.f64 (/.f64 #s(literal 1 binary64) x) (.f64 x (.f64 x x)))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x))) x)
(/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (*.f64 x x))))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) (.f64 x x))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x)))) #s(literal 1 binary64))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x)))) #s(literal -1 binary64))
(/.f64 (/.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x) x) (/.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) x))))
(/.f64 (neg.f64 (/.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x) x)) (neg.f64 (/.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))))
(pow.f64 x #s(literal -4 binary64))
(pow.f64 (*.f64 x x) #s(literal -2 binary64))
(pow.f64 (.f64 x (.f64 x (*.f64 x x))) #s(literal -1 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 4 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)) #s(literal 2 binary64))
(pow.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal 8 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x)))) #s(literal 1 binary64))
(pow.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (*.f64 x x)))) #s(literal -1/2 binary64))
(pow.f64 (exp.f64 #s(literal -1 binary64)) (*.f64 #s(literal 4 binary64) (log.f64 x)))
(.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (.f64 x x)))))
(.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 #s(literal 1 binary64) (.f64 x (*.f64 x x))))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 x (*.f64 x x))) (/.f64 #s(literal 1 binary64) x))
(.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (.f64 x x)))))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) (/.f64 #s(literal 1 binary64) (*.f64 x x)))
(*.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x) (/.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x) x))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (.f64 x x)))) #s(literal 1 binary64))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (.f64 x x)))) #s(literal -1 binary64))
(*.f64 (/.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x) x) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x))
(exp.f64 (*.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x))))
(exp.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal -1/2 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64)))
(exp.f64 (*.f64 (log.f64 x) #s(literal -2 binary64)))
(exp.f64 (log.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x))))
(exp.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (log.f64 x))))
(exp.f64 (.f64 (log.f64 (/.f64 #s(literal 1 binary64) (.f64 x x))) #s(literal 1 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x))) #s(literal 1 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal -1/2 binary64)) #s(literal 1 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64)) #s(literal 1 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 x) #s(literal -2 binary64)) #s(literal 1 binary64)))
(exp.f64 (.f64 (neg.f64 (.f64 #s(literal 2 binary64) (log.f64 x))) #s(literal 1 binary64)))
(exp.f64 (-.f64 (neg.f64 (log.f64 x)) (log.f64 x)))
(-.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) (*.f64 x x)))
(-.f64 (/.f64 #s(literal 0 binary64) x) (/.f64 #s(literal 1 binary64) (*.f64 x x)))
(neg.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 #s(literal -1 binary64) (*.f64 x x))
(/.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)) #s(literal 1 binary64))
(/.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)) #s(literal -1 binary64))
(pow.f64 x #s(literal -2 binary64))
(pow.f64 (*.f64 x x) #s(literal -1 binary64))
(pow.f64 (.f64 x (.f64 x (*.f64 x x))) #s(literal -1/2 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 2 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)) #s(literal 1 binary64))
(pow.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal 4 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x)))) #s(literal 1/2 binary64))
(pow.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (*.f64 x x)))) #s(literal -1/4 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (neg.f64 (log.f64 x)))
(.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x x)))
(*.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 #s(literal 1 binary64) x))
(.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x x)))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) #s(literal 1 binary64))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) #s(literal -1 binary64))
(*.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(*.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal 1 binary64)))
(*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x))
(exp.f64 (*.f64 #s(literal -3 binary64) (log.f64 x)))
(exp.f64 (*.f64 (log.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x)) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x)))) #s(literal -1/2 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 3 binary64) (log.f64 x)) #s(literal -1/2 binary64)) #s(literal 2 binary64)))
(exp.f64 (+.f64 (neg.f64 (log.f64 x)) (*.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x)))))
(exp.f64 (+.f64 (neg.f64 (log.f64 x)) (.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal -1/2 binary64))))
(exp.f64 (+.f64 (neg.f64 (log.f64 x)) (.f64 (.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64))))
(exp.f64 (+.f64 (neg.f64 (log.f64 x)) (*.f64 (log.f64 x) #s(literal -2 binary64))))
(exp.f64 (+.f64 (neg.f64 (log.f64 x)) (neg.f64 (*.f64 #s(literal 2 binary64) (log.f64 x)))))
(exp.f64 (fma.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x)) (neg.f64 (log.f64 x))))
(exp.f64 (fma.f64 (*.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal -1/2 binary64) (neg.f64 (log.f64 x))))
(exp.f64 (fma.f64 (*.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64) (neg.f64 (log.f64 x))))
(exp.f64 (fma.f64 (log.f64 x) #s(literal -2 binary64) (neg.f64 (log.f64 x))))
(exp.f64 (+.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (log.f64 x))) (neg.f64 (log.f64 x))))
(exp.f64 (fma.f64 (.f64 #s(literal 3 binary64) (log.f64 x)) #s(literal -1/2 binary64) (.f64 (*.f64 #s(literal 3 binary64) (log.f64 x)) #s(literal -1/2 binary64))))
(exp.f64 (-.f64 (*.f64 #s(literal 2 binary64) (neg.f64 (log.f64 x))) (log.f64 x)))
(exp.f64 (-.f64 (.f64 (.f64 #s(literal 4 binary64) (log.f64 x)) #s(literal -1/2 binary64)) (log.f64 x)))
(exp.f64 (-.f64 (.f64 (.f64 #s(literal 2 binary64) (log.f64 x)) #s(literal -1 binary64)) (log.f64 x)))
(exp.f64 (-.f64 (*.f64 (log.f64 x) #s(literal -2 binary64)) (log.f64 x)))
(exp.f64 (-.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (log.f64 x))) (log.f64 x)))
(-.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x))))
(-.f64 (/.f64 #s(literal 0 binary64) (.f64 x x)) (/.f64 #s(literal 1 binary64) (.f64 x (*.f64 x x))))
(-.f64 (/.f64 #s(literal 0 binary64) x) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x))))
(neg.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x))))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))
(/.f64 (/.f64 #s(literal 1 binary64) x) (*.f64 x x))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x))) #s(literal 1 binary64))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x))) #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) (.f64 x (.f64 x x)))
(/.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)) x)
(/.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x) (/.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) x))))
(/.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))) (/.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) x))))
(/.f64 (neg.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x)) (neg.f64 (/.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))))
(/.f64 (neg.f64 (/.f64 #s(literal -1 binary64) (/.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) x))))) (neg.f64 (/.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))))
(pow.f64 x #s(literal -3 binary64))
(pow.f64 (*.f64 x x) #s(literal -3/2 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))
(pow.f64 (.f64 x (.f64 x x)) #s(literal -1 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x))) #s(literal 1 binary64))
(pow.f64 (/.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) #s(literal -2 binary64))
(pow.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x) #s(literal 2 binary64))
(pow.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (*.f64 x x))) #s(literal -1/2 binary64))
(pow.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (*.f64 x x)))) #s(literal -1/2 binary64))
(pow.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (*.f64 x x)) #s(literal -1/2 binary64))
(pow.f64 (exp.f64 #s(literal -1 binary64)) (*.f64 #s(literal 3 binary64) (log.f64 x)))
(.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x (*.f64 x x))))
(.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 #s(literal 1 binary64) (.f64 x x)))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 x (*.f64 x x))) #s(literal 1 binary64))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 x (*.f64 x x))) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x (*.f64 x x))))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) (/.f64 #s(literal 1 binary64) x))
(*.f64 (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x))
(.f64 (.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x)) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) x))

simplify8.0ms (0%)

Memory

16.5MiB live, 16.5MiB allocated

Algorithm

1×	egg-herbie

Rules

28×	`lower-/.f32`
28×	`lower-/.f64`
20×	`associate-/r*`
16×	`lower-*.f64`
16×	`lower-*.f32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	192
1	18	180
2	24	180
3	33	180
4	41	180
5	41	180
0	41	180

Stop Event

1×	iter limit
1×	saturated

Counts

36 → 36

Calls

Call 1

Inputs
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow (fabs x) 2))
(/ 1 (pow x 3))
(/ 1 (pow x 3))
(/ 1 (pow x 3))
(/ 1 (pow x 3))
(/ 1 (pow x 3))
(/ 1 (pow x 3))
(/ 1 (pow x 3))
(/ 1 (pow x 3))
(/ 1 (pow x 3))
(/ 1 (pow x 3))
(/ 1 (pow x 3))
(/ 1 (pow x 3))

Outputs
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow (fabs x) 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow x 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))
(/ 1 (pow x 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))
(/ 1 (pow x 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))
(/ 1 (pow x 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))
(/ 1 (pow x 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))
(/ 1 (pow x 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))
(/ 1 (pow x 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))
(/ 1 (pow x 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))
(/ 1 (pow x 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))
(/ 1 (pow x 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))
(/ 1 (pow x 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))
(/ 1 (pow x 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))

eval46.0ms (0.1%)

Memory: -15.3MiB live, 100.0MiB allocated
Compiler: Compiled 22 591 to 1 575 computations (93% saved)

prune26.0ms (0.1%)

Memory

24.3MiB live, 66.3MiB allocated

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	257	1	258
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	258	1	259

Accuracy

100.0%

Counts

259 → 1

Alt Table

Click to see full alt table

Status

Accuracy

Program

▶

100.0%

(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) (*.f64 (*.f64 x x) x)))) (*.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (*.f64 (/.f64 #s(literal 1 binary64) (*.f64 x (*.f64 x (*.f64 x x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))

Compiler

Compiled 83 to 38 computations (54.2% saved)

simplify0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

localize123.0ms (0.3%)

Memory

-10.5MiB live, 228.2MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
✓	accuracy	99.6%	(/.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x))
✓	accuracy	99.1%	(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x))))
✓	accuracy	98.6%	(/.f64 #s(literal 1 binary64) (*.f64 x x))
✓	accuracy	98.4%	(sqrt.f64 (PI.f64))

Samples

60.0ms

256×

valid

Compiler

Compiled 474 to 40 computations (91.6% saved)

Precisions

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

ival-mult: 23.0ms (53% of total)

ival-div: 11.0ms (25.3% of total)

ival-add: 3.0ms (6.9% of total)

ival-exp: 2.0ms (4.6% of total)

ival-sqrt: 2.0ms (4.6% of total)

ival-pi: 1.0ms (2.3% of total)

ival-fabs: 1.0ms (2.3% of total)

exact: 1.0ms (2.3% of total)

ival-assert: 0.0ms (0% of total)

ival-true: 0.0ms (0% of total)

series1.0ms (0%)

Memory

2.0MiB live, 2.0MiB allocated

Counts

4 → 36

Calls

Call 1

Inputs
#<alt (sqrt.f64 (PI.f64))>
#<alt (/.f64 #s(literal 1 binary64) (*.f64 x x))>
#<alt (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x))))>
#<alt (/.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x))>

Outputs
#<alt (/ 1 (pow x 2))>
#<alt (/ 1 (pow x 2))>
#<alt (/ 1 (pow x 2))>
#<alt (/ 1 (pow x 2))>
#<alt (/ 1 (pow x 2))>
#<alt (/ 1 (pow x 2))>
#<alt (/ 1 (pow x 2))>
#<alt (/ 1 (pow x 2))>
#<alt (/ 1 (pow x 2))>
#<alt (/ 1 (pow x 2))>
#<alt (/ 1 (pow x 2))>
#<alt (/ 1 (pow x 2))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 4))>
#<alt (/ 1 (pow x 3))>
#<alt (/ 1 (pow x 3))>
#<alt (/ 1 (pow x 3))>
#<alt (/ 1 (pow x 3))>
#<alt (/ 1 (pow x 3))>
#<alt (/ 1 (pow x 3))>
#<alt (/ 1 (pow x 3))>
#<alt (/ 1 (pow x 3))>
#<alt (/ 1 (pow x 3))>
#<alt (/ 1 (pow x 3))>
#<alt (/ 1 (pow x 3))>
#<alt (/ 1 (pow x 3))>

Calls

9 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(/ 1 (* x x))
0.0ms	x	@	inf	(/ 1 (* x (* x (* x x))))
0.0ms	x	@	inf	(/ 1 (* x x))
0.0ms	x	@	-inf	(/ 1 (* x x))
0.0ms	x	@	0	(/ 1 (* x (* x (* x x))))

rewrite95.0ms (0.2%)

Memory

14.7MiB live, 133.3MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

1 032×	`lower-fma.f64`
1 032×	`lower-fma.f32`
850×	`lower-*.f32`
842×	`lower-*.f64`
806×	`prod-exp`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	11	23
0	20	19
1	70	13
2	308	11
3	1762	10
0	9311	10

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

4 → 147

Calls

Call 1

Inputs
(sqrt.f64 (PI.f64))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x))))
(/.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x))

Outputs
#s(literal 1 binary64)
(PI.f64)
(+.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) (*.f64 x x)))
(exp.f64 (*.f64 (log.f64 x) #s(literal -2 binary64)))
(exp.f64 (*.f64 (log.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 x) #s(literal -1 binary64)) #s(literal 2 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 x x)) #s(literal -1/2 binary64)) #s(literal 2 binary64)))
(exp.f64 (fma.f64 (log.f64 x) #s(literal -1 binary64) (.f64 (log.f64 (.f64 x x)) #s(literal -1/2 binary64))))
(exp.f64 (fma.f64 (log.f64 (.f64 x x)) #s(literal -1/2 binary64) (.f64 (log.f64 x) #s(literal -1 binary64))))
(exp.f64 (fma.f64 (log.f64 (.f64 x x)) #s(literal -1/2 binary64) (.f64 (log.f64 (*.f64 x x)) #s(literal -1/2 binary64))))
(exp.f64 (-.f64 (*.f64 (log.f64 x) #s(literal -1 binary64)) (log.f64 x)))
(exp.f64 (-.f64 (.f64 (log.f64 (.f64 x x)) #s(literal -1/2 binary64)) (log.f64 x)))
(-.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) (*.f64 x x)))
(-.f64 (/.f64 #s(literal 0 binary64) (neg.f64 x)) (/.f64 #s(literal -1 binary64) (*.f64 x x)))
(neg.f64 (/.f64 #s(literal -1 binary64) (*.f64 x x)))
(/.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)) #s(literal 1 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 (*.f64 x x)))
(/.f64 (/.f64 #s(literal 1 binary64) x) x)
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 x))
(/.f64 (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (.f64 x x)))) (/.f64 #s(literal -1 binary64) (.f64 x x)))
(/.f64 (/.f64 #s(literal -1 binary64) (*.f64 x x)) #s(literal -1 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (/.f64 #s(literal -1 binary64) (.f64 x x)) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (+.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (.f64 x x)))) (.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) (.f64 x x))))))
(pow.f64 x #s(literal -2 binary64))
(pow.f64 (*.f64 x x) #s(literal -1 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)) #s(literal 1 binary64))
(pow.f64 (.f64 x (.f64 x (*.f64 x x))) #s(literal -1/2 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x)))) #s(literal 1/2 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 2 binary64))
(pow.f64 (/.f64 #s(literal -1 binary64) x) #s(literal 2 binary64))
(pow.f64 (.f64 (.f64 x x) (.f64 (.f64 x (.f64 x x)) (.f64 x (*.f64 x x)))) #s(literal -1/4 binary64))
(pow.f64 (exp.f64 #s(literal -1 binary64)) (log.f64 (*.f64 x x)))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) #s(literal 1 binary64))
(.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (.f64 x x)))
(*.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 #s(literal 1 binary64) x))
(.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x x)))
(*.f64 (/.f64 #s(literal -1 binary64) x) (/.f64 #s(literal -1 binary64) x))
(*.f64 (pow.f64 x #s(literal -3/2 binary64)) (pow.f64 x #s(literal -1/2 binary64)))
(.f64 (/.f64 #s(literal -1 binary64) (.f64 x x)) #s(literal -1 binary64))
(*.f64 (pow.f64 x #s(literal -1/2 binary64)) (pow.f64 x #s(literal -3/2 binary64)))
(*.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64)) (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64)))
(+.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x)))))
(exp.f64 (*.f64 #s(literal -4 binary64) (log.f64 x)))
(exp.f64 (*.f64 (log.f64 x) #s(literal -4 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 x) #s(literal -2 binary64)) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 (.f64 x x) (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x))))) #s(literal -1/2 binary64)))
(exp.f64 (fma.f64 (log.f64 x) #s(literal -3 binary64) (.f64 (log.f64 (.f64 x x)) #s(literal -1/2 binary64))))
(exp.f64 (fma.f64 (log.f64 (.f64 x x)) #s(literal -1/2 binary64) (.f64 (log.f64 x) #s(literal -3 binary64))))
(exp.f64 (-.f64 (.f64 (log.f64 x) #s(literal -1 binary64)) (.f64 #s(literal 3 binary64) (log.f64 x))))
(exp.f64 (-.f64 (.f64 (log.f64 (.f64 x x)) #s(literal -1/2 binary64)) (*.f64 #s(literal 3 binary64) (log.f64 x))))
(-.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (*.f64 x x)))))
(-.f64 (/.f64 #s(literal 0 binary64) x) (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (*.f64 x x)))))
(-.f64 (/.f64 #s(literal 0 binary64) (neg.f64 (.f64 x x))) (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (.f64 x x)))))
(-.f64 (/.f64 #s(literal 0 binary64) (.f64 x x)) (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (.f64 x x)))))
(-.f64 (/.f64 #s(literal 0 binary64) (neg.f64 (.f64 x (.f64 x x)))) (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (*.f64 x x)))))
(neg.f64 (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (*.f64 x x)))))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) (.f64 x x))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x)))) #s(literal 1 binary64))
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x))) x)
(/.f64 #s(literal -1 binary64) (neg.f64 (.f64 x (.f64 x (*.f64 x x)))))
(/.f64 (/.f64 #s(literal 1 binary64) x) (.f64 x (.f64 x x)))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x))))
(/.f64 #s(literal 1 binary64) (/.f64 (pow.f64 x #s(literal 3/2 binary64)) (pow.f64 x #s(literal -5/2 binary64))))
(/.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (.f64 x (.f64 x x))))
(/.f64 (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (*.f64 x x)))) #s(literal -1 binary64))
(/.f64 (/.f64 #s(literal -1 binary64) (.f64 x x)) (neg.f64 (.f64 x x)))
(/.f64 (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x x))) (neg.f64 x))
(/.f64 (pow.f64 x #s(literal -5/2 binary64)) (pow.f64 x #s(literal 3/2 binary64)))
(/.f64 (neg.f64 (pow.f64 x #s(literal -5/2 binary64))) (neg.f64 (pow.f64 x #s(literal 3/2 binary64))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (.f64 x x)))) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (fma.f64 (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (.f64 x x)))) (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (.f64 x x)))) (.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (*.f64 x x))))))))
(/.f64 (-.f64 #s(literal 0 binary64) (.f64 (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (.f64 x x)))) (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (.f64 x x)))))) (+.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (.f64 x x))))))
(pow.f64 x #s(literal -4 binary64))
(pow.f64 (*.f64 x x) #s(literal -2 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)) #s(literal 2 binary64))
(pow.f64 (.f64 x (.f64 x (*.f64 x x))) #s(literal -1 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (*.f64 x x)))) #s(literal 1 binary64))
(pow.f64 (neg.f64 (*.f64 x x)) #s(literal -2 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 4 binary64))
(pow.f64 (/.f64 #s(literal -1 binary64) (*.f64 x x)) #s(literal 2 binary64))
(pow.f64 (.f64 (.f64 x x) (.f64 (.f64 x (.f64 x x)) (.f64 x (*.f64 x x)))) #s(literal -1/2 binary64))
(pow.f64 (exp.f64 #s(literal -1 binary64)) (*.f64 (log.f64 x) #s(literal 4 binary64)))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) (/.f64 #s(literal 1 binary64) (*.f64 x x)))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (.f64 x x)))) #s(literal 1 binary64))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 x (*.f64 x x))) (/.f64 #s(literal 1 binary64) x))
(.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (.f64 x x)))))
(.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 #s(literal 1 binary64) (.f64 x (*.f64 x x))))
(.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (.f64 x x)))))
(.f64 (/.f64 #s(literal -1 binary64) x) (/.f64 #s(literal -1 binary64) (.f64 x (*.f64 x x))))
(*.f64 (pow.f64 x #s(literal -3/2 binary64)) (pow.f64 x #s(literal -5/2 binary64)))
(.f64 (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x (.f64 x x)))) #s(literal -1 binary64))
(.f64 (/.f64 #s(literal -1 binary64) (.f64 x x)) (/.f64 #s(literal -1 binary64) (*.f64 x x)))
(.f64 (/.f64 #s(literal -1 binary64) (.f64 x (*.f64 x x))) (/.f64 #s(literal -1 binary64) x))
(*.f64 (pow.f64 x #s(literal -5/2 binary64)) (pow.f64 x #s(literal -3/2 binary64)))
(+.f64 #s(literal 0 binary64) (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x))))
(exp.f64 (*.f64 (log.f64 x) #s(literal -3 binary64)))
(exp.f64 (*.f64 (log.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal 3 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 x #s(literal -3/2 binary64))) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (.f64 x x)))) #s(literal -1/2 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 x) #s(literal -1 binary64)) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 x x)) #s(literal -1/2 binary64)) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 (*.f64 #s(literal 3 binary64) (log.f64 x)) #s(literal -1/2 binary64)) #s(literal 2 binary64)))
(exp.f64 (fma.f64 (log.f64 x) #s(literal -2 binary64) (.f64 (log.f64 (.f64 x x)) #s(literal -1/2 binary64))))
(exp.f64 (fma.f64 (log.f64 (.f64 x x)) #s(literal -1/2 binary64) (.f64 (log.f64 x) #s(literal -2 binary64))))
(exp.f64 (fma.f64 (.f64 #s(literal 3 binary64) (log.f64 x)) #s(literal -1/2 binary64) (.f64 (*.f64 #s(literal 3 binary64) (log.f64 x)) #s(literal -1/2 binary64))))
(exp.f64 (-.f64 (.f64 (log.f64 x) #s(literal -1 binary64)) (log.f64 (.f64 x x))))
(exp.f64 (-.f64 (.f64 (log.f64 (.f64 x x)) #s(literal -1/2 binary64)) (log.f64 (*.f64 x x))))
(-.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x x))))
(-.f64 (/.f64 #s(literal 0 binary64) x) (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x x))))
(-.f64 (/.f64 #s(literal 0 binary64) (neg.f64 (.f64 x x))) (/.f64 #s(literal -1 binary64) (.f64 x (*.f64 x x))))
(-.f64 (/.f64 #s(literal 0 binary64) (neg.f64 x)) (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x x))))
(neg.f64 (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x x))))
(/.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)) x)
(/.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x))) #s(literal 1 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 (.f64 x (.f64 x x))))
(/.f64 (/.f64 #s(literal 1 binary64) x) (*.f64 x x))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))
(/.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (*.f64 x x)))
(/.f64 (pow.f64 x #s(literal -3/2 binary64)) (pow.f64 x #s(literal 3/2 binary64)))
(/.f64 (/.f64 #s(literal -1 binary64) (*.f64 x x)) (neg.f64 x))
(/.f64 (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x x))) #s(literal -1 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) (pow.f64 x #s(literal -3/2 binary64))) (neg.f64 (pow.f64 x #s(literal 3/2 binary64))))
(/.f64 (neg.f64 (pow.f64 x #s(literal -3/2 binary64))) (neg.f64 (pow.f64 x #s(literal 3/2 binary64))))
(/.f64 (neg.f64 (*.f64 #s(literal -1 binary64) (pow.f64 x #s(literal -3/2 binary64)))) (pow.f64 x #s(literal 3/2 binary64)))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x x))) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (fma.f64 (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x x))) (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x x))) (.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) (.f64 x (*.f64 x x)))))))
(/.f64 (-.f64 #s(literal 0 binary64) (.f64 (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x x))) (/.f64 #s(literal -1 binary64) (.f64 x (.f64 x x))))) (+.f64 #s(literal 0 binary64) (/.f64 #s(literal -1 binary64) (.f64 x (*.f64 x x)))))
(pow.f64 x #s(literal -3 binary64))
(pow.f64 (*.f64 x x) #s(literal -3/2 binary64))
(pow.f64 (.f64 x (.f64 x x)) #s(literal -1 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x))) #s(literal 1 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64))
(pow.f64 (pow.f64 x #s(literal -3/2 binary64)) #s(literal 2 binary64))
(pow.f64 (pow.f64 x #s(literal 3/2 binary64)) #s(literal -2 binary64))
(pow.f64 (.f64 (.f64 x (.f64 x x)) (.f64 x (*.f64 x x))) #s(literal -1/2 binary64))
(pow.f64 (exp.f64 #s(literal -1 binary64)) (*.f64 #s(literal 3 binary64) (log.f64 x)))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) (/.f64 #s(literal 1 binary64) x))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 x (*.f64 x x))) #s(literal 1 binary64))
(.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (.f64 x (*.f64 x x))))
(.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 #s(literal 1 binary64) (.f64 x x)))
(.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (.f64 x (*.f64 x x))))
(.f64 (/.f64 #s(literal -1 binary64) x) (/.f64 #s(literal -1 binary64) (.f64 x x)))
(*.f64 (pow.f64 x #s(literal -3/2 binary64)) (pow.f64 x #s(literal -3/2 binary64)))
(.f64 (/.f64 #s(literal -1 binary64) (.f64 x x)) (/.f64 #s(literal -1 binary64) x))
(.f64 (/.f64 #s(literal -1 binary64) (.f64 x (*.f64 x x))) #s(literal -1 binary64))
(*.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3/2 binary64)) (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3/2 binary64)))
(*.f64 (pow.f64 (pow.f64 x #s(literal -3/2 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 x #s(literal -3/2 binary64)) #s(literal 1 binary64)))
(.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (pow.f64 x #s(literal -1/2 binary64))) (*.f64 (/.f64 #s(literal -1 binary64) x) (pow.f64 x #s(literal -1/2 binary64))))
(.f64 (.f64 (pow.f64 x #s(literal -1/2 binary64)) (/.f64 #s(literal -1 binary64) x)) (*.f64 (pow.f64 x #s(literal -1/2 binary64)) (/.f64 #s(literal -1 binary64) x)))

simplify8.0ms (0%)

Memory

-29.1MiB live, 9.7MiB allocated

Algorithm

1×	egg-herbie

Rules

14×	`lower-/.f32`
14×	`lower-/.f64`
6×	`lower-*.f64`
6×	`lower-pow.f64`
6×	`lower-*.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	180
1	16	180
2	21	180
0	21	180

Stop Event

1×	iter limit
1×	saturated

Counts

36 → 36

Calls

Call 1

Inputs
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 2))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 4))
(/ 1 (pow x 3))
(/ 1 (pow x 3))
(/ 1 (pow x 3))
(/ 1 (pow x 3))
(/ 1 (pow x 3))
(/ 1 (pow x 3))
(/ 1 (pow x 3))
(/ 1 (pow x 3))
(/ 1 (pow x 3))
(/ 1 (pow x 3))
(/ 1 (pow x 3))
(/ 1 (pow x 3))

Outputs
(/ 1 (pow x 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow x 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow x 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow x 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow x 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow x 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow x 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow x 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow x 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow x 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow x 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow x 2))
(/.f64 #s(literal 1 binary64) (*.f64 x x))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 4))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))
(/ 1 (pow x 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))
(/ 1 (pow x 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))
(/ 1 (pow x 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))
(/ 1 (pow x 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))
(/ 1 (pow x 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))
(/ 1 (pow x 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))
(/ 1 (pow x 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))
(/ 1 (pow x 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))
(/ 1 (pow x 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))
(/ 1 (pow x 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))
(/ 1 (pow x 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))
(/ 1 (pow x 3))
(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))

eval31.0ms (0.1%)

Memory: 14.1MiB live, 52.1MiB allocated
Compiler: Compiled 15 353 to 1 127 computations (92.7% saved)

prune25.0ms (0.1%)

Memory

1.9MiB live, 43.7MiB allocated

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	182	1	183
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	183	1	184

Accuracy

100.0%

Counts

184 → 1

Alt Table

Click to see full alt table

Status

Accuracy

Program

100.0%

(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (PI.f64)) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) (*.f64 (*.f64 x x) x)))) (*.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (*.f64 (/.f64 #s(literal 1 binary64) (*.f64 x (*.f64 x (*.f64 x x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))

Compiler

Compiled 528 to 96 computations (81.8% saved)

regimes7.0ms (0%)

Memory

11.3MiB live, 11.3MiB allocated

Accuracy

Total 0b remaining (0%)

Threshold costs 0b (0%)

Counts

5 → 1

Calls

Call 1

Inputs
(.f64 (.f64 (/.f64 #s(literal 1 binary64) (PI.f64)) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x)))) (.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (.f64 x x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))
(.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x)))) (.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (.f64 x x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (/.f64 #s(literal 1 binary64) (.f64 x x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))
(.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x x) x)))) (.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (.f64 x x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))
(.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x (.f64 x x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))
(.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (.f64 (.f64 (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))

Outputs

(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (PI.f64)) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) (*.f64 (*.f64 x x) x)))) (*.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (*.f64 (/.f64 #s(literal 1 binary64) (*.f64 x (*.f64 x (*.f64 x x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))

Calls

3 calls:

2.0ms

(fabs.f64 x)

2.0ms

(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	(.f64 (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (PI.f64))) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (.f64 (.f64 (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))
100.0%	1	`(fabs.f64 x)`

Compiler

Compiled 109 to 34 computations (68.8% saved)

simplify9.0ms (0%)

Memory

-29.1MiB live, 9.7MiB allocated

Algorithm

1×	egg-herbie

Rules

26×	`*-commutative_binary64`
6×	`+-commutative_binary64`
2×	`1-exp_binary64`
2×	`1-exp_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	81
1	56	81

Stop Event

1×

saturated

Calls

Call 1

Inputs

(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (PI.f64)) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) (*.f64 (*.f64 x x) x)))) (*.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (*.f64 (/.f64 #s(literal 1 binary64) (*.f64 x (*.f64 x (*.f64 x x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))

Outputs

(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (PI.f64)) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) (*.f64 (*.f64 x x) x)))) (*.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (*.f64 (/.f64 #s(literal 1 binary64) (*.f64 x (*.f64 x (*.f64 x x)))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))) (*.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (*.f64 x x)) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))) (/.f64 #s(literal 1 binary64) (fabs.f64 x))))))

(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (PI.f64)) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))) (+.f64 (+.f64 (+.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) (*.f64 x (*.f64 x x))))) (*.f64 (/.f64 #s(literal 3 binary64) #s(literal 4 binary64)) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (*.f64 x (*.f64 x (*.f64 x x))))))) (*.f64 (/.f64 #s(literal 15 binary64) #s(literal 8 binary64)) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (*.f64 (/.f64 #s(literal 1 binary64) (fabs.f64 x)) (/.f64 #s(literal 1 binary64) (*.f64 x x))))))))))

soundness40.8s (89.4%)

Memory

-77.7MiB live, 465.2MiB allocated

Rules

2 184×	`lower-*.f32`
2 174×	`lower-*.f64`
2 152×	`lower-*.f32`
2 142×	`lower-*.f64`
2 078×	`lower-fma.f64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	11	23
0	20	19
1	70	13
2	308	11
3	1762	10
0	9311	10
0	13	27
0	24	20
1	83	13
2	376	11
3	2266	11
0	8364	11
0	12	34
0	22	21
1	76	15
2	394	12
3	2239	11
0	8367	11
0	9	44
0	16	23
1	62	16
2	359	14
3	2120	10
0	9312	10

Stop Event

1×	fuel
1×	iter limit
1×	node limit
1×	iter limit
1×	iter limit
1×	node limit
1×	iter limit
1×	iter limit
1×	node limit
1×	iter limit
1×	iter limit
1×	node limit
1×	iter limit

Compiler

Compiled 166 to 75 computations (54.8% saved)

preprocess50.0ms (0.1%)

Memory: 2.4MiB live, 83.1MiB allocated
Remove: (abs x)
Compiler: Compiled 700 to 278 computations (60.3% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

sample2.3s (5%)

preprocess457.0ms (1%)

explain529.0ms (1.2%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify0.0ms (0%)

localize150.0ms (0.3%)

series9.0ms (0%)

rewrite82.0ms (0.2%)

simplify8.0ms (0%)

eval83.0ms (0.2%)

prune49.0ms (0.1%)

simplify0.0ms (0%)

localize123.0ms (0.3%)

series5.0ms (0%)

rewrite195.0ms (0.4%)

simplify12.0ms (0%)

eval93.0ms (0.2%)

prune57.0ms (0.1%)

simplify0.0ms (0%)

localize149.0ms (0.3%)

series1.0ms (0%)

rewrite162.0ms (0.4%)

simplify8.0ms (0%)

eval46.0ms (0.1%)

prune26.0ms (0.1%)

simplify0.0ms (0%)

localize123.0ms (0.3%)

series1.0ms (0%)

rewrite95.0ms (0.2%)

simplify8.0ms (0%)

eval31.0ms (0.1%)

prune25.0ms (0.1%)

regimes7.0ms (0%)

simplify9.0ms (0%)

soundness40.8s (89.4%)

preprocess50.0ms (0.1%)

end0.0ms (0%)

Profiling