Details

Time bar (total: 5.3s)

analyze337.0ms (6.4%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
3.1%96.7%0.2%8
6.2%92%1.8%9
8.2%90.1%1.8%10
13.3%84.2%2.5%11
16.2%74.7%9.2%12
Compiler

Compiled 13 to 9 computations (30.8% saved)

sample2.2s (42.3%)

Results
1.2s8245×body64valid
1.0s8483×body64invalid
2.0ms11×body128valid

preprocess17.0ms (0.3%)

Algorithm
2×egg-herbie
Rules
12×*-commutative_binary64
12×associate-/r*_binary64
1×swap-V-l
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03284
15684
26484
044
144
Stop Event
1×unsound
1×saturated
Calls
Call 1
Inputs
0
1
2
3
Outputs
0
1
2
3
2
Call 2
Inputs
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
(*.f64 A (sqrt.f64 (/.f64 c0 (*.f64 V l))))
(*.f64 V (sqrt.f64 (/.f64 A (*.f64 c0 l))))
(*.f64 l (sqrt.f64 (/.f64 A (*.f64 V c0))))
(*.f64 c0 (sqrt.f64 (/.f64 V (*.f64 A l))))
(*.f64 c0 (sqrt.f64 (/.f64 l (*.f64 V A))))
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 l V))))
Outputs
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
(*.f64 A (sqrt.f64 (/.f64 c0 (*.f64 V l))))
(*.f64 V (sqrt.f64 (/.f64 A (*.f64 c0 l))))
(*.f64 l (sqrt.f64 (/.f64 A (*.f64 V c0))))
(*.f64 l (sqrt.f64 (/.f64 A (*.f64 c0 V))))
(*.f64 c0 (sqrt.f64 (/.f64 V (*.f64 A l))))
(*.f64 c0 (sqrt.f64 (/.f64 l (*.f64 V A))))
(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 l V) A)))
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 l V))))
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
Symmetry

(sort V l)

Compiler

Compiled 12 to 8 computations (33.3% saved)

simplify9.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
2×*-commutative_binary64
2×associate-/r*_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0912
11312
21512
Stop Event
1×saturated
Counts
1 → 1
Calls
Call 1
Inputs
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
Outputs
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
17.4b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶17.4b
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
Compiler

Compiled 36 to 24 computations (33.3% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓1.7b
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
✓5.7b
(/.f64 A (*.f64 V l))
✓13.3b
(sqrt.f64 (/.f64 A (*.f64 V l)))

series27.0ms (0.5%)

Counts
3 → 12
Calls

30 calls:

TimeVariablePointExpression
3.0ms
l
@-inf
(sqrt.f64 (/.f64 A (*.f64 V l)))
2.0ms
l
@0
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
2.0ms
A
@0
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
1.0ms
A
@0
(sqrt.f64 (/.f64 A (*.f64 V l)))
1.0ms
A
@inf
(/.f64 A (*.f64 V l))

rewrite60.0ms (1.1%)

Algorithm
1×batch-egg-rewrite
Rules
989×pow1_binary64
914×add-log-exp_binary64
914×log1p-expm1-u_binary64
914×expm1-log1p-u_binary64
94×add-sqr-sqrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0928
118528
2245528
Stop Event
1×node limit
Counts
3 → 90
Calls
Call 1
Inputs
(sqrt.f64 (/.f64 A (*.f64 V l)))
(/.f64 A (*.f64 V l))
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (/.f64 (/.f64 A V) l)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (/.f64 A V) l)) (cbrt.f64 (sqrt.f64 (/.f64 (/.f64 A V) l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (sqrt.f64 (/.f64 (/.f64 A V) l))) (cbrt.f64 (/.f64 (/.f64 A V) l)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 A) (sqrt.f64 (/.f64 1 (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 A) (pow.f64 (/.f64 1 (*.f64 V l)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 A) (/.f64 1 (sqrt.f64 (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (/.f64 A V) l) 1/4) (pow.f64 (/.f64 (/.f64 A V) l) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (/.f64 (/.f64 A V) l)) 2)) (sqrt.f64 (cbrt.f64 (/.f64 (/.f64 A V) l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/2) (sqrt.f64 (/.f64 (/.f64 A V) l)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 (/.f64 A V) l)) 2) 1/2) (pow.f64 (cbrt.f64 (/.f64 (/.f64 A V) l)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (sqrt.f64 (/.f64 l (/.f64 A V))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (sqrt.f64 (*.f64 V l)) (sqrt.f64 A)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 A) (sqrt.f64 (*.f64 V l)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (*.f64 l (neg.f64 V))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (sqrt.f64 A)) (neg.f64 (sqrt.f64 (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (/.f64 A V) l) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (/.f64 A V) l) 3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 (/.f64 A V) l))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (/.f64 A V) l) 1/4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sqrt.f64 (/.f64 (/.f64 A V) l))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (/.f64 A V) l) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sqrt.f64 (/.f64 (/.f64 A V) l))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sqrt.f64 (/.f64 (/.f64 A V) l))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sqrt.f64 (/.f64 (/.f64 A V) l))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (/.f64 A V) l))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 A (/.f64 1 (*.f64 V l)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 A V) l) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) (sqrt.f64 (/.f64 (/.f64 A V) l)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (/.f64 A V) l))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 A) 2) (*.f64 (cbrt.f64 A) (/.f64 1 (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (/.f64 A V) l)) (pow.f64 (cbrt.f64 (/.f64 (/.f64 A V) l)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (/.f64 A V) l)) (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 (/.f64 A V) l))) (sqrt.f64 (/.f64 (/.f64 A V) l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (/.f64 (/.f64 A V) l)) 2) (cbrt.f64 (/.f64 (/.f64 A V) l)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 A) (*.f64 (sqrt.f64 A) (/.f64 1 (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (/.f64 A V) l) 1/4) (*.f64 (pow.f64 (/.f64 (/.f64 A V) l) 1/4) (sqrt.f64 (/.f64 (/.f64 A V) l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 A) (/.f64 1 (*.f64 l (neg.f64 V))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (*.f64 V l)) A)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 A V) (/.f64 1 l))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) (pow.f64 (/.f64 (/.f64 A V) l) 1/4)) (pow.f64 (/.f64 (/.f64 A V) l) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 V) (/.f64 A l))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) V) (/.f64 (cbrt.f64 A) l))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 A) V) (/.f64 (sqrt.f64 A) l))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 A) l) (/.f64 (sqrt.f64 A) V))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 l) (/.f64 A V))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) l) (/.f64 (cbrt.f64 A) V))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) 1) (/.f64 (cbrt.f64 A) (*.f64 V l)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 A) 1) (/.f64 (sqrt.f64 A) (*.f64 V l)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 (cbrt.f64 (*.f64 V l)) 2)) (/.f64 A (cbrt.f64 (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) (pow.f64 (cbrt.f64 (*.f64 V l)) 2)) (cbrt.f64 (/.f64 (/.f64 A V) l)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 A) (pow.f64 (cbrt.f64 (*.f64 V l)) 2)) (/.f64 (sqrt.f64 A) (cbrt.f64 (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 (*.f64 V l))) (/.f64 A (sqrt.f64 (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 A) 2) (sqrt.f64 (*.f64 V l))) (/.f64 (cbrt.f64 A) (sqrt.f64 (*.f64 V l))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) (cbrt.f64 (/.f64 (/.f64 A V) l))) (cbrt.f64 (sqrt.f64 (/.f64 (/.f64 A V) l))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (/.f64 A V) l) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (/.f64 A V) l) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (/.f64 A V) l) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (/.f64 A V) l)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 l (/.f64 A V)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 A (*.f64 l (neg.f64 V))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (/.f64 A V) l) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (/.f64 A V) l)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (/.f64 A V) l))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (/.f64 A V) l) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 A 3) (pow.f64 (*.f64 V l) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (/.f64 A V) l)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (/.f64 A V) l)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (/.f64 A V) l)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 A) c0) (sqrt.f64 (*.f64 V l)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 c0 (sqrt.f64 A)) (sqrt.f64 (*.f64 V l)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (/.f64 (/.f64 A V) l) (*.f64 c0 c0)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 (/.f64 A V) l))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (/.f64 (/.f64 A V) l) 3/2) (pow.f64 c0 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 c0 3) (pow.f64 (/.f64 (/.f64 A V) l) 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)))))))

