Details

Time bar (total: 4.0s)

analyze703.0ms (17.5%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
25%75%0%3
25%62.5%12.5%4
25%56.2%18.8%5
28.1%50%21.9%6
29.7%46.9%23.5%7
30.5%45.3%24.3%8
30.8%44.9%24.3%9
31.2%44.5%24.3%10
31.3%44.4%24.3%11
31.4%44.3%24.3%12
31.4%44.1%24.5%13
31.5%43.8%24.8%14
Compiler

Compiled 14 to 12 computations (14.3% saved)

sample2.8s (68.5%)

Results
1.6s2785×body1024valid
473.0ms1345×body512valid
392.0ms3179×body128valid
170.0ms281×body2048valid
151.0ms666×body256valid
0.0ms2×body128invalid

preprocess28.0ms (0.7%)

Algorithm
2×egg-herbie
Rules
590×associate-/l*_binary64
477×associate-/r*_binary64
380×fma-def_binary64
281×distribute-rgt-in_binary64
270×associate-/l/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01113
12513
23413
35913
412711
53498
613458
011
Stop Event
1×saturated
1×node limit
Calls
Call 1
Inputs
0
Outputs
0
Call 2
Inputs
(sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2 x)) 1) (-.f64 (exp.f64 x) 1)))
Outputs
(sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2 x)) 1) (-.f64 (exp.f64 x) 1)))
(sqrt.f64 (/.f64 (expm1.f64 (*.f64 2 x)) (expm1.f64 x)))
(sqrt.f64 (/.f64 (expm1.f64 (+.f64 x x)) (expm1.f64 x)))
(sqrt.f64 (/.f64 (+.f64 1 (exp.f64 x)) 1))
(sqrt.f64 (+.f64 1 (exp.f64 x)))
Compiler

Compiled 13 to 11 computations (15.4% saved)

simplify17.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
590×associate-/l*_binary64
477×associate-/r*_binary64
380×fma-def_binary64
281×distribute-rgt-in_binary64
270×associate-/l/_binary64
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
01113
12513
23413
35913
412711
53498
613458
Stop Event
1×node limit
Counts
1 → 2
Calls
Call 1
Inputs
(sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2 x)) 1) (-.f64 (exp.f64 x) 1)))
Outputs
(sqrt.f64 (/.f64 (-.f64 (exp.f64 (*.f64 2 x)) 1) (-.f64 (exp.f64 x) 1)))
(sqrt.f64 (/.f64 (expm1.f64 (*.f64 2 x)) (expm1.f64 x)))
(sqrt.f64 (/.f64 (expm1.f64 (+.f64 x x)) (expm1.f64 x)))
(sqrt.f64 (/.f64 (+.f64 1 (exp.f64 x)) 1))
(sqrt.f64 (+.f64 1 (exp.f64 x)))

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.0b
(sqrt.f64 (+.f64 1 (exp.f64 x)))
Compiler

Compiled 30 to 24 computations (20% saved)

localize3.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 1 (exp.f64 x))
✓0.0b
(sqrt.f64 (+.f64 1 (exp.f64 x)))

series3.0ms (0.1%)

Counts
2 → 8
Calls

6 calls:

TimeVariablePointExpression
1.0ms
x
@0
(sqrt.f64 (+.f64 1 (exp.f64 x)))
1.0ms
x
@inf
(sqrt.f64 (+.f64 1 (exp.f64 x)))
0.0ms
x
@-inf
(sqrt.f64 (+.f64 1 (exp.f64 x)))
0.0ms
x
@0
(+.f64 1 (exp.f64 x))
0.0ms
x
@inf
(+.f64 1 (exp.f64 x))

rewrite46.0ms (1.1%)

