Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, D

Time bar (total: 5.0s)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

analyze587.0ms (11.8%)

Memory
-3.0MiB live, 831.8MiB allocated; 251ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
0%0%99.8%0.2%0%0%0%1
0%0%99.8%0.2%0%0%0%2
0%0%99.8%0.2%0%0%0%3
0%0%99.8%0.2%0%0%0%4
0%0%99.8%0.2%0%0%0%5
0%0%99.8%0.2%0%0%0%6
0%0%99.8%0.2%0%0%0%7
0%0%99.8%0.2%0%0%0%8
4.2%3.1%71.7%0.2%0%25%0%9
4.2%3.1%71.3%0.2%0%25.3%0%10
6.3%4.7%69.2%0.2%0%25.9%0%11
9.2%6.6%65.8%0.2%0%27.4%0%12
Compiler

Compiled 21 to 20 computations (4.8% saved)

sample4.0s (80%)

Memory
150.8MiB live, 5 167.6MiB allocated; 996ms collecting garbage
Samples
2.0s15 839×0invalid
919.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-mult!: 1.0s (54.7% of total)
ival-sqrt: 315.0ms (16.9% of total)
ival-div!: 264.0ms (14.1% of total)
ival-acos: 261.0ms (14% of total)
adjust: 5.0ms (0.3% of total)
Bogosity

preprocess122.0ms (2.5%)

Memory
-79.4MiB live, 64.5MiB allocated; 106ms collecting garbage
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
092263
1401227
22127227
37263227
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶98.1%
(*.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
Compiler

Compiled 38 to 36 computations (5.3% saved)

series40.0ms (0.8%)

Memory
9.3MiB live, 58.0MiB allocated; 14ms collecting garbage
Counts
18 → 17
Calls
Call 1
Inputs
(*.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
(/.f64 #s(literal 1 binary64) #s(literal 3 binary64))
#s(literal 1 binary64)
#s(literal 3 binary64)
(acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t)))
(*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))
(/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64)))
(*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64))))
(/.f64 x (*.f64 y #s(literal 27 binary64)))
x
(*.f64 y #s(literal 27 binary64))
y
#s(literal 27 binary64)
(*.f64 z #s(literal 2 binary64))
z
#s(literal 2 binary64)
(sqrt.f64 t)
t
Outputs
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))))
#s(approx (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (/ (* 3 (/ x (* y 27))) (* z 2)) #s(hole binary64 (* 1/18 (/ x (* y z)))))
#s(approx (* 3 (/ x (* y 27))) #s(hole binary64 (* 1/9 (/ x y))))
#s(approx (/ x (* y 27)) #s(hole binary64 (* 1/27 (/ x y))))
#s(approx x #s(hole binary64 x))
#s(approx (* y 27) #s(hole binary64 (* 27 y)))
#s(approx y #s(hole binary64 y))
#s(approx (* z 2) #s(hole binary64 (* 2 z)))
#s(approx z #s(hole binary64 z))
#s(approx (sqrt t) #s(hole binary64 (sqrt t)))
#s(approx t #s(hole binary64 t))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))))
#s(approx (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (sqrt t) #s(hole binary64 (* -1 (* (sqrt t) (pow (sqrt -1) 2)))))
Calls

12 calls:

TimeVariablePointExpression
12.0ms
t
@0
((* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (/ 1 3) 1 3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))) (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) (/ (* 3 (/ x (* y 27))) (* z 2)) (* 3 (/ x (* y 27))) (/ x (* y 27)) x (* y 27) y 27 (* z 2) z 2 (sqrt t) t)
4.0ms
y
@0
((* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (/ 1 3) 1 3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))) (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) (/ (* 3 (/ x (* y 27))) (* z 2)) (* 3 (/ x (* y 27))) (/ x (* y 27)) x (* y 27) y 27 (* z 2) z 2 (sqrt t) t)
4.0ms
x
@inf
((* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (/ 1 3) 1 3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))) (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) (/ (* 3 (/ x (* y 27))) (* z 2)) (* 3 (/ x (* y 27))) (/ x (* y 27)) x (* y 27) y 27 (* z 2) z 2 (sqrt t) t)
3.0ms
x
@-inf
((* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (/ 1 3) 1 3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))) (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) (/ (* 3 (/ x (* y 27))) (* z 2)) (* 3 (/ x (* y 27))) (/ x (* y 27)) x (* y 27) y 27 (* z 2) z 2 (sqrt t) t)
3.0ms
x
@0
((* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (/ 1 3) 1 3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))) (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) (/ (* 3 (/ x (* y 27))) (* z 2)) (* 3 (/ x (* y 27))) (/ x (* y 27)) x (* y 27) y 27 (* z 2) z 2 (sqrt t) t)

rewrite20.0ms (0.4%)

Memory
30.7MiB live, 30.7MiB allocated; 0ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
074353
090353
1145353
Stop Event
1×saturated
1×iter-limit
1×unsound
1×iter-limit
Counts
35 → 35
Calls
Call 1
Inputs
(*.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
(/.f64 #s(literal 1 binary64) #s(literal 3 binary64))
#s(literal 1 binary64)
#s(literal 3 binary64)
(acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t)))
(*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))
(/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64)))
(*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64))))
(/.f64 x (*.f64 y #s(literal 27 binary64)))
x
(*.f64 y #s(literal 27 binary64))
y
#s(literal 27 binary64)
(*.f64 z #s(literal 2 binary64))
z
#s(literal 2 binary64)
(sqrt.f64 t)
t
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))))
#s(approx (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (/ (* 3 (/ x (* y 27))) (* z 2)) #s(hole binary64 (* 1/18 (/ x (* y z)))))
#s(approx (* 3 (/ x (* y 27))) #s(hole binary64 (* 1/9 (/ x y))))
#s(approx (/ x (* y 27)) #s(hole binary64 (* 1/27 (/ x y))))
#s(approx x #s(hole binary64 x))
#s(approx (* y 27) #s(hole binary64 (* 27 y)))
#s(approx y #s(hole binary64 y))
#s(approx (* z 2) #s(hole binary64 (* 2 z)))
#s(approx z #s(hole binary64 z))
#s(approx (sqrt t) #s(hole binary64 (sqrt t)))
#s(approx t #s(hole binary64 t))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))))
#s(approx (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (sqrt t) #s(hole binary64 (* -1 (* (sqrt t) (pow (sqrt -1) 2)))))
Outputs
(*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
#s(literal 1/3 binary64)
#s(literal 1 binary64)
#s(literal 3 binary64)
(acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t)))
(*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))
(/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64)))
(*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64))))
(/.f64 x (*.f64 y #s(literal 27 binary64)))
x
(*.f64 y #s(literal 27 binary64))
y
#s(literal 27 binary64)
(*.f64 z #s(literal 2 binary64))
z
#s(literal 2 binary64)
(sqrt.f64 t)
t
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z)))))))
#s(approx (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))) (acos.f64 (*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z))))))
#s(approx (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) (*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z)))))
#s(approx (/ (* 3 (/ x (* y 27))) (* z 2)) (*.f64 #s(literal 1/18 binary64) (/.f64 x (*.f64 y z))))
#s(approx (* 3 (/ x (* y 27))) (*.f64 #s(literal 1/9 binary64) (/.f64 x y)))
#s(approx (/ x (* y 27)) (*.f64 #s(literal 1/27 binary64) (/.f64 x y)))
#s(approx x x)
#s(approx (* y 27) (*.f64 #s(literal 27 binary64) y))
#s(approx y y)
#s(approx (* z 2) (*.f64 #s(literal 2 binary64) z))
#s(approx z z)
#s(approx (sqrt t) (sqrt.f64 t))
#s(approx t t)
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 (*.f64 x (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))) (*.f64 y z)))))))
#s(approx (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))) (acos.f64 (*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 (*.f64 x (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))) (*.f64 y z))))))
#s(approx (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) (*.f64 #s(literal -1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 (*.f64 x (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))) (*.f64 y z)))))
#s(approx (sqrt t) (*.f64 #s(literal -1 binary64) (*.f64 (sqrt.f64 t) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64)))))