simplify9.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
2×*-commutative_binary64
2×associate-/r*_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
09144
113144
215144
Stop Event
1×saturated
Counts
102 → 91
Calls
Call 1
Inputs
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
Outputs
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)

prune128.0ms (2.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New82991
Fresh000
Picked101
Done000
Total83992
Error
4.2b
Counts
92 → 9
Alt Table
StatusErrorProgram
▶16.6b
(*.f64 c0 (/.f64 1 (sqrt.f64 (/.f64 l (/.f64 A V)))))
47.5b
(sqrt.f64 (*.f64 (/.f64 (/.f64 A V) l) (*.f64 c0 c0)))
41.1b
(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0) 3))
41.7b
(/.f64 (*.f64 (sqrt.f64 A) c0) (sqrt.f64 (*.f64 V l)))
56.0b
(log.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 (/.f64 A V) l))))
16.8b
(*.f64 c0 (sqrt.f64 (*.f64 (/.f64 A V) (/.f64 1 l))))
17.4b
(*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 (*.f64 V l)) A)))
22.2b
(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
35.2b
(*.f64 c0 (/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (*.f64 l (neg.f64 V)))))
Compiler

Compiled 1400 to 604 computations (56.9% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(/.f64 1 (sqrt.f64 (/.f64 l (/.f64 A V))))
✓1.7b
(*.f64 c0 (/.f64 1 (sqrt.f64 (/.f64 l (/.f64 A V)))))
✓4.7b
(/.f64 l (/.f64 A V))
✓13.3b
(sqrt.f64 (/.f64 l (/.f64 A V)))

series28.0ms (0.5%)

Counts
4 → 48
Calls

39 calls:

TimeVariablePointExpression
3.0ms
l
@inf
(/.f64 1 (sqrt.f64 (/.f64 l (/.f64 A V))))
2.0ms
V
@-inf
(/.f64 1 (sqrt.f64 (/.f64 l (/.f64 A V))))
1.0ms
l
@0
(sqrt.f64 (/.f64 l (/.f64 A V)))
1.0ms
V
@-inf
(*.f64 c0 (/.f64 1 (sqrt.f64 (/.f64 l (/.f64 A V)))))
1.0ms
l
@-inf
(*.f64 c0 (/.f64 1 (sqrt.f64 (/.f64 l (/.f64 A V)))))

rewrite76.0ms (1.4%)

Algorithm
1×batch-egg-rewrite
Rules
620×log-prod_binary64
362×pow-prod-down_binary64
289×pow2_binary64
226×pow-unpow_binary64
205×pow1/3_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01140
123337
2314837
Stop Event
1×node limit
Counts
4 → 179
Calls
Call 1
Inputs
(sqrt.f64 (/.f64 l (/.f64 A V)))
(/.f64 l (/.f64 A V))
(*.f64 c0 (/.f64 1 (sqrt.f64 (/.f64 l (/.f64 A V)))))
(/.f64 1 (sqrt.f64 (/.f64 l (/.f64 A V))))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sqrt.f64 (*.f64 V (/.f64 l A))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (*.f64 V (/.f64 l A))))) 2)) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (*.f64 V (/.f64 l A)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (*.f64 V (/.f64 l A)))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (*.f64 V (/.f64 l A)))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (sqrt.f64 (*.f64 V (/.f64 l A))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 V (/.f64 l A))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (*.f64 V (/.f64 l A))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 V (/.f64 l A))) (pow.f64 (*.f64 V (/.f64 l A)) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 V (/.f64 l A)) 1/6) (cbrt.f64 (*.f64 V (/.f64 l A))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 l) (sqrt.f64 (/.f64 V A)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 V (/.f64 l A)) 1/4) (pow.f64 (*.f64 V (/.f64 l A)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 l A)) (sqrt.f64 V))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (*.f64 V (/.f64 l A))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (sqrt.f64 (/.f64 A (*.f64 l V))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cbrt.f64 (*.f64 V (/.f64 l A))) (pow.f64 (*.f64 V (/.f64 l A)) -1/6))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 l) (sqrt.f64 (/.f64 A V)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (*.f64 V (/.f64 l A)) 1/4) (pow.f64 (*.f64 V (/.f64 l A)) -1/4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (sqrt.f64 (*.f64 V (/.f64 l A)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (neg.f64 l)) (sqrt.f64 (/.f64 (neg.f64 A) V)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (sqrt.f64 l)) (neg.f64 (sqrt.f64 (/.f64 A V))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 V (/.f64 l A)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 V (/.f64 l A))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 A (*.f64 l V))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 V (/.f64 l A)) 2) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 V (/.f64 l A)) 3) 1/6)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 V (/.f64 l A)) -3/2) -1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 A (*.f64 l V)) -3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 V (/.f64 l A))) 3/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 V (/.f64 l A)) -1/6) -3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 V (/.f64 l A)) 1/6) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 V (/.f64 l A)) -1/4) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 V (/.f64 l A)) 1/4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 A (*.f64 l V)) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (sqrt.f64 (*.f64 V (/.f64 l A))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sqrt.f64 (*.f64 V (/.f64 l A)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (*.f64 V (/.f64 l A))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 A (*.f64 l V)) -3/2))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sqrt.f64 (*.f64 V (/.f64 l A)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sqrt.f64 (*.f64 V (/.f64 l A)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 V (/.f64 l A))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 V (/.f64 l A)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 3/2 (log.f64 (*.f64 V (/.f64 l A)))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 V (/.f64 l A)) 1/6)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 V (/.f64 l A)) 1/4)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sqrt.f64 (*.f64 V (/.f64 l A)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 V (/.f64 l A)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (/.f64 l A)) V)) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (/.f64 l A)) V))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (/.f64 l A)) V))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (/.f64 l A)) V))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 V (/.f64 l A)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 l (/.f64 V A))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 V (/.f64 l A))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 V (/.f64 l A)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 V (/.f64 l A))) (sqrt.f64 (*.f64 V (/.f64 l A))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 V (/.f64 l A)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 l) 2) (*.f64 (cbrt.f64 l) (/.f64 V A)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 V (/.f64 l A))) (pow.f64 (cbrt.f64 (*.f64 V (/.f64 l A))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 V (/.f64 l A))) 2) (cbrt.f64 (*.f64 V (/.f64 l A))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 l) (*.f64 (sqrt.f64 l) (/.f64 V A)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 V (/.f64 l A)) 1/4) (pow.f64 (*.f64 V (/.f64 l A)) 3/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 l) (/.f64 1 (/.f64 (neg.f64 A) V)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 V A) l)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 l A) V)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 V (/.f64 l A)) 3/4) (pow.f64 (*.f64 V (/.f64 l A)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 V A)) (/.f64 l (sqrt.f64 (/.f64 A V))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 A) (/.f64 l (/.f64 1 V)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 l) 2) A) (/.f64 (cbrt.f64 l) (/.f64 1 V)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 l) A) (/.f64 (sqrt.f64 l) (/.f64 1 V)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 l) 2) 1) (/.f64 (cbrt.f64 l) (/.f64 A V)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 l) 1) (/.f64 (sqrt.f64 l) (/.f64 A V)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (/.f64 A V)) -2) (/.f64 l (cbrt.f64 (/.f64 A V))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 l) 2) (pow.f64 (cbrt.f64 (/.f64 A V)) 2)) (cbrt.f64 (*.f64 V (/.f64 l A))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 l) (pow.f64 (cbrt.f64 (/.f64 A V)) 2)) (/.f64 (sqrt.f64 l) (cbrt.f64 (/.f64 A V))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 l) 2) (sqrt.f64 (/.f64 A V))) (/.f64 (cbrt.f64 l) (sqrt.f64 (/.f64 A V))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 l 1) (/.f64 V A))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 l (neg.f64 A)) (neg.f64 V))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 V (/.f64 l A)) 5/6) (pow.f64 (*.f64 V (/.f64 l A)) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 l A) 1) V)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 l A) (pow.f64 (cbrt.f64 V) 2)) (cbrt.f64 V))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 l A) (sqrt.f64 V)) (sqrt.f64 V))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 V (/.f64 l A)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 V (/.f64 l A))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 A (*.f64 l V))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 V (/.f64 l A)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 V (/.f64 l A)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 A (*.f64 l V)) -3/2) 2/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 V (/.f64 l A))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 V (/.f64 l A)) 1/6) 6)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 V (/.f64 l A)) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 A (*.f64 l V)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (pow.f64 l 3) (pow.f64 (/.f64 A V) 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (/.f64 A (*.f64 l V)) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 l (/.f64 (neg.f64 A) V)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 V (/.f64 l A)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (/.f64 l A)) V))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 V (/.f64 l A)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 V (/.f64 l A)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 l 3) (pow.f64 (/.f64 A V) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 V (/.f64 l A))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 V (/.f64 l A))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 V (/.f64 l A))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 V (/.f64 l A)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 V (/.f64 l A)) 2)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 V (/.f64 l A)) 3)) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 V (/.f64 l A)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 A (*.f64 l V))) -1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 V (/.f64 l A))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 l V)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 A (*.f64 l V))))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 A (*.f64 l V)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 A (*.f64 l V)))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 A (*.f64 l V)))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 l V)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 c0 (sqrt.f64 (*.f64 V (/.f64 l A))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (sqrt.f64 (*.f64 V (/.f64 l A))) c0))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (cbrt.f64 c0) 2) (/.f64 (sqrt.f64 (*.f64 V (/.f64 l A))) (cbrt.f64 c0)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 c0) (/.f64 (sqrt.f64 (*.f64 V (/.f64 l A))) (sqrt.f64 c0)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 c0) (neg.f64 (sqrt.f64 (*.f64 V (/.f64 l A)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 c0 (pow.f64 (*.f64 V (/.f64 l A)) 1/4)) (pow.f64 (*.f64 V (/.f64 l A)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 c0 1) (sqrt.f64 (*.f64 V (/.f64 l A))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 c0 (cbrt.f64 (*.f64 V (/.f64 l A)))) (pow.f64 (*.f64 V (/.f64 l A)) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -1 c0) (neg.f64 (sqrt.f64 (*.f64 V (/.f64 l A)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 c0 -1) (neg.f64 (sqrt.f64 (*.f64 V (/.f64 l A)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 l V)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (*.f64 c0 c0) (/.f64 A (*.f64 l V))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 l V)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 l V))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 l V))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (pow.f64 c0 3) (pow.f64 (/.f64 A (*.f64 l V)) -3/2)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (sqrt.f64 (*.f64 V (/.f64 l A))) c0) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (*.f64 c0 c0) (/.f64 A (*.f64 l V))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 A (*.f64 l V)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 l V)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 l V)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 c0 3) (pow.f64 (/.f64 A (*.f64 l V)) -3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 l V))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 l V))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 l V))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 l V)))))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 l V)))))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 l V)))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 l V))))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sqrt.f64 (/.f64 A (*.f64 l V))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (*.f64 l V))))) 2)) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (*.f64 l V)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (*.f64 l V)))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (/.f64 A (*.f64 l V)))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (sqrt.f64 (/.f64 A (*.f64 l V))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (/.f64 A (*.f64 l V))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 A (*.f64 l V))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 V (/.f64 l A)) -1/6) (cbrt.f64 (/.f64 A (*.f64 l V))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 A (*.f64 l V))) (pow.f64 (*.f64 V (/.f64 l A)) -1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 V (/.f64 l A)) -1/4) (pow.f64 (*.f64 V (/.f64 l A)) -1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (/.f64 1 (neg.f64 (sqrt.f64 (*.f64 V (/.f64 l A))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (cbrt.f64 (*.f64 V (/.f64 l A)))) (pow.f64 (*.f64 V (/.f64 l A)) -1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 l -1/2) (sqrt.f64 (/.f64 A V)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 V (/.f64 l A)) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 V (/.f64 l A))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 A (*.f64 l V))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 V (/.f64 l A)) 2) -1/4)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 V (/.f64 l A)) 3) -1/6)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 V (/.f64 l A)) -3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 A (*.f64 l V)) -3/2) -1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 V (/.f64 l A))) -3/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 V (/.f64 l A)) -1/6) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 V (/.f64 l A)) 1/6) -3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 V (/.f64 l A)) -1/4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 V (/.f64 l A)) 1/4) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 A (*.f64 l V)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (neg.f64 (neg.f64 (sqrt.f64 (*.f64 V (/.f64 l A))))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (/.f64 A (*.f64 l V)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sqrt.f64 (/.f64 A (*.f64 l V)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (/.f64 A (*.f64 l V))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 V (/.f64 l A)) -3/2))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sqrt.f64 (/.f64 A (*.f64 l V)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sqrt.f64 (/.f64 A (*.f64 l V)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 V (/.f64 l A)))) -1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 A (*.f64 l V)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 V (/.f64 l A))) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 V (/.f64 l A)) -3/2)) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 V (/.f64 l A)) -1/6)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 V (/.f64 l A)) -1/4)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sqrt.f64 (/.f64 A (*.f64 l V)))))))))