Algorithm
1×batch-egg-rewrite
Rules
550×pow1_binary64
512×add-log-exp_binary64
512×log1p-expm1-u_binary64
512×expm1-log1p-u_binary64
500×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0614
111814
2142314
Stop Event
1×node limit
Counts
2 → 58
Calls
Call 1
Inputs
(sqrt.f64 (+.f64 1 (exp.f64 x)))
(+.f64 1 (exp.f64 x))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (hypot.f64 1 (sqrt.f64 (exp.f64 x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (hypot.f64 1 (sqrt.f64 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x)))) (cbrt.f64 (+.f64 1 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 1 (exp.f64 x))) (cbrt.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 1/4) (pow.f64 (+.f64 1 (exp.f64 x)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (+.f64 1 (exp.f64 x))) 2)) (sqrt.f64 (cbrt.f64 (+.f64 1 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/2) (hypot.f64 1 (sqrt.f64 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 1 (exp.f64 x))) 2) 1/2) (pow.f64 (cbrt.f64 (+.f64 1 (exp.f64 x))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (-.f64 1 (pow.f64 (exp.f64 x) 2))) (sqrt.f64 (-.f64 1 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (+.f64 1 (pow.f64 (exp.f64 x) 3))) (sqrt.f64 (+.f64 1 (*.f64 (exp.f64 x) (expm1.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 1 (exp.f64 x)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 1/4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x hypot.f64 1 (sqrt.f64 (exp.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log1p.f64 (exp.f64 x)) 1/2))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (+.f64 1 (exp.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 1 (-.f64 1 (exp.f64 x))) (/.f64 (pow.f64 (exp.f64 x) 2) (-.f64 1 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 1 (exp.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 1 (exp.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x))) (hypot.f64 1 (sqrt.f64 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 1 (exp.f64 x))) (pow.f64 (cbrt.f64 (+.f64 1 (exp.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 1 (exp.f64 x))) (*.f64 (cbrt.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x)))) (hypot.f64 1 (sqrt.f64 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (+.f64 1 (exp.f64 x))) 2) (cbrt.f64 (+.f64 1 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 1/4) (*.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 1/4) (hypot.f64 1 (sqrt.f64 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 1 (pow.f64 (exp.f64 x) 3)) (/.f64 1 (+.f64 1 (*.f64 (exp.f64 x) (expm1.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 1 (pow.f64 (exp.f64 x) 2)) (/.f64 1 (-.f64 1 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x))) (pow.f64 (+.f64 1 (exp.f64 x)) 1/4)) (pow.f64 (+.f64 1 (exp.f64 x)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x))) (cbrt.f64 (+.f64 1 (exp.f64 x)))) (cbrt.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 1 (*.f64 (exp.f64 x) (expm1.f64 x))) (+.f64 1 (pow.f64 (exp.f64 x) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 1 (exp.f64 x)) (-.f64 1 (pow.f64 (exp.f64 x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 1 (pow.f64 (exp.f64 x) 3)) (+.f64 1 (*.f64 (exp.f64 x) (expm1.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 1 (pow.f64 (exp.f64 x) 3)) (+.f64 (pow.f64 (exp.f64 x) 2) (-.f64 1 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 1 (pow.f64 (exp.f64 x) 2)) (-.f64 1 (exp.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 1 (pow.f64 (exp.f64 x) 3))) (neg.f64 (+.f64 1 (*.f64 (exp.f64 x) (expm1.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 1 (pow.f64 (exp.f64 x) 2))) (neg.f64 (-.f64 1 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (exp.f64 x) 2) 1) (expm1.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 1 (exp.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (hypot.f64 1 (sqrt.f64 (exp.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 1 (exp.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (+.f64 1 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (exp.f64 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (exp.f64 x)) 2) (cbrt.f64 (exp.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 (exp.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 1 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 1 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log1p.f64 (exp.f64 x)))))))

simplify19.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
586×fma-def_binary64
421×associate-*r*_binary64
412×associate-*l*_binary64
328×times-frac_binary64
315×associate-/l*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
035169
1109137
2337131
31100103
Stop Event
1×node limit
Counts
66 → 71
Calls
Call 1
Inputs
(sqrt.f64 2)
(+.f64 (sqrt.f64 2) (*.f64 1/2 (/.f64 x (sqrt.f64 2))))
(+.f64 (sqrt.f64 2) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (pow.f64 x 2)) (sqrt.f64 2))) (*.f64 1/2 (/.f64 x (sqrt.f64 2)))))
(+.f64 (sqrt.f64 2) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (-.f64 1/6 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (pow.f64 (sqrt.f64 2) 2)))) (pow.f64 x 3)) (sqrt.f64 2))) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (pow.f64 x 2)) (sqrt.f64 2))) (*.f64 1/2 (/.f64 x (sqrt.f64 2))))))
2
(+.f64 2 x)
(+.f64 2 (+.f64 (*.f64 1/2 (pow.f64 x 2)) x))
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (+.f64 2 (+.f64 (*.f64 1/2 (pow.f64 x 2)) x)))
Outputs
(sqrt.f64 2)
(+.f64 (sqrt.f64 2) (*.f64 1/2 (/.f64 x (sqrt.f64 2))))
(fma.f64 1/2 (/.f64 x (sqrt.f64 2)) (sqrt.f64 2))
(+.f64 (sqrt.f64 2) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (pow.f64 x 2)) (sqrt.f64 2))) (*.f64 1/2 (/.f64 x (sqrt.f64 2)))))
(+.f64 (sqrt.f64 2) (*.f64 1/2 (+.f64 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (/.f64 (sqrt.f64 2) (*.f64 x x))) (/.f64 x (sqrt.f64 2)))))
(fma.f64 1/2 (+.f64 (/.f64 x (sqrt.f64 2)) (*.f64 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2)) (*.f64 x x))) (sqrt.f64 2))
(fma.f64 1/2 (fma.f64 (-.f64 (/.f64 1/2 (sqrt.f64 2)) (/.f64 (/.f64 1/4 (sqrt.f64 2)) 2)) (*.f64 x x) (/.f64 x (sqrt.f64 2))) (sqrt.f64 2))
(+.f64 (sqrt.f64 2) (*.f64 (/.f64 1/2 (sqrt.f64 2)) (+.f64 x (*.f64 x (*.f64 x 3/8)))))
(+.f64 (sqrt.f64 2) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (-.f64 1/6 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (pow.f64 (sqrt.f64 2) 2)))) (pow.f64 x 3)) (sqrt.f64 2))) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (pow.f64 x 2)) (sqrt.f64 2))) (*.f64 1/2 (/.f64 x (sqrt.f64 2))))))
(+.f64 (sqrt.f64 2) (fma.f64 1/2 (/.f64 (-.f64 1/6 (*.f64 1/2 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (pow.f64 (sqrt.f64 2) 2)))) (/.f64 (sqrt.f64 2) (pow.f64 x 3))) (*.f64 1/2 (+.f64 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (/.f64 (sqrt.f64 2) (*.f64 x x))) (/.f64 x (sqrt.f64 2))))))
(+.f64 (sqrt.f64 2) (fma.f64 1/2 (+.f64 (/.f64 x (sqrt.f64 2)) (*.f64 (/.f64 (-.f64 1/2 (pow.f64 (/.f64 1/2 (sqrt.f64 2)) 2)) (sqrt.f64 2)) (*.f64 x x))) (/.f64 (*.f64 7/192 (pow.f64 x 3)) (sqrt.f64 2))))
(fma.f64 1/2 (fma.f64 (/.f64 7/96 (sqrt.f64 2)) (pow.f64 x 3) (fma.f64 (-.f64 (/.f64 1/2 (sqrt.f64 2)) (/.f64 (/.f64 1/4 (sqrt.f64 2)) 2)) (*.f64 x x) (/.f64 x (sqrt.f64 2)))) (sqrt.f64 2))
(+.f64 (*.f64 (/.f64 1/2 (sqrt.f64 2)) (+.f64 x (*.f64 x (*.f64 x 3/8)))) (fma.f64 (/.f64 7/192 (sqrt.f64 2)) (pow.f64 x 3) (sqrt.f64 2)))
2
(+.f64 2 x)
(+.f64 2 (+.f64 (*.f64 1/2 (pow.f64 x 2)) x))
(+.f64 2 (fma.f64 1/2 (*.f64 x x) x))
(fma.f64 (fma.f64 1/2 x 1) x 2)
(+.f64 (*.f64 1/6 (pow.f64 x 3)) (+.f64 2 (+.f64 (*.f64 1/2 (pow.f64 x 2)) x)))
(fma.f64 1/6 (pow.f64 x 3) (+.f64 2 (fma.f64 1/2 (*.f64 x x) x)))
(+.f64 (fma.f64 1/2 (*.f64 x x) x) (fma.f64 1/6 (pow.f64 x 3) 2))
(+.f64 2 (fma.f64 1/6 (pow.f64 x 3) (fma.f64 1/2 (*.f64 x x) x)))
(fma.f64 1/6 (pow.f64 x 3) (fma.f64 (fma.f64 1/2 x 1) x 2))

prune77.0ms (1.9%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New70171
Fresh000
Picked101
Done000
Total71172
Error
0b
Counts
72 → 1
Alt Table
StatusErrorProgram
▶0b
(pow.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3/2) 1/3)
Compiler

Compiled 836 to 590 computations (29.4% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.0b
(+.f64 1 (exp.f64 x))
✓0.0b
(pow.f64 (+.f64 1 (exp.f64 x)) 3/2)
✓0.0b
(pow.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3/2) 1/3)

series86.0ms (2.1%)

Counts
2 → 24
Calls

6 calls:

TimeVariablePointExpression
46.0ms
x
@inf
(pow.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3/2) 1/3)
28.0ms
x
@-inf
(pow.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3/2) 1/3)
9.0ms
x
@inf
(pow.f64 (+.f64 1 (exp.f64 x)) 3/2)
2.0ms
x
@0
(pow.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3/2) 1/3)
0.0ms
x
@0
(pow.f64 (+.f64 1 (exp.f64 x)) 3/2)

rewrite42.0ms (1%)

Algorithm
1×batch-egg-rewrite
Rules
784×pow1_binary64
743×log1p-expm1-u_binary64
743×expm1-log1p-u_binary64
90×add-sqr-sqrt_binary64
87×add-log-exp_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0918
119517
2215017
Stop Event
1×node limit
Counts
2 → 43
Calls
Call 1
Inputs
(pow.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3/2) 1/3)
(pow.f64 (+.f64 1 (exp.f64 x)) 3/2)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (+.f64 1 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (+.f64 1 (exp.f64 x))) (cbrt.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))) (cbrt.f64 (+.f64 1 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 1/4) (pow.f64 (+.f64 1 (exp.f64 x)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (+.f64 1 (exp.f64 x))) 2)) (sqrt.f64 (cbrt.f64 (+.f64 1 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/2) (sqrt.f64 (+.f64 1 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 1 (exp.f64 x))) 2) 1/2) (pow.f64 (cbrt.f64 (+.f64 1 (exp.f64 x))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (sqrt.f64 (+.f64 1 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3/4) 1/3) (pow.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3/4) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (+.f64 1 (pow.f64 (exp.f64 x) 3))) (sqrt.f64 (+.f64 1 (*.f64 (exp.f64 x) (expm1.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (-.f64 1 (pow.f64 (exp.f64 x) 2))) (sqrt.f64 (-.f64 1 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (+.f64 1 (exp.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x hypot.f64 1 (sqrt.f64 (exp.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 1/2 (log1p.f64 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log1p.f64 (exp.f64 x)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 1/2 (log1p.f64 (exp.f64 x))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3/2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 (+.f64 1 (exp.f64 x)) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 1 (exp.f64 x)) (sqrt.f64 (+.f64 1 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3/2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))) (+.f64 1 (exp.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3/4) (pow.f64 (+.f64 1 (exp.f64 x)) 3/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 3/2) (pow.f64 (+.f64 1 (exp.f64 x)) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 1 (exp.f64 x))) 2) 3/2) (pow.f64 (cbrt.f64 (+.f64 1 (exp.f64 x))) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))) 3/2) (pow.f64 (sqrt.f64 (+.f64 1 (exp.f64 x))) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 1 (exp.f64 x)) (cbrt.f64 (+.f64 1 (exp.f64 x)))) (cbrt.f64 (sqrt.f64 (+.f64 1 (exp.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 1 (exp.f64 x)) (pow.f64 (+.f64 1 (exp.f64 x)) 1/4)) (pow.f64 (+.f64 1 (exp.f64 x)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3/2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3/2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 3/2 (log1p.f64 (exp.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 3/2 (log1p.f64 (exp.f64 x))) 1))))))

simplify32.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
291×fma-def_binary64
267×associate-*r*_binary64
262×cancel-sign-sub-inv_binary64
257×associate-*l*_binary64
249×distribute-rgt-neg-in_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
072491
1204409
2665381
33146379
Stop Event
1×node limit
Counts
67 → 58
Calls
Call 1
Inputs
(sqrt.f64 2)
(+.f64 (sqrt.f64 2) (*.f64 1/4 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 2)) 1/3) (*.f64 (sqrt.f64 8) x))))
(+.f64 (sqrt.f64 2) (+.f64 (*.f64 1/3 (/.f64 (*.f64 (-.f64 (*.f64 15/32 (sqrt.f64 8)) (*.f64 3/16 (*.f64 (pow.f64 (/.f64 1 (sqrt.f64 2)) 1/3) (pow.f64 (sqrt.f64 8) 2)))) (pow.f64 x 2)) (pow.f64 (sqrt.f64 2) 2))) (*.f64 1/4 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 2)) 1/3) (*.f64 (sqrt.f64 8) x)))))
(+.f64 (sqrt.f64 2) (+.f64 (*.f64 1/3 (/.f64 (*.f64 (-.f64 (*.f64 15/32 (sqrt.f64 8)) (*.f64 3/16 (*.f64 (pow.f64 (/.f64 1 (sqrt.f64 2)) 1/3) (pow.f64 (sqrt.f64 8) 2)))) (pow.f64 x 2)) (pow.f64 (sqrt.f64 2) 2))) (+.f64 (*.f64 1/3 (/.f64 (*.f64 (-.f64 (*.f64 27/128 (sqrt.f64 8)) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/3) (*.f64 (-.f64 (*.f64 15/32 (sqrt.f64 8)) (*.f64 3/16 (*.f64 (pow.f64 (/.f64 1 (sqrt.f64 2)) 1/3) (pow.f64 (sqrt.f64 8) 2)))) (sqrt.f64 8)))) (*.f64 1/64 (/.f64 (pow.f64 (sqrt.f64 8) 3) (pow.f64 (sqrt.f64 2) 2))))) (pow.f64 x 3)) (pow.f64 (sqrt.f64 2) 2))) (*.f64 1/4 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 2)) 1/3) (*.f64 (sqrt.f64 8) x))))))
(sqrt.f64 (+.f64 1 (exp.f64 x)))
(sqrt.f64 (+.f64 1 (exp.f64 x)))
(sqrt.f64 (+.f64 1 (exp.f64 x)))
(sqrt.f64 (+.f64 1 (exp.f64 x)))
(sqrt.f64 (+.f64 1 (exp.f64 x)))
(sqrt.f64 (+.f64 1 (exp.f64 x)))
(sqrt.f64 (+.f64 1 (exp.f64 x)))
(sqrt.f64 (+.f64 1 (exp.f64 x)))
(sqrt.f64 8)
(+.f64 (*.f64 3/4 (*.f64 (sqrt.f64 8) x)) (sqrt.f64 8))
(+.f64 (*.f64 3/4 (*.f64 (sqrt.f64 8) x)) (+.f64 (*.f64 15/32 (*.f64 (sqrt.f64 8) (pow.f64 x 2))) (sqrt.f64 8)))
(+.f64 (*.f64 3/4 (*.f64 (sqrt.f64 8) x)) (+.f64 (*.f64 15/32 (*.f64 (sqrt.f64 8) (pow.f64 x 2))) (+.f64 (sqrt.f64 8) (*.f64 27/128 (*.f64 (sqrt.f64 8) (pow.f64 x 3))))))
(sqrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3))
(sqrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3))
(sqrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3))
(sqrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3))
(sqrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3))
(sqrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3))
(sqrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3))
(sqrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3))
Outputs
(sqrt.f64 2)
(+.f64 (sqrt.f64 2) (*.f64 1/4 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 2)) 1/3) (*.f64 (sqrt.f64 8) x))))
(+.f64 (sqrt.f64 2) (*.f64 1/4 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 2))) (*.f64 (sqrt.f64 8) x))))
(fma.f64 1/4 (*.f64 (cbrt.f64 1/2) (*.f64 (sqrt.f64 8) x)) (sqrt.f64 2))
(+.f64 (sqrt.f64 2) (+.f64 (*.f64 1/3 (/.f64 (*.f64 (-.f64 (*.f64 15/32 (sqrt.f64 8)) (*.f64 3/16 (*.f64 (pow.f64 (/.f64 1 (sqrt.f64 2)) 1/3) (pow.f64 (sqrt.f64 8) 2)))) (pow.f64 x 2)) (pow.f64 (sqrt.f64 2) 2))) (*.f64 1/4 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 2)) 1/3) (*.f64 (sqrt.f64 8) x)))))
(+.f64 (sqrt.f64 2) (fma.f64 1/3 (/.f64 (+.f64 (*.f64 (sqrt.f64 8) 15/32) (*.f64 -3/16 (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 2))) (pow.f64 (sqrt.f64 8) 2)))) (/.f64 (pow.f64 (sqrt.f64 2) 2) (*.f64 x x))) (*.f64 1/4 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 2))) (*.f64 (sqrt.f64 8) x)))))
(+.f64 (sqrt.f64 2) (fma.f64 1/4 (*.f64 (cbrt.f64 1/2) (*.f64 (sqrt.f64 8) x)) (*.f64 1/3 (/.f64 (fma.f64 (sqrt.f64 8) 15/32 (*.f64 -3/2 (cbrt.f64 (/.f64 1 (sqrt.f64 2))))) (/.f64 2 (*.f64 x x))))))
(+.f64 (*.f64 1/6 (*.f64 x (*.f64 x (fma.f64 -3/2 (cbrt.f64 (/.f64 1 (sqrt.f64 2))) (*.f64 (sqrt.f64 8) 15/32))))) (fma.f64 1/4 (*.f64 (cbrt.f64 1/2) (*.f64 (sqrt.f64 8) x)) (sqrt.f64 2)))
(+.f64 (sqrt.f64 2) (+.f64 (*.f64 1/3 (/.f64 (*.f64 (-.f64 (*.f64 15/32 (sqrt.f64 8)) (*.f64 3/16 (*.f64 (pow.f64 (/.f64 1 (sqrt.f64 2)) 1/3) (pow.f64 (sqrt.f64 8) 2)))) (pow.f64 x 2)) (pow.f64 (sqrt.f64 2) 2))) (+.f64 (*.f64 1/3 (/.f64 (*.f64 (-.f64 (*.f64 27/128 (sqrt.f64 8)) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5)) 1/3) (*.f64 (-.f64 (*.f64 15/32 (sqrt.f64 8)) (*.f64 3/16 (*.f64 (pow.f64 (/.f64 1 (sqrt.f64 2)) 1/3) (pow.f64 (sqrt.f64 8) 2)))) (sqrt.f64 8)))) (*.f64 1/64 (/.f64 (pow.f64 (sqrt.f64 8) 3) (pow.f64 (sqrt.f64 2) 2))))) (pow.f64 x 3)) (pow.f64 (sqrt.f64 2) 2))) (*.f64 1/4 (*.f64 (pow.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 2)) 1/3) (*.f64 (sqrt.f64 8) x))))))
(+.f64 (sqrt.f64 2) (fma.f64 1/3 (/.f64 (+.f64 (*.f64 (sqrt.f64 8) 15/32) (*.f64 -3/16 (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 2))) (pow.f64 (sqrt.f64 8) 2)))) (/.f64 (pow.f64 (sqrt.f64 2) 2) (*.f64 x x))) (fma.f64 1/3 (/.f64 (-.f64 (*.f64 (sqrt.f64 8) 27/128) (fma.f64 1/2 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5))) (*.f64 (sqrt.f64 8) (+.f64 (*.f64 (sqrt.f64 8) 15/32) (*.f64 -3/16 (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 2))) (pow.f64 (sqrt.f64 8) 2)))))) (/.f64 (*.f64 1/64 (pow.f64 (sqrt.f64 8) 3)) (pow.f64 (sqrt.f64 2) 2)))) (/.f64 (pow.f64 (sqrt.f64 2) 2) (pow.f64 x 3))) (*.f64 1/4 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 2))) (*.f64 (sqrt.f64 8) x))))))
(+.f64 (*.f64 1/3 (+.f64 (/.f64 (fma.f64 (sqrt.f64 8) 15/32 (*.f64 -3/2 (cbrt.f64 (/.f64 1 (sqrt.f64 2))))) (/.f64 2 (*.f64 x x))) (*.f64 (/.f64 (-.f64 (*.f64 (sqrt.f64 8) 27/128) (fma.f64 1/2 (*.f64 (sqrt.f64 8) (*.f64 (fma.f64 (sqrt.f64 8) 15/32 (*.f64 -3/2 (cbrt.f64 (/.f64 1 (sqrt.f64 2))))) (cbrt.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5))))) (/.f64 (*.f64 1/8 (sqrt.f64 8)) 2))) 2) (pow.f64 x 3)))) (fma.f64 1/4 (*.f64 (cbrt.f64 1/2) (*.f64 (sqrt.f64 8) x)) (sqrt.f64 2)))
(fma.f64 1/3 (fma.f64 (/.f64 (fma.f64 -3/2 (cbrt.f64 (/.f64 1 (sqrt.f64 2))) (*.f64 (sqrt.f64 8) 15/32)) 2) (*.f64 x x) (*.f64 (pow.f64 x 3) (/.f64 (+.f64 (fma.f64 (sqrt.f64 8) 27/128 (*.f64 (+.f64 15/4 (*.f64 (*.f64 (sqrt.f64 8) -3/2) (cbrt.f64 (/.f64 1 (sqrt.f64 2))))) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5))) -1/2))) (*.f64 (*.f64 4 (sqrt.f64 8)) -1/64)) 2))) (fma.f64 1/4 (*.f64 (cbrt.f64 1/2) (*.f64 (sqrt.f64 8) x)) (sqrt.f64 2)))
(fma.f64 1/3 (fma.f64 (/.f64 (fma.f64 -3/2 (cbrt.f64 (/.f64 1 (sqrt.f64 2))) (*.f64 (sqrt.f64 8) 15/32)) 2) (*.f64 x x) (*.f64 (pow.f64 x 3) (/.f64 (fma.f64 (sqrt.f64 8) 27/128 (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 (sqrt.f64 2) 5))) (*.f64 (+.f64 15/4 (*.f64 (*.f64 (sqrt.f64 8) -3/2) (cbrt.f64 (/.f64 1 (sqrt.f64 2))))) -1/2) (*.f64 (*.f64 4 (sqrt.f64 8)) -1/64))) 2))) (fma.f64 1/4 (*.f64 (cbrt.f64 1/2) (*.f64 (sqrt.f64 8) x)) (sqrt.f64 2)))
(sqrt.f64 (+.f64 1 (exp.f64 x)))
(sqrt.f64 (+.f64 1 (exp.f64 x)))
(sqrt.f64 (+.f64 1 (exp.f64 x)))
(sqrt.f64 (+.f64 1 (exp.f64 x)))
(sqrt.f64 (+.f64 1 (exp.f64 x)))
(sqrt.f64 (+.f64 1 (exp.f64 x)))
(sqrt.f64 (+.f64 1 (exp.f64 x)))
(sqrt.f64 (+.f64 1 (exp.f64 x)))
(sqrt.f64 8)
(+.f64 (*.f64 3/4 (*.f64 (sqrt.f64 8) x)) (sqrt.f64 8))
(fma.f64 3/4 (*.f64 (sqrt.f64 8) x) (sqrt.f64 8))
(fma.f64 (*.f64 (sqrt.f64 8) x) 3/4 (sqrt.f64 8))
(fma.f64 (sqrt.f64 8) (*.f64 x 3/4) (sqrt.f64 8))
(+.f64 (*.f64 3/4 (*.f64 (sqrt.f64 8) x)) (+.f64 (*.f64 15/32 (*.f64 (sqrt.f64 8) (pow.f64 x 2))) (sqrt.f64 8)))
(fma.f64 3/4 (*.f64 (sqrt.f64 8) x) (fma.f64 15/32 (*.f64 (sqrt.f64 8) (*.f64 x x)) (sqrt.f64 8)))
(fma.f64 (*.f64 (sqrt.f64 8) 3/4) x (fma.f64 (*.f64 (sqrt.f64 8) 15/32) (*.f64 x x) (sqrt.f64 8)))
(+.f64 (sqrt.f64 8) (*.f64 (sqrt.f64 8) (+.f64 (*.f64 x 3/4) (*.f64 x (*.f64 x 15/32)))))
(+.f64 (*.f64 3/4 (*.f64 (sqrt.f64 8) x)) (+.f64 (*.f64 15/32 (*.f64 (sqrt.f64 8) (pow.f64 x 2))) (+.f64 (sqrt.f64 8) (*.f64 27/128 (*.f64 (sqrt.f64 8) (pow.f64 x 3))))))
(fma.f64 3/4 (*.f64 (sqrt.f64 8) x) (+.f64 (fma.f64 15/32 (*.f64 (sqrt.f64 8) (*.f64 x x)) (sqrt.f64 8)) (*.f64 27/128 (*.f64 (sqrt.f64 8) (pow.f64 x 3)))))
(fma.f64 (*.f64 (sqrt.f64 8) x) 3/4 (fma.f64 15/32 (*.f64 (sqrt.f64 8) (*.f64 x x)) (fma.f64 (*.f64 (sqrt.f64 8) 27/128) (pow.f64 x 3) (sqrt.f64 8))))
(+.f64 (fma.f64 (*.f64 (sqrt.f64 8) 27/128) (pow.f64 x 3) (sqrt.f64 8)) (*.f64 (sqrt.f64 8) (+.f64 (*.f64 x 3/4) (*.f64 x (*.f64 x 15/32)))))
(sqrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3))
(pow.f64 (+.f64 1 (exp.f64 x)) 3/2)
(sqrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3))
(pow.f64 (+.f64 1 (exp.f64 x)) 3/2)
(sqrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3))
(pow.f64 (+.f64 1 (exp.f64 x)) 3/2)
(sqrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3))
(pow.f64 (+.f64 1 (exp.f64 x)) 3/2)
(sqrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3))
(pow.f64 (+.f64 1 (exp.f64 x)) 3/2)
(sqrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3))
(pow.f64 (+.f64 1 (exp.f64 x)) 3/2)
(sqrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3))
(pow.f64 (+.f64 1 (exp.f64 x)) 3/2)
(sqrt.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3))
(pow.f64 (+.f64 1 (exp.f64 x)) 3/2)

prune108.0ms (2.7%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New99099
Fresh000
Picked011
Done000
Total991100
Error
0b
Counts
100 → 1
Alt Table
StatusErrorProgram
✓0b
(pow.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3/2) 1/3)
Compiler

Compiled 1476 to 1163 computations (21.2% saved)

regimes24.0ms (0.6%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts
14 → 1
Compiler

Compiled 152 to 116 computations (23.7% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
094294967295
1124294967295
Stop Event
1×saturated
Calls
Call 1
Inputs
(pow.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3/2) 1/3)
Outputs
(pow.f64 (pow.f64 (+.f64 1 (exp.f64 x)) 3/2) 1/3)

end68.0ms (1.7%)

Stop Event
1×done
Compiler

Compiled 26 to 22 computations (15.4% saved)

Profiling

Loading profile data...