Metrics for Numeric.Integration.TanhSinh:nonNegative from integration-0.2.1

analyze1.0ms (0.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
50%	50%	50%	0%	0%	0%	0%	2
75%	75%	25%	0%	0%	0%	0%	3
87.5%	87.5%	12.5%	0%	0%	0%	0%	4
93.8%	93.7%	6.2%	0%	0%	0%	0%	5
96.9%	96.8%	3.1%	0%	0%	0%	0%	6
98.4%	98.4%	1.6%	0%	0%	0%	0%	7
99.2%	99.2%	0.8%	0%	0%	0%	0%	8
99.6%	99.6%	0.4%	0%	0%	0%	0%	9
99.8%	99.8%	0.2%	0%	0%	0%	0%	10
99.9%	99.9%	0.1%	0%	0%	0%	0%	11
100%	99.9%	0%	0%	0%	0%	0%	12

Compiler

Compiled 7 to 5 computations (28.6% saved)

sample765.0ms (44.1%)

Results

753.0ms

8256×

body

256

valid

Bogosity

preprocess49.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

1018×	`fma-def`
302×	`div-sub`
166×	`times-frac`
156×	`associate-/r*`
112×	`associate-r`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	10	34
1	20	30
2	38	30
3	94	30
4	263	26
5	801	26
6	1348	26
7	1513	26
8	1803	26
9	1820	26

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 x (-.f64 1 x))
(/.f64 (neg.f64 x) (-.f64 1 (neg.f64 x)))

Outputs
(/.f64 x (-.f64 1 x))
(/.f64 (neg.f64 x) (-.f64 1 (neg.f64 x)))
(/.f64 (neg.f64 x) (+.f64 x 1))
(/.f64 x (-.f64 -1 x))

Compiler

Compiled 7 to 5 computations (28.6% saved)

simplify5.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

22×	`sub-neg`
14×	`+-commutative`
12×	`fma-def`
8×	`div-sub`
6×	`associate--r+`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	11	13
2	15	13
3	22	13
4	30	13
5	40	13
6	53	13
7	71	13
8	84	13
9	87	13
10	88	13

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(/.f64 x (-.f64 1 x))

Outputs
(/.f64 x (-.f64 1 x))

eval0.0ms (0%)

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

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Accurracy

100.0%

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(/.f64 x (-.f64 1 x))
▶	100.0%	(/.f64 x (-.f64 1 x))

Compiler

Compiled 12 to 8 computations (33.3% saved)

localize21.0ms (1.2%)

Local Accuracy

Found 1 expressions with local accuracy:

New	Accuracy	Program
✓	100.0%	(/.f64 x (-.f64 1 x))

Compiler

Compiled 12 to 8 computations (33.3% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite85.0ms (4.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1412×	`pow1`
1314×	`add-exp-log`
1314×	`log1p-expm1-u`
1314×	`expm1-log1p-u`
1290×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	128	13
2	1716	13

Stop Event

1×	node limit

Counts

1 → 32

Calls

Call 1

Inputs
(/.f64 x (-.f64 1 x))

Outputs
(-.f64 (+.f64 1 (/.f64 x (-.f64 1 x))) 1)
(*.f64 x (/.f64 1 (-.f64 1 x)))
(*.f64 1 (/.f64 x (-.f64 1 x)))
(*.f64 (/.f64 x (-.f64 1 x)) 1)
(*.f64 (cbrt.f64 (/.f64 x (-.f64 1 x))) (cbrt.f64 (pow.f64 (/.f64 x (-.f64 1 x)) 2)))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 x (-.f64 1 x)) 2)) (cbrt.f64 (/.f64 x (-.f64 1 x))))
(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (/.f64 1 (-.f64 1 x))))
(*.f64 (sqrt.f64 (/.f64 x (-.f64 1 x))) (sqrt.f64 (/.f64 x (-.f64 1 x))))
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (/.f64 1 (-.f64 1 x))))
(*.f64 (neg.f64 x) (/.f64 1 (neg.f64 (-.f64 1 x))))
(*.f64 (/.f64 1 (-.f64 1 x)) x)
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (-.f64 1 x)) 2)) (/.f64 x (cbrt.f64 (-.f64 1 x))))
(*.f64 (/.f64 1 (sqrt.f64 (-.f64 1 x))) (/.f64 x (sqrt.f64 (-.f64 1 x))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) 1) (/.f64 (cbrt.f64 x) (-.f64 1 x)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (-.f64 1 x)) 2)) (cbrt.f64 (/.f64 x (-.f64 1 x))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (sqrt.f64 (-.f64 1 x))) (/.f64 (cbrt.f64 x) (sqrt.f64 (-.f64 1 x))))
(*.f64 (/.f64 (sqrt.f64 x) 1) (/.f64 (sqrt.f64 x) (-.f64 1 x)))
(*.f64 (/.f64 (sqrt.f64 x) (pow.f64 (cbrt.f64 (-.f64 1 x)) 2)) (/.f64 (sqrt.f64 x) (cbrt.f64 (-.f64 1 x))))
(*.f64 (/.f64 x (-.f64 1 (pow.f64 x 3))) (+.f64 1 (fma.f64 x x x)))
(.f64 (/.f64 x (-.f64 1 (.f64 x x))) (+.f64 x 1))
(pow.f64 (/.f64 x (-.f64 1 x)) 1)
(pow.f64 (cbrt.f64 (/.f64 x (-.f64 1 x))) 3)
(pow.f64 (pow.f64 (/.f64 x (-.f64 1 x)) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 x (-.f64 1 x))) 2)
(pow.f64 (/.f64 (-.f64 1 x) x) -1)
(neg.f64 (/.f64 x (neg.f64 (-.f64 1 x))))
(sqrt.f64 (pow.f64 (/.f64 x (-.f64 1 x)) 2))
(log.f64 (exp.f64 (/.f64 x (-.f64 1 x))))
(cbrt.f64 (pow.f64 (/.f64 x (-.f64 1 x)) 3))
(expm1.f64 (log1p.f64 (/.f64 x (-.f64 1 x))))
(exp.f64 (log.f64 (/.f64 x (-.f64 1 x))))
(log1p.f64 (expm1.f64 (/.f64 x (-.f64 1 x))))

simplify54.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

2052×	`fma-def`
722×	`log-prod`
530×	`log-div`
384×	`associate-/l*`
362×	`div-sub`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	110	1134
1	287	924
2	919	732
3	3846	732

Stop Event

1×	node limit

Counts

44 → 61

Calls

Call 1