eval2.0ms (0%)

Memory
2.3MiB live, 2.3MiB allocated; 0ms collecting garbage
Compiler

Compiled 235 to 134 computations (43% saved)

prune1.0ms (0%)

Memory
1.4MiB live, 1.4MiB allocated; 0ms collecting garbage
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New17219
Fresh000
Picked101
Done000
Total18220
Accuracy
98.5%
Counts
20 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶98.1%
(*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
▶98.1%
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z)))))))
Compiler

Compiled 45 to 45 computations (0% saved)

series72.0ms (1.4%)

Memory
-6.3MiB live, 39.2MiB allocated; 6ms collecting garbage
Counts
25 → 21
Calls
Call 1
Inputs
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z)))))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z))))))
#s(literal 1/3 binary64)
(acos.f64 (*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z)))))
(*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z))))
#s(literal 1/18 binary64)
(*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z)))
(sqrt.f64 t)
t
(/.f64 x (*.f64 y z))
x
(*.f64 y z)
y
z
(*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
(acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t)))
(*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))
(/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64)))
(*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64))))
#s(literal 3 binary64)
(/.f64 x (*.f64 y #s(literal 27 binary64)))
(*.f64 y #s(literal 27 binary64))
#s(literal 27 binary64)
(*.f64 z #s(literal 2 binary64))
#s(literal 2 binary64)
Outputs
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (acos (* 1/18 (* (sqrt t) (/ x (* y z))))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))))
#s(approx (* 1/18 (* (sqrt t) (/ x (* y z)))) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (* (sqrt t) (/ x (* y z))) #s(hole binary64 (* (sqrt t) (/ x (* y z)))))
#s(approx (/ x (* y z)) #s(hole binary64 (/ x (* y z))))
#s(approx x #s(hole binary64 x))
#s(approx (/ (* 3 (/ x (* y 27))) (* z 2)) #s(hole binary64 (* 1/18 (/ x (* y z)))))
#s(approx (* 3 (/ x (* y 27))) #s(hole binary64 (* 1/9 (/ x y))))
#s(approx (/ x (* y 27)) #s(hole binary64 (* 1/27 (/ x y))))
#s(approx (* y z) #s(hole binary64 (* y z)))
#s(approx y #s(hole binary64 y))
#s(approx (* y 27) #s(hole binary64 (* 27 y)))
#s(approx z #s(hole binary64 z))
#s(approx (* z 2) #s(hole binary64 (* 2 z)))
#s(approx (sqrt t) #s(hole binary64 (sqrt t)))
#s(approx t #s(hole binary64 t))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (acos (* 1/18 (* (sqrt t) (/ x (* y z))))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))))
#s(approx (* 1/18 (* (sqrt t) (/ x (* y z)))) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (* (sqrt t) (/ x (* y z))) #s(hole binary64 (* -1 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (sqrt t) #s(hole binary64 (* -1 (* (sqrt t) (pow (sqrt -1) 2)))))
Calls

12 calls:

TimeVariablePointExpression
50.0ms
x
@0
((* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))) 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))) (* 1/18 (* (sqrt t) (/ x (* y z)))) 1/18 (* (sqrt t) (/ x (* y z))) (sqrt t) t (/ x (* y z)) x (* y z) y z (* 1/3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))) (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) (/ (* 3 (/ x (* y 27))) (* z 2)) (* 3 (/ x (* y 27))) 3 (/ x (* y 27)) (* y 27) 27 (* z 2) 2)
3.0ms
y
@-inf
((* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))) 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))) (* 1/18 (* (sqrt t) (/ x (* y z)))) 1/18 (* (sqrt t) (/ x (* y z))) (sqrt t) t (/ x (* y z)) x (* y z) y z (* 1/3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))) (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) (/ (* 3 (/ x (* y 27))) (* z 2)) (* 3 (/ x (* y 27))) 3 (/ x (* y 27)) (* y 27) 27 (* z 2) 2)
3.0ms
x
@-inf
((* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))) 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))) (* 1/18 (* (sqrt t) (/ x (* y z)))) 1/18 (* (sqrt t) (/ x (* y z))) (sqrt t) t (/ x (* y z)) x (* y z) y z (* 1/3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))) (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) (/ (* 3 (/ x (* y 27))) (* z 2)) (* 3 (/ x (* y 27))) 3 (/ x (* y 27)) (* y 27) 27 (* z 2) 2)
2.0ms
z
@-inf
((* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))) 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))) (* 1/18 (* (sqrt t) (/ x (* y z)))) 1/18 (* (sqrt t) (/ x (* y z))) (sqrt t) t (/ x (* y z)) x (* y z) y z (* 1/3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))) (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) (/ (* 3 (/ x (* y 27))) (* z 2)) (* 3 (/ x (* y 27))) 3 (/ x (* y 27)) (* y 27) 27 (* z 2) 2)
2.0ms
x
@inf
((* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))) 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))) (* 1/18 (* (sqrt t) (/ x (* y z)))) 1/18 (* (sqrt t) (/ x (* y z))) (sqrt t) t (/ x (* y z)) x (* y z) y z (* 1/3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))) (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) (/ (* 3 (/ x (* y 27))) (* z 2)) (* 3 (/ x (* y 27))) 3 (/ x (* y 27)) (* y 27) 27 (* z 2) 2)