simplify21.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
4×*-commutative_binary64
2×associate-/r*_binary64
2×associate-/l*_binary64
2×associate-/r/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
010396
116396
220396
323396
424396
Stop Event
1×saturated
Counts
227 → 183
Calls
Call 1
Inputs
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
Outputs
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)

prune438.0ms (8.3%)

Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New1776183
Fresh268
Picked011
Done000
Total17913192
Error
3.3b
Counts
192 → 13
Alt Table
StatusErrorProgram
▶16.3b
(/.f64 c0 (sqrt.f64 (*.f64 V (/.f64 l A))))
56.0b
(log.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 (/.f64 A V) l))))
18.0b
(pow.f64 (cbrt.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 l V))))) 3)
22.3b
(*.f64 c0 (*.f64 (pow.f64 l -1/2) (sqrt.f64 (/.f64 A V))))
✓16.6b
(*.f64 c0 (/.f64 1 (sqrt.f64 (/.f64 l (/.f64 A V)))))
35.2b
(*.f64 c0 (/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (*.f64 l (neg.f64 V)))))
52.1b
(*.f64 c0 (/.f64 1 (*.f64 (sqrt.f64 (/.f64 l A)) (sqrt.f64 V))))
51.8b
(*.f64 c0 (/.f64 1 (/.f64 (sqrt.f64 (neg.f64 l)) (sqrt.f64 (/.f64 (neg.f64 A) V)))))
16.8b
(*.f64 c0 (sqrt.f64 (*.f64 (/.f64 A V) (/.f64 1 l))))
17.4b
(*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 (*.f64 V l)) A)))
16.5b
(/.f64 (/.f64 c0 (pow.f64 (*.f64 V (/.f64 l A)) 1/4)) (pow.f64 (*.f64 V (/.f64 l A)) 1/4))
41.7b
(/.f64 (*.f64 (sqrt.f64 A) c0) (sqrt.f64 (*.f64 V l)))
22.2b
(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
Compiler

Compiled 2826 to 1305 computations (53.8% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓1.7b
(/.f64 c0 (sqrt.f64 (*.f64 V (/.f64 l A))))
✓4.4b
(*.f64 V (/.f64 l A))
✓13.3b
(sqrt.f64 (*.f64 V (/.f64 l A)))

series17.0ms (0.3%)

Counts
3 → 48
Calls

30 calls:

TimeVariablePointExpression
7.0ms
A
@inf
(sqrt.f64 (*.f64 V (/.f64 l A)))
0.0ms
V
@0
(sqrt.f64 (*.f64 V (/.f64 l A)))
0.0ms
V
@-inf
(/.f64 c0 (sqrt.f64 (*.f64 V (/.f64 l A))))
0.0ms
A
@-inf
(/.f64 c0 (sqrt.f64 (*.f64 V (/.f64 l A))))
0.0ms
l
@-inf
(/.f64 c0 (sqrt.f64 (*.f64 V (/.f64 l A))))

rewrite64.0ms (1.2%)

Algorithm
1×batch-egg-rewrite
Rules
538×log-prod_binary64
402×exp-prod_binary64
331×pow-prod-down_binary64
257×pow2_binary64
202×pow-unpow_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0928
119128
2260928
Stop Event
1×node limit
Counts
3 → 136
Calls
Call 1
Inputs
(sqrt.f64 (*.f64 V (/.f64 l A)))
(*.f64 V (/.f64 l A))
(/.f64 c0 (sqrt.f64 (*.f64 V (/.f64 l A))))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sqrt.f64 (/.f64 (*.f64 V l) A)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 (*.f64 V l) A)))) 2)) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (/.f64 (*.f64 V l) A))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (/.f64 (*.f64 V l) A))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (/.f64 (*.f64 V l) A))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (sqrt.f64 (/.f64 (*.f64 V l) A)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (*.f64 V l) A)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (/.f64 (*.f64 V l) A)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (*.f64 V l) A)) (pow.f64 (/.f64 (*.f64 V l) A) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/6) (cbrt.f64 (/.f64 (*.f64 V l) A)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 l A)) (sqrt.f64 V))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 V) (sqrt.f64 (/.f64 l A)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/4) (pow.f64 (/.f64 (*.f64 V l) A) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (*.f64 V l)) (sqrt.f64 A))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (*.f64 V l) A) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (*.f64 V l) A)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (*.f64 V l) A) 2) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (*.f64 V l) A) 3) 1/6)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (*.f64 V l) A) 3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (*.f64 V l) A)) 3/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/6) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 1) (log.f64 (sqrt.f64 (/.f64 (*.f64 V l) A))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 1/2) (log.f64 (/.f64 (*.f64 V l) A)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (sqrt.f64 (/.f64 (*.f64 V l) A)))) 2)) (cbrt.f64 (log.f64 (sqrt.f64 (/.f64 (*.f64 V l) A)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (log.f64 (sqrt.f64 (/.f64 (*.f64 V l) A))))) (sqrt.f64 (log.f64 (sqrt.f64 (/.f64 (*.f64 V l) A)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (sqrt.f64 (/.f64 (*.f64 V l) A)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sqrt.f64 (/.f64 (*.f64 V l) A))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (sqrt.f64 (/.f64 (*.f64 V l) A)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (*.f64 V l) A) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sqrt.f64 (/.f64 (*.f64 V l) A))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sqrt.f64 (/.f64 (*.f64 V l) A))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (*.f64 V l) A)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 (*.f64 V l) A))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 3/2 (log.f64 (/.f64 (*.f64 V l) A))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/6)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 1/4 (log.f64 (/.f64 (*.f64 V l) A))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 (log.f64 (/.f64 (*.f64 V l) A)) 1) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 (log.f64 (/.f64 (*.f64 V l) A)) 1/2) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 (*.f64 V l) A))) 1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sqrt.f64 (/.f64 (*.f64 V l) A))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (*.f64 V l) A))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 V) (/.f64 l A))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 V) (/.f64 l A)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 V) (/.f64 l A)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 V) (/.f64 l A)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (*.f64 V l) A))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 V (/.f64 A l))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 A (*.f64 V l)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 V l) A)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 V l)) (neg.f64 A))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 V l) 1) A)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 V l) (cbrt.f64 (*.f64 A A))) (cbrt.f64 A))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 V l) (sqrt.f64 A)) (sqrt.f64 A))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 l) V) (neg.f64 A))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 V (neg.f64 l)) (neg.f64 A))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (*.f64 V l) A) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (*.f64 V l) A)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (*.f64 V l) A) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (*.f64 V l) A) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (*.f64 V l) A) 3/2) 2/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (*.f64 V l) A)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/6) 6)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 1) (log.f64 (/.f64 (*.f64 V l) A)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 A (*.f64 V l)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (/.f64 (*.f64 V l) A))) 2)) (cbrt.f64 (log.f64 (/.f64 (*.f64 V l) A))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (log.f64 (/.f64 (*.f64 V l) A)))) (sqrt.f64 (log.f64 (/.f64 (*.f64 V l) A))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (*.f64 V l) A) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 V) (/.f64 l A)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (*.f64 V l) A))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (*.f64 V l) A) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (*.f64 V l) A)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (*.f64 V l) A)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (*.f64 V l) A)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 (*.f64 V l) A))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 2 (log.f64 (/.f64 (*.f64 V l) A))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (pow.f64 (/.f64 (*.f64 V l) A) 3)) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 (*.f64 V l) A))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 (log.f64 (/.f64 (*.f64 V l) A)) 1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 (log.f64 (/.f64 (*.f64 V l) A)) 1/2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 (*.f64 V l) A))) 1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (-.f64 (*.f64 (log.f64 V) 1) (log.f64 (/.f64 A l))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (-.f64 (log.f64 (*.f64 V l)) (*.f64 (log.f64 A) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (*.f64 V l) A)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 c0 (pow.f64 (/.f64 (*.f64 V l) A) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 c0) 2) (*.f64 (cbrt.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))) (cbrt.f64 (/.f64 (*.f64 c0 c0) (/.f64 (*.f64 V l) A))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (*.f64 c0 c0) (/.f64 (*.f64 V l) A))) (cbrt.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 c0) (*.f64 (sqrt.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))) (sqrt.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 c0) (/.f64 1 (neg.f64 (sqrt.f64 (/.f64 (*.f64 V l) A)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (*.f64 V l) A) -1/2) c0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 c0) 2) 1) (/.f64 (cbrt.f64 c0) (sqrt.f64 (/.f64 (*.f64 V l) A))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 c0) 1) (/.f64 (sqrt.f64 c0) (sqrt.f64 (/.f64 (*.f64 V l) A))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (cbrt.f64 (/.f64 (*.f64 V l) A))) (/.f64 c0 (pow.f64 (/.f64 (*.f64 V l) A) 1/6)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 c0) 2) (cbrt.f64 (/.f64 (*.f64 V l) A))) (cbrt.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 c0) (cbrt.f64 (/.f64 (*.f64 V l) A))) (/.f64 (sqrt.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) 1/6)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 V -1/2) (/.f64 c0 (sqrt.f64 (/.f64 l A))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 c0) 2) (sqrt.f64 V)) (/.f64 (cbrt.f64 c0) (sqrt.f64 (/.f64 l A))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 c0) (sqrt.f64 V)) (/.f64 (sqrt.f64 c0) (sqrt.f64 (/.f64 l A))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (*.f64 V l) A) -1/4) (/.f64 c0 (pow.f64 (/.f64 (*.f64 V l) A) 1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 c0) 2) (pow.f64 (/.f64 (*.f64 V l) A) 1/4)) (/.f64 (cbrt.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) 1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (*.f64 c0 c0) (/.f64 (*.f64 V l) A)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (sqrt.f64 (/.f64 (*.f64 V l) A)) c0) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 1) (log.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (pow.f64 c0 3) (pow.f64 (/.f64 (*.f64 V l) A) 3/2)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (/.f64 (sqrt.f64 (/.f64 (*.f64 V l) A)) c0) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))))) 2)) (cbrt.f64 (log.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (log.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))))) (sqrt.f64 (log.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 c0 (neg.f64 (sqrt.f64 (/.f64 (*.f64 V l) A)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (/.f64 (*.f64 c0 c0) (/.f64 (*.f64 V l) A)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 c0 3) (pow.f64 (/.f64 (*.f64 V l) A) 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 3 (log.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (sqrt.f64 (/.f64 (*.f64 V l) A)) c0)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 (log.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))) 1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (-.f64 (*.f64 (log.f64 c0) 1) (log.f64 (sqrt.f64 (/.f64 (*.f64 V l) A)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (-.f64 (log.f64 c0) (*.f64 (log.f64 (/.f64 (*.f64 V l) A)) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (-.f64 (*.f64 (log.f64 c0) 1) (*.f64 (log.f64 (/.f64 (*.f64 V l) A)) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (-.f64 (log.f64 c0) (*.f64 (log.f64 (sqrt.f64 (/.f64 (*.f64 V l) A))) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (-.f64 (*.f64 (log.f64 c0) 1) (*.f64 (log.f64 (sqrt.f64 (/.f64 (*.f64 V l) A))) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))))))))

simplify19.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
4×*-commutative_binary64
2×associate-/r*_binary64
2×associate-/l*_binary64
2×associate-/r/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
010396
116396
220396
323396
424396
Stop Event
1×saturated
Counts
184 → 139
Calls
Call 1
Inputs
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(/.f64 (*.f64 V l) A)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
Outputs
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(/.f64 (*.f64 V l) A)
(/.f64 V (/.f64 A l))
(*.f64 (/.f64 V A) l)
(*.f64 (/.f64 l A) V)
(/.f64 l (/.f64 A V))
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0)

prune204.0ms (3.9%)

Pruning

14 alts after pruning (12 fresh and 2 done)

PrunedKeptTotal
New1354139
Fresh3811
Picked011
Done011
Total13814152
Error
3.3b
Counts
152 → 14
Alt Table
StatusErrorProgram
✓16.3b
(/.f64 c0 (sqrt.f64 (*.f64 V (/.f64 l A))))
56.0b
(log.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 (/.f64 A V) l))))
22.3b
(*.f64 c0 (*.f64 (pow.f64 l -1/2) (sqrt.f64 (/.f64 A V))))
✓16.6b
(*.f64 c0 (/.f64 1 (sqrt.f64 (/.f64 l (/.f64 A V)))))
41.1b
(/.f64 c0 (/.f64 (sqrt.f64 (*.f64 V l)) (sqrt.f64 A)))
16.6b
(/.f64 c0 (sqrt.f64 (/.f64 l (/.f64 A V))))
51.8b
(*.f64 c0 (/.f64 1 (/.f64 (sqrt.f64 (neg.f64 l)) (sqrt.f64 (/.f64 (neg.f64 A) V)))))
52.0b
(/.f64 c0 (*.f64 (sqrt.f64 (/.f64 l A)) (sqrt.f64 V)))
35.2b
(*.f64 c0 (/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (*.f64 l (neg.f64 V)))))
52.1b
(*.f64 c0 (/.f64 1 (*.f64 (sqrt.f64 (/.f64 l A)) (sqrt.f64 V))))
17.4b
(*.f64 c0 (pow.f64 (/.f64 (*.f64 V l) A) -1/2))
16.8b
(*.f64 c0 (sqrt.f64 (*.f64 (/.f64 A V) (/.f64 1 l))))
▶16.5b
(/.f64 (/.f64 c0 (pow.f64 (*.f64 V (/.f64 l A)) 1/4)) (pow.f64 (*.f64 V (/.f64 l A)) 1/4))
22.2b
(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
Compiler

Compiled 2167 to 881 computations (59.3% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.2b
(/.f64 c0 (pow.f64 (*.f64 V (/.f64 l A)) 1/4))
✓0.3b
(/.f64 (/.f64 c0 (pow.f64 (*.f64 V (/.f64 l A)) 1/4)) (pow.f64 (*.f64 V (/.f64 l A)) 1/4))
4.4b
(*.f64 V (/.f64 l A))
✓15.7b
(pow.f64 (*.f64 V (/.f64 l A)) 1/4)

series432.0ms (8.2%)

Counts
3 → 96
Calls

33 calls:

TimeVariablePointExpression
75.0ms
V
@0
(/.f64 c0 (pow.f64 (*.f64 V (/.f64 l A)) 1/4))
53.0ms
A
@0
(/.f64 c0 (pow.f64 (*.f64 V (/.f64 l A)) 1/4))
42.0ms
l
@-inf
(pow.f64 (*.f64 V (/.f64 l A)) 1/4)
35.0ms
V
@0
(pow.f64 (*.f64 V (/.f64 l A)) 1/4)
25.0ms
A
@0
(pow.f64 (*.f64 V (/.f64 l A)) 1/4)

rewrite67.0ms (1.3%)

Algorithm
1×batch-egg-rewrite
Rules
690×log-prod_binary64
393×pow-prod-down_binary64
328×pow2_binary64
251×pow-unpow_binary64
227×pow1/3_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01148
124635
2342535
Stop Event
1×node limit
Counts
3 → 112
Calls
Call 1
Inputs
(pow.f64 (*.f64 V (/.f64 l A)) 1/4)
(/.f64 (/.f64 c0 (pow.f64 (*.f64 V (/.f64 l A)) 1/4)) (pow.f64 (*.f64 V (/.f64 l A)) 1/4))
(/.f64 c0 (pow.f64 (*.f64 V (/.f64 l A)) 1/4))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 (/.f64 (*.f64 V l) A) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/4))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/4)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/4))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/4) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 (/.f64 (*.f64 V l) A) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/12) (cbrt.f64 (sqrt.f64 (/.f64 (*.f64 V l) A))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (sqrt.f64 (/.f64 (*.f64 V l) A))) (pow.f64 (/.f64 (*.f64 V l) A) 1/12))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 V 1/4) (pow.f64 (/.f64 A l) -1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 A l) -1/4) (pow.f64 V 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/8) (pow.f64 (/.f64 (*.f64 V l) A) 1/8))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (cbrt.f64 (/.f64 (*.f64 V l) A))) (pow.f64 (/.f64 (*.f64 V l) A) 1/12))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/4) (pow.f64 (/.f64 (*.f64 V l) A) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (sqrt.f64 (/.f64 (*.f64 V l) A)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (*.f64 V l) A) 3/4))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 1/4 (log.f64 (/.f64 (*.f64 V l) A))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 1/4 (log.f64 (/.f64 (*.f64 V l) A))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/4)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 c0 (pow.f64 (/.f64 (*.f64 V l) A) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 c0 (pow.f64 (/.f64 (*.f64 V l) A) -1/4)) (pow.f64 (/.f64 (*.f64 V l) A) -1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))) (cbrt.f64 (/.f64 (*.f64 c0 c0) (/.f64 (*.f64 V l) A))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (*.f64 c0 c0) (/.f64 (*.f64 V l) A))) (cbrt.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 c0 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))))) (*.f64 (/.f64 (cbrt.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) 1/12)) (pow.f64 (/.f64 (*.f64 V l) A) -1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))) (sqrt.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) 1/8)) (*.f64 (/.f64 (sqrt.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) 1/8)) (pow.f64 (/.f64 (*.f64 V l) A) -1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (neg.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) -1/4)) (/.f64 1 (neg.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (*.f64 V l) A) -1/4) (*.f64 c0 (pow.f64 (/.f64 (*.f64 V l) A) -1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 c0) 2) (pow.f64 (/.f64 (*.f64 V l) A) 1/4)) (/.f64 (cbrt.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) 1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 c0 1) (pow.f64 (/.f64 (*.f64 V l) A) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (*.f64 c0 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))))) 1) (/.f64 (/.f64 (cbrt.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) 1/12)) (pow.f64 (/.f64 (*.f64 V l) A) 1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (sqrt.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) 1/8)) 1) (/.f64 (/.f64 (sqrt.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) 1/8)) (pow.f64 (/.f64 (*.f64 V l) A) 1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 c0 (cbrt.f64 (sqrt.f64 (/.f64 (*.f64 V l) A)))) (/.f64 (pow.f64 (/.f64 (*.f64 V l) A) -1/4) (pow.f64 (/.f64 (*.f64 V l) A) 1/12)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/12) -2) (/.f64 (*.f64 c0 (pow.f64 (/.f64 (*.f64 V l) A) -1/4)) (pow.f64 (/.f64 (*.f64 V l) A) 1/12)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (*.f64 c0 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))))) (cbrt.f64 (sqrt.f64 (/.f64 (*.f64 V l) A)))) (cbrt.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (sqrt.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) 1/8)) (cbrt.f64 (sqrt.f64 (/.f64 (*.f64 V l) A)))) (/.f64 (/.f64 (sqrt.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) 1/8)) (pow.f64 (/.f64 (*.f64 V l) A) 1/12)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 c0 (pow.f64 (/.f64 (*.f64 V l) A) 1/8)) (pow.f64 (/.f64 (*.f64 V l) A) -3/8))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (*.f64 V l) A) -1/8) (/.f64 (*.f64 c0 (pow.f64 (/.f64 (*.f64 V l) A) -1/4)) (pow.f64 (/.f64 (*.f64 V l) A) 1/8)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (*.f64 c0 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))))) (pow.f64 (/.f64 (*.f64 V l) A) 1/8)) (/.f64 (/.f64 (cbrt.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) 1/12)) (pow.f64 (/.f64 (*.f64 V l) A) 1/8)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 c0 (pow.f64 V 1/4)) (/.f64 (pow.f64 (/.f64 (*.f64 V l) A) -1/4) (pow.f64 (/.f64 A l) -1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 V -1/4) (/.f64 (*.f64 c0 (pow.f64 (/.f64 (*.f64 V l) A) -1/4)) (pow.f64 (/.f64 A l) -1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (*.f64 c0 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))))) (pow.f64 V 1/4)) (/.f64 (/.f64 (cbrt.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) 1/12)) (pow.f64 (/.f64 A l) -1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (sqrt.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) 1/8)) (pow.f64 V 1/4)) (/.f64 (/.f64 (sqrt.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) 1/8)) (pow.f64 (/.f64 A l) -1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (*.f64 c0 c0) (/.f64 (*.f64 V l) A)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (/.f64 1 c0) (sqrt.f64 (/.f64 (*.f64 V l) A))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (pow.f64 (/.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/4) c0) -3) (pow.f64 (/.f64 (*.f64 V l) A) 3/4)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (sqrt.f64 (/.f64 (*.f64 V l) A)) c0) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (*.f64 (/.f64 1 c0) (sqrt.f64 (/.f64 (*.f64 V l) A))) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (*.f64 c0 (pow.f64 (/.f64 (*.f64 V l) A) -1/4)) (neg.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (/.f64 (*.f64 c0 c0) (/.f64 (*.f64 V l) A)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (/.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/4) c0) -3) (pow.f64 (/.f64 (*.f64 V l) A) 3/4)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 c0 (pow.f64 (/.f64 (*.f64 V l) A) -1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) -1/4))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) -1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) -1/4)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) -1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 c0 (pow.f64 (/.f64 (*.f64 V l) A) -1/4)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 c0 (pow.f64 (/.f64 (*.f64 V l) A) -1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 c0 (pow.f64 (/.f64 (*.f64 V l) A) -1/4)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 c0 (pow.f64 (/.f64 (*.f64 V l) A) -1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 c0) 2) (*.f64 (cbrt.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) -1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) 1/12)) (cbrt.f64 (*.f64 c0 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 c0 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A))))) (/.f64 (cbrt.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) 1/12)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 c0) (*.f64 (sqrt.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) -1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) 1/8)) (/.f64 (sqrt.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) 1/8)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 c0) (/.f64 1 (neg.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (*.f64 V l) A) -1/4) c0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/12) -2) (/.f64 c0 (pow.f64 (/.f64 (*.f64 V l) A) 1/12)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (*.f64 V l) A) -1/8) (/.f64 c0 (pow.f64 (/.f64 (*.f64 V l) A) 1/8)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 V -1/4) (/.f64 c0 (pow.f64 (/.f64 A l) -1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 c0) 2) 1) (/.f64 (cbrt.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) 1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 c0) 1) (sqrt.f64 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 c0) 2) (cbrt.f64 (sqrt.f64 (/.f64 (*.f64 V l) A)))) (/.f64 (cbrt.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) 1/12)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 c0) (cbrt.f64 (sqrt.f64 (/.f64 (*.f64 V l) A)))) (/.f64 (sqrt.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) 1/12)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 c0) 2) (pow.f64 (/.f64 (*.f64 V l) A) 1/8)) (/.f64 (cbrt.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) 1/8)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 c0) 2) (pow.f64 V 1/4)) (/.f64 (cbrt.f64 c0) (pow.f64 (/.f64 A l) -1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 c0) (pow.f64 V 1/4)) (/.f64 (sqrt.f64 c0) (pow.f64 (/.f64 A l) -1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 c0 (pow.f64 (/.f64 (*.f64 V l) A) -1/4)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 c0 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/4) c0) -3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (cbrt.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) 1/12)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (sqrt.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) 1/8)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/4) c0) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (pow.f64 c0 3) (pow.f64 (/.f64 (*.f64 V l) A) 3/4)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (/.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/4) c0) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 c0 (neg.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 c0 (/.f64 c0 (sqrt.f64 (/.f64 (*.f64 V l) A)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 c0) (pow.f64 (/.f64 (*.f64 V l) A) -1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 c0 (pow.f64 (/.f64 (*.f64 V l) A) -1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (pow.f64 (/.f64 (*.f64 V l) A) 1/4) c0) -3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 c0 3) (pow.f64 (/.f64 (*.f64 V l) A) 3/4)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 c0 (pow.f64 (/.f64 (*.f64 V l) A) -1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 c0 (pow.f64 (/.f64 (*.f64 V l) A) -1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 c0 (pow.f64 (/.f64 (*.f64 V l) A) -1/4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 c0 (pow.f64 (/.f64 (*.f64 V l) A) -1/4))))))))