Inputs
x
(+.f64 (pow.f64 x 2) x)
(+.f64 (pow.f64 x 2) (+.f64 (pow.f64 x 3) x))
(+.f64 (pow.f64 x 2) (+.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 3) x)))
-1
(neg.f64 (+.f64 1 (/.f64 1 x)))
(neg.f64 (+.f64 1 (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 x))))
(neg.f64 (+.f64 1 (+.f64 (/.f64 1 (pow.f64 x 2)) (+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3))))))
-1
(neg.f64 (+.f64 1 (/.f64 1 x)))
(neg.f64 (+.f64 1 (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 x))))
(neg.f64 (+.f64 1 (+.f64 (/.f64 1 (pow.f64 x 2)) (+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3))))))
(-.f64 (+.f64 1 (/.f64 x (-.f64 1 x))) 1)
(*.f64 x (/.f64 1 (-.f64 1 x)))
(*.f64 1 (/.f64 x (-.f64 1 x)))
(*.f64 (/.f64 x (-.f64 1 x)) 1)
(*.f64 (cbrt.f64 (/.f64 x (-.f64 1 x))) (cbrt.f64 (pow.f64 (/.f64 x (-.f64 1 x)) 2)))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 x (-.f64 1 x)) 2)) (cbrt.f64 (/.f64 x (-.f64 1 x))))
(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (/.f64 1 (-.f64 1 x))))
(*.f64 (sqrt.f64 (/.f64 x (-.f64 1 x))) (sqrt.f64 (/.f64 x (-.f64 1 x))))
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (/.f64 1 (-.f64 1 x))))
(*.f64 (neg.f64 x) (/.f64 1 (neg.f64 (-.f64 1 x))))
(*.f64 (/.f64 1 (-.f64 1 x)) x)
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (-.f64 1 x)) 2)) (/.f64 x (cbrt.f64 (-.f64 1 x))))
(*.f64 (/.f64 1 (sqrt.f64 (-.f64 1 x))) (/.f64 x (sqrt.f64 (-.f64 1 x))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) 1) (/.f64 (cbrt.f64 x) (-.f64 1 x)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (-.f64 1 x)) 2)) (cbrt.f64 (/.f64 x (-.f64 1 x))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (sqrt.f64 (-.f64 1 x))) (/.f64 (cbrt.f64 x) (sqrt.f64 (-.f64 1 x))))
(*.f64 (/.f64 (sqrt.f64 x) 1) (/.f64 (sqrt.f64 x) (-.f64 1 x)))
(*.f64 (/.f64 (sqrt.f64 x) (pow.f64 (cbrt.f64 (-.f64 1 x)) 2)) (/.f64 (sqrt.f64 x) (cbrt.f64 (-.f64 1 x))))
(*.f64 (/.f64 x (-.f64 1 (pow.f64 x 3))) (+.f64 1 (fma.f64 x x x)))
(.f64 (/.f64 x (-.f64 1 (.f64 x x))) (+.f64 x 1))
(pow.f64 (/.f64 x (-.f64 1 x)) 1)
(pow.f64 (cbrt.f64 (/.f64 x (-.f64 1 x))) 3)
(pow.f64 (pow.f64 (/.f64 x (-.f64 1 x)) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 x (-.f64 1 x))) 2)
(pow.f64 (/.f64 (-.f64 1 x) x) -1)
(neg.f64 (/.f64 x (neg.f64 (-.f64 1 x))))
(sqrt.f64 (pow.f64 (/.f64 x (-.f64 1 x)) 2))
(log.f64 (exp.f64 (/.f64 x (-.f64 1 x))))
(cbrt.f64 (pow.f64 (/.f64 x (-.f64 1 x)) 3))
(expm1.f64 (log1p.f64 (/.f64 x (-.f64 1 x))))
(exp.f64 (log.f64 (/.f64 x (-.f64 1 x))))
(log1p.f64 (expm1.f64 (/.f64 x (-.f64 1 x))))

Outputs
x
(+.f64 (pow.f64 x 2) x)
(fma.f64 x x x)
(+.f64 (pow.f64 x 2) (+.f64 (pow.f64 x 3) x))
(+.f64 (+.f64 (*.f64 x x) (pow.f64 x 3)) x)
(+.f64 x (*.f64 x (fma.f64 x x x)))
(fma.f64 x (fma.f64 x x x) x)
(+.f64 (pow.f64 x 2) (+.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 3) x)))
(+.f64 (*.f64 x x) (+.f64 (+.f64 x (pow.f64 x 3)) (pow.f64 x 4)))
(+.f64 (+.f64 x (pow.f64 x 3)) (fma.f64 x x (pow.f64 x 4)))
(*.f64 (fma.f64 x x 1) (fma.f64 x x x))
-1
(neg.f64 (+.f64 1 (/.f64 1 x)))
(+.f64 -1 (neg.f64 (/.f64 1 x)))
(+.f64 -1 (/.f64 -1 x))
(neg.f64 (+.f64 1 (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 x))))
(+.f64 -1 (neg.f64 (+.f64 (/.f64 1 x) (/.f64 1 (*.f64 x x)))))
(-.f64 -1 (+.f64 (/.f64 1 x) (/.f64 1 (*.f64 x x))))
(+.f64 -1 (+.f64 (/.f64 -1 x) (/.f64 -1 (*.f64 x x))))
(neg.f64 (+.f64 1 (+.f64 (/.f64 1 (pow.f64 x 2)) (+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3))))))
(+.f64 -1 (neg.f64 (+.f64 (+.f64 (/.f64 1 x) (/.f64 1 (*.f64 x x))) (/.f64 1 (pow.f64 x 3)))))
(-.f64 -1 (+.f64 (/.f64 1 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 1 (pow.f64 x 3)))))
(+.f64 (+.f64 -1 (/.f64 -1 (*.f64 x x))) (+.f64 (/.f64 -1 x) (/.f64 -1 (pow.f64 x 3))))
-1
(neg.f64 (+.f64 1 (/.f64 1 x)))
(+.f64 -1 (neg.f64 (/.f64 1 x)))
(+.f64 -1 (/.f64 -1 x))
(neg.f64 (+.f64 1 (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 x))))
(+.f64 -1 (neg.f64 (+.f64 (/.f64 1 x) (/.f64 1 (*.f64 x x)))))
(-.f64 -1 (+.f64 (/.f64 1 x) (/.f64 1 (*.f64 x x))))
(+.f64 -1 (+.f64 (/.f64 -1 x) (/.f64 -1 (*.f64 x x))))
(neg.f64 (+.f64 1 (+.f64 (/.f64 1 (pow.f64 x 2)) (+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3))))))
(+.f64 -1 (neg.f64 (+.f64 (+.f64 (/.f64 1 x) (/.f64 1 (*.f64 x x))) (/.f64 1 (pow.f64 x 3)))))
(-.f64 -1 (+.f64 (/.f64 1 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 1 (pow.f64 x 3)))))
(+.f64 (+.f64 -1 (/.f64 -1 (*.f64 x x))) (+.f64 (/.f64 -1 x) (/.f64 -1 (pow.f64 x 3))))
(-.f64 (+.f64 1 (/.f64 x (-.f64 1 x))) 1)
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(*.f64 x (/.f64 1 (-.f64 1 x)))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(*.f64 1 (/.f64 x (-.f64 1 x)))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(*.f64 (/.f64 x (-.f64 1 x)) 1)
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(*.f64 (cbrt.f64 (/.f64 x (-.f64 1 x))) (cbrt.f64 (pow.f64 (/.f64 x (-.f64 1 x)) 2)))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 x (-.f64 1 x)) 2)) (cbrt.f64 (/.f64 x (-.f64 1 x))))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (/.f64 1 (-.f64 1 x))))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(*.f64 (sqrt.f64 (/.f64 x (-.f64 1 x))) (sqrt.f64 (/.f64 x (-.f64 1 x))))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (/.f64 1 (-.f64 1 x))))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(*.f64 (neg.f64 x) (/.f64 1 (neg.f64 (-.f64 1 x))))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(*.f64 (/.f64 1 (-.f64 1 x)) x)
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (-.f64 1 x)) 2)) (/.f64 x (cbrt.f64 (-.f64 1 x))))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(*.f64 (/.f64 1 (sqrt.f64 (-.f64 1 x))) (/.f64 x (sqrt.f64 (-.f64 1 x))))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) 1) (/.f64 (cbrt.f64 x) (-.f64 1 x)))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (-.f64 1 x)) 2)) (cbrt.f64 (/.f64 x (-.f64 1 x))))
(*.f64 (cbrt.f64 (/.f64 x (-.f64 1 x))) (/.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (-.f64 1 x)) 2)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (sqrt.f64 (-.f64 1 x))) (/.f64 (cbrt.f64 x) (sqrt.f64 (-.f64 1 x))))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(*.f64 (/.f64 (sqrt.f64 x) 1) (/.f64 (sqrt.f64 x) (-.f64 1 x)))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(*.f64 (/.f64 (sqrt.f64 x) (pow.f64 (cbrt.f64 (-.f64 1 x)) 2)) (/.f64 (sqrt.f64 x) (cbrt.f64 (-.f64 1 x))))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(*.f64 (/.f64 x (-.f64 1 (pow.f64 x 3))) (+.f64 1 (fma.f64 x x x)))
(/.f64 (fma.f64 x (fma.f64 x x x) x) (-.f64 1 (pow.f64 x 3)))
(.f64 (/.f64 x (-.f64 1 (.f64 x x))) (+.f64 x 1))
(/.f64 (fma.f64 x x x) (-.f64 1 (*.f64 x x)))
(pow.f64 (/.f64 x (-.f64 1 x)) 1)
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(pow.f64 (cbrt.f64 (/.f64 x (-.f64 1 x))) 3)
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(pow.f64 (pow.f64 (/.f64 x (-.f64 1 x)) 3) 1/3)
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(pow.f64 (sqrt.f64 (/.f64 x (-.f64 1 x))) 2)
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(pow.f64 (/.f64 (-.f64 1 x) x) -1)
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(neg.f64 (/.f64 x (neg.f64 (-.f64 1 x))))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(sqrt.f64 (pow.f64 (/.f64 x (-.f64 1 x)) 2))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(log.f64 (exp.f64 (/.f64 x (-.f64 1 x))))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(cbrt.f64 (pow.f64 (/.f64 x (-.f64 1 x)) 3))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(expm1.f64 (log1p.f64 (/.f64 x (-.f64 1 x))))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(exp.f64 (log.f64 (/.f64 x (-.f64 1 x))))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(log1p.f64 (expm1.f64 (/.f64 x (-.f64 1 x))))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))