rewrite18.0ms (0.4%)

Memory
-31.3MiB live, 15.5MiB allocated; 2ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
085477
0108477
1159477
Stop Event
1×saturated
1×iter-limit
1×unsound
1×iter-limit
Counts
46 → 46
Calls
Call 1
Inputs
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z)))))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z))))))
#s(literal 1/3 binary64)
(acos.f64 (*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z)))))
(*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z))))
#s(literal 1/18 binary64)
(*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z)))
(sqrt.f64 t)
t
(/.f64 x (*.f64 y z))
x
(*.f64 y z)
y
z
(*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
(acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t)))
(*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))
(/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64)))
(*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64))))
#s(literal 3 binary64)
(/.f64 x (*.f64 y #s(literal 27 binary64)))
(*.f64 y #s(literal 27 binary64))
#s(literal 27 binary64)
(*.f64 z #s(literal 2 binary64))
#s(literal 2 binary64)
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (acos (* 1/18 (* (sqrt t) (/ x (* y z))))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))))
#s(approx (* 1/18 (* (sqrt t) (/ x (* y z)))) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (* (sqrt t) (/ x (* y z))) #s(hole binary64 (* (sqrt t) (/ x (* y z)))))
#s(approx (/ x (* y z)) #s(hole binary64 (/ x (* y z))))
#s(approx x #s(hole binary64 x))
#s(approx (/ (* 3 (/ x (* y 27))) (* z 2)) #s(hole binary64 (* 1/18 (/ x (* y z)))))
#s(approx (* 3 (/ x (* y 27))) #s(hole binary64 (* 1/9 (/ x y))))
#s(approx (/ x (* y 27)) #s(hole binary64 (* 1/27 (/ x y))))
#s(approx (* y z) #s(hole binary64 (* y z)))
#s(approx y #s(hole binary64 y))
#s(approx (* y 27) #s(hole binary64 (* 27 y)))
#s(approx z #s(hole binary64 z))
#s(approx (* z 2) #s(hole binary64 (* 2 z)))
#s(approx (sqrt t) #s(hole binary64 (sqrt t)))
#s(approx t #s(hole binary64 t))
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (acos (* 1/18 (* (sqrt t) (/ x (* y z))))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))))
#s(approx (* 1/18 (* (sqrt t) (/ x (* y z)))) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (* (sqrt t) (/ x (* y z))) #s(hole binary64 (* -1 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (sqrt t) #s(hole binary64 (* -1 (* (sqrt t) (pow (sqrt -1) 2)))))
Outputs
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z)))))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z))))))
#s(literal 1/3 binary64)
(acos.f64 (*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z)))))
(*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z))))
#s(literal 1/18 binary64)
(*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z)))
(sqrt.f64 t)
t
(/.f64 x (*.f64 y z))
x
(*.f64 y z)
y
z
(*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
(acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t)))
(*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))
(/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64)))
(*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64))))
#s(literal 3 binary64)
(/.f64 x (*.f64 y #s(literal 27 binary64)))
(*.f64 y #s(literal 27 binary64))
#s(literal 27 binary64)
(*.f64 z #s(literal 2 binary64))
#s(literal 2 binary64)
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z)))))))
#s(approx (acos (* 1/18 (* (sqrt t) (/ x (* y z))))) (acos.f64 (*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z))))))
#s(approx (* 1/18 (* (sqrt t) (/ x (* y z)))) (*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z)))))
#s(approx (* (sqrt t) (/ x (* y z))) (*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z))))
#s(approx (/ x (* y z)) (/.f64 x (*.f64 y z)))
#s(approx x x)
#s(approx (/ (* 3 (/ x (* y 27))) (* z 2)) (*.f64 #s(literal 1/18 binary64) (/.f64 x (*.f64 y z))))
#s(approx (* 3 (/ x (* y 27))) (*.f64 #s(literal 1/9 binary64) (/.f64 x y)))
#s(approx (/ x (* y 27)) (*.f64 #s(literal 1/27 binary64) (/.f64 x y)))
#s(approx (* y z) (*.f64 y z))
#s(approx y y)
#s(approx (* y 27) (*.f64 #s(literal 27 binary64) y))
#s(approx z z)
#s(approx (* z 2) (*.f64 #s(literal 2 binary64) z))
#s(approx (sqrt t) (sqrt.f64 t))
#s(approx t t)
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 (*.f64 x (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))) (*.f64 y z)))))))
#s(approx (acos (* 1/18 (* (sqrt t) (/ x (* y z))))) (acos.f64 (*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 (*.f64 x (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))) (*.f64 y z))))))
#s(approx (* 1/18 (* (sqrt t) (/ x (* y z)))) (*.f64 #s(literal -1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 (*.f64 x (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))) (*.f64 y z)))))
#s(approx (* (sqrt t) (/ x (* y z))) (*.f64 #s(literal -1 binary64) (*.f64 (sqrt.f64 t) (/.f64 (*.f64 x (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))) (*.f64 y z)))))
#s(approx (sqrt t) (*.f64 #s(literal -1 binary64) (*.f64 (sqrt.f64 t) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64)))))