simplify92.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
818×exp-sum_binary64
546×times-frac_binary64
540×exp-diff_binary64
502×fma-def_binary64
241×exp-prod_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01241344
13481344
28681236
321951128
460151128
Stop Event
1×node limit
Counts
208 → 135
Calls
Call 1
Inputs
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 V) (log.f64 (/.f64 l A)))))
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 V) (log.f64 (/.f64 l A)))))
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 V) (log.f64 (/.f64 l A)))))
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 V) (log.f64 (/.f64 l A)))))
(exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 V))) (log.f64 (/.f64 l A)))))
(exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 V))) (log.f64 (/.f64 l A)))))
(exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 V))) (log.f64 (/.f64 l A)))))
(exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 V))) (log.f64 (/.f64 l A)))))
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 -1 (/.f64 l A))) (*.f64 -1 (log.f64 (/.f64 -1 V))))))
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 -1 (/.f64 l A))) (*.f64 -1 (log.f64 (/.f64 -1 V))))))
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 -1 (/.f64 l A))) (*.f64 -1 (log.f64 (/.f64 -1 V))))))
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 -1 (/.f64 l A))) (*.f64 -1 (log.f64 (/.f64 -1 V))))))
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 V A)) (log.f64 l))))
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 V A)) (log.f64 l))))
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 V A)) (log.f64 l))))
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 V A)) (log.f64 l))))
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 V A)) (*.f64 -1 (log.f64 (/.f64 1 l))))))
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 V A)) (*.f64 -1 (log.f64 (/.f64 1 l))))))
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 V A)) (*.f64 -1 (log.f64 (/.f64 1 l))))))
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 V A)) (*.f64 -1 (log.f64 (/.f64 1 l))))))
(exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 l))) (log.f64 (*.f64 -1 (/.f64 V A))))))
(exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 l))) (log.f64 (*.f64 -1 (/.f64 V A))))))
(exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 l))) (log.f64 (*.f64 -1 (/.f64 V A))))))
(exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 l))) (log.f64 (*.f64 -1 (/.f64 V A))))))
(exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 A)) (log.f64 (*.f64 V l)))))
(exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 A)) (log.f64 (*.f64 V l)))))
(exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 A)) (log.f64 (*.f64 V l)))))
(exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 A)) (log.f64 (*.f64 V l)))))
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 A)) (log.f64 (*.f64 V l)))))
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 A)) (log.f64 (*.f64 V l)))))
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 A)) (log.f64 (*.f64 V l)))))
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 A)) (log.f64 (*.f64 V l)))))
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 -1 (*.f64 V l))) (log.f64 (/.f64 -1 A)))))
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 -1 (*.f64 V l))) (log.f64 (/.f64 -1 A)))))
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 -1 (*.f64 V l))) (log.f64 (/.f64 -1 A)))))
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 -1 (*.f64 V l))) (log.f64 (/.f64 -1 A)))))
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) c0)
(*.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) c0)
(*.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) c0)
(*.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) c0)
(*.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) c0)
(*.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) c0)
(*.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) c0)
(*.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) c0)
(*.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) c0)
(*.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) c0)
(*.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) c0)
(*.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) c0)
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 A l)) (*.f64 -1 (log.f64 V))))) c0)
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 A l)) (*.f64 -1 (log.f64 V))))) c0)
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 A l)) (*.f64 -1 (log.f64 V))))) c0)
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 A l)) (*.f64 -1 (log.f64 V))))) c0)
(*.f64 c0 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 V)) (log.f64 (/.f64 A l))))))
(*.f64 c0 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 V)) (log.f64 (/.f64 A l))))))
(*.f64 c0 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 V)) (log.f64 (/.f64 A l))))))
(*.f64 c0 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 V)) (log.f64 (/.f64 A l))))))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 -1 V)) (log.f64 (*.f64 -1 (/.f64 A l)))))) c0)
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 -1 V)) (log.f64 (*.f64 -1 (/.f64 A l)))))) c0)
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 -1 V)) (log.f64 (*.f64 -1 (/.f64 A l)))))) c0)
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 -1 V)) (log.f64 (*.f64 -1 (/.f64 A l)))))) c0)
(*.f64 c0 (exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 l)) (log.f64 (/.f64 A V))))))
(*.f64 c0 (exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 l)) (log.f64 (/.f64 A V))))))
(*.f64 c0 (exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 l)) (log.f64 (/.f64 A V))))))
(*.f64 c0 (exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 l)) (log.f64 (/.f64 A V))))))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 A V)) (log.f64 (/.f64 1 l))))) c0)
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 A V)) (log.f64 (/.f64 1 l))))) c0)
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 A V)) (log.f64 (/.f64 1 l))))) c0)
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 A V)) (log.f64 (/.f64 1 l))))) c0)
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 -1 l)) (log.f64 (*.f64 -1 (/.f64 A V)))))) c0)
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 -1 l)) (log.f64 (*.f64 -1 (/.f64 A V)))))) c0)
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 -1 l)) (log.f64 (*.f64 -1 (/.f64 A V)))))) c0)
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 -1 l)) (log.f64 (*.f64 -1 (/.f64 A V)))))) c0)
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 (*.f64 V l))) (log.f64 A)))) c0)
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 (*.f64 V l))) (log.f64 A)))) c0)
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 (*.f64 V l))) (log.f64 A)))) c0)
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 (*.f64 V l))) (log.f64 A)))) c0)
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 (*.f64 V l))) (*.f64 -1 (log.f64 (/.f64 1 A)))))) c0)
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 (*.f64 V l))) (*.f64 -1 (log.f64 (/.f64 1 A)))))) c0)
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 (*.f64 V l))) (*.f64 -1 (log.f64 (/.f64 1 A)))))) c0)
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 (*.f64 V l))) (*.f64 -1 (log.f64 (/.f64 1 A)))))) c0)
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 A))) (log.f64 (/.f64 -1 (*.f64 V l)))))) c0)
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 A))) (log.f64 (/.f64 -1 (*.f64 V l)))))) c0)
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 A))) (log.f64 (/.f64 -1 (*.f64 V l)))))) c0)
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 A))) (log.f64 (/.f64 -1 (*.f64 V l)))))) c0)
Outputs
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 V) (log.f64 (/.f64 l A)))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 V) (log.f64 (/.f64 l A)))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 V) (log.f64 (/.f64 l A)))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 V) (log.f64 (/.f64 l A)))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 V))) (log.f64 (/.f64 l A)))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 V))) (log.f64 (/.f64 l A)))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 V))) (log.f64 (/.f64 l A)))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 V))) (log.f64 (/.f64 l A)))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 -1 (/.f64 l A))) (*.f64 -1 (log.f64 (/.f64 -1 V))))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 -1 (/.f64 l A))) (*.f64 -1 (log.f64 (/.f64 -1 V))))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 -1 (/.f64 l A))) (*.f64 -1 (log.f64 (/.f64 -1 V))))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 -1 (/.f64 l A))) (*.f64 -1 (log.f64 (/.f64 -1 V))))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 V A)) (log.f64 l))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 V A)) (log.f64 l))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 V A)) (log.f64 l))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 V A)) (log.f64 l))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 V A)) (*.f64 -1 (log.f64 (/.f64 1 l))))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 V A)) (*.f64 -1 (log.f64 (/.f64 1 l))))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 V A)) (*.f64 -1 (log.f64 (/.f64 1 l))))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 V A)) (*.f64 -1 (log.f64 (/.f64 1 l))))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 l))) (log.f64 (*.f64 -1 (/.f64 V A))))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 l))) (log.f64 (*.f64 -1 (/.f64 V A))))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 l))) (log.f64 (*.f64 -1 (/.f64 V A))))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 l))) (log.f64 (*.f64 -1 (/.f64 V A))))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 A)) (log.f64 (*.f64 V l)))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 A)) (log.f64 (*.f64 V l)))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 A)) (log.f64 (*.f64 V l)))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 A)) (log.f64 (*.f64 V l)))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 A)) (log.f64 (*.f64 V l)))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 A)) (log.f64 (*.f64 V l)))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 A)) (log.f64 (*.f64 V l)))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 A)) (log.f64 (*.f64 V l)))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 -1 (*.f64 V l))) (log.f64 (/.f64 -1 A)))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 -1 (*.f64 V l))) (log.f64 (/.f64 -1 A)))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 -1 (*.f64 V l))) (log.f64 (/.f64 -1 A)))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 -1 (*.f64 V l))) (log.f64 (/.f64 -1 A)))))
(pow.f64 (exp.f64 1/4) (+.f64 (log.f64 V) (log.f64 (/.f64 l A))))
(*.f64 (pow.f64 (/.f64 l A) 1/4) (pow.f64 V 1/4))
(pow.f64 (*.f64 (/.f64 l A) V) 1/4)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 l V))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 l V))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 l V))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 l V))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 l V))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 l V))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 l V))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 l V))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 l V))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 l V))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 l V))) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 V l))) c0)
(*.f64 (sqrt.f64 (/.f64 (/.f64 A l) V)) c0)
(*.f64 (sqrt.f64 (/.f64 A (*.f64 l V))) c0)
(*.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (pow.f64 (/.f64 A (*.f64 V l)) 1/4) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 A l)) (*.f64 -1 (log.f64 V))))) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 A l)) (*.f64 -1 (log.f64 V))))) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 A l)) (*.f64 -1 (log.f64 V))))) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 A l)) (*.f64 -1 (log.f64 V))))) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 c0 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 V)) (log.f64 (/.f64 A l))))))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 c0 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 V)) (log.f64 (/.f64 A l))))))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 c0 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 V)) (log.f64 (/.f64 A l))))))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 c0 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 V)) (log.f64 (/.f64 A l))))))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 -1 V)) (log.f64 (*.f64 -1 (/.f64 A l)))))) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 -1 V)) (log.f64 (*.f64 -1 (/.f64 A l)))))) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 -1 V)) (log.f64 (*.f64 -1 (/.f64 A l)))))) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 -1 V)) (log.f64 (*.f64 -1 (/.f64 A l)))))) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 c0 (exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 l)) (log.f64 (/.f64 A V))))))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 c0 (exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 l)) (log.f64 (/.f64 A V))))))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 c0 (exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 l)) (log.f64 (/.f64 A V))))))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 c0 (exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 l)) (log.f64 (/.f64 A V))))))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 A V)) (log.f64 (/.f64 1 l))))) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 A V)) (log.f64 (/.f64 1 l))))) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 A V)) (log.f64 (/.f64 1 l))))) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 A V)) (log.f64 (/.f64 1 l))))) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 -1 l)) (log.f64 (*.f64 -1 (/.f64 A V)))))) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 -1 l)) (log.f64 (*.f64 -1 (/.f64 A V)))))) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 -1 l)) (log.f64 (*.f64 -1 (/.f64 A V)))))) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 -1 l)) (log.f64 (*.f64 -1 (/.f64 A V)))))) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 (*.f64 V l))) (log.f64 A)))) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 (*.f64 V l))) (log.f64 A)))) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 (*.f64 V l))) (log.f64 A)))) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 (*.f64 V l))) (log.f64 A)))) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 (*.f64 V l))) (*.f64 -1 (log.f64 (/.f64 1 A)))))) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 (*.f64 V l))) (*.f64 -1 (log.f64 (/.f64 1 A)))))) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 (*.f64 V l))) (*.f64 -1 (log.f64 (/.f64 1 A)))))) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 (/.f64 1 (*.f64 V l))) (*.f64 -1 (log.f64 (/.f64 1 A)))))) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 A))) (log.f64 (/.f64 -1 (*.f64 V l)))))) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 A))) (log.f64 (/.f64 -1 (*.f64 V l)))))) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 A))) (log.f64 (/.f64 -1 (*.f64 V l)))))) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))
(*.f64 (exp.f64 (*.f64 1/4 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 A))) (log.f64 (/.f64 -1 (*.f64 V l)))))) c0)
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 V l)) 1/4))
(*.f64 c0 (pow.f64 (/.f64 (/.f64 A l) V) 1/4))
(*.f64 c0 (pow.f64 (/.f64 A (*.f64 l V)) 1/4))
(*.f64 c0 (pow.f64 (*.f64 (/.f64 l A) V) -1/4))