eval15.0ms (0.9%)

Compiler: Compiled 619 to 412 computations (33.4% saved)

prune10.0ms (0.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	57	4	61
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	57	5	62

Accurracy

100.0%

Counts

62 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	49.0%	(fma.f64 x x x)
✓	100.0%	(/.f64 x (-.f64 1 x))
▶	99.9%	(*.f64 (/.f64 1 (-.f64 1 x)) x)
	49.3%	x
	51.7%	-1
▶	49.0%	(fma.f64 x x x)
✓	100.0%	(/.f64 x (-.f64 1 x))
▶	99.9%	(*.f64 (/.f64 1 (-.f64 1 x)) x)
	49.3%	x
	51.7%	-1

Compiler

Compiled 46 to 30 computations (34.8% saved)

localize76.0ms (4.4%)

Local Accuracy

Found 2 expressions with local accuracy:

New	Accuracy	Program
✓	100.0%	(/.f64 1 (-.f64 1 x))
✓	99.9%	(*.f64 (/.f64 1 (-.f64 1 x)) x)

Compiler

Compiled 24 to 15 computations (37.5% saved)

series1.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite83.0ms (4.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1530×	`pow1`
1420×	`add-exp-log`
1420×	`log1p-expm1-u`
1420×	`expm1-log1p-u`
1392×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	26
1	150	26
2	1943	26

Stop Event

1×	node limit

Counts

2 → 42

Calls

Call 1

Inputs
(*.f64 (/.f64 1 (-.f64 1 x)) x)
(/.f64 1 (-.f64 1 x))

Outputs
(-.f64 (+.f64 1 (/.f64 x (-.f64 1 x))) 1)
(/.f64 1 (/.f64 (-.f64 1 x) x))
(/.f64 x (-.f64 1 x))
(/.f64 (pow.f64 (cbrt.f64 x) 2) (/.f64 (-.f64 1 x) (cbrt.f64 x)))
(/.f64 (sqrt.f64 x) (/.f64 (-.f64 1 x) (sqrt.f64 x)))
(/.f64 (neg.f64 x) (neg.f64 (-.f64 1 x)))
(/.f64 (/.f64 x 1) (-.f64 1 x))
(/.f64 (/.f64 x (sqrt.f64 (-.f64 1 x))) (sqrt.f64 (-.f64 1 x)))
(/.f64 (*.f64 x -1) (neg.f64 (-.f64 1 x)))
(/.f64 (/.f64 x (pow.f64 (cbrt.f64 (-.f64 1 x)) 2)) (cbrt.f64 (-.f64 1 x)))
(pow.f64 (/.f64 x (-.f64 1 x)) 1)
(pow.f64 (cbrt.f64 (/.f64 x (-.f64 1 x))) 3)
(pow.f64 (pow.f64 (/.f64 x (-.f64 1 x)) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 x (-.f64 1 x))) 2)
(sqrt.f64 (pow.f64 (/.f64 x (-.f64 1 x)) 2))
(log.f64 (exp.f64 (/.f64 x (-.f64 1 x))))
(cbrt.f64 (pow.f64 (/.f64 x (-.f64 1 x)) 3))
(expm1.f64 (log1p.f64 (/.f64 x (-.f64 1 x))))
(exp.f64 (log.f64 (/.f64 x (-.f64 1 x))))
(log1p.f64 (expm1.f64 (/.f64 x (-.f64 1 x))))
(-.f64 (+.f64 1 (/.f64 1 (-.f64 1 x))) 1)
(*.f64 1 (/.f64 1 (-.f64 1 x)))
(*.f64 (/.f64 1 (-.f64 1 x)) 1)
(*.f64 (cbrt.f64 (/.f64 1 (-.f64 1 x))) (cbrt.f64 (pow.f64 (-.f64 1 x) -2)))
(*.f64 (cbrt.f64 (pow.f64 (-.f64 1 x) -2)) (cbrt.f64 (/.f64 1 (-.f64 1 x))))
(*.f64 (pow.f64 (-.f64 1 x) -1/2) (pow.f64 (-.f64 1 x) -1/2))
(*.f64 -1 (/.f64 1 (neg.f64 (-.f64 1 x))))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (-.f64 1 x)) 2) -1) (pow.f64 (cbrt.f64 (-.f64 1 x)) -1))
(*.f64 (pow.f64 (sqrt.f64 (-.f64 1 x)) -1) (pow.f64 (sqrt.f64 (-.f64 1 x)) -1))
(*.f64 (/.f64 1 (-.f64 1 (pow.f64 x 3))) (+.f64 1 (fma.f64 x x x)))
(.f64 (/.f64 1 (-.f64 1 (.f64 x x))) (+.f64 1 x))
(pow.f64 (-.f64 1 x) -1)
(pow.f64 (/.f64 1 (-.f64 1 x)) 1)
(pow.f64 (cbrt.f64 (/.f64 1 (-.f64 1 x))) 3)
(pow.f64 (pow.f64 (/.f64 1 (-.f64 1 x)) 3) 1/3)
(pow.f64 (pow.f64 (-.f64 1 x) -1/2) 2)
(sqrt.f64 (pow.f64 (-.f64 1 x) -2))
(log.f64 (exp.f64 (/.f64 1 (-.f64 1 x))))
(cbrt.f64 (pow.f64 (/.f64 1 (-.f64 1 x)) 3))
(expm1.f64 (log1p.f64 (/.f64 1 (-.f64 1 x))))
(exp.f64 (neg.f64 (log1p.f64 (neg.f64 x))))
(log1p.f64 (expm1.f64 (/.f64 1 (-.f64 1 x))))

simplify66.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

1016×	`unswap-sqr`
798×	`fma-neg`
696×	`times-frac`
500×	`log-prod`
488×	`fma-def`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	134	1704
1	350	1392
2	1173	1132
3	5122	1132

Stop Event

1×	node limit

Counts

66 → 101

Calls

Call 1

Inputs
x
(+.f64 (pow.f64 x 2) x)
(+.f64 (pow.f64 x 2) (+.f64 (pow.f64 x 3) x))
(+.f64 (pow.f64 x 2) (+.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 3) x)))
-1
(neg.f64 (+.f64 1 (/.f64 1 x)))
(neg.f64 (+.f64 1 (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 x))))
(neg.f64 (+.f64 1 (+.f64 (/.f64 1 (pow.f64 x 2)) (+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3))))))
-1
(neg.f64 (+.f64 1 (/.f64 1 x)))
(neg.f64 (+.f64 1 (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 x))))
(neg.f64 (+.f64 1 (+.f64 (/.f64 1 (pow.f64 x 2)) (+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3))))))
1
(+.f64 1 x)
(+.f64 1 (+.f64 (pow.f64 x 2) x))
(+.f64 1 (+.f64 (pow.f64 x 2) (+.f64 (pow.f64 x 3) x)))
(/.f64 -1 x)
(neg.f64 (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 x)))
(neg.f64 (+.f64 (/.f64 1 (pow.f64 x 2)) (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 x))))
(neg.f64 (+.f64 (/.f64 1 (pow.f64 x 4)) (+.f64 (/.f64 1 (pow.f64 x 2)) (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 x)))))
(/.f64 -1 x)
(neg.f64 (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 x)))
(neg.f64 (+.f64 (/.f64 1 (pow.f64 x 2)) (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 x))))
(neg.f64 (+.f64 (/.f64 1 (pow.f64 x 4)) (+.f64 (/.f64 1 (pow.f64 x 2)) (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 x)))))
(-.f64 (+.f64 1 (/.f64 x (-.f64 1 x))) 1)
(/.f64 1 (/.f64 (-.f64 1 x) x))
(/.f64 x (-.f64 1 x))
(/.f64 (pow.f64 (cbrt.f64 x) 2) (/.f64 (-.f64 1 x) (cbrt.f64 x)))
(/.f64 (sqrt.f64 x) (/.f64 (-.f64 1 x) (sqrt.f64 x)))
(/.f64 (neg.f64 x) (neg.f64 (-.f64 1 x)))
(/.f64 (/.f64 x 1) (-.f64 1 x))
(/.f64 (/.f64 x (sqrt.f64 (-.f64 1 x))) (sqrt.f64 (-.f64 1 x)))
(/.f64 (*.f64 x -1) (neg.f64 (-.f64 1 x)))
(/.f64 (/.f64 x (pow.f64 (cbrt.f64 (-.f64 1 x)) 2)) (cbrt.f64 (-.f64 1 x)))
(pow.f64 (/.f64 x (-.f64 1 x)) 1)
(pow.f64 (cbrt.f64 (/.f64 x (-.f64 1 x))) 3)
(pow.f64 (pow.f64 (/.f64 x (-.f64 1 x)) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 x (-.f64 1 x))) 2)
(sqrt.f64 (pow.f64 (/.f64 x (-.f64 1 x)) 2))
(log.f64 (exp.f64 (/.f64 x (-.f64 1 x))))
(cbrt.f64 (pow.f64 (/.f64 x (-.f64 1 x)) 3))
(expm1.f64 (log1p.f64 (/.f64 x (-.f64 1 x))))
(exp.f64 (log.f64 (/.f64 x (-.f64 1 x))))
(log1p.f64 (expm1.f64 (/.f64 x (-.f64 1 x))))
(-.f64 (+.f64 1 (/.f64 1 (-.f64 1 x))) 1)
(*.f64 1 (/.f64 1 (-.f64 1 x)))
(*.f64 (/.f64 1 (-.f64 1 x)) 1)
(*.f64 (cbrt.f64 (/.f64 1 (-.f64 1 x))) (cbrt.f64 (pow.f64 (-.f64 1 x) -2)))
(*.f64 (cbrt.f64 (pow.f64 (-.f64 1 x) -2)) (cbrt.f64 (/.f64 1 (-.f64 1 x))))
(*.f64 (pow.f64 (-.f64 1 x) -1/2) (pow.f64 (-.f64 1 x) -1/2))
(*.f64 -1 (/.f64 1 (neg.f64 (-.f64 1 x))))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (-.f64 1 x)) 2) -1) (pow.f64 (cbrt.f64 (-.f64 1 x)) -1))
(*.f64 (pow.f64 (sqrt.f64 (-.f64 1 x)) -1) (pow.f64 (sqrt.f64 (-.f64 1 x)) -1))
(*.f64 (/.f64 1 (-.f64 1 (pow.f64 x 3))) (+.f64 1 (fma.f64 x x x)))
(.f64 (/.f64 1 (-.f64 1 (.f64 x x))) (+.f64 1 x))
(pow.f64 (-.f64 1 x) -1)
(pow.f64 (/.f64 1 (-.f64 1 x)) 1)
(pow.f64 (cbrt.f64 (/.f64 1 (-.f64 1 x))) 3)
(pow.f64 (pow.f64 (/.f64 1 (-.f64 1 x)) 3) 1/3)
(pow.f64 (pow.f64 (-.f64 1 x) -1/2) 2)
(sqrt.f64 (pow.f64 (-.f64 1 x) -2))
(log.f64 (exp.f64 (/.f64 1 (-.f64 1 x))))
(cbrt.f64 (pow.f64 (/.f64 1 (-.f64 1 x)) 3))
(expm1.f64 (log1p.f64 (/.f64 1 (-.f64 1 x))))
(exp.f64 (neg.f64 (log1p.f64 (neg.f64 x))))
(log1p.f64 (expm1.f64 (/.f64 1 (-.f64 1 x))))