eval2.0ms (0%)

Memory
3.0MiB live, 3.0MiB allocated; 0ms collecting garbage
Compiler

Compiled 311 to 196 computations (37% saved)

prune2.0ms (0%)

Memory
2.1MiB live, 2.1MiB allocated; 0ms collecting garbage
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New25126
Fresh000
Picked112
Done000
Total26228
Accuracy
98.5%
Counts
28 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶98.1%
(*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 (/.f64 #s(approx (* 3 (/ x (* y 27))) (*.f64 #s(literal 1/9 binary64) (/.f64 x y))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
✓98.1%
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z)))))))
Compiler

Compiled 49 to 49 computations (0% saved)

series18.0ms (0.4%)

Memory
26.1MiB live, 26.1MiB allocated; 0ms collecting garbage
Counts
16 → 16
Calls
Call 1
Inputs
(*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 (/.f64 #s(approx (* 3 (/ x (* y 27))) (*.f64 #s(literal 1/9 binary64) (/.f64 x y))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
#s(literal 1/3 binary64)
(acos.f64 (*.f64 (/.f64 #s(approx (* 3 (/ x (* y 27))) (*.f64 #s(literal 1/9 binary64) (/.f64 x y))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t)))
(*.f64 (/.f64 #s(approx (* 3 (/ x (* y 27))) (*.f64 #s(literal 1/9 binary64) (/.f64 x y))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))
(/.f64 #s(approx (* 3 (/ x (* y 27))) (*.f64 #s(literal 1/9 binary64) (/.f64 x y))) (*.f64 z #s(literal 2 binary64)))
#s(approx (* 3 (/ x (* y 27))) (*.f64 #s(literal 1/9 binary64) (/.f64 x y)))
(*.f64 #s(literal 1/9 binary64) (/.f64 x y))
#s(literal 1/9 binary64)
(/.f64 x y)
x
y
(*.f64 z #s(literal 2 binary64))
z
#s(literal 2 binary64)
(sqrt.f64 t)
t
Outputs
#s(approx (* 1/3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))))
#s(approx (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (/ (* 3 (/ x (* y 27))) (* z 2)) #s(hole binary64 (* 1/18 (/ x (* y z)))))
#s(approx (* 3 (/ x (* y 27))) #s(hole binary64 (* 1/9 (/ x y))))
#s(approx (/ x y) #s(hole binary64 (/ x y)))
#s(approx x #s(hole binary64 x))
#s(approx y #s(hole binary64 y))
#s(approx (* z 2) #s(hole binary64 (* 2 z)))
#s(approx z #s(hole binary64 z))
#s(approx (sqrt t) #s(hole binary64 (sqrt t)))
#s(approx t #s(hole binary64 t))
#s(approx (* 1/3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))))
#s(approx (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (sqrt t) #s(hole binary64 (* -1 (* (sqrt t) (pow (sqrt -1) 2)))))
Calls

12 calls:

TimeVariablePointExpression
2.0ms
x
@-inf
((* 1/3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) 1/3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))) (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) (/ (* 3 (/ x (* y 27))) (* z 2)) (* 3 (/ x (* y 27))) (* 1/9 (/ x y)) 1/9 (/ x y) x y (* z 2) z 2 (sqrt t) t)
2.0ms
x
@inf
((* 1/3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) 1/3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))) (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) (/ (* 3 (/ x (* y 27))) (* z 2)) (* 3 (/ x (* y 27))) (* 1/9 (/ x y)) 1/9 (/ x y) x y (* z 2) z 2 (sqrt t) t)
2.0ms
y
@-inf
((* 1/3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) 1/3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))) (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) (/ (* 3 (/ x (* y 27))) (* z 2)) (* 3 (/ x (* y 27))) (* 1/9 (/ x y)) 1/9 (/ x y) x y (* z 2) z 2 (sqrt t) t)
1.0ms
t
@-inf
((* 1/3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) 1/3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))) (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) (/ (* 3 (/ x (* y 27))) (* z 2)) (* 3 (/ x (* y 27))) (* 1/9 (/ x y)) 1/9 (/ x y) x y (* z 2) z 2 (sqrt t) t)
1.0ms
x
@0
((* 1/3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) 1/3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))) (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) (/ (* 3 (/ x (* y 27))) (* z 2)) (* 3 (/ x (* y 27))) (* 1/9 (/ x y)) 1/9 (/ x y) x y (* z 2) z 2 (sqrt t) t)