prune534.0ms (10.1%)

Pruning

14 alts after pruning (11 fresh and 3 done)

PrunedKeptTotal
New2520252
Fresh01111
Picked011
Done022
Total25214266
Error
3.3b
Counts
266 → 14
Alt Table
StatusErrorProgram
✓16.3b
(/.f64 c0 (sqrt.f64 (*.f64 V (/.f64 l A))))
56.0b
(log.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 (/.f64 A V) l))))
22.3b
(*.f64 c0 (*.f64 (pow.f64 l -1/2) (sqrt.f64 (/.f64 A V))))
✓16.6b
(*.f64 c0 (/.f64 1 (sqrt.f64 (/.f64 l (/.f64 A V)))))
41.1b
(/.f64 c0 (/.f64 (sqrt.f64 (*.f64 V l)) (sqrt.f64 A)))
16.6b
(/.f64 c0 (sqrt.f64 (/.f64 l (/.f64 A V))))
51.8b
(*.f64 c0 (/.f64 1 (/.f64 (sqrt.f64 (neg.f64 l)) (sqrt.f64 (/.f64 (neg.f64 A) V)))))
52.0b
(/.f64 c0 (*.f64 (sqrt.f64 (/.f64 l A)) (sqrt.f64 V)))
35.2b
(*.f64 c0 (/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (*.f64 l (neg.f64 V)))))
52.1b
(*.f64 c0 (/.f64 1 (*.f64 (sqrt.f64 (/.f64 l A)) (sqrt.f64 V))))
17.4b
(*.f64 c0 (pow.f64 (/.f64 (*.f64 V l) A) -1/2))
16.8b
(*.f64 c0 (sqrt.f64 (*.f64 (/.f64 A V) (/.f64 1 l))))
✓16.5b
(/.f64 (/.f64 c0 (pow.f64 (*.f64 V (/.f64 l A)) 1/4)) (pow.f64 (*.f64 V (/.f64 l A)) 1/4))
22.2b
(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
Compiler

Compiled 5502 to 2298 computations (58.2% saved)

regimes367.0ms (7%)

Accuracy

Total -58.5b remaining (-1072.9%)

Threshold costs -58.5b (-1072.9%)

Counts
20 → 5
Calls
Call 1
Inputs
(/.f64 c0 (/.f64 (sqrt.f64 (*.f64 V l)) (sqrt.f64 A)))
(/.f64 c0 (sqrt.f64 (/.f64 l (/.f64 A V))))
(/.f64 c0 (*.f64 (sqrt.f64 (/.f64 l A)) (sqrt.f64 V)))
(*.f64 c0 (pow.f64 (/.f64 (*.f64 V l) A) -1/2))
(/.f64 c0 (sqrt.f64 (*.f64 V (/.f64 l A))))
(pow.f64 (cbrt.f64 (*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 l V))))) 3)
(*.f64 c0 (*.f64 (pow.f64 l -1/2) (sqrt.f64 (/.f64 A V))))
(*.f64 c0 (/.f64 1 (*.f64 (sqrt.f64 (/.f64 l A)) (sqrt.f64 V))))
(*.f64 c0 (/.f64 1 (/.f64 (sqrt.f64 (neg.f64 l)) (sqrt.f64 (/.f64 (neg.f64 A) V)))))
(/.f64 (/.f64 c0 (pow.f64 (*.f64 V (/.f64 l A)) 1/4)) (pow.f64 (*.f64 V (/.f64 l A)) 1/4))
(*.f64 c0 (/.f64 1 (sqrt.f64 (/.f64 l (/.f64 A V)))))
(sqrt.f64 (*.f64 (/.f64 (/.f64 A V) l) (*.f64 c0 c0)))
(cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 (/.f64 (/.f64 A V) l)) c0) 3))
(/.f64 (*.f64 (sqrt.f64 A) c0) (sqrt.f64 (*.f64 V l)))
(log.f64 (pow.f64 (exp.f64 c0) (sqrt.f64 (/.f64 (/.f64 A V) l))))
(*.f64 c0 (sqrt.f64 (*.f64 (/.f64 A V) (/.f64 1 l))))
(*.f64 c0 (sqrt.f64 (*.f64 (/.f64 1 (*.f64 V l)) A)))
(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
(*.f64 c0 (/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (*.f64 l (neg.f64 V)))))
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
Outputs
(*.f64 c0 (*.f64 (pow.f64 l -1/2) (sqrt.f64 (/.f64 A V))))
(*.f64 c0 (/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (*.f64 l (neg.f64 V)))))
(*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l)))
(/.f64 c0 (/.f64 (sqrt.f64 (*.f64 V l)) (sqrt.f64 A)))
(*.f64 c0 (sqrt.f64 (*.f64 (/.f64 A V) (/.f64 1 l))))
Results
44.0ms13.2bc0
45.0ms10.8bA
39.0ms12.4bV
90.0ms7.9bl
31.0ms10.0b(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
18.0ms9.3b(sqrt.f64 (/.f64 A (*.f64 V l)))
20.0ms9.3b(/.f64 A (*.f64 V l))
36.0ms5.5b(*.f64 V l)
37.0ms5.5b(*.f64 V l)
Compiler

Compiled 272 to 141 computations (48.2% saved)

bsearch1.0ms (0%)

Algorithm
4×left-value
Calls

4 calls:

0.0ms
(*.f64 V l)
0.0ms
(*.f64 V l)
0.0ms
(*.f64 V l)
0.0ms
(*.f64 V l)
Steps
ItersPointRange
5e+242
∈ [
2.8487218388861284e+242
, 
6.31157261958736e+254
]
-0.0
∈ [
-0.0
, 
2.27e-321
]
-1e-174
∈ [
-1.7070742175250828e-174
, 
-1.005857434336393e-182
]
#hash((type . real) (value . -inf))
∈ [
#hash((type . real) (value . -inf))
, 
-6.716688961395804e+299
]
Compiler

Compiled 19 to 14 computations (26.3% saved)

simplify5.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
12×*-commutative_binary64
4×+-commutative_binary64
4×sub-neg_binary64
4×neg-sub0_binary64
4×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
044112
160112
269112
375112
478112
579112
Stop Event
1×saturated
Calls
Call 1
Inputs
(if (<=.f64 (*.f64 V l) -inf.0) (*.f64 c0 (*.f64 (pow.f64 l -1/2) (sqrt.f64 (/.f64 A V)))) (if (<=.f64 (*.f64 V l) -4562440617622195200/4562440617622195218641171605700291324893228507248559930579192517899275167208677386505912811317371399778642309573594407310688704721375437998252661319722214188251994674360264950082874192246603776) (*.f64 c0 (/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (*.f64 l (neg.f64 V))))) (if (<=.f64 (*.f64 V l) 0) (*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))) (if (<=.f64 (*.f64 V l) 500000000000000037325287824915847887316397650059807796581517200060057728567899618146074726653749664037239515660064971095733796417287170413167982256753295033075394319374559417709018509763611443472490620259742323283073361279494542304167694696448) (/.f64 c0 (/.f64 (sqrt.f64 (*.f64 V l)) (sqrt.f64 A))) (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 A V) (/.f64 1 l))))))))
Outputs
(if (<=.f64 (*.f64 V l) -inf.0) (*.f64 c0 (*.f64 (pow.f64 l -1/2) (sqrt.f64 (/.f64 A V)))) (if (<=.f64 (*.f64 V l) -4562440617622195200/4562440617622195218641171605700291324893228507248559930579192517899275167208677386505912811317371399778642309573594407310688704721375437998252661319722214188251994674360264950082874192246603776) (*.f64 c0 (/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (*.f64 l (neg.f64 V))))) (if (<=.f64 (*.f64 V l) 0) (*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))) (if (<=.f64 (*.f64 V l) 500000000000000037325287824915847887316397650059807796581517200060057728567899618146074726653749664037239515660064971095733796417287170413167982256753295033075394319374559417709018509763611443472490620259742323283073361279494542304167694696448) (/.f64 c0 (/.f64 (sqrt.f64 (*.f64 V l)) (sqrt.f64 A))) (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 A V) (/.f64 1 l))))))))
(if (<=.f64 (*.f64 V l) -inf.0) (*.f64 c0 (*.f64 (pow.f64 l -1/2) (sqrt.f64 (/.f64 A V)))) (if (<=.f64 (*.f64 V l) -4455508415646675/4455508415646675018204269146191690746966043464109921807206242693261010905477224010259680479802120507596330380442963288389344438204468201170168614570041224793214838549179946240315306828365824) (*.f64 c0 (/.f64 (sqrt.f64 (neg.f64 A)) (sqrt.f64 (*.f64 l (neg.f64 V))))) (if (<=.f64 (*.f64 V l) 0) (*.f64 c0 (/.f64 (sqrt.f64 (/.f64 A V)) (sqrt.f64 l))) (if (<=.f64 (*.f64 V l) 500000000000000037325287824915847887316397650059807796581517200060057728567899618146074726653749664037239515660064971095733796417287170413167982256753295033075394319374559417709018509763611443472490620259742323283073361279494542304167694696448) (/.f64 c0 (/.f64 (sqrt.f64 (*.f64 V l)) (sqrt.f64 A))) (*.f64 c0 (sqrt.f64 (*.f64 (/.f64 A V) (/.f64 1 l))))))))

end51.0ms (1%)

Stop Event
1×fuel
Compiler

Compiled 308 to 168 computations (45.5% saved)

Profiling

Loading profile data...