Outputs
x
(+.f64 (pow.f64 x 2) x)
(fma.f64 x x x)
(+.f64 (pow.f64 x 2) (+.f64 (pow.f64 x 3) x))
(+.f64 (*.f64 x x) (+.f64 x (pow.f64 x 3)))
(+.f64 x (*.f64 x (fma.f64 x x x)))
(fma.f64 x (fma.f64 x x x) x)
(+.f64 (pow.f64 x 2) (+.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 3) x)))
(+.f64 (*.f64 x x) (+.f64 (+.f64 x (pow.f64 x 3)) (pow.f64 x 4)))
(+.f64 (+.f64 x (pow.f64 x 3)) (fma.f64 x x (pow.f64 x 4)))
(*.f64 (fma.f64 x x 1) (fma.f64 x x x))
-1
(neg.f64 (+.f64 1 (/.f64 1 x)))
(+.f64 -1 (neg.f64 (/.f64 1 x)))
(+.f64 -1 (/.f64 -1 x))
(neg.f64 (+.f64 1 (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 x))))
(+.f64 -1 (neg.f64 (+.f64 (/.f64 1 x) (/.f64 1 (*.f64 x x)))))
(+.f64 -1 (+.f64 (/.f64 -1 (*.f64 x x)) (/.f64 -1 x)))
(+.f64 -1 (-.f64 (/.f64 -1 x) (/.f64 1 (*.f64 x x))))
(neg.f64 (+.f64 1 (+.f64 (/.f64 1 (pow.f64 x 2)) (+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3))))))
(+.f64 -1 (neg.f64 (+.f64 (+.f64 (/.f64 1 x) (/.f64 1 (*.f64 x x))) (/.f64 1 (pow.f64 x 3)))))
(-.f64 -1 (+.f64 (+.f64 (/.f64 1 x) (/.f64 1 (*.f64 x x))) (/.f64 1 (pow.f64 x 3))))
(+.f64 (-.f64 (/.f64 -1 x) (/.f64 1 (*.f64 x x))) (+.f64 (/.f64 -1 (pow.f64 x 3)) -1))
(+.f64 -1 (+.f64 (/.f64 -1 (*.f64 x x)) (+.f64 (/.f64 -1 x) (/.f64 -1 (pow.f64 x 3)))))
-1
(neg.f64 (+.f64 1 (/.f64 1 x)))
(+.f64 -1 (neg.f64 (/.f64 1 x)))
(+.f64 -1 (/.f64 -1 x))
(neg.f64 (+.f64 1 (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 x))))
(+.f64 -1 (neg.f64 (+.f64 (/.f64 1 x) (/.f64 1 (*.f64 x x)))))
(+.f64 -1 (+.f64 (/.f64 -1 (*.f64 x x)) (/.f64 -1 x)))
(+.f64 -1 (-.f64 (/.f64 -1 x) (/.f64 1 (*.f64 x x))))
(neg.f64 (+.f64 1 (+.f64 (/.f64 1 (pow.f64 x 2)) (+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3))))))
(+.f64 -1 (neg.f64 (+.f64 (+.f64 (/.f64 1 x) (/.f64 1 (*.f64 x x))) (/.f64 1 (pow.f64 x 3)))))
(-.f64 -1 (+.f64 (+.f64 (/.f64 1 x) (/.f64 1 (*.f64 x x))) (/.f64 1 (pow.f64 x 3))))
(+.f64 (-.f64 (/.f64 -1 x) (/.f64 1 (*.f64 x x))) (+.f64 (/.f64 -1 (pow.f64 x 3)) -1))
(+.f64 -1 (+.f64 (/.f64 -1 (*.f64 x x)) (+.f64 (/.f64 -1 x) (/.f64 -1 (pow.f64 x 3)))))
1
(+.f64 1 x)
(+.f64 x 1)
(+.f64 1 (+.f64 (pow.f64 x 2) x))
(+.f64 1 (fma.f64 x x x))
(+.f64 x (fma.f64 x x 1))
(+.f64 1 (+.f64 (pow.f64 x 2) (+.f64 (pow.f64 x 3) x)))
(+.f64 (+.f64 1 (*.f64 x x)) (+.f64 x (pow.f64 x 3)))
(+.f64 (+.f64 x (*.f64 x (fma.f64 x x x))) 1)
(*.f64 (+.f64 x 1) (fma.f64 x x 1))
(/.f64 -1 x)
(neg.f64 (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 x)))
(neg.f64 (+.f64 (/.f64 1 x) (/.f64 1 (*.f64 x x))))
(+.f64 (/.f64 -1 (*.f64 x x)) (/.f64 -1 x))
(-.f64 (/.f64 -1 x) (/.f64 1 (*.f64 x x)))
(neg.f64 (+.f64 (/.f64 1 (pow.f64 x 2)) (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 x))))
(neg.f64 (+.f64 (+.f64 (/.f64 1 x) (/.f64 1 (*.f64 x x))) (/.f64 1 (pow.f64 x 3))))
(-.f64 (+.f64 (/.f64 -1 (*.f64 x x)) (/.f64 -1 x)) (/.f64 1 (pow.f64 x 3)))
(+.f64 (-.f64 (/.f64 -1 x) (/.f64 1 (*.f64 x x))) (/.f64 -1 (pow.f64 x 3)))
(+.f64 (/.f64 -1 (*.f64 x x)) (+.f64 (/.f64 -1 x) (/.f64 -1 (pow.f64 x 3))))
(neg.f64 (+.f64 (/.f64 1 (pow.f64 x 4)) (+.f64 (/.f64 1 (pow.f64 x 2)) (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 x)))))
(neg.f64 (+.f64 (+.f64 (+.f64 (/.f64 1 x) (/.f64 1 (*.f64 x x))) (/.f64 1 (pow.f64 x 3))) (/.f64 1 (pow.f64 x 4))))
(-.f64 (/.f64 -1 (pow.f64 x 4)) (+.f64 (+.f64 (/.f64 1 x) (/.f64 1 (*.f64 x x))) (/.f64 1 (pow.f64 x 3))))
(+.f64 (-.f64 (/.f64 -1 x) (/.f64 1 (*.f64 x x))) (+.f64 (/.f64 -1 (pow.f64 x 3)) (/.f64 -1 (pow.f64 x 4))))
(+.f64 (+.f64 (/.f64 -1 (*.f64 x x)) (/.f64 -1 (pow.f64 x 3))) (-.f64 (/.f64 -1 x) (/.f64 1 (pow.f64 x 4))))
(/.f64 -1 x)
(neg.f64 (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 x)))
(neg.f64 (+.f64 (/.f64 1 x) (/.f64 1 (*.f64 x x))))
(+.f64 (/.f64 -1 (*.f64 x x)) (/.f64 -1 x))
(-.f64 (/.f64 -1 x) (/.f64 1 (*.f64 x x)))
(neg.f64 (+.f64 (/.f64 1 (pow.f64 x 2)) (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 x))))
(neg.f64 (+.f64 (+.f64 (/.f64 1 x) (/.f64 1 (*.f64 x x))) (/.f64 1 (pow.f64 x 3))))
(-.f64 (+.f64 (/.f64 -1 (*.f64 x x)) (/.f64 -1 x)) (/.f64 1 (pow.f64 x 3)))
(+.f64 (-.f64 (/.f64 -1 x) (/.f64 1 (*.f64 x x))) (/.f64 -1 (pow.f64 x 3)))
(+.f64 (/.f64 -1 (*.f64 x x)) (+.f64 (/.f64 -1 x) (/.f64 -1 (pow.f64 x 3))))
(neg.f64 (+.f64 (/.f64 1 (pow.f64 x 4)) (+.f64 (/.f64 1 (pow.f64 x 2)) (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 x)))))
(neg.f64 (+.f64 (+.f64 (+.f64 (/.f64 1 x) (/.f64 1 (*.f64 x x))) (/.f64 1 (pow.f64 x 3))) (/.f64 1 (pow.f64 x 4))))
(-.f64 (/.f64 -1 (pow.f64 x 4)) (+.f64 (+.f64 (/.f64 1 x) (/.f64 1 (*.f64 x x))) (/.f64 1 (pow.f64 x 3))))
(+.f64 (-.f64 (/.f64 -1 x) (/.f64 1 (*.f64 x x))) (+.f64 (/.f64 -1 (pow.f64 x 3)) (/.f64 -1 (pow.f64 x 4))))
(+.f64 (+.f64 (/.f64 -1 (*.f64 x x)) (/.f64 -1 (pow.f64 x 3))) (-.f64 (/.f64 -1 x) (/.f64 1 (pow.f64 x 4))))
(-.f64 (+.f64 1 (/.f64 x (-.f64 1 x))) 1)
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(/.f64 1 (/.f64 (-.f64 1 x) x))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(/.f64 x (-.f64 1 x))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 (pow.f64 (cbrt.f64 x) 2) (/.f64 (-.f64 1 x) (cbrt.f64 x)))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(/.f64 (sqrt.f64 x) (/.f64 (-.f64 1 x) (sqrt.f64 x)))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(/.f64 (neg.f64 x) (neg.f64 (-.f64 1 x)))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(/.f64 (/.f64 x 1) (-.f64 1 x))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(/.f64 (/.f64 x (sqrt.f64 (-.f64 1 x))) (sqrt.f64 (-.f64 1 x)))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(/.f64 (*.f64 x -1) (neg.f64 (-.f64 1 x)))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(/.f64 (/.f64 x (pow.f64 (cbrt.f64 (-.f64 1 x)) 2)) (cbrt.f64 (-.f64 1 x)))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(pow.f64 (/.f64 x (-.f64 1 x)) 1)
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(pow.f64 (cbrt.f64 (/.f64 x (-.f64 1 x))) 3)
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(pow.f64 (pow.f64 (/.f64 x (-.f64 1 x)) 3) 1/3)
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(pow.f64 (sqrt.f64 (/.f64 x (-.f64 1 x))) 2)
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(sqrt.f64 (pow.f64 (/.f64 x (-.f64 1 x)) 2))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(log.f64 (exp.f64 (/.f64 x (-.f64 1 x))))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(cbrt.f64 (pow.f64 (/.f64 x (-.f64 1 x)) 3))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(expm1.f64 (log1p.f64 (/.f64 x (-.f64 1 x))))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(exp.f64 (log.f64 (/.f64 x (-.f64 1 x))))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(log1p.f64 (expm1.f64 (/.f64 x (-.f64 1 x))))
(+.f64 1 (-.f64 (/.f64 x (-.f64 1 x)) 1))
(+.f64 (/.f64 x (-.f64 1 x)) 0)
(/.f64 x (-.f64 1 x))
(-.f64 (+.f64 1 (/.f64 1 (-.f64 1 x))) 1)
(+.f64 1 (-.f64 (/.f64 1 (-.f64 1 x)) 1))
(+.f64 (/.f64 -1 (+.f64 -1 x)) 0)
(/.f64 -1 (+.f64 x -1))
(*.f64 1 (/.f64 1 (-.f64 1 x)))
(+.f64 1 (-.f64 (/.f64 1 (-.f64 1 x)) 1))
(+.f64 (/.f64 -1 (+.f64 -1 x)) 0)
(/.f64 -1 (+.f64 x -1))
(*.f64 (/.f64 1 (-.f64 1 x)) 1)
(+.f64 1 (-.f64 (/.f64 1 (-.f64 1 x)) 1))
(+.f64 (/.f64 -1 (+.f64 -1 x)) 0)
(/.f64 -1 (+.f64 x -1))
(*.f64 (cbrt.f64 (/.f64 1 (-.f64 1 x))) (cbrt.f64 (pow.f64 (-.f64 1 x) -2)))
(+.f64 1 (-.f64 (/.f64 1 (-.f64 1 x)) 1))
(+.f64 (/.f64 -1 (+.f64 -1 x)) 0)
(/.f64 -1 (+.f64 x -1))
(*.f64 (cbrt.f64 (pow.f64 (-.f64 1 x) -2)) (cbrt.f64 (/.f64 1 (-.f64 1 x))))
(+.f64 1 (-.f64 (/.f64 1 (-.f64 1 x)) 1))
(+.f64 (/.f64 -1 (+.f64 -1 x)) 0)
(/.f64 -1 (+.f64 x -1))
(*.f64 (pow.f64 (-.f64 1 x) -1/2) (pow.f64 (-.f64 1 x) -1/2))
(+.f64 1 (-.f64 (/.f64 1 (-.f64 1 x)) 1))
(+.f64 (/.f64 -1 (+.f64 -1 x)) 0)
(/.f64 -1 (+.f64 x -1))
(*.f64 -1 (/.f64 1 (neg.f64 (-.f64 1 x))))
(+.f64 1 (-.f64 (/.f64 1 (-.f64 1 x)) 1))
(+.f64 (/.f64 -1 (+.f64 -1 x)) 0)
(/.f64 -1 (+.f64 x -1))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (-.f64 1 x)) 2) -1) (pow.f64 (cbrt.f64 (-.f64 1 x)) -1))
(+.f64 1 (-.f64 (/.f64 1 (-.f64 1 x)) 1))
(+.f64 (/.f64 -1 (+.f64 -1 x)) 0)
(/.f64 -1 (+.f64 x -1))
(*.f64 (pow.f64 (sqrt.f64 (-.f64 1 x)) -1) (pow.f64 (sqrt.f64 (-.f64 1 x)) -1))
(+.f64 1 (-.f64 (/.f64 1 (-.f64 1 x)) 1))
(+.f64 (/.f64 -1 (+.f64 -1 x)) 0)
(/.f64 -1 (+.f64 x -1))
(*.f64 (/.f64 1 (-.f64 1 (pow.f64 x 3))) (+.f64 1 (fma.f64 x x x)))
(/.f64 (+.f64 1 (fma.f64 x x x)) (-.f64 1 (pow.f64 x 3)))
(/.f64 (+.f64 x (fma.f64 x x 1)) (-.f64 1 (pow.f64 x 3)))
(.f64 (/.f64 1 (-.f64 1 (.f64 x x))) (+.f64 1 x))
(.f64 (+.f64 x 1) (/.f64 1 (-.f64 1 (.f64 x x))))
(/.f64 (+.f64 x 1) (-.f64 1 (*.f64 x x)))
(/.f64 (+.f64 x 1) (fma.f64 x (neg.f64 x) 1))
(pow.f64 (-.f64 1 x) -1)
(+.f64 1 (-.f64 (/.f64 1 (-.f64 1 x)) 1))
(+.f64 (/.f64 -1 (+.f64 -1 x)) 0)
(/.f64 -1 (+.f64 x -1))
(pow.f64 (/.f64 1 (-.f64 1 x)) 1)
(+.f64 1 (-.f64 (/.f64 1 (-.f64 1 x)) 1))
(+.f64 (/.f64 -1 (+.f64 -1 x)) 0)
(/.f64 -1 (+.f64 x -1))
(pow.f64 (cbrt.f64 (/.f64 1 (-.f64 1 x))) 3)
(+.f64 1 (-.f64 (/.f64 1 (-.f64 1 x)) 1))
(+.f64 (/.f64 -1 (+.f64 -1 x)) 0)
(/.f64 -1 (+.f64 x -1))
(pow.f64 (pow.f64 (/.f64 1 (-.f64 1 x)) 3) 1/3)
(+.f64 1 (-.f64 (/.f64 1 (-.f64 1 x)) 1))
(+.f64 (/.f64 -1 (+.f64 -1 x)) 0)
(/.f64 -1 (+.f64 x -1))
(pow.f64 (pow.f64 (-.f64 1 x) -1/2) 2)
(+.f64 1 (-.f64 (/.f64 1 (-.f64 1 x)) 1))
(+.f64 (/.f64 -1 (+.f64 -1 x)) 0)
(/.f64 -1 (+.f64 x -1))
(sqrt.f64 (pow.f64 (-.f64 1 x) -2))
(+.f64 1 (-.f64 (/.f64 1 (-.f64 1 x)) 1))
(+.f64 (/.f64 -1 (+.f64 -1 x)) 0)
(/.f64 -1 (+.f64 x -1))
(log.f64 (exp.f64 (/.f64 1 (-.f64 1 x))))
(+.f64 1 (-.f64 (/.f64 1 (-.f64 1 x)) 1))
(+.f64 (/.f64 -1 (+.f64 -1 x)) 0)
(/.f64 -1 (+.f64 x -1))
(cbrt.f64 (pow.f64 (/.f64 1 (-.f64 1 x)) 3))
(+.f64 1 (-.f64 (/.f64 1 (-.f64 1 x)) 1))
(+.f64 (/.f64 -1 (+.f64 -1 x)) 0)
(/.f64 -1 (+.f64 x -1))
(expm1.f64 (log1p.f64 (/.f64 1 (-.f64 1 x))))
(+.f64 1 (-.f64 (/.f64 1 (-.f64 1 x)) 1))
(+.f64 (/.f64 -1 (+.f64 -1 x)) 0)
(/.f64 -1 (+.f64 x -1))
(exp.f64 (neg.f64 (log1p.f64 (neg.f64 x))))
(+.f64 1 (-.f64 (/.f64 1 (-.f64 1 x)) 1))
(+.f64 (/.f64 -1 (+.f64 -1 x)) 0)
(/.f64 -1 (+.f64 x -1))
(log1p.f64 (expm1.f64 (/.f64 1 (-.f64 1 x))))
(+.f64 1 (-.f64 (/.f64 1 (-.f64 1 x)) 1))
(+.f64 (/.f64 -1 (+.f64 -1 x)) 0)
(/.f64 -1 (+.f64 x -1))

eval29.0ms (1.7%)

Compiler: Compiled 1093 to 747 computations (31.7% saved)

prune13.0ms (0.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	100	1	101
Fresh	0	2	2
Picked	1	1	2
Done	0	1	1
Total	101	5	106

Accurracy

100.0%

Counts

106 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 x (-.f64 1 x))
✓	99.9%	(*.f64 (/.f64 1 (-.f64 1 x)) x)
▶	49.0%	(*.f64 (+.f64 x 1) x)
	49.3%	x
	51.7%	-1
✓	100.0%	(/.f64 x (-.f64 1 x))
✓	99.9%	(*.f64 (/.f64 1 (-.f64 1 x)) x)
▶	49.0%	(*.f64 (+.f64 x 1) x)
	49.3%	x
	51.7%	-1

Compiler

Compiled 48 to 34 computations (29.2% saved)

localize20.0ms (1.1%)

Local Accuracy

Found 1 expressions with local accuracy:

New	Accuracy	Program
✓	100.0%	(*.f64 (+.f64 x 1) x)

Compiler

Compiled 12 to 8 computations (33.3% saved)

series1.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	-inf	(*.f64 (+.f64 x 1) x)
0.0ms	x	@	inf	(*.f64 (+.f64 x 1) x)
0.0ms	x	@	0	(*.f64 (+.f64 x 1) x)

rewrite50.0ms (2.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1202×	`pow1`
1114×	`log1p-expm1-u`
1114×	`expm1-log1p-u`
1112×	`add-exp-log`
1092×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	123	13
2	1547	13

Stop Event

1×	node limit

Counts

1 → 17

Calls

Call 1

Inputs
(*.f64 (+.f64 x 1) x)

Outputs
(+.f64 x (*.f64 x x))
(+.f64 (*.f64 x x) x)
(-.f64 (+.f64 1 (+.f64 x (*.f64 x x))) 1)
(/.f64 (*.f64 x (+.f64 1 (pow.f64 x 3))) (fma.f64 x x (-.f64 1 x)))
(/.f64 (*.f64 x (fma.f64 x x -1)) (+.f64 x -1))
(/.f64 (*.f64 (+.f64 1 (pow.f64 x 3)) x) (fma.f64 x x (-.f64 1 x)))
(/.f64 (*.f64 (fma.f64 x x -1) x) (+.f64 x -1))
(pow.f64 (+.f64 x (*.f64 x x)) 1)
(pow.f64 (cbrt.f64 (+.f64 x (*.f64 x x))) 3)
(pow.f64 (pow.f64 (+.f64 x (*.f64 x x)) 3) 1/3)
(pow.f64 (sqrt.f64 (+.f64 x (*.f64 x x))) 2)
(sqrt.f64 (pow.f64 (+.f64 x (*.f64 x x)) 2))
(log.f64 (pow.f64 (exp.f64 x) (+.f64 x 1)))
(cbrt.f64 (pow.f64 (+.f64 x (*.f64 x x)) 3))
(expm1.f64 (log1p.f64 (+.f64 x (*.f64 x x))))
(exp.f64 (+.f64 (log1p.f64 x) (log.f64 x)))
(log1p.f64 (expm1.f64 (+.f64 x (*.f64 x x))))

simplify62.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

1532×	`fma-def`
1126×	`distribute-lft-out`
1032×	`times-frac`
570×	`fma-neg`
538×	`*-commutative`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	53	319
1	124	303
2	348	303
3	1992	303
4	4677	303

Stop Event

1×	node limit

Counts

29 → 26

Calls

Call 1

Inputs
x
(+.f64 (pow.f64 x 2) x)
(+.f64 (pow.f64 x 2) x)
(+.f64 (pow.f64 x 2) x)
(pow.f64 x 2)
(+.f64 (pow.f64 x 2) x)
(+.f64 (pow.f64 x 2) x)
(+.f64 (pow.f64 x 2) x)
(pow.f64 x 2)
(+.f64 (pow.f64 x 2) x)
(+.f64 (pow.f64 x 2) x)
(+.f64 (pow.f64 x 2) x)
(+.f64 x (*.f64 x x))
(+.f64 (*.f64 x x) x)
(-.f64 (+.f64 1 (+.f64 x (*.f64 x x))) 1)
(/.f64 (*.f64 x (+.f64 1 (pow.f64 x 3))) (fma.f64 x x (-.f64 1 x)))
(/.f64 (*.f64 x (fma.f64 x x -1)) (+.f64 x -1))
(/.f64 (*.f64 (+.f64 1 (pow.f64 x 3)) x) (fma.f64 x x (-.f64 1 x)))
(/.f64 (*.f64 (fma.f64 x x -1) x) (+.f64 x -1))
(pow.f64 (+.f64 x (*.f64 x x)) 1)
(pow.f64 (cbrt.f64 (+.f64 x (*.f64 x x))) 3)
(pow.f64 (pow.f64 (+.f64 x (*.f64 x x)) 3) 1/3)
(pow.f64 (sqrt.f64 (+.f64 x (*.f64 x x))) 2)
(sqrt.f64 (pow.f64 (+.f64 x (*.f64 x x)) 2))
(log.f64 (pow.f64 (exp.f64 x) (+.f64 x 1)))
(cbrt.f64 (pow.f64 (+.f64 x (*.f64 x x)) 3))
(expm1.f64 (log1p.f64 (+.f64 x (*.f64 x x))))
(exp.f64 (+.f64 (log1p.f64 x) (log.f64 x)))
(log1p.f64 (expm1.f64 (+.f64 x (*.f64 x x))))

Outputs
x
(+.f64 (pow.f64 x 2) x)
(fma.f64 x x x)
(+.f64 (pow.f64 x 2) x)
(fma.f64 x x x)
(+.f64 (pow.f64 x 2) x)
(fma.f64 x x x)
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (pow.f64 x 2) x)
(fma.f64 x x x)
(+.f64 (pow.f64 x 2) x)
(fma.f64 x x x)
(+.f64 (pow.f64 x 2) x)
(fma.f64 x x x)
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (pow.f64 x 2) x)
(fma.f64 x x x)
(+.f64 (pow.f64 x 2) x)
(fma.f64 x x x)
(+.f64 (pow.f64 x 2) x)
(fma.f64 x x x)
(+.f64 x (*.f64 x x))
(fma.f64 x x x)
(+.f64 (*.f64 x x) x)
(fma.f64 x x x)
(-.f64 (+.f64 1 (+.f64 x (*.f64 x x))) 1)
(fma.f64 x x x)
(/.f64 (*.f64 x (+.f64 1 (pow.f64 x 3))) (fma.f64 x x (-.f64 1 x)))
(/.f64 x (/.f64 (fma.f64 x x (-.f64 1 x)) (+.f64 1 (pow.f64 x 3))))
(/.f64 (+.f64 x (pow.f64 x 4)) (fma.f64 x x (-.f64 1 x)))
(/.f64 (+.f64 x (pow.f64 x 4)) (-.f64 (fma.f64 x x 1) x))
(/.f64 (*.f64 x (fma.f64 x x -1)) (+.f64 x -1))
(fma.f64 x x x)
(/.f64 (*.f64 (+.f64 1 (pow.f64 x 3)) x) (fma.f64 x x (-.f64 1 x)))
(/.f64 x (/.f64 (fma.f64 x x (-.f64 1 x)) (+.f64 1 (pow.f64 x 3))))
(/.f64 (+.f64 x (pow.f64 x 4)) (fma.f64 x x (-.f64 1 x)))
(/.f64 (+.f64 x (pow.f64 x 4)) (-.f64 (fma.f64 x x 1) x))
(/.f64 (*.f64 (fma.f64 x x -1) x) (+.f64 x -1))
(fma.f64 x x x)
(pow.f64 (+.f64 x (*.f64 x x)) 1)
(fma.f64 x x x)
(pow.f64 (cbrt.f64 (+.f64 x (*.f64 x x))) 3)
(fma.f64 x x x)
(pow.f64 (pow.f64 (+.f64 x (*.f64 x x)) 3) 1/3)
(fma.f64 x x x)
(pow.f64 (sqrt.f64 (+.f64 x (*.f64 x x))) 2)
(fma.f64 x x x)
(sqrt.f64 (pow.f64 (+.f64 x (*.f64 x x)) 2))
(fma.f64 x x x)
(log.f64 (pow.f64 (exp.f64 x) (+.f64 x 1)))
(fma.f64 x x x)
(cbrt.f64 (pow.f64 (+.f64 x (*.f64 x x)) 3))
(fma.f64 x x x)
(expm1.f64 (log1p.f64 (+.f64 x (*.f64 x x))))
(fma.f64 x x x)
(exp.f64 (+.f64 (log1p.f64 x) (log.f64 x)))
(*.f64 x (exp.f64 (log1p.f64 x)))
(log1p.f64 (expm1.f64 (+.f64 x (*.f64 x x))))
(fma.f64 x x x)

eval4.0ms (0.2%)

Compiler: Compiled 202 to 100 computations (50.5% saved)

prune6.0ms (0.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	26	0	26
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	26	5	31

Accurracy

100.0%

Counts

31 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 x (-.f64 1 x))
✓	99.9%	(*.f64 (/.f64 1 (-.f64 1 x)) x)
✓	49.0%	(*.f64 (+.f64 x 1) x)
	49.3%	x
	51.7%	-1
✓	100.0%	(/.f64 x (-.f64 1 x))
✓	99.9%	(*.f64 (/.f64 1 (-.f64 1 x)) x)
✓	49.0%	(*.f64 (+.f64 x 1) x)
	49.3%	x
	51.7%	-1

Compiler

Compiled 48 to 34 computations (29.2% saved)

localize0.0ms (0%)

eval0.0ms (0%)

Compiler: Compiled 1 to 1 computations (0% saved)

prune3.0ms (0.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Kept	Total
New	0	0
Fresh	2	2
Picked	0	0
Done	3	3
Total	5	5

Accurracy

100.0%

Counts

5 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 x (-.f64 1 x))
✓	99.9%	(*.f64 (/.f64 1 (-.f64 1 x)) x)
✓	49.0%	(*.f64 (+.f64 x 1) x)
	49.3%	x
	51.7%	-1

Compiler

Compiled 48 to 31 computations (35.4% saved)

regimes9.0ms (0.5%)

Counts

6 → 1

Calls

Call 1

Inputs
-1
x
(*.f64 (+.f64 x 1) x)
(/.f64 x (-.f64 1 x))
(*.f64 (/.f64 1 (-.f64 1 x)) x)
(fma.f64 x x x)

Outputs
(/.f64 x (-.f64 1 x))

Calls

2 calls:

4.0ms	x
3.0ms	(/.f64 x (-.f64 1 x))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`(/.f64 x (-.f64 1 x))`

Compiler

Compiled 32 to 19 computations (40.6% saved)

regimes11.0ms (0.6%)

Counts

3 → 3

Calls

Call 1

Inputs
-1
x
(*.f64 (+.f64 x 1) x)

Outputs
-1
(*.f64 (+.f64 x 1) x)
-1

Calls

1 calls:

9.0ms

Results

Accuracy	Segments	Branch
98.5%	3	`x`

Compiler

Compiled 10 to 6 computations (40% saved)

regimes9.0ms (0.5%)

Counts

2 → 3

Calls

Call 1

Inputs
-1
x

Outputs
-1
x
-1

Calls

1 calls:

8.0ms

Results

Accuracy	Segments	Branch
97.5%	3	`x`

Compiler

Compiled 5 to 3 computations (40% saved)

regimes3.0ms (0.2%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
-1

Outputs
-1

Calls

1 calls:

2.0ms

Results

Accuracy	Segments	Branch
51.7%	1	`x`

Compiler

Compiled 4 to 3 computations (25% saved)

bsearch26.0ms (1.5%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
11.0ms	0.3807035892157283	2361.465533730817
15.0ms	-75616416851.90787	-0.018475216085996924

Results

23.0ms

288×

body

256

valid

Compiler

Compiled 190 to 151 computations (20.5% saved)

bsearch29.0ms (1.7%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
11.0ms	0.3807035892157283	2361.465533730817
17.0ms	-75616416851.90787	-0.018475216085996924

Results

26.0ms

288×

body

256

valid

Compiler

Compiled 118 to 97 computations (17.8% saved)

simplify6.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative`
4×	`sub-neg`
4×	`if-if-or-not`
4×	`*-commutative`
2×	`1-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	68
1	34	68
2	37	68
3	39	68
4	40	68

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(/.f64 x (-.f64 1 x))
(if (<=.f64 x -3422735716801577/4503599627370496) -1 (if (<=.f64 x 1) (*.f64 (+.f64 x 1) x) -1))
(if (<=.f64 x -1) -1 (if (<=.f64 x 1) x -1))
-1

Outputs
(/.f64 x (-.f64 1 x))
(if (<=.f64 x -3422735716801577/4503599627370496) -1 (if (<=.f64 x 1) (*.f64 (+.f64 x 1) x) -1))
(if (<=.f64 x -3422735716801577/4503599627370496) -1 (if (<=.f64 x 1) (*.f64 x (+.f64 x 1)) -1))
(if (<=.f64 x -1) -1 (if (<=.f64 x 1) x -1))
-1

Compiler

Compiled 36 to 27 computations (25% saved)

soundness188.0ms (10.8%)

Rules

1412×	`pow1`
1314×	`add-exp-log`
1314×	`log1p-expm1-u`
1314×	`expm1-log1p-u`
1290×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	128	13
2	1716	13
0	134	1704
1	350	1392
2	1173	1132
3	5122	1132

Stop Event

1×	node limit
1×	node limit

Compiler

Compiled 31 to 21 computations (32.3% saved)

end0.0ms (0%)

preprocess34.0ms (2%)

Compiler: Compiled 78 to 56 computations (28.2% saved)

analyze1.0ms (0.1%)

sample765.0ms (44.1%)

preprocess49.0ms (2.8%)

simplify5.0ms (0.3%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize21.0ms (1.2%)

series1.0ms (0%)

rewrite85.0ms (4.9%)

simplify54.0ms (3.1%)

eval15.0ms (0.9%)

prune10.0ms (0.6%)

localize76.0ms (4.4%)

series1.0ms (0%)

rewrite83.0ms (4.8%)

simplify66.0ms (3.8%)

eval29.0ms (1.7%)

prune13.0ms (0.8%)

localize20.0ms (1.1%)

series1.0ms (0.1%)

rewrite50.0ms (2.9%)

simplify62.0ms (3.6%)

eval4.0ms (0.2%)

prune6.0ms (0.3%)

localize0.0ms (0%)

eval0.0ms (0%)

prune3.0ms (0.2%)

regimes9.0ms (0.5%)

regimes11.0ms (0.6%)

regimes9.0ms (0.5%)

regimes3.0ms (0.2%)

bsearch26.0ms (1.5%)

bsearch29.0ms (1.7%)

simplify6.0ms (0.3%)

soundness188.0ms (10.8%)

end0.0ms (0%)

preprocess34.0ms (2%)

Profiling