rewrite15.0ms (0.3%)

Memory
11.3MiB live, 11.3MiB allocated; 0ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067370
076370
1136370
Stop Event
1×saturated
1×iter-limit
1×unsound
1×iter-limit
Counts
32 → 32
Calls
Call 1
Inputs
(*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 (/.f64 #s(approx (* 3 (/ x (* y 27))) (*.f64 #s(literal 1/9 binary64) (/.f64 x y))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
#s(literal 1/3 binary64)
(acos.f64 (*.f64 (/.f64 #s(approx (* 3 (/ x (* y 27))) (*.f64 #s(literal 1/9 binary64) (/.f64 x y))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t)))
(*.f64 (/.f64 #s(approx (* 3 (/ x (* y 27))) (*.f64 #s(literal 1/9 binary64) (/.f64 x y))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))
(/.f64 #s(approx (* 3 (/ x (* y 27))) (*.f64 #s(literal 1/9 binary64) (/.f64 x y))) (*.f64 z #s(literal 2 binary64)))
#s(approx (* 3 (/ x (* y 27))) (*.f64 #s(literal 1/9 binary64) (/.f64 x y)))
(*.f64 #s(literal 1/9 binary64) (/.f64 x y))
#s(literal 1/9 binary64)
(/.f64 x y)
x
y
(*.f64 z #s(literal 2 binary64))
z
#s(literal 2 binary64)
(sqrt.f64 t)
t
#s(approx (* 1/3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ x (* y z))))))))
#s(approx (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ x (* y z)))))))
#s(approx (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) #s(hole binary64 (* 1/18 (* (sqrt t) (/ x (* y z))))))
#s(approx (/ (* 3 (/ x (* y 27))) (* z 2)) #s(hole binary64 (* 1/18 (/ x (* y z)))))
#s(approx (* 3 (/ x (* y 27))) #s(hole binary64 (* 1/9 (/ x y))))
#s(approx (/ x y) #s(hole binary64 (/ x y)))
#s(approx x #s(hole binary64 x))
#s(approx y #s(hole binary64 y))
#s(approx (* z 2) #s(hole binary64 (* 2 z)))
#s(approx z #s(hole binary64 z))
#s(approx (sqrt t) #s(hole binary64 (sqrt t)))
#s(approx t #s(hole binary64 t))
#s(approx (* 1/3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) #s(hole binary64 (* 1/3 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))))
#s(approx (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))) #s(hole binary64 (acos (* 1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z)))))))
#s(approx (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) #s(hole binary64 (* -1/18 (* (sqrt t) (/ (* x (pow (sqrt -1) 2)) (* y z))))))
#s(approx (sqrt t) #s(hole binary64 (* -1 (* (sqrt t) (pow (sqrt -1) 2)))))
Outputs
(*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 (/.f64 #s(approx (* 3 (/ x (* y 27))) (*.f64 #s(literal 1/9 binary64) (/.f64 x y))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
#s(literal 1/3 binary64)
(acos.f64 (*.f64 (/.f64 #s(approx (* 3 (/ x (* y 27))) (*.f64 #s(literal 1/9 binary64) (/.f64 x y))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t)))
(*.f64 (/.f64 #s(approx (* 3 (/ x (* y 27))) (*.f64 #s(literal 1/9 binary64) (/.f64 x y))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))
(/.f64 #s(approx (* 3 (/ x (* y 27))) (*.f64 #s(literal 1/9 binary64) (/.f64 x y))) (*.f64 z #s(literal 2 binary64)))
#s(approx (* 3 (/ x (* y 27))) (*.f64 #s(literal 1/9 binary64) (/.f64 x y)))
(*.f64 #s(literal 1/9 binary64) (/.f64 x y))
#s(literal 1/9 binary64)
(/.f64 x y)
x
y
(*.f64 z #s(literal 2 binary64))
z
#s(literal 2 binary64)
(sqrt.f64 t)
t
#s(approx (* 1/3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z)))))))
#s(approx (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))) (acos.f64 (*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z))))))
#s(approx (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) (*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z)))))
#s(approx (/ (* 3 (/ x (* y 27))) (* z 2)) (*.f64 #s(literal 1/18 binary64) (/.f64 x (*.f64 y z))))
#s(approx (* 3 (/ x (* y 27))) (*.f64 #s(literal 1/9 binary64) (/.f64 x y)))
#s(approx (/ x y) (/.f64 x y))
#s(approx x x)
#s(approx y y)
#s(approx (* z 2) (*.f64 #s(literal 2 binary64) z))
#s(approx z z)
#s(approx (sqrt t) (sqrt.f64 t))
#s(approx t t)
#s(approx (* 1/3 (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 (*.f64 x (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))) (*.f64 y z)))))))
#s(approx (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t))) (acos.f64 (*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 (*.f64 x (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))) (*.f64 y z))))))
#s(approx (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)) (*.f64 #s(literal -1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 (*.f64 x (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))) (*.f64 y z)))))
#s(approx (sqrt t) (*.f64 #s(literal -1 binary64) (*.f64 (sqrt.f64 t) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64)))))

eval61.0ms (1.2%)

Memory
-42.4MiB live, 8.3MiB allocated; 9ms collecting garbage
Compiler

Compiled 199 to 112 computations (43.7% saved)

prune2.0ms (0%)

Memory
4.7MiB live, 4.7MiB allocated; 0ms collecting garbage
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New15015
Fresh000
Picked011
Done011
Total15217
Accuracy
98.5%
Counts
17 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓98.1%
(*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 (/.f64 #s(approx (* 3 (/ x (* y 27))) (*.f64 #s(literal 1/9 binary64) (/.f64 x y))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
✓98.1%
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z)))))))
Compiler

Compiled 112 to 99 computations (11.6% saved)

regimes24.0ms (0.5%)

Memory
4.2MiB live, 49.0MiB allocated; 5ms collecting garbage
Accuracy

Total -0.2b remaining (-20.7%)

Threshold costs -0.2b (-20.7%)

Counts
4 → 1
Calls
Call 1
Inputs
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z)))))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 (/.f64 #s(approx (* 3 (/ x (* y 27))) (*.f64 #s(literal 1/9 binary64) (/.f64 x y))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
(*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
(*.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
Outputs
#s(approx (* (/ 1 3) (acos (* (/ (* 3 (/ x (* y 27))) (* z 2)) (sqrt t)))) (*.f64 #s(literal 1/3 binary64) (acos.f64 (*.f64 #s(literal 1/18 binary64) (*.f64 (sqrt.f64 t) (/.f64 x (*.f64 y z)))))))
Calls

13 calls:

5.0ms
(*.f64 y #s(literal 27 binary64))
2.0ms
(*.f64 z #s(literal 2 binary64))
2.0ms
z
2.0ms
(sqrt.f64 t)
2.0ms
x
Results
AccuracySegmentsBranch
98.1%1(sqrt.f64 t)
98.1%1(*.f64 z #s(literal 2 binary64))
98.1%1(*.f64 y #s(literal 27 binary64))
98.1%1(/.f64 x (*.f64 y #s(literal 27 binary64)))
98.1%1(*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64))))
98.1%1(/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64)))
98.1%1(*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))
98.1%1(acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t)))
98.1%1(*.f64 (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) (acos.f64 (*.f64 (/.f64 (*.f64 #s(literal 3 binary64) (/.f64 x (*.f64 y #s(literal 27 binary64)))) (*.f64 z #s(literal 2 binary64))) (sqrt.f64 t))))
98.1%1x
98.1%1y
98.1%1z
98.1%1t
Compiler

Compiled 83 to 108 computations (-30.1% saved)

derivations2.0ms (0%)

Memory
2.8MiB live, 2.8MiB allocated; 0ms collecting garbage
Stop Event
1×done
Compiler

Compiled 28 to 28 computations (0% saved)

preprocess12.0ms (0.2%)

Memory
20.6MiB live, 20.6MiB allocated; 0ms collecting garbage
Compiler

Compiled 47 to 46 computations (2.1% